org.coode.parsers.oppl.testcase.assertions

Class AssertionComplement

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.AssertionComplement

All Implemented Interfaces:

Assertion

public class AssertionComplement
extends Object
implements Assertion

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
AssertionComplement(Assertion assertion)

Method Summary

Methods

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

AssertionComplement

public AssertionComplement(Assertion assertion)

Parameters:

assertion - assertion

Method Detail

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

getOperand

public Assertion getOperand()

Returns:

assertion

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