[[invariant:intro|Intro]]
[[invariant:ex1|Ex1]]
[[invariant:ex2|Ex2]]
[[invariant:ex3|Ex3]]
[[invariant:ex4|Ex4]]
[[invariant:ex5|Ex5]]====== Invariants: Intro ======

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.

===== Set-up =====

  - Create a **new AspectJ Project** in Eclipse
  - Download the source of the figure editor: {{invariant:figures.zip|figures.zip}}
  - In Eclipse, select **File** -> **Import...**. Choose to import files from an **Archive File** and point to the file you just downloaded.
  - 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**.

===== Running the Figure Editor =====

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

{{invariant:figureeditor.png?300}}

===== Running the Tests =====

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 [[invariant:ex1|Exercise 1]].