|
Aspects |
| CarBeginEnd |
| | Sample aspect program for "car example" that inserts tracing instructions when
a setter method with integer parameter is entered and when any setter method is left
|
| CarPostCondition |
| |
Some methods in the base code return a pointer to an object
|
| CarPreCondition |
| |
The base code does not perform any range checks on the values of
parameters being passed to methods (for instance, there is no check that
object pointers are not NULL)
|
| CarSynchronizeWindows |
| | Sample aspect program for "car example" that show how to add synchronization code
(for MS Windows) to existing code
|
| CleanupComments |
| | Adds a javadoc like comment to all undocumented method declarations
|