org.coode.parsers.oppl.testcase.assertions

Interface Assertion

All Known Implementing Classes:

AssertContains, AssertEqual, AssertionComplement, AssertNotEqual, GreaterThanEqualToAssertion, GreatThanAssertion, LessThanAssertion, LessThanEqualToAssertion

public interface Assertion

An assertion is a test on the results of a query contained in an OPPLTestCase

Author:

Luigi Iannone

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AssertionVisitor visitor)
<O> O	accept(AssertionVisitorEx<O> visitor)
boolean	holds(Set<? extends BindingNode> bindings, ConstraintSystem constraintSystem) Determines whether this Assertion is valid for the input bindings.

Method Detail

accept

void accept(AssertionVisitor visitor)

Parameters:

visitor - visitor

accept

<O> O accept(AssertionVisitorEx<O> visitor)

Parameters:

visitor - visitor

Returns:

visitor value

holds

boolean holds(Set<? extends BindingNode> bindings,
            ConstraintSystem constraintSystem)

Determines whether this Assertion is valid for the input bindings.

Parameters:

bindings - The bindings against which this Assertion will be checked. Cannot be null.

constraintSystem - . Cannot be null.

Returns:

true if this Assertion holds.

Throws:

NullPointerException - if either input is null.