org.coode.parsers.oppl.testcase

Class OPPLTestCaseSymbolTable

java.lang.Object

org.coode.parsers.SymbolTable

org.coode.parsers.oppl.OPPLSymbolTable

org.coode.parsers.oppl.testcase.OPPLTestCaseSymbolTable

public class OPPLTestCaseSymbolTable
extends OPPLSymbolTable

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.parsers.SymbolTable

df

Constructor Summary

Constructors

Constructor and Description
OPPLTestCaseSymbolTable(Scope globalScope, org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
AssertContains	getAssertContains(OPPLSyntaxTree variableNode, Collection<? extends OPPLSyntaxTree> expressionNodes, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory, OPPLSyntaxTree parentExpression, RuntimeExceptionHandler handler)
AssertEqual	getAssertEqual(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode, OPPLSyntaxTree parentExpression)
GreatThanAssertion	getAssertGreaterThan(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode)
GreaterThanEqualToAssertion	getAssertGreaterThanEqualTo(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode)
AssertionComplement	getAssertionComplement(Assertion a)
LessThanAssertion	getAssertLessThan(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode)
LessThanEqualToAssertion	getAssertLessThanEqualtTo(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode)
AssertNotEqual	getAssertNotEqual(AssertionExpression<?> left, OPPLSyntaxTree leftNode, AssertionExpression<?> right, OPPLSyntaxTree rightNode, OPPLSyntaxTree parentExpression)
BindingNodeCountAssertionExpression	getBindingNodeCount(BindingNode bindingNode, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory)
CountAssertionExpression	getCountAssertionExpression(OPPLSyntaxTree variableNode, ConstraintSystem constraintSystem, RuntimeExceptionHandler handler)
CountStarAssertionExpression	getCountStarAssertionExpression()
IntegerAssertionExpression	getIntegerAssertionExpression(OPPLSyntaxTree intValueNode)
OWLExpressionAssertionExpression	getOWLExpressionAssertionExpression(OPPLSyntaxTree owlObjectNode, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory, RuntimeExceptionHandler handler)

Methods inherited from class org.coode.parsers.oppl.OPPLSymbolTable

define, defineGroupAttributeReferenceSymbol, defineRenderingAttributeReferenceSymbol, defineValuesAttributeReferenceSymbol, defineVariable, defineVariableIRI, getAggregandumCollection, getAggregandumCollectionType, getClassVariableScopeType, getCollectionVariableAttributeSymbol, getDataFactory, getDifferentIndividualsAxiom, getDisjointAxiom, getExpressionGeneratedVariableType, getIndividualVariableScopeType, getInequalityConstraint, getInSetConstraint, getPropertyVariableScopeType, getSameIndividualAxiom, getStringVariableAttribute, getVariable, getVariableType, importConstraintSystem

Methods inherited from class org.coode.parsers.SymbolTable

clear, createOWLPropertyChain, dispose, getAllCompletions, getAllValueRestriction, getAllValueRestrictionType, getAnnotationAssertion, getAnnotationAssertionType, getAsymmetricProperty, getClassAssertionAxiom, getClassAssertionAxiomType, getCompletions, getConjunction, getConjunctionType, getDefinedSymbols, getDifferentIndividualsAxiom, getDifferentIndividualsAxiomType, getDisjointAxiom, getDisjointAxiomType, getDisjunction, getDisjunctionType, getDomainAxiom, getDomainAxiomType, getEquivalentAxiom, getEquivalentAxiomType, getErrorListener, getExactCardinalityRestriction, getExactCardinalityRestrictionType, getFunctionalProperty, getFunctionalPropertyType, getGlobalScope, getHasKey, getHasKeyType, getInverseFunctionalProperty, getInverseFunctionalPropertyType, getInverseOfAxiom, getInverseOfAxiomType, getInverseProperty, getInversePropertyType, getIrreflexiveProperty, getIrreflexivePropertyType, getMaxCardinalityRestriction, getMaxCardinalityRestrictionType, getMinCardinalityRestriction, getMinCardinalityRestrictionType, getNegatedAssertion, getNegatedAssertionType, getNegatedClassExpression, getNegatedClassExpressionType, getOneOf, getOneOfType, getOWLClassCompletions, getOWLDataPropertyCompletions, getOWLDataRange, getOWLDataRangeType, getOWLFacetRestriction, getOWLFacetRestrictionType, getOWLIndividualCompletions, getOWLObject, getOWLObjectPropertyCompletions, getOWLPropertyCompletions, getOWLTypedConstant, getOWLUntypedConstant, getPropertyChain, getPropertyChainType, getRangeAxiom, getRangeAxiomType, getReflexiveProperty, getReflexivePropertyType, getRoleAssertionAxiom, getRoleAssertionAxiomType, getSameIndividualsAxiom, getSameIndividualsAxiomType, getSomeValueRestriction, getSomeValueRestrictionType, getSubClassAxiom, getSubClassAxiomType, getSubPropertyAxiom, getSubPropertyAxiomType, getSymmetricProperty, getSymmetricPropertyType, getTransitiveProperty, getTransitivePropertyType, getValueRestriction, getValueRestrictionType, match, removeSymbol, reportIllegalToken, reportIncompatibleSymbols, reportIncompatibleSymbolType, reportIncompatibleSymbolType, reportUnrecognisedSymbol, resolve, resolveIRI, retrieveSymbol, setErrorListener, storeSymbol, storeSymbol

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OPPLTestCaseSymbolTable

public OPPLTestCaseSymbolTable(Scope globalScope,
                       org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Parameters:

globalScope - globalScope

dataFactory - dataFactory

Method Detail

getAssertEqual

public AssertEqual getAssertEqual(AssertionExpression<?> left,
                         OPPLSyntaxTree leftNode,
                         AssertionExpression<?> right,
                         OPPLSyntaxTree rightNode,
                         OPPLSyntaxTree parentExpression)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

parentExpression - parentExpression

Returns:

assert equals

getAssertNotEqual

public AssertNotEqual getAssertNotEqual(AssertionExpression<?> left,
                               OPPLSyntaxTree leftNode,
                               AssertionExpression<?> right,
                               OPPLSyntaxTree rightNode,
                               OPPLSyntaxTree parentExpression)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

parentExpression - parentExpression

Returns:

assert not equals

getAssertContains

public AssertContains getAssertContains(OPPLSyntaxTree variableNode,
                               Collection<? extends OPPLSyntaxTree> expressionNodes,
                               ConstraintSystem constraintSystem,
                               AbstractOPPLTestCaseFactory testCaseFactory,
                               OPPLSyntaxTree parentExpression,
                               RuntimeExceptionHandler handler)

Parameters:

variableNode - variableNode

expressionNodes - expressionNodes

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

parentExpression - parentExpression

handler - handler

Returns:

assert contains

getCountAssertionExpression

public CountAssertionExpression getCountAssertionExpression(OPPLSyntaxTree variableNode,
                                                   ConstraintSystem constraintSystem,
                                                   RuntimeExceptionHandler handler)

Parameters:

variableNode - variableNode

constraintSystem - constraintSystem

handler - handler

Returns:

count assertion

getIntegerAssertionExpression

public IntegerAssertionExpression getIntegerAssertionExpression(OPPLSyntaxTree intValueNode)

Parameters:

intValueNode - intValueNode

Returns:

integer assertion

getOWLExpressionAssertionExpression

public OWLExpressionAssertionExpression getOWLExpressionAssertionExpression(OPPLSyntaxTree owlObjectNode,
                                                                   ConstraintSystem constraintSystem,
                                                                   AbstractOPPLTestCaseFactory testCaseFactory,
                                                                   RuntimeExceptionHandler handler)

Parameters:

owlObjectNode - owlObjectNode

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

handler - handler

Returns:

expression assertion

getAssertionComplement

public AssertionComplement getAssertionComplement(Assertion a)

Parameters:

a - a

Returns:

assertion complement

getCountStarAssertionExpression

public CountStarAssertionExpression getCountStarAssertionExpression()

Returns:

count star assertion

getAssertLessThan

public LessThanAssertion getAssertLessThan(AssertionExpression<?> left,
                                  OPPLSyntaxTree leftNode,
                                  AssertionExpression<?> right,
                                  OPPLSyntaxTree rightNode)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

Returns:

assert less than

getAssertLessThanEqualtTo

public LessThanEqualToAssertion getAssertLessThanEqualtTo(AssertionExpression<?> left,
                                                 OPPLSyntaxTree leftNode,
                                                 AssertionExpression<?> right,
                                                 OPPLSyntaxTree rightNode)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

Returns:

assert less or equal

getAssertGreaterThan

public GreatThanAssertion getAssertGreaterThan(AssertionExpression<?> left,
                                      OPPLSyntaxTree leftNode,
                                      AssertionExpression<?> right,
                                      OPPLSyntaxTree rightNode)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

Returns:

assert greater

getAssertGreaterThanEqualTo

public GreaterThanEqualToAssertion getAssertGreaterThanEqualTo(AssertionExpression<?> left,
                                                      OPPLSyntaxTree leftNode,
                                                      AssertionExpression<?> right,
                                                      OPPLSyntaxTree rightNode)

Parameters:

left - left

leftNode - leftNode

right - right

rightNode - rightNode

Returns:

assert greater or equal

getBindingNodeCount

public BindingNodeCountAssertionExpression getBindingNodeCount(BindingNode bindingNode,
                                                      ConstraintSystem constraintSystem,
                                                      AbstractOPPLTestCaseFactory testCaseFactory)

Parameters:

bindingNode - bindingNode

constraintSystem - constraintSystem

testCaseFactory - testCaseFactory

Returns:

binding node count assertion