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