org.coode.parsers.oppl.testcase.assertions

Class BindingNodeCountAssertionExpression

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.BindingNodeCountAssertionExpression

All Implemented Interfaces:

AssertionExpression<Integer>

public class BindingNodeCountAssertionExpression
extends Object
implements AssertionExpression<Integer>

Represents the count of the occurrences a particular set of assignments in the results of the query.

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
BindingNodeCountAssertionExpression(BindingNode bindingNode, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AssertionExpressionVisitor assertionExpressionVisitor)
<O> O	accept(AssertionExpressionVisitorEx<O> assertionExpressionVisitor)
boolean	equals(Object obj)
BindingNode	getBindingNode()
ConstraintSystem	getConstraintSystem()
AbstractOPPLTestCaseFactory	getTestCaseFactory()
int	hashCode()
Integer	resolve(Set<? extends BindingNode> bindings, ConstraintSystem cs) Resolves the expression according to the input set of bindings.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BindingNodeCountAssertionExpression

public BindingNodeCountAssertionExpression(BindingNode bindingNode,
                                   ConstraintSystem constraintSystem,
                                   AbstractOPPLTestCaseFactory testCaseFactory)

Parameters:

bindingNode - bindingNode

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

Method Detail

accept

public void accept(AssertionExpressionVisitor assertionExpressionVisitor)

Specified by:

accept in interface AssertionExpression<Integer>

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

accept

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

Specified by:

accept in interface AssertionExpression<Integer>

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

Returns:

visitor value

resolve

public Integer resolve(Set<? extends BindingNode> bindings,
              ConstraintSystem cs)

Description copied from interface: AssertionExpression

Resolves the expression according to the input set of bindings.

Specified by:

resolve in interface AssertionExpression<Integer>

Parameters:

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

cs - Cannot be null.

Returns:

an object of class T.

getBindingNode

public BindingNode getBindingNode()

Returns:

the bindingNode

getTestCaseFactory

public AbstractOPPLTestCaseFactory getTestCaseFactory()

Returns:

the testCaseFactory

toString

public String toString()

Overrides:

toString in class Object

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object