| Package | Description |
|---|---|
| org.coode.parsers | |
| org.coode.parsers.common | |
| org.coode.parsers.common.exception | |
| org.coode.parsers.oppl | |
| org.coode.parsers.oppl.variableattribute |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLAxiomType |
class |
OWLType |
| Modifier and Type | Field and Description |
|---|---|
Type |
ManchesterOWLSyntaxTypesParts.expression_return.type |
Type |
ManchesterOWLSyntaxTypesParts.conjunction_return.type |
Type |
ManchesterOWLSyntaxTypesParts.unary_return.type |
Type |
ManchesterOWLSyntaxTypesParts.propertyExpression_return.type |
Type |
ManchesterOWLSyntaxTypesParts.complexPropertyExpression_return.type |
Type |
ManchesterOWLSyntaxTypesParts.qualifiedRestriction_return.type |
Type |
ManchesterOWLSyntaxTypesParts.cardinalityRestriction_return.type |
Type |
ManchesterOWLSyntaxTypesParts.oneOf_return.type |
Type |
ManchesterOWLSyntaxTypesParts.valueRestriction_return.type |
Type |
ManchesterOWLSyntaxTypes.axiom_return.type |
Type |
ManchesterOWLSyntaxTypes.expression_return.type |
Type |
ManchesterOWLSyntaxTypes.conjunction_return.type |
Type |
ManchesterOWLSyntaxTypes.unary_return.type |
Type |
ManchesterOWLSyntaxTypes.dataRange_return.type |
Type |
ManchesterOWLSyntaxTypes.facet_return.type |
Type |
ManchesterOWLSyntaxTypes.propertyExpression_return.type |
Type |
ManchesterOWLSyntaxTypes.complexPropertyExpression_return.type |
Type |
ManchesterOWLSyntaxTypes.qualifiedRestriction_return.type |
Type |
ManchesterOWLSyntaxTypes.cardinalityRestriction_return.type |
Type |
ManchesterOWLSyntaxTypes.valueRestriction_return.type |
Type |
ManchesterOWLSyntaxTypes.oneOf_return.type |
Type |
ManchesterOWLSyntaxAutoComplete.propertyExpression_return.type |
Type |
ManchesterOWLSyntaxAutoComplete.oneOf_return.type |
Type |
ManchesterOWLSyntaxAutoComplete.valueRestriction_return.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
SymbolTable.getAllValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree filler) |
Type |
SymbolTable.getAnnotationAssertionType(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree iri,
ManchesterOWLSyntaxTree annotationPropertyNode,
ManchesterOWLSyntaxTree object) |
Type |
SymbolTable.getClassAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree description,
ManchesterOWLSyntaxTree subject) |
Type |
SymbolTable.getConjunctionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree... conjuncts) |
Type |
SymbolTable.getDifferentIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree anIndividual,
ManchesterOWLSyntaxTree anotherIndividual) |
Type |
SymbolTable.getDisjointAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree lhs,
ManchesterOWLSyntaxTree rhs) |
Type |
SymbolTable.getDisjunctionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree... disjuncts) |
Type |
SymbolTable.getDomainAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p,
ManchesterOWLSyntaxTree domain) |
Type |
SymbolTable.getEquivalentAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree lhs,
ManchesterOWLSyntaxTree rhs) |
Type |
ManchesterOWLSyntaxTree.getEvalType() |
Type |
SymbolTable.getExactCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree filler) |
Type |
SymbolTable.getFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
SymbolTable.getHasKeyType(ManchesterOWLSyntaxTree node,
Set<ManchesterOWLSyntaxTree> propertyExpressions) |
Type |
SymbolTable.getInverseFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
SymbolTable.getInverseOfAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree lhs,
ManchesterOWLSyntaxTree rhs) |
Type |
SymbolTable.getInversePropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree property) |
Type |
SymbolTable.getIrreflexivePropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
SymbolTable.getMaxCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree filler) |
Type |
SymbolTable.getMinCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree filler) |
Type |
SymbolTable.getNegatedAssertionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree assertion) |
Type |
SymbolTable.getNegatedClassExpressionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree node) |
Type |
SymbolTable.getOneOfType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree... individuals) |
Type |
SymbolTable.getPropertyChainType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree... chainItems) |
Type |
SymbolTable.getRangeAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p,
ManchesterOWLSyntaxTree range) |
Type |
SymbolTable.getReflexivePropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
SymbolTable.getRoleAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree subject,
ManchesterOWLSyntaxTree property,
ManchesterOWLSyntaxTree object) |
Type |
SymbolTable.getSameIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree anIndividual,
ManchesterOWLSyntaxTree anotherIndividual) |
Type |
SymbolTable.getSomeValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree filler) |
Type |
SymbolTable.getSubClassAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree subClass,
ManchesterOWLSyntaxTree superClass) |
Type |
SymbolTable.getSubPropertyAxiomType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree subProperty,
ManchesterOWLSyntaxTree superProperty) |
Type |
SymbolTable.getSymmetricPropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
SymbolTable.getTransitivePropertyType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree p) |
Type |
Symbol.getType() |
Type |
SymbolTable.getValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
ManchesterOWLSyntaxTree propertyExpression,
ManchesterOWLSyntaxTree value) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract O |
DefaultTypeVistorEx.doDefault(Type type) |
Set<String> |
SymbolTable.getAllCompletions(Type... types) |
Set<Symbol> |
Scope.getAllSymbols(Type type)
Retrieves all the Symbol instances in this Scope whose tyoe is equal to
the input Type.
|
Set<Symbol> |
OWLEntityCheckerScope.getAllSymbols(Type type) |
Set<String> |
SymbolTable.getCompletions(Type type) |
static List<String> |
AutoCompleteStrings.getExpressionCompletions(Type type) |
static List<String> |
AutoCompleteStrings.getIncompleteExpressionCompletions(String incompleteText,
Type type) |
Set<String> |
SymbolTable.getOWLPropertyCompletions(Type type) |
static List<String> |
AutoCompleteStrings.getStandaloneExpressionCompletions(Type type) |
void |
LoggerErrorListener.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
void |
ErrorListener.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
static boolean |
OWLType.isClassExpression(Type type) |
static boolean |
OWLType.isDataTypeExpression(Type type) |
static boolean |
OWLType.isObjectPropertyExpression(Type type) |
static boolean |
OWLType.isPropertyExpression(Type type) |
boolean |
OWLType.match(Type t) |
void |
SymbolTable.reportIncompatibleSymbolType(org.antlr.runtime.tree.CommonTree tree,
Type t,
org.antlr.runtime.tree.CommonTree parentExpression) |
void |
ManchesterOWLSyntaxTree.setEvalType(Type evalType) |
void |
TypeVistorAdapter.visitNonOWLType(Type type) |
O |
TypeVisitorEx.visitNonOWLType(Type type) |
void |
TypeVisitor.visitNonOWLType(Type type) |
O |
DefaultTypeVistorEx.visitNonOWLType(Type type) |
| Constructor and Description |
|---|
Symbol(String name,
Type type) |
| Modifier and Type | Method and Description |
|---|---|
void |
SystemErrorEcho.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
void |
SilentListener.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
void |
QuickFailErrorListener.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
void |
ErrorCollector.incompatibleSymbolType(org.antlr.runtime.tree.CommonTree t,
Type type,
org.antlr.runtime.tree.CommonTree expression) |
| Modifier and Type | Method and Description |
|---|---|
Type |
IncompatibleSymbolTypeParsingException.getType() |
| Constructor and Description |
|---|
IncompatibleSymbolTypeParsingException(String tokenText,
Type type,
String parentExpression,
int line,
int charPositionInLine) |
| Modifier and Type | Class and Description |
|---|---|
class |
CreateOnDemand
Represents the type of identifiers that should be created on demand during
the execution of an OPPL Script.
|
class |
VariableTypes |
| Modifier and Type | Field and Description |
|---|---|
Type |
OPPLTypes.variableScope_return.type |
Type |
OPPLTypeEnforcement.axiom_return.type |
Type |
OPPLTypeEnforcement.expression_return.type |
Type |
OPPLTypeEnforcement.conjunction_return.type |
Type |
OPPLTypeEnforcement.unary_return.type |
Type |
OPPLTypeEnforcement.propertyExpression_return.type |
Type |
OPPLTypeEnforcement.complexPropertyExpression_return.type |
Type |
OPPLTypeEnforcement.qualifiedRestriction_return.type |
Type |
OPPLTypeEnforcement.cardinalityRestriction_return.type |
Type |
OPPLTypeEnforcement.oneOf_return.type |
Type |
OPPLTypeEnforcement.valueRestriction_return.type |
| Modifier and Type | Method and Description |
|---|---|
Type |
OPPLSymbolTable.getClassVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree classExpression) |
Type |
OPPLSymbolTable.getExpressionGeneratedVariableType(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree variableType,
ManchesterOWLSyntaxTree expression) |
Type |
OPPLSymbolTable.getIndividualVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree individualExpression) |
Type |
OPPLSymbolTable.getPropertyVariableScopeType(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree propertyExpression) |
| Modifier and Type | Method and Description |
|---|---|
Set<Symbol> |
OPPLScope.getAllSymbols(Type type) |
| Modifier and Type | Class and Description |
|---|---|
class |
VariableAttributeType |
| Constructor and Description |
|---|
VariableAttributeSymbol(String name,
Type type,
O variableAttribute) |
Copyright © 2015 The University of Manchester. All Rights Reserved.