public class Postcondition extends Assertion
A post-condition assertion.
| Constructor and description |
|---|
Postcondition() |
Postcondition(BlockStatement blockStatement, BooleanExpression booleanExpression, boolean isPartOfConstructor) |
| Type Params | Return Type | Name and description |
|---|---|---|
|
public boolean |
isPartOfConstructor() |
| Methods inherited from class | Name |
|---|---|
class Assertion |
and, booleanExpression, or, originalBlockStatement, renew |
Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.