Re: [aspectj-users] CFlow semantic and help

[Valerio Schiavoni <ervalerio@xxxxxxxxxx>]

thanks for the suggested paper by Walker, i'm considering that framework.

Knowing how their "translator" from DEP constructs to AspectJ one would 
help, i'll try to explore in that way.

this doesn't imply that I could do the same without their tool (or their 
aspectj extension), right?

Thanks,
Valerio

Eric Bodden ha scritto:

> 	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
> 	}
>