Package org.apache.groovy.contracts.domain

Class Precondition

java.lang.Object

org.apache.groovy.contracts.domain.Assertion<Precondition>

org.apache.groovy.contracts.domain.Precondition

public class Precondition
extends Assertion<Precondition>

A pre-condition assertion.

Constructor Summary

Constructors

Constructor	Description
Precondition()
Precondition(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement, org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression)

Method Summary

Methods inherited from class org.apache.groovy.contracts.domain.Assertion

and, booleanExpression, or, originalBlockStatement, renew

Methods inherited from class java.lang.Object

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

Constructor Details

Precondition

public Precondition()

Precondition

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