Differences

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

--- invariant:intro [2007/02/25 17:41] – 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 =====