public class ClassInvariant extends Assertion
A class-invariant assertion.
| Modifiers | Name | Description | 
|---|---|---|
| static ClassInvariant | DEFAULT | 
| Constructor and description | 
|---|
| ClassInvariant() | 
| ClassInvariant(BlockStatement blockStatement, BooleanExpression booleanExpression) | 
| Methods inherited from class | Name | 
|---|---|
| class Assertion | and, booleanExpression, or, originalBlockStatement, renew | 
Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.