org.coode.parsers.oppl.patterns

Class OPPLPatternsSymbolTable

java.lang.Object

org.coode.parsers.SymbolTable

org.coode.parsers.oppl.OPPLSymbolTable

org.coode.parsers.oppl.patterns.OPPLPatternsSymbolTable

public class OPPLPatternsSymbolTable
extends OPPLSymbolTable

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.parsers.SymbolTable

df

Constructor Summary

Constructors

Constructor and Description
OPPLPatternsSymbolTable(Scope globalScope, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager)

Method Summary

Modifier and Type	Method and Description
OPPLPatternScope	getGlobalScope()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
void	resolvePattern(OPPLSyntaxTree reference, String patternName, PatternConstraintSystem constraintSystem, Collection<? extends String> visited, List<Object>... args)
void	resolvePattern(OPPLSyntaxTree reference, String patternName, PatternConstraintSystem constraintSystem, List<Object>... args)
void	resolveThisClass(OPPLSyntaxTree thisClass, PatternConstraintSystem constraintSystem)

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

OPPLPatternsSymbolTable

public OPPLPatternsSymbolTable(Scope globalScope,
                               org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager)

Parameters:

globalScope - globalScope

ontologyManager - ontologyManager

Method Detail

resolvePattern

public void resolvePattern(OPPLSyntaxTree reference,
                           String patternName,
                           PatternConstraintSystem constraintSystem,
                           List<Object>... args)

Parameters:

reference - reference

patternName - patternName

constraintSystem - constraintSystem

args - args

resolvePattern

public void resolvePattern(OPPLSyntaxTree reference,
                           String patternName,
                           PatternConstraintSystem constraintSystem,
                           Collection<? extends String> visited,
                           List<Object>... args)

Parameters:

reference - reference

patternName - patternName

constraintSystem - constraintSystem

visited - visited

args - args

getGlobalScope

public OPPLPatternScope getGlobalScope()

Overrides:

getGlobalScope in class SymbolTable

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Returns:

the ontologyManager

resolveThisClass

public void resolveThisClass(OPPLSyntaxTree thisClass,
                             PatternConstraintSystem constraintSystem)

Parameters:

thisClass - thisClass

constraintSystem - constraintSystem