public class Precondition
extends Assertion
A pre-condition assertion.
| Constructor and description |
|---|
Precondition()Creates a precondition that defaults to true. |
Precondition(BlockStatement blockStatement, BooleanExpression booleanExpression)Creates a precondition from the supplied source block and boolean expression. |
| Methods inherited from class | Name |
|---|---|
class Assertion |
and, booleanExpression, or, originalBlockStatement, renew |
Creates a precondition that defaults to true.
Creates a precondition from the supplied source block and boolean expression.
blockStatement - the original precondition blockbooleanExpression - the normalized precondition expressionCopyright © 2003-2026 The Apache Software Foundation. All rights reserved.