Annotation Type Invariant

Represents a class-invariant.

The class-invariant defines assertions holding during the entire objects life-time.

Class-invariants are verified at runtime at the following pointcuts:

  • after a constructor call
  • before a method call
  • after a method call

Whenever a class has a parent which itself specifies a class-invariant, that class-invariant expression is combined with the actual class's invariant (by using a logical AND).

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
  • Element Details