AspectJ 5 Training

User Tools

Site Tools

Trace:
invariant:intro

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
invariant:intro [2008/10/06 13:55] – bdefraininvariant: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. 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.
invariant/intro.1223294121.txt.gz · Last modified: by bdefrain