Differences

This shows you the differences between two versions of the page.

--- invariant:intro [2007/02/25 17:24] – bdefrain
+++ invariant:intro [2021/02/05 13:53] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Invariants: Intro ======
+[[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.
@@ Line 6: / Line 11: @@
   - Create a **new AspectJ Project** in Eclipse
-  - Download the source of the figure editor. FIXME
+  - 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.8.1**.
+  - 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 =====
@@ Line 15: / Line 20: @@
 {{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]].