org.coode.parsers.oppl

Class OPPLSymbolTable

java.lang.Object

org.coode.parsers.SymbolTable

org.coode.parsers.oppl.OPPLSymbolTable

public class OPPLSymbolTable
extends SymbolTable

Author:

ignazio

Field Summary

Fields inherited from class org.coode.parsers.SymbolTable

df

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	define(org.antlr.runtime.Token token, Symbol symbol) Defines a new Symbol in this OPPLSymbolTable under the input Token.
OPPLFunction<String>	defineGroupAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ManchesterOWLSyntaxTree indexNode, ConstraintSystem constraintSystem)
VariableAttribute<String>	defineRenderingAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ConstraintSystem constraintSystem)
VariableAttribute<?>	defineValuesAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ConstraintSystem constraintSystem)
void	defineVariable(ManchesterOWLSyntaxTree identifier, ManchesterOWLSyntaxTree variableType, ConstraintSystem constraintSystem)
void	defineVariableIRI(OPPLSyntaxTree iriTree, OPPLSyntaxTree variableNameTree, ConstraintSystem constraintSystem)
<O extends org.semanticweb.owlapi.model.OWLObject> Collection<? extends Aggregandum<Collection<? extends O>>>	getAggregandumCollection(VariableType<O> variableType, Collection<? extends Aggregandum<?>> aggregandums, List<OPPLSyntaxTree> aggregandumsTrees, OPPLSyntaxTree parentExpression)
VariableType<?>	getAggregandumCollectionType(Collection<? extends Aggregandum<?>> aggregandums, List<OPPLSyntaxTree> aggregandumsTrees, OPPLSyntaxTree parentExpression)
Type	getClassVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
<P extends org.semanticweb.owlapi.model.OWLObject,O extends VariableAttribute<Collection<? extends P>>> CollectionVariableAttributeSymbol<P,O>	getCollectionVariableAttributeSymbol(VariableType<?> type, OPPLSyntaxTree attributeSyntaxTree)
OPPLOWLDataFactory	getDataFactory()
org.semanticweb.owlapi.model.OWLAxiom	getDifferentIndividualsAxiom(OPPLSyntaxTree opplSyntaxTree, List<Aggregandum<?>> list, List<OPPLSyntaxTree> tokenList, ConstraintSystem constraintSystem)
org.semanticweb.owlapi.model.OWLAxiom	getDisjointAxiom(OPPLSyntaxTree expression, Collection<? extends Aggregandum<?>> aggregandums, List<OPPLSyntaxTree> aggregdandumTrees, ConstraintSystem constraintSystem)
Type	getExpressionGeneratedVariableType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree variableType, ManchesterOWLSyntaxTree expression)
Type	getIndividualVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree individualExpression)
InequalityConstraint	getInequalityConstraint(OPPLSyntaxTree parentExpression, OPPLSyntaxTree variableIdentifier, OPPLSyntaxTree expression, ConstraintSystem constraintSystem)
InCollectionConstraint<org.semanticweb.owlapi.model.OWLObject>	getInSetConstraint(OPPLSyntaxTree parentExpression, OPPLSyntaxTree v, ConstraintSystem constraintSystem, OPPLSyntaxTree... elements)
Type	getPropertyVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression)
org.semanticweb.owlapi.model.OWLAxiom	getSameIndividualAxiom(OPPLSyntaxTree opplSyntaxTree, List<Aggregandum<?>> list, List<OPPLSyntaxTree> tokenList, ConstraintSystem constraintSystem)
VariableAttribute<String>	getStringVariableAttribute(OPPLSyntaxTree variableAttributeSyntaxTree)
Variable<?>	getVariable(OPPLSyntaxTree identifier, ConstraintSystem constraintSystem)
VariableType<?>	getVariableType(ManchesterOWLSyntaxTree variableType)
void	importConstraintSystem(ConstraintSystem constraintSystem) Import all the variables in the input ConstraintSystem into this OPPLSymbolTable.

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

OPPLSymbolTable

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

Parameters:

globalScope - globalScope

dataFactory - dataFactory

Method Detail

getDataFactory

public OPPLOWLDataFactory getDataFactory()

Overrides:

getDataFactory in class SymbolTable

Returns:

the dataFactory

define

public void define(org.antlr.runtime.Token token,
                   Symbol symbol)

Defines a new Symbol in this OPPLSymbolTable under the input Token.

Parameters:

token - The input token. Cannot be null.

symbol - The Symbol to be defined. Cannot be null.

defineVariable

public void defineVariable(ManchesterOWLSyntaxTree identifier,
                           ManchesterOWLSyntaxTree variableType,
                           ConstraintSystem constraintSystem)

Parameters:

identifier - identifier

variableType - variableType

constraintSystem - constraintSystem

getClassVariableScopeType

public Type getClassVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
                                      ManchesterOWLSyntaxTree classExpression)

Parameters:

parentExpression - parentExpression

classExpression - classExpression

Returns:

type

getPropertyVariableScopeType

public Type getPropertyVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
                                         ManchesterOWLSyntaxTree propertyExpression)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

Returns:

type

getIndividualVariableScopeType

public Type getIndividualVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
                                           ManchesterOWLSyntaxTree individualExpression)

Parameters:

parentExpression - parentExpression

individualExpression - individualExpression

Returns:

type

getExpressionGeneratedVariableType

public Type getExpressionGeneratedVariableType(ManchesterOWLSyntaxTree parentExpression,
                                               ManchesterOWLSyntaxTree variableType,
                                               ManchesterOWLSyntaxTree expression)

Parameters:

parentExpression - parentExpression

variableType - variableType

expression - expression

Returns:

type

getVariableType

public VariableType<?> getVariableType(ManchesterOWLSyntaxTree variableType)

Parameters:

variableType - variableType

Returns:

variable type

defineGroupAttributeReferenceSymbol

public OPPLFunction<String> defineGroupAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
                                                                ManchesterOWLSyntaxTree indexNode,
                                                                ConstraintSystem constraintSystem)

Parameters:

variableSyntaxTree - variableSyntaxTree

indexNode - indexNode

constraintSystem - constraintSystem

Returns:

oppl function

defineRenderingAttributeReferenceSymbol

public VariableAttribute<String> defineRenderingAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
                                                                         ConstraintSystem constraintSystem)

Parameters:

variableSyntaxTree - variableSyntaxTree

constraintSystem - constraintSystem

Returns:

variable attribute

defineValuesAttributeReferenceSymbol

public VariableAttribute<?> defineValuesAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
                                                                 ConstraintSystem constraintSystem)

Parameters:

variableSyntaxTree - variableSyntaxTree

constraintSystem - constraintSystem

Returns:

variable attribute

getInequalityConstraint

public InequalityConstraint getInequalityConstraint(OPPLSyntaxTree parentExpression,
                                                    OPPLSyntaxTree variableIdentifier,
                                                    OPPLSyntaxTree expression,
                                                    ConstraintSystem constraintSystem)

Parameters:

parentExpression - parentExpression

variableIdentifier - variableIdentifier

expression - expression

constraintSystem - constraintSystem

Returns:

inequality constraint

getInSetConstraint

public InCollectionConstraint<org.semanticweb.owlapi.model.OWLObject> getInSetConstraint(OPPLSyntaxTree parentExpression,
                                                                                         OPPLSyntaxTree v,
                                                                                         ConstraintSystem constraintSystem,
                                                                                         OPPLSyntaxTree... elements)

Parameters:

parentExpression - parentExpression

v - v

constraintSystem - constraintSystem

elements - elements

Returns:

in collection constraint

getVariable

public Variable<?> getVariable(OPPLSyntaxTree identifier,
                               ConstraintSystem constraintSystem)

Parameters:

identifier - identifier

constraintSystem - constraintSystem

Returns:

variable

importConstraintSystem

public void importConstraintSystem(ConstraintSystem constraintSystem)

Import all the variables in the input ConstraintSystem into this OPPLSymbolTable.

Parameters:

constraintSystem - The input constraint system. It cannot be null.

Throws:

NullPointerException - if the input is null.

getStringVariableAttribute

public VariableAttribute<String> getStringVariableAttribute(OPPLSyntaxTree variableAttributeSyntaxTree)

Parameters:

variableAttributeSyntaxTree - variableAttributeSyntaxTree

Returns:

variable attribute

getCollectionVariableAttributeSymbol

public <P extends org.semanticweb.owlapi.model.OWLObject,O extends VariableAttribute<Collection<? extends P>>> CollectionVariableAttributeSymbol<P,O> getCollectionVariableAttributeSymbol(VariableType<?> type,
                                                                                                                                                                                           OPPLSyntaxTree attributeSyntaxTree)

Type Parameters:

O - variable type

P - attribute type

Parameters:

type - type

attributeSyntaxTree - attributeSyntaxTree

Returns:

collection variable

defineVariableIRI

public void defineVariableIRI(OPPLSyntaxTree iriTree,
                              OPPLSyntaxTree variableNameTree,
                              ConstraintSystem constraintSystem)

Parameters:

iriTree - iriTree

variableNameTree - variableNameTree

constraintSystem - constraintSystem

getDisjointAxiom

public org.semanticweb.owlapi.model.OWLAxiom getDisjointAxiom(OPPLSyntaxTree expression,
                                                              Collection<? extends Aggregandum<?>> aggregandums,
                                                              List<OPPLSyntaxTree> aggregdandumTrees,
                                                              ConstraintSystem constraintSystem)

Parameters:

expression - expression

aggregandums - aggregandums

aggregdandumTrees - aggregdandumTrees

constraintSystem - constraintSystem

Returns:

disjoint axiom

getAggregandumCollection

public <O extends org.semanticweb.owlapi.model.OWLObject> Collection<? extends Aggregandum<Collection<? extends O>>> getAggregandumCollection(VariableType<O> variableType,
                                                                                                                                              Collection<? extends Aggregandum<?>> aggregandums,
                                                                                                                                              List<OPPLSyntaxTree> aggregandumsTrees,
                                                                                                                                              OPPLSyntaxTree parentExpression)

Type Parameters:

O - variable type

Parameters:

variableType - variableType

aggregandums - aggregandums

aggregandumsTrees - aggregandumsTrees

parentExpression - parentExpression

Returns:

aggregandum

getAggregandumCollectionType

public VariableType<?> getAggregandumCollectionType(Collection<? extends Aggregandum<?>> aggregandums,
                                                    List<OPPLSyntaxTree> aggregandumsTrees,
                                                    OPPLSyntaxTree parentExpression)

Parameters:

aggregandums - aggregandums

aggregandumsTrees - aggregandumsTrees

parentExpression - parentExpression

Returns:

aggregandum collection type

getDifferentIndividualsAxiom

public org.semanticweb.owlapi.model.OWLAxiom getDifferentIndividualsAxiom(OPPLSyntaxTree opplSyntaxTree,
                                                                          List<Aggregandum<?>> list,
                                                                          List<OPPLSyntaxTree> tokenList,
                                                                          ConstraintSystem constraintSystem)

Parameters:

opplSyntaxTree - opplSyntaxTree

list - list

tokenList - tokenList

constraintSystem - constraintSystem

Returns:

different individual axiom

getSameIndividualAxiom

public org.semanticweb.owlapi.model.OWLAxiom getSameIndividualAxiom(OPPLSyntaxTree opplSyntaxTree,
                                                                    List<Aggregandum<?>> list,
                                                                    List<OPPLSyntaxTree> tokenList,
                                                                    ConstraintSystem constraintSystem)

Parameters:

opplSyntaxTree - opplSyntaxTree

list - list

tokenList - tokenList

constraintSystem - constraintSystem

Returns:

same individual axiom