public class ClassInvariant
extends Assertion
A class-invariant assertion.
| Modifiers | Name | Description |
|---|---|---|
static ClassInvariant |
DEFAULT |
Shared invariant instance representing an unconstrained class invariant. |
| Constructor and description |
|---|
ClassInvariant()Creates a class invariant that defaults to true. |
ClassInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression)Creates a class invariant from the supplied source block and boolean expression. |
| Methods inherited from class | Name |
|---|---|
class Assertion |
and, booleanExpression, or, originalBlockStatement, renew |
Shared invariant instance representing an unconstrained class invariant.
Creates a class invariant that defaults to true.
Creates a class invariant from the supplied source block and boolean expression.
blockStatement - the original invariant blockbooleanExpression - the normalized invariant expressionCopyright © 2003-2026 The Apache Software Foundation. All rights reserved.