Annotation Type IsInvariant

public @interface IsInvariant

Specifies that the return value of the given method (usually a getter method) should be checked whenever the object is validated.
Important 1: This is only supported for non-void, non-parameterized methods.
Important 2: To retrieve the return value of the method OVal has to invoke the method during validation. Therefore you need to ensure that calling the method does not change the object state.

Sebastian Thomschke

Copyright © 2005–2015 The OVal Development Team. All rights reserved.