I just got it! (invariant/const)

[Jason House]

Janice Caron Wrote:

> On 09/04/2008, Jason House <jason.james.house at gmail.com> wrote:
> > The strange thing is that pure functions can't call invariant member functions of their invariant data.
> 
> I don't think that's correct.
> 
> [example showing misinterpretation of what I'm talking about]

Consider this example:

class D{
  void invMemberFunc() invariant; // not pure
}

class C{
  int f(invariant D) invariant pure{
    D.invMemberFunc(); // illegal
  }
}