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.