public class ManchesterOWLSyntaxSimplify
extends org.antlr.runtime.tree.TreeRewriter
| Modifier and Type | Class and Description |
|---|---|
static class |
ManchesterOWLSyntaxSimplify.bottomup_return |
static class |
ManchesterOWLSyntaxSimplify.conjunction_return |
static class |
ManchesterOWLSyntaxSimplify.disjunction_return |
| Modifier and Type | Field and Description |
|---|---|
static int |
ACTIONS |
protected org.antlr.runtime.tree.TreeAdaptor |
adaptor |
static int |
ADD |
static int |
ALL_RESTRICTION |
static int |
AND |
static int |
ANNOTATION_ASSERTION |
static int |
ANTI_SYMMETRIC |
static int |
ASSERTED |
static int |
ASSERTED_CLAUSE |
static int |
AT |
static int |
ATTRIBUTE_SELECTOR |
static int |
BEGIN |
static int |
CARDINALITY_RESTRICTION |
static int |
CLOSED_CURLY_BRACES |
static int |
CLOSED_PARENTHESYS |
static int |
CLOSED_SQUARE_BRACKET |
static int |
COLON |
static int |
COMMA |
static int |
COMPOSITION |
static int |
CONJUNCTION |
static int |
CONSTANT |
static int |
CREATE |
static int |
CREATE_DISJUNCTION |
static int |
CREATE_IDENTIFIER |
static int |
CREATE_INTERSECTION |
static int |
CREATE_OPPL_FUNCTION |
static int |
DATA_RANGE |
static int |
DBLQUOTE |
static int |
DIFFERENT_FROM |
static int |
DIFFERENT_FROM_AXIOM |
static int |
DIGIT |
static int |
DISJOINT_WITH |
static int |
DISJOINT_WITH_AXIOM |
static int |
DISJUNCTION |
static int |
DOMAIN |
static int |
DOT |
static int |
END |
static int |
ENTITY_REFERENCE |
static int |
EOF |
static int |
EQUAL |
static int |
EQUIVALENT_TO |
static int |
EQUIVALENT_TO_AXIOM |
static int |
ESCLAMATION_MARK |
static int |
EXACTLY |
static int |
EXPRESSION |
static org.antlr.runtime.BitSet |
FOLLOW_conjunction_in_bottomup72 |
static org.antlr.runtime.BitSet |
FOLLOW_CONJUNCTION_in_conjunction101 |
static org.antlr.runtime.BitSet |
FOLLOW_disjunction_in_bottomup81 |
static org.antlr.runtime.BitSet |
FOLLOW_DISJUNCTION_in_disjunction127 |
static int |
FUNCTIONAL |
static int |
GENERATED_VARIABLE_DEFINITION |
static int |
GREATER_THAN |
static int |
GREATER_THAN_EQUAL |
static int |
HAS_KEY |
static int |
IDENTIFIER |
static int |
IN |
static int |
IN_SET_CONSTRAINT |
static int |
INEQUALITY_CONSTRAINT |
static int |
INPUT_VARIABLE_DEFINITION |
static int |
INSTANCE_OF |
static int |
INTEGER |
static int |
INVERSE |
static int |
INVERSE_FUNCTIONAL |
static int |
INVERSE_OBJECT_PROPERTY_EXPRESSION |
static int |
INVERSE_OF |
static int |
INVERSE_PROPERTY |
static int |
IRI |
static int |
IRREFLEXIVE |
static int |
LESS_THAN |
static int |
LESS_THAN_EQUAL |
static int |
LETTER |
static int |
MATCH |
static int |
MAX |
static int |
MIN |
static int |
NEGATED_ASSERTION |
static int |
NEGATED_EXPRESSION |
static int |
NOT |
static int |
NOT_EQUAL |
static int |
ONE_OF |
static int |
ONLY |
static int |
OPEN_CURLY_BRACES |
static int |
OPEN_PARENTHESYS |
static int |
OPEN_SQUARE_BRACKET |
static int |
OPPL_FUNCTION |
static int |
OPPL_STATEMENT |
static int |
OR |
static int |
PLAIN_CLAUSE |
static int |
PLAIN_IDENTIFIER |
static int |
PLUS |
static int |
POW |
static int |
PROPERTY_CHAIN |
static int |
QUERY |
static int |
QUESTION_MARK |
static int |
RANGE |
static int |
REFLEXIVE |
static int |
REMOVE |
static int |
ROLE_ASSERTION |
static int |
SAME_AS |
static int |
SAME_AS_AXIOM |
static int |
SELECT |
static int |
SOME |
static int |
SOME_RESTRICTION |
static int |
SUB_CLASS_AXIOM |
static int |
SUB_PROPERTY_AXIOM |
static int |
SUB_PROPERTY_OF |
static int |
SUBCLASS_OF |
static int |
SUBPROPERTY_OF |
static int |
SUPER_CLASS_OF |
static int |
SUPER_PROPERTY_OF |
static int |
SYMMETRIC |
static String[] |
tokenNames |
static int |
Tokens |
static int |
TRANSITIVE |
static int |
TYPE_ASSERTION |
static int |
TYPES |
static int |
UNARY_AXIOM |
static int |
VALUE |
static int |
VALUE_RESTRICTION |
static int |
VARIABLE_ATTRIBUTE |
static int |
VARIABLE_DEFINITIONS |
static int |
VARIABLE_IDENTIFIER |
static int |
VARIABLE_SCOPE |
static int |
VARIABLE_TYPE |
static int |
WHERE |
static int |
WHITESPACE |
| Constructor and Description |
|---|
ManchesterOWLSyntaxSimplify(org.antlr.runtime.tree.TreeNodeStream input) |
ManchesterOWLSyntaxSimplify(org.antlr.runtime.tree.TreeNodeStream input,
org.antlr.runtime.RecognizerSharedState state) |
| Modifier and Type | Method and Description |
|---|---|
ManchesterOWLSyntaxSimplify.bottomup_return |
bottomup() |
ManchesterOWLSyntaxSimplify.conjunction_return |
conjunction() |
ManchesterOWLSyntaxSimplify.disjunction_return |
disjunction() |
String |
getGrammarFileName() |
String[] |
getTokenNames() |
org.antlr.runtime.tree.TreeAdaptor |
getTreeAdaptor() |
void |
setTreeAdaptor(org.antlr.runtime.tree.TreeAdaptor adaptor) |
applyOnce, applyRepeatedly, downup, downup, reportTransformation, topdowngetCurrentInputSymbol, getErrorHeader, getErrorMessage, getMissingSymbol, getSourceName, getTreeNodeStream, matchAny, recoverFromMismatchedToken, reset, setTreeNodeStream, traceIn, traceOutalreadyParsedRule, beginResync, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, reportError, setBacktrackingLevel, toStrings, traceIn, traceOutpublic static final String[] tokenNames
public static final int HAS_KEY
public static final int VALUE_RESTRICTION
public static final int LETTER
public static final int REMOVE
public static final int TYPES
public static final int SAME_AS_AXIOM
public static final int INVERSE_OF
public static final int NOT
public static final int SUBCLASS_OF
public static final int EOF
public static final int ESCLAMATION_MARK
public static final int ACTIONS
public static final int CREATE_IDENTIFIER
public static final int CREATE
public static final int POW
public static final int INPUT_VARIABLE_DEFINITION
public static final int NOT_EQUAL
public static final int INVERSE_OBJECT_PROPERTY_EXPRESSION
public static final int INSTANCE_OF
public static final int BEGIN
public static final int QUESTION_MARK
public static final int INEQUALITY_CONSTRAINT
public static final int VARIABLE_SCOPE
public static final int SYMMETRIC
public static final int CARDINALITY_RESTRICTION
public static final int SELECT
public static final int ROLE_ASSERTION
public static final int DIFFERENT_FROM_AXIOM
public static final int CREATE_OPPL_FUNCTION
public static final int ANTI_SYMMETRIC
public static final int TRANSITIVE
public static final int GREATER_THAN_EQUAL
public static final int ALL_RESTRICTION
public static final int CONJUNCTION
public static final int OPPL_STATEMENT
public static final int NEGATED_ASSERTION
public static final int WHITESPACE
public static final int IN_SET_CONSTRAINT
public static final int MATCH
public static final int VALUE
public static final int OPEN_CURLY_BRACES
public static final int DISJUNCTION
public static final int INVERSE
public static final int DBLQUOTE
public static final int OR
public static final int LESS_THAN
public static final int CONSTANT
public static final int QUERY
public static final int ENTITY_REFERENCE
public static final int END
public static final int COMPOSITION
public static final int ANNOTATION_ASSERTION
public static final int CLOSED_SQUARE_BRACKET
public static final int SAME_AS
public static final int WHERE
public static final int DISJOINT_WITH
public static final int SUPER_PROPERTY_OF
public static final int VARIABLE_TYPE
public static final int ATTRIBUTE_SELECTOR
public static final int CLOSED_PARENTHESYS
public static final int ONLY
public static final int EQUIVALENT_TO_AXIOM
public static final int SUB_PROPERTY_OF
public static final int NEGATED_EXPRESSION
public static final int MAX
public static final int CREATE_DISJUNCTION
public static final int AND
public static final int ASSERTED_CLAUSE
public static final int INVERSE_PROPERTY
public static final int AT
public static final int DIFFERENT_FROM
public static final int IN
public static final int EQUIVALENT_TO
public static final int UNARY_AXIOM
public static final int COMMA
public static final int CLOSED_CURLY_BRACES
public static final int IDENTIFIER
public static final int IRI
public static final int SOME
public static final int EQUAL
public static final int OPEN_PARENTHESYS
public static final int REFLEXIVE
public static final int PLUS
public static final int DIGIT
public static final int DOT
public static final int SUPER_CLASS_OF
public static final int EXPRESSION
public static final int SOME_RESTRICTION
public static final int ADD
public static final int INTEGER
public static final int GREATER_THAN
public static final int GENERATED_VARIABLE_DEFINITION
public static final int OPEN_SQUARE_BRACKET
public static final int SUB_PROPERTY_AXIOM
public static final int EXACTLY
public static final int RANGE
public static final int ONE_OF
public static final int DATA_RANGE
public static final int VARIABLE_DEFINITIONS
public static final int SUB_CLASS_AXIOM
public static final int MIN
public static final int PLAIN_CLAUSE
public static final int Tokens
public static final int DOMAIN
public static final int SUBPROPERTY_OF
public static final int COLON
public static final int OPPL_FUNCTION
public static final int DISJOINT_WITH_AXIOM
public static final int CREATE_INTERSECTION
public static final int INVERSE_FUNCTIONAL
public static final int VARIABLE_IDENTIFIER
public static final int IRREFLEXIVE
public static final int ASSERTED
public static final int VARIABLE_ATTRIBUTE
public static final int PLAIN_IDENTIFIER
public static final int LESS_THAN_EQUAL
public static final int PROPERTY_CHAIN
public static final int FUNCTIONAL
public static final int TYPE_ASSERTION
protected org.antlr.runtime.tree.TreeAdaptor adaptor
public static final org.antlr.runtime.BitSet FOLLOW_conjunction_in_bottomup72
public static final org.antlr.runtime.BitSet FOLLOW_disjunction_in_bottomup81
public static final org.antlr.runtime.BitSet FOLLOW_CONJUNCTION_in_conjunction101
public static final org.antlr.runtime.BitSet FOLLOW_DISJUNCTION_in_disjunction127
public ManchesterOWLSyntaxSimplify(org.antlr.runtime.tree.TreeNodeStream input)
public ManchesterOWLSyntaxSimplify(org.antlr.runtime.tree.TreeNodeStream input,
org.antlr.runtime.RecognizerSharedState state)
public void setTreeAdaptor(org.antlr.runtime.tree.TreeAdaptor adaptor)
public org.antlr.runtime.tree.TreeAdaptor getTreeAdaptor()
public String[] getTokenNames()
getTokenNames in class org.antlr.runtime.BaseRecognizerpublic String getGrammarFileName()
getGrammarFileName in class org.antlr.runtime.BaseRecognizerpublic final ManchesterOWLSyntaxSimplify.bottomup_return bottomup() throws org.antlr.runtime.RecognitionException
bottomup in class org.antlr.runtime.tree.TreeRewriterorg.antlr.runtime.RecognitionExceptionpublic final ManchesterOWLSyntaxSimplify.conjunction_return conjunction()
public final ManchesterOWLSyntaxSimplify.disjunction_return disjunction()
Copyright © 2015 The University of Manchester. All Rights Reserved.