org.coode.parsers.oppl.testcase.assertions

Class AssertContains

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.AssertContains

All Implemented Interfaces:

Assertion

public class AssertContains
extends Object
implements Assertion

Asserts that the bindings of a Variable contain a specified value.

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
AssertContains(Variable<?> variable, Collection<? extends org.semanticweb.owlapi.model.OWLObject> values, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory, RuntimeExceptionHandler handler)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AssertionVisitor visitor)
<O> O	accept(AssertionVisitorEx<O> visitor)
boolean	equals(Object obj)
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getHandler()
AbstractOPPLTestCaseFactory	getTestCaseFactory()
Set<org.semanticweb.owlapi.model.OWLObject>	getValues()
Variable<?>	getVariable()
int	hashCode()
boolean	holds(Set<? extends BindingNode> bindings, ConstraintSystem cs) 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

AssertContains

public AssertContains(Variable<?> variable,
              Collection<? extends org.semanticweb.owlapi.model.OWLObject> values,
              ConstraintSystem constraintSystem,
              AbstractOPPLTestCaseFactory testCaseFactory,
              RuntimeExceptionHandler handler)

Parameters:

variable - variable

values - values

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

handler - handler

Method Detail

getVariable

public Variable<?> getVariable()

Returns:

the variable

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

toString

public String toString()

Overrides:

toString in class Object

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

getTestCaseFactory

public AbstractOPPLTestCaseFactory getTestCaseFactory()

Returns:

the testCaseFactory

holds

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

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.

cs - . Cannot be null.

Returns:

true if this Assertion holds.

getValues

public Set<org.semanticweb.owlapi.model.OWLObject> getValues()

Returns:

the values

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