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