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:35] – 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..*):
Line 21: Line 26:
 When you use this on the given system, you'll find one incorrect trace in ''SlothfulPoint''. When you use this on the given system, you'll find one incorrect trace in ''SlothfulPoint''.
  
 +----
 +
 +Comment out the offending output line and continue with [[invariant:ex2|Exercise 2]].
invariant/ex1.1172421320.txt.gz · Last modified: 2007/02/25 17:35 by bdefrain