User Tools

Site Tools


basics:ex7

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
basics:ex7 [2007/02/25 17:03]
bdefrain
basics:ex7 [2007/02/25 17:04]
bdefrain
Line 34: Line 34:
 </code> </code>
  
-Start this new ''main'' method, right-click on the class ''ApplicationTest'' and select **Run As** -> **Java/AspectJ Application**.+To start this new ''main'' method, right-click on the class ''ApplicationTest'' and select **Run As** -> **Java/AspectJ Application**.
  
 ---- ----
  
-Continue with the [[invariants:intro|Invariants]] track.+Continue with the [[invariant:intro|Invariants]] track.
basics/ex7.txt ยท Last modified: 2021/02/05 13:49 (external edit)