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.