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.
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.8.1.

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

Start the Invariants track at Exercise 1.