Package org.apache.groovy.contracts.domain

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(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement, org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

Method Summary

Modifier and Type	Method	Description
void	and(T other)
org.codehaus.groovy.ast.expr.BooleanExpression	booleanExpression()
void	or(T other)
org.codehaus.groovy.ast.stmt.BlockStatement	originalBlockStatement()
void	renew(org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Assertion

public Assertion()

Assertion

public Assertion(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement,
 org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

Method Details

booleanExpression

public org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression()

originalBlockStatement

public org.codehaus.groovy.ast.stmt.BlockStatement originalBlockStatement()

renew

public void renew(org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

and

public void and(T other)

or

public void or(T other)