org.coode.parsers.oppl.testcase.assertions

Interface AssertionExpression<T>

Type Parameters:

T - The kind of object this AssertionExpression resolves to.

All Known Implementing Classes:

BindingNodeCountAssertionExpression, CountAssertionExpression, CountStarAssertionExpression, IntegerAssertionExpression, OWLExpressionAssertionExpression

public interface AssertionExpression<T>

An expression that could be used as an argument in Assertions. It can be resolved against a Set of bindings by calling the resolve methods. It transforms the AssertionExpression into an object

Author:

Luigi Iannone

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AssertionExpressionVisitor assertionExpressionVisitor)
<O> O	accept(AssertionExpressionVisitorEx<O> assertionExpressionVisitor)
T	resolve(Set<? extends BindingNode> bindings, ConstraintSystem constraintSystem) Resolves the expression according to the input set of bindings.

Method Detail

accept

void accept(AssertionExpressionVisitor assertionExpressionVisitor)

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

accept

<O> O accept(AssertionExpressionVisitorEx<O> assertionExpressionVisitor)

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

Returns:

visitor value

resolve

T resolve(Set<? extends BindingNode> bindings,
        ConstraintSystem constraintSystem)

Resolves the expression according to the input set of bindings.

Parameters:

bindings - The Set of bindings providing value for the variables. Cannot be null.

constraintSystem - Cannot be null.

Returns:

an object of class T.

Throws:

NullPointerException - if either input is null.