PassiveToCyclical | addActivationHelperFunctions |
Adds definition of two methods that
activate the threads of active objects | |
PassiveToSporadic | addActivationHelperFunctions |
Adds definition of helper a function
_activate() to tha main program unit | |
AddClassComment_1 | addClassComment |
Add a comment at the end of the comment of the target class | |
AddClassComment_2 | addClassComment |
Add a comment at the end of the comment of the target class | |
AddGetterMethod | addClassComment |
Add a comment at the end of the comment of the target class | |
AddComplexGetterMethod | addClassComment |
Add a comment at the end of the comment of the target class | |
AddAllGetterMethods | addClassComment |
Add a comment at the end of the comment of the target class | |
Efficiency | addComparison definition |
Add comparisonCount declaration | |
BaseParameter | addConstants |
Add constants to the class declaration | |
ParameterDatabaseByPointer | addConstants |
Add constants to the class declaration | |
CarSynchronizeWindows | addConstrDecl |
Adds construtor declaration to classes which are to be sychronized and do not have a constructor | |
CarSynchronizeWindows | addConstrDecl |
Adds construtor declaration to classes which are to be sychronized and do not have a constructor | |
CarSynchronizeWindows | addConstrDef |
Adds construtor definition if the constructor was not defined | |
CarSynchronizeWindows | addConstrDef |
Adds construtor definition if the constructor was not defined | |
PassiveToCyclical | addCyclicalActivateDeclaraion |
Add declaration of the _activate() method to the class declaration | |
PassiveToCyclical | addCyclicalActivateDefinition |
Add definition of _activate() method to class definition files | |
BaseParameter | addDatabaseInicialization |
Add code fragment that initialize the parameter database | |
ParameterDatabaseByPointer | addDatabaseInicialization |
Add code fragment that initialize the parameter database | |
BaseParameter | addDatabaseReference |
Add declaration of pointer to parameter database to target class | |
ParameterDatabaseByPointer | addDatabaseReference |
Add declaration of pointer to parameter database to target class | |
CarSynchronizeWindows | addFields |
Adds field variable shared_mutex that is used as a lock
to each class to be synchronized | |
CarSynchronizeWindows | addFields |
Adds field variable shared_mutex that is used as a lock
to each class to be synchronized | |
CleanupComments | AddFileComment |
Adds a block comment | |
CleanupComments | AddFileComment |
Adds a block comment | |
AddFunctionComment_1 | addFunctionComment |
Add a comment at the end of the comment of the target function | |
AddFunctionComment_2 | addFunctionComment |
Add a comment at the end of the comment of the target function | |
Trace | addImports |
Add the import statement for the java | |
TraceClassEntry | addInclude |
Add the #include statement for the stdio library | |
TraceConstructorEntry | addInclude |
Add the #include statement for the stdio library | |
TraceMethodEntry | addInclude |
Add the #include statement for the stdio library | |
TraceMethodIntParameter | addInclude |
Add the #include statement for the stdio library | |
TraceMethodIntParametersOnly | addInclude |
Add the #include statement for the stdio library | |
TraceMethodLeave | addInclude |
Add the #include statement for the stdio library | |
Profiling | addInclude |
Add the necessary #include statements | |
Entry | addInclude |
Add the #include <pthread | |
CarPostCondition | addIncludeDecl |
Adds #include "RecoveryAction | |
CarPreCondition | addIncludeDecl |
Adds #include "RecoveryAction | |
CarPostCondition | addIncludeDef |
Adds #include "RecoveryAction | |
CarPreCondition | addIncludeDef |
Adds #include "RecoveryAction | |
TraceMethodEntryUsingTracer | addIncludeRootObject |
Add the #include "TracerSingleton | |
CarBeginEnd | addIncludes |
Inserts #include and namespace instructions to the unit (file) | |
ThreadSafety | AddIncludes |
CarSynchronizeWindows | addIncludesToDeclaration |
Adds appropriate header files to each file that contains classes to be synchronized | |
Observer | addIncludesToDeclaration |
Add the #include preprocessor instructions | |
BaseParameter | addIncludesToDeclaration |
Add the #include preprocessor instructions | |
ParameterDatabaseByPointer | addIncludesToDeclaration |
Add the #include preprocessor instructions | |
CarSynchronizeWindows | addIncludesToDeclaration |
Adds appropriate header files to each file that contains classes to be synchronized | |
CarSynchronizeWindows | addIncludesToDefinition |
Adds appropriate header files to each definition file that contains definitions of methods
of classes to be synchronized | |
Observer | addIncludesToDefinition |
Add the #include preprocessor instructions | |
CarSynchronizeWindows | addIncludesToDefinition |
Adds appropriate header files to each definition file that contains definitions of methods
of classes to be synchronized | |
PassiveToCyclical | addIncludesToMain |
Add the #include "main | |
PassiveToSporadic | addIncludesToMain |
Add the #include "main | |
Observer | addInitializers |
Add the initializers that sets up observers | |
Trace | addLoggerField |
Adds a logger field variable to every class
that contains a construtor or a method | |
AddMethodComment | addMethodComment |
Add a comment at the end of the comment of the target class | |
CleanupComments | AddMethodComment |
Adds a block comment | |
CleanupComments | AddMethodComment |
Adds a block comment | |
AddGetterMethod | addMethodDeclaration |
Add the declaration for the getter method | |
AddComplexGetterMethod | addMethodDeclaration |
Add the declaration for the getInternalState() method | |
AddAllGetterMethods | addMethodDeclaration |
Add the inline getter methods | |
AddGetterMethod | addMethodDefinition |
Add the definition for the getter method | |
AddComplexGetterMethod | addMethodDefinition |
Add the definition for the complex getter method | |
ThreadSafety | AddMutexMember |
Observer | addObserverNotification |
Add observer notification instructions to the method that changes the state of the
subject | |
Observer | addObserversDeclaraion |
Add observers to the class declaration | |
Profiling | addProfilingReportMethod |
Insert the definition of _profilingReport() method | |
Profiling | addProfilingVariableInitialization |
Insert the initialization code of all profiling member variables
to the class constructor | |
Profiling | addProfilingVariables |
Insert declarations to each class | |
CarPostCondition | addRecoverySupportDefinition |
Adds the definition of setRecoveryAction() method to appropriate unit | |
CarPreCondition | addRecoverySupportDefinition |
Adds definition of method setRecoveryAction() to units (files) that contain definition of class that that have methods which ranges should be checked | |
CarPostCondition | addRecoverySupportFieldDeclaration |
Adds a field variable declaration RecoveryAction to classes that support recovery action | |
CarPreCondition | addRecoverySupportFieldDeclaration |
Adds a declaration of field variable recoveryAction to classes that support recovery | |
CarPostCondition | addRecoverySupportMethodDeclaration |
Adds a method setRecoveryAction() to the classes that support recovery | |
CarPreCondition | addRecoverySupportMethodDeclaration |
Adds a method setRecoveryAction() to the classes that supports recovery | |
PassiveToSporadic | addSporadicActivateDeclaraion |
Add declaration of _activate() method to the class declaration | |
PassiveToSporadic | addSporadicActivateDefinition |
Add definition of _activate() method to class definition files | |
PassiveToSporadic | addSynchronizationDeclaration |
Adds external declaration of three variables
needed to implement the mutual exclusive access
to the condition variable trigger | |
Entry | addSynchronizationDeclaration |
Adds external declaration of three variables
needed to implement the mutual exclusive access
to the condition variable trigger | |
PassiveToSporadic | addSynchronizationDefinition |
Adds declaration and initialization of three variables
needed to implement the mutual exclusive access
to the condition variable trigger | |
Entry | addSynchronizationDefinition |
Adds declaration and initialization of three variables
needed to implement the mutual exclusive access
to the condition variable trigger | |
AddClassField | addVariableDeclaration |
Add the declaration of the dummy variable in the target class | |
CarBeginEnd | atBegin |
Inserts a print instruction at the beginning of the
target method | |
Entry | atBegin |
Inserts the code that locks the access to the method body
by acquiring the mutex | |
CarBeginEnd | atEnd |
Inserts a print instruction at the beginning of the
target method | |
Entry | atEnd |
Inserts the code that release the access to the method body
by releasing the mutex | |
Trace | beforeReturn |
Weave the log message before return statement of
every method | |
Efficiency | beforeTermination |
Outputs the number of comparisons
made by the algorithm, before the program exits | |
CarSynchronizeWindows | beginLockFunction |
Locks the mutex at the beginning of each method in each class to be synchronized | |
CarSynchronizeWindows | beginLockFunction |
Locks the mutex at the beginning of each method in each class to be synchronized | |
Efficiency | beginOfIfBlock |
Increments the comparison counter for each comparison made | |
ThreadSafety | CommentConstructor |
ThreadSafety | CommentDestructor |
Calls pthread_mutex_destroy() on the _mutex object | |
ThreadSafety | CommentMethods |
CarPostCondition | commentsForClassesWithCheckedFunctions |
Adds a comment in front of the class that contain classes with functions that returns pointers | |
CarPostCondition | commentsForCheckedFunctions |
Adds a comment in front of the function declarartion located by pointcut pointerReturningFunctionDeclarations | |
ThreadSafety | DestroyMutexInDestructor |
Calls pthread_mutex_destroy() on the _mutex object | |
Trace | endFunction |
Weave the log message at the end of every method that
has no return value | |
Trace | enterConstructor |
Weave the log message at the beginning of every construtor | |
Trace | enterFunction |
Weave the log message at the beginning of every method | |
Entry | guardConditionChange |
Inserts the code to the main() function
that changes the barrier by setting the
trigger variable to non-zero value | |
CarPostCondition | checkBeforeReturn |
Adds a check of expresion value that is to be returned | |
CarPreCondition | checkedMethods |
Adds code that validates the precondition | |
CarSynchronizeWindows | initializeMutex |
Inserts a piece of code that initializes the lock | |
CarSynchronizeWindows | initializeMutex |
Inserts a piece of code that initializes the lock | |
ThreadSafety | InitMutexInConstructor |
Profiling | insertBeforeReturn |
Insert code that computes the time the program spent executing the current method | |
TraceClassEntry | insertClassComment |
Add a comment at the end of the comment of the target class | |
TraceConstructorEntry | insertClassComment |
Add a comment at the end of the comment of the classes that are modified by other advices | |
TraceMethodEntry | insertClassComment |
Add a comment at the end of the comment of the classes that are modified by other advices | |
TraceMethodIntParameter | insertClassComment |
Add a comment at the end of the comment of the classes that are modified by other advices | |
TraceMethodIntParametersOnly | insertClassComment |
Add a comment at the end of the comment of the classes that are modified by other advices | |
TraceMethodLeave | insertClassComment |
Add a comment at the end of the comment of the classes that are modified by other advices | |
TraceConstructorEntry | insertConstructorComment |
Add a comment at the end of the comment of the constructors that are modified by other advices | |
TraceClassEntry | insertConstructorTrace |
Insert the tracing instruction in the target construtors | |
TraceMethodLeave | insertIntTraceBeforeReturn |
Insert the tracing instruction in the target methods | |
TraceMethodEntry | insertMethodComment |
Add a comment at the end of the comment of the methods that are modified by other advices | |
TraceMethodIntParameter | insertMethodComment |
Add a comment at the end of the comment of the methods that are modified by other advices | |
TraceMethodIntParametersOnly | insertMethodComment |
Add a comment at the end of the comment of the methods that are modified by other advices | |
TraceMethodLeave | insertMethodComment |
Add a comment at the end of the comment of the methods that are modified by other advices | |
TraceClassEntry | insertMethodTrace |
Insert the tracing instruction in the target methods | |
TraceMethodLeave | insertNonIntTraceBeforeReturn |
Insert the tracing instruction in the target methods | |
Profiling | insertReporterCall |
Insert call of method _profilingReport() at the end of execution of the
main() function | |
TraceConstructorEntry | insertTrace |
Insert the tracing instruction in the target constructor | |
TraceMethodEntry | insertTrace |
Insert the tracing instruction in the target methods | |
TraceMethodIntParameter | insertTrace |
Insert the tracing instruction in the target methods | |
TraceMethodIntParametersOnly | insertTrace |
Insert the tracing instruction in the target methods | |
TraceMethodEntryUsingTracer | insertTrace |
Insert the tracing instruction in the target method | |
TraceMethodLeave | insertTraceAtContructorEnd |
Insert the tracing instruction in the target constructor | |
Profiling | insertTraceAtEnd |
Insert code that computes the time the program spent executing the current method | |
TraceMethodLeave | insertTraceAtFunctionEnd |
Insert the tracing instruction in the target methods | |
TraceMethodLeave | insertVariableDeclaration |
Insert the declaration of integer local variable at the beginning of target methods | |
Profiling | insertVariableDeclaration |
Insert the code that reads the current time and saves it
to the local variable _profilingMethodStart | |
ThreadSafety | LockMutex |
ParameterDatabaseByPointer | replaceParameterDeclarationsByPointers |
Replace declarations of member variables with the declarations of pointers
to the parameter database | |
ParameterDatabaseByPointer | replaceParametersByPointers |
Replace occurences of member variables with the dereferences of pointers
to the parameter database | |
PassiveToCyclical | replaceSchedulerBody |
Replaces the body of schedule() function | |
PassiveToSporadic | replaceSchedulerBody |
Replaces the body of schedule() function | |
SetParameter | targetFloatExprSetter |
Replace float member variable with the pDB->setParameter() method call | |
GetParameter | targetFloatNameGetter |
Replace float member variable with the pDB->getParameterFloat() method call | |
ParameterDatabaseByPointer | targetFloatVarInitialization |
Initialize float* pointers to the parameter database
by value returned by the method pDB->getParameterPointerFloat(PDxxx)
where "xxx" is member variable name in upper case | |
SetParameter | targetIntExprSetter |
Replace integer member variable with the pDB->setParameter() method call | |
GetParameter | targetIntNameGetter |
Replace integer member variable with the pDB->getParameterInt() method call | |
ParameterDatabaseByPointer | targetIntVarInitialization |
Initialize int* pointers to the parameter database
by value returned by the method pDB->getParameterPointerInt(PDxxx)
where "xxx" is member variable name in upper case | |
ThreadSafety | UnlockMutex |