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 revisionPrevious revision
Next revisionBoth sides next revision
basics:ex7 [2007/02/25 17:03] bdefrainbasics: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 [[invariants:intro|Invariants]] track.
basics/ex7.txt · Last modified: 2021/02/05 13:49 by 127.0.0.1