Class Assertion<T extends Assertion>
- java.lang.Object
-
- org.apache.groovy.contracts.domain.Assertion<T>
-
- Type Parameters:
T
-
- Direct Known Subclasses:
ClassInvariant
,Postcondition
,Precondition
public abstract class Assertion<T extends Assertion> extends Object
Base class for all assertion types.
-
-
Constructor Summary
Constructors Constructor Description Assertion()
Assertion(BlockStatement blockStatement, BooleanExpression booleanExpression)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
and(T other)
BooleanExpression
booleanExpression()
void
or(T other)
BlockStatement
originalBlockStatement()
void
renew(BooleanExpression booleanExpression)
-
-
-
Constructor Detail
-
Assertion
public Assertion()
-
Assertion
public Assertion(BlockStatement blockStatement, BooleanExpression booleanExpression)
-
-
Method Detail
-
booleanExpression
public BooleanExpression booleanExpression()
-
originalBlockStatement
public BlockStatement originalBlockStatement()
-
renew
public void renew(BooleanExpression booleanExpression)
-
and
public void and(T other)
-
or
public void or(T other)
-
-