| 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 | |
| CarPostCondition | checkBeforeReturn |
| Adds a check of expresion value that is to be returned | |
| CarPreCondition | checkedMethods |
| Adds code that validates the precondition | |
| ThreadSafety | CommentConstructor |
| ThreadSafety | CommentDestructor |
| Calls pthread_mutex_destroy() on the _mutex object | |
| ThreadSafety | CommentMethods |
| CarPostCondition | commentsForCheckedFunctions |
| Adds a comment in front of the function declarartion located by pointcut pointerReturningFunctionDeclarations | |
| CarPostCondition | commentsForClassesWithCheckedFunctions |
| Adds a comment in front of the class that contain classes with functions that returns pointers | |
| 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 | |
| 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 |