org.coode.parsers.oppl.testcase.assertions

Class OWLExpressionAssertionExpression

java.lang.Object

org.coode.parsers.oppl.testcase.assertions.OWLExpressionAssertionExpression

All Implemented Interfaces:

AssertionExpression<Set<org.semanticweb.owlapi.model.OWLObject>>

public class OWLExpressionAssertionExpression
extends Object
implements AssertionExpression<Set<org.semanticweb.owlapi.model.OWLObject>>

Represents an OWL Object in an assertion.

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
OWLExpressionAssertionExpression(org.semanticweb.owlapi.model.OWLObject owlObject, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory, 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)
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getHandler()
org.semanticweb.owlapi.model.OWLObject	getOWLObject()
AbstractOPPLTestCaseFactory	getTestCaseFactory()
int	hashCode()
Set<org.semanticweb.owlapi.model.OWLObject>	resolve(Set<? extends BindingNode> bindings, ConstraintSystem cs) 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

OWLExpressionAssertionExpression

public OWLExpressionAssertionExpression(org.semanticweb.owlapi.model.OWLObject owlObject,
                                ConstraintSystem constraintSystem,
                                AbstractOPPLTestCaseFactory testCaseFactory,
                                RuntimeExceptionHandler handler)

Parameters:

owlObject - owlObject

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

handler - handler

Method Detail

accept

public void accept(AssertionExpressionVisitor assertionExpressionVisitor)

Specified by:

accept in interface AssertionExpression<Set<org.semanticweb.owlapi.model.OWLObject>>

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

accept

public <O> O accept(AssertionExpressionVisitorEx<O> assertionExpressionVisitor)

Specified by:

accept in interface AssertionExpression<Set<org.semanticweb.owlapi.model.OWLObject>>

Parameters:

assertionExpressionVisitor - assertionExpressionVisitor

Returns:

visitor value

getOWLObject

public org.semanticweb.owlapi.model.OWLObject getOWLObject()

Returns:

the owlObject

getTestCaseFactory

public AbstractOPPLTestCaseFactory getTestCaseFactory()

Returns:

the testCaseFactory

toString

public String toString()

Overrides:

toString in class Object

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

resolve

public Set<org.semanticweb.owlapi.model.OWLObject> resolve(Set<? extends BindingNode> bindings,
                                                  ConstraintSystem cs)

Description copied from interface: AssertionExpression

Resolves the expression according to the input set of bindings.

Specified by:

resolve in interface AssertionExpression<Set<org.semanticweb.owlapi.model.OWLObject>>

Parameters:

bindings - The Set of bindings providing value for the variables. Cannot be null.

cs - 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