Differences

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

--- basics:ex7 [2007/02/25 16:54] – create bdefrain
+++ basics:ex7 [2007/02/25 17:04] – bdefrain
@@ Line 25: / Line 25: @@
 <code aspectj>
 public class ApplicationTest {
-  public static void output(Application t) {
+  public static void main(String[] arg) {
+    Application t = new Application();
+    t.name = "YourApplication";
     for(String s: t)
       System.out.println(s);
-  }
-  public static void main(String[] arg) {
-    Application t1 = new Application();
-    Application t2 = new Application();
-    t2.name = "YourApplication";
-    output(t1);
-    output(t2);
   }
 }
 </code>
+To start this new ''main'' method, right-click on the class ''ApplicationTest'' and select **Run As** -> **Java/AspectJ Application**.
+----
+Continue with the [[invariant:intro|Invariants]] track.