AspectJ 5 Training

User Tools

Site Tools

Trace:
invariant:ex1

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
invariant:ex1 [2007/02/25 17:43] – bdefraininvariant:ex1 [2021/02/05 13:53] (current) – external edit 127.0.0.1
Line 1: Line 1:
-====== Invariants: Find old tracing ======+[[invariant:intro|Intro]] 
 +[[invariant:ex1|Ex1]] 
 +[[invariant:ex2|Ex2]] 
 +[[invariant:ex3|Ex3]] 
 +[[invariant:ex4|Ex4]] 
 +[[invariant:ex5|Ex5]]====== Invariants: Find old tracing ======
  
 **Task:** Signal an error for output on the standard output channel ''System.out''. **Task:** Signal an error for output on the standard output channel ''System.out''.
Line 8: Line 13:
 package answers; package answers;
  
-aspect Answer1a {+aspect Answer1 {
   declare error:   declare error:
     get(java.io.PrintStream System.out) && within(figures..*):     get(java.io.PrintStream System.out) && within(figures..*):
invariant/ex1.1172421817.txt.gz · Last modified: 2007/02/25 17:43 by bdefrain