org.coode.parsers.oppl.testcase.assertions

Class GreatThanAssertion

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.GreatThanAssertion

All Implemented Interfaces:

Assertion

public class GreatThanAssertion
extends Object
implements Assertion

Represents the assertion that the left hand side is less than the right hand side

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
GreatThanAssertion(AssertionExpression<Integer> left, AssertionExpression<Integer> right)

Method Summary

Modifier and Type	Method and Description
void	accept(AssertionVisitor visitor)
<O> O	accept(AssertionVisitorEx<O> visitor)
boolean	equals(Object obj)
AssertionExpression<Integer>	getLeft()
AssertionExpression<Integer>	getRight()
int	hashCode()
boolean	holds(Set<? extends BindingNode> bindings, ConstraintSystem constraintSystem) Determines whether this Assertion is valid for the input bindings.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

GreatThanAssertion

public GreatThanAssertion(AssertionExpression<Integer> left,
                          AssertionExpression<Integer> right)

Parameters:

left - left

right - right

Method Detail

getLeft

public AssertionExpression<Integer> getLeft()

Returns:

the left

getRight

public AssertionExpression<Integer> getRight()

Returns:

the right

accept

public void accept(AssertionVisitor visitor)

Specified by:

accept in interface Assertion

Parameters:

visitor - visitor

accept

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

Specified by:

accept in interface Assertion

Parameters:

visitor - visitor

Returns:

visitor value

holds

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

Description copied from interface: Assertion

Determines whether this Assertion is valid for the input bindings.

Specified by:

holds in interface Assertion

Parameters:

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

constraintSystem - . Cannot be null.

Returns:

true if this Assertion holds.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object