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 Details

  • Method Details

    • 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)