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-2022 The Apache Software Foundation. All rights reserved.