public class Postcondition
extends Assertion
A post-condition assertion.
| Constructor and description |
|---|
Postcondition()Creates a postcondition that defaults to true. |
Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor)Creates a postcondition from the supplied source block and boolean expression. |
| Type Params | Return Type | Name and description |
|---|---|---|
|
public boolean |
isPartOfConstructor()Indicates whether this postcondition was declared for a constructor. |
| Methods inherited from class | Name |
|---|---|
class Assertion |
and, booleanExpression, or, originalBlockStatement, renew |
Creates a postcondition that defaults to true.
Creates a postcondition from the supplied source block and boolean expression.
blockStatement - the original postcondition blockbooleanExpression - the normalized postcondition expressionisPartOfConstructor - whether the postcondition belongs to a constructorCopyright © 2003-2026 The Apache Software Foundation. All rights reserved.