In the following exercises, we will demonstrate the use of AspectJ to check both static and dynamic invariants in the context of a graphical figure editor.

1. Create a new AspectJ Project in Eclipse
2. Download the source of the figure editor: figures.zip
3. In Eclipse, select File → Import…. Choose to import files from an Archive File and point to the file you just downloaded.
4. To resolve the build errors for the included tests, right-click your new project, select Build Path → Add Libraries…. Click JUnit and select version 3.x.

You can run the figure editor through the class figures.gui.Main. Right-click it and select Run As → AspectJ/Java Application.

The source archive you downloaded contains a number of test suites. The tests of the suite CoreTest should always pass. You can run them by right-clicking on this class and selecting Run As → JUnit Test.

The other test suites can be used to verify your answers to the following exercises.

Start the Invariants track at Exercise 1.