org.coode.parsers.oppl.testcase.assertions

Class CountAssertionExpression

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.CountAssertionExpression

All Implemented Interfaces:

AssertionExpression<Integer>

public class CountAssertionExpression
extends Object
implements AssertionExpression<Integer>

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
CountAssertionExpression(Variable<?> variable, RuntimeExceptionHandler handler)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AssertionExpressionVisitor assertionExpressionVisitor)
<O> O	accept(AssertionExpressionVisitorEx<O> assertionExpressionVisitor)
boolean	equals(Object obj)
RuntimeExceptionHandler	getHandler()
Variable<?>	getVariable()
int	hashCode()
Integer	resolve(Set<? extends BindingNode> bindings, ConstraintSystem constraintSystem) 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

CountAssertionExpression

public CountAssertionExpression(Variable<?> variable,
                        RuntimeExceptionHandler handler)

Parameters:

variable - variable

handler - handler

Method Detail

getVariable

public Variable<?> getVariable()

Returns:

the variable

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

toString

public String toString()

Overrides:

toString in class Object

resolve

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

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.

constraintSystem - Cannot be null.

Returns:

an object of class T.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getHandler

public RuntimeExceptionHandler getHandler()

Returns:

the handler