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