basics:ex7
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
basics:ex7 [2007/02/25 16:54] – create bdefrain | basics:ex7 [2007/02/25 17:04] – bdefrain | ||
---|---|---|---|
Line 25: | Line 25: | ||
<code aspectj> | <code aspectj> | ||
public class ApplicationTest { | public class ApplicationTest { | ||
- | public static void output(Application t) { | + | public static void main(String[] arg) { |
+ | | ||
+ | t.name = " | ||
for(String s: t) | for(String s: t) | ||
System.out.println(s); | System.out.println(s); | ||
- | } | ||
- | |||
- | public static void main(String[] arg) { | ||
- | Application t1 = new Application(); | ||
- | Application t2 = new Application(); | ||
- | t2.name = " | ||
- | output(t1); | ||
- | output(t2); | ||
} | } | ||
} | } | ||
</ | </ | ||
+ | |||
+ | To start this new '' | ||
+ | |||
+ | ---- | ||
+ | |||
+ | Continue with the [[invariants: |
basics/ex7.txt · Last modified: 2021/02/05 13:49 by 127.0.0.1