Re: [aspectj-dev] Invariants

[Eric Bodden <eric@xxxxxxxxx>]

----- Original Message ----- 
From: "Macneil Shonle" <mshonle@xxxxxxxxxxx>

> > - In order to implement the proper semantics of a class invariant, I
> > also want to ensure that when an object calls methods from its public
> > interface on itself (as opposed to on other instances of the same
> > class), the invariant should not be checked, how do I achieve that?
>
> You can exclude those calls by saying && !within(MyClass ..) or to avoid
> deeper calls you can use && !within(cflow ..).

Doesn't !within(MyClass ..) only work on a static way by checking against
the current compilation unit? I think in order to distinguish the current
object from other objects of the same class you cannot come around a
"perthis" aspect.

Eric