RE: [aspectj-users] CFlow semantic and help

[Eric Bodden <eric@xxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Small copy&paste correction...

> 	after(): b() && if(this.state==State.matchedA) {
> 		this.state = State.matchedB; // <<< must be B
> 	}
> 
> 	after(): c() && if(this.state==State.matchedB) {
> 		this.state = State.matchedC; // <<< must be C
> 	}

Eric

- -- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQih3mswiFCm7RlWCEQKVWgCgjtkk25y6necuINk0OB7AiDK/BtwAnjAn
WnXkO6csmLkeU3K4R/CY+PHK
=w0lZ
-----END PGP SIGNATURE-----