org.coode.parsers.oppl.testcase.assertions

Class AssertNotEqual

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.AssertNotEqual

All Implemented Interfaces:

Assertion

public class AssertNotEqual
extends Object
implements Assertion

Asserts that the expression on the left is not equal to the one on the right.

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
AssertNotEqual(AssertionExpression<?> left, AssertionExpression<?> right)

Method Summary

Modifier and Type	Method and Description
void	accept(AssertionVisitor visitor)
<O> O	accept(AssertionVisitorEx<O> visitor)
boolean	equals(Object obj)
AssertionExpression<?>	getLeft()
AssertionExpression<?>	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

AssertNotEqual

public AssertNotEqual(AssertionExpression<?> left,
                      AssertionExpression<?> right)

Parameters:

left - left

right - right

Method Detail

accept

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

Specified by:

accept in interface Assertion

Parameters:

visitor - visitor

Returns:

visitor value

accept

public void accept(AssertionVisitor visitor)

Specified by:

accept in interface Assertion

Parameters:

visitor - visitor

getLeft

public AssertionExpression<?> getLeft()

Returns:

the left

getRight

public AssertionExpression<?> getRight()

Returns:

the right

toString

public String toString()

Overrides:

toString in class Object

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