org.coode.parsers.oppl

Class OPPLDefine

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.tree.TreeParser

org.antlr.runtime.tree.TreeRewriter

org.coode.parsers.oppl.OPPLDefine

public class OPPLDefine
extends org.antlr.runtime.tree.TreeRewriter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OPPLDefine.bottomup_return
static class	OPPLDefine.variableDefinition_return
static class	OPPLDefine.variableIRISymbolDefinition_return

Nested classes/interfaces inherited from class org.antlr.runtime.tree.TreeRewriter

org.antlr.runtime.tree.TreeRewriter.fptr

Field Summary

Fields

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_INTERSECTION
static int	CREATE_OPPL_FUNCTION
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 int	FAIL
static org.antlr.runtime.BitSet	FOLLOW_IRI_in_variableIRISymbolDefinition141
static org.antlr.runtime.BitSet	FOLLOW_set_in_variableDefinition109
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_variableDefinition116
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_variableIRISymbolDefinition143
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_TYPE_in_variableDefinition119
static org.antlr.runtime.BitSet	FOLLOW_variableDefinition_in_bottomup82
static org.antlr.runtime.BitSet	FOLLOW_variableIRISymbolDefinition_in_bottomup90
static int	FUNCTIONAL
static int	GENERATED_VARIABLE_DEFINITION
static int	GROUPS
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	IRI_ATTRIBUTE_NAME
static int	IRREFLEXIVE
static int	LETTER
static int	MATCH
static int	MAX
static int	MIN
static int	NAF_CONSTRAINT
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	PLUS
static int	POW
static int	PROPERTY_CHAIN
static int	QUERY
static int	QUESTION_MARK
static int	RANGE
static int	REFLEXIVE
static int	REGEXP_CONSTRAINT
static int	REMOVE
static int	RENDERING
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	STRING_OPERATION
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	VALUES
static int	VARIABLE_ATTRIBUTE
static int	VARIABLE_DEFINITIONS
static int	VARIABLE_IDENTIFIER
static int	VARIABLE_NAME
static int	VARIABLE_SCOPE
static int	VARIABLE_TYPE
static int	WHERE
static int	WHITESPACE

Fields inherited from class org.antlr.runtime.tree.TreeRewriter

originalAdaptor, originalTokenStream, showTransformations

Fields inherited from class org.antlr.runtime.tree.TreeParser

DOWN, input, UP

Fields inherited from class org.antlr.runtime.BaseRecognizer

DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME, state

Constructor Summary

Constructors

Constructor and Description
OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input)
OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input, OPPLSymbolTable symtab, ErrorListener errorListener, ConstraintSystem constraintSystem)
OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input, org.antlr.runtime.RecognizerSharedState state)

Method Summary

Methods

Modifier and Type	Method and Description
OPPLDefine.bottomup_return	bottomup()
void	displayRecognitionError(String[] t, org.antlr.runtime.RecognitionException e)
ConstraintSystem	getConstraintSystem()
ErrorListener	getErrorListener()
String	getGrammarFileName()
OPPLSymbolTable	getSymbolTable()
String[]	getTokenNames()
org.antlr.runtime.tree.TreeAdaptor	getTreeAdaptor()
protected void	mismatch(org.antlr.runtime.IntStream i, int ttype, org.antlr.runtime.BitSet follow)
Object	recoverFromMismatchedSet(org.antlr.runtime.IntStream i, org.antlr.runtime.RecognitionException e, org.antlr.runtime.BitSet follow)
void	setTreeAdaptor(org.antlr.runtime.tree.TreeAdaptor adaptor)
OPPLDefine.variableDefinition_return	variableDefinition()
OPPLDefine.variableIRISymbolDefinition_return	variableIRISymbolDefinition()

Methods inherited from class org.antlr.runtime.tree.TreeRewriter

applyOnce, applyRepeatedly, downup, downup, reportTransformation, topdown

Methods inherited from class org.antlr.runtime.tree.TreeParser

getCurrentInputSymbol, getErrorHeader, getErrorMessage, getMissingSymbol, getSourceName, getTreeNodeStream, matchAny, recoverFromMismatchedToken, reset, setTreeNodeStream, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer

alreadyParsedRule, beginResync, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, emitErrorMessage, endResync, failed, getBacktrackingLevel, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, reportError, setBacktrackingLevel, toStrings, traceIn, traceOut

Methods inherited from class java.lang.Object

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

Field Detail

tokenNames

public static final String[] tokenNames

COMMA

public static final int COMMA

See Also:

Constant Field Values

ASSERTED

public static final int ASSERTED

See Also:

Constant Field Values

VARIABLE_DEFINITIONS

public static final int VARIABLE_DEFINITIONS

See Also:

Constant Field Values

REGEXP_CONSTRAINT

public static final int REGEXP_CONSTRAINT

See Also:

Constant Field Values

END

public static final int END

See Also:

Constant Field Values

DIFFERENT_FROM

public static final int DIFFERENT_FROM

See Also:

Constant Field Values

TYPE_ASSERTION

public static final int TYPE_ASSERTION

See Also:

Constant Field Values

SAME_AS_AXIOM

public static final int SAME_AS_AXIOM

See Also:

Constant Field Values

TYPES

public static final int TYPES

See Also:

Constant Field Values

ROLE_ASSERTION

public static final int ROLE_ASSERTION

See Also:

Constant Field Values

CREATE_OPPL_FUNCTION

public static final int CREATE_OPPL_FUNCTION

See Also:

Constant Field Values

ESCLAMATION_MARK

public static final int ESCLAMATION_MARK

See Also:

Constant Field Values

VARIABLE_IDENTIFIER

public static final int VARIABLE_IDENTIFIER

See Also:

Constant Field Values

ASSERTED_CLAUSE

public static final int ASSERTED_CLAUSE

See Also:

Constant Field Values

DOT

public static final int DOT

See Also:

Constant Field Values

ALL_RESTRICTION

public static final int ALL_RESTRICTION

See Also:

Constant Field Values

QUESTION_MARK

public static final int QUESTION_MARK

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

EXPRESSION

public static final int EXPRESSION

See Also:

Constant Field Values

CONSTANT

public static final int CONSTANT

See Also:

Constant Field Values

VALUE_RESTRICTION

public static final int VALUE_RESTRICTION

See Also:

Constant Field Values

ONE_OF

public static final int ONE_OF

See Also:

Constant Field Values

SUBPROPERTY_OF

public static final int SUBPROPERTY_OF

See Also:

Constant Field Values

SELECT

public static final int SELECT

See Also:

Constant Field Values

CARDINALITY_RESTRICTION

public static final int CARDINALITY_RESTRICTION

See Also:

Constant Field Values

SAME_AS

public static final int SAME_AS

See Also:

Constant Field Values

EXACTLY

public static final int EXACTLY

See Also:

Constant Field Values

PLUS

public static final int PLUS

See Also:

Constant Field Values

TRANSITIVE

public static final int TRANSITIVE

See Also:

Constant Field Values

IN_SET_CONSTRAINT

public static final int IN_SET_CONSTRAINT

See Also:

Constant Field Values

SUBCLASS_OF

public static final int SUBCLASS_OF

See Also:

Constant Field Values

ENTITY_REFERENCE

public static final int ENTITY_REFERENCE

See Also:

Constant Field Values

CONJUNCTION

public static final int CONJUNCTION

See Also:

Constant Field Values

INVERSE_OF

public static final int INVERSE_OF

See Also:

Constant Field Values

AT

public static final int AT

See Also:

Constant Field Values

RANGE

public static final int RANGE

See Also:

Constant Field Values

CLOSED_PARENTHESYS

public static final int CLOSED_PARENTHESYS

See Also:

Constant Field Values

PROPERTY_CHAIN

public static final int PROPERTY_CHAIN

See Also:

Constant Field Values

CREATE_INTERSECTION

public static final int CREATE_INTERSECTION

See Also:

Constant Field Values

EQUIVALENT_TO_AXIOM

public static final int EQUIVALENT_TO_AXIOM

See Also:

Constant Field Values

OPEN_SQUARE_BRACKET

public static final int OPEN_SQUARE_BRACKET

See Also:

Constant Field Values

NAF_CONSTRAINT

public static final int NAF_CONSTRAINT

See Also:

Constant Field Values

SYMMETRIC

public static final int SYMMETRIC

See Also:

Constant Field Values

DISJOINT_WITH

public static final int DISJOINT_WITH

See Also:

Constant Field Values

VARIABLE_TYPE

public static final int VARIABLE_TYPE

See Also:

Constant Field Values

DISJUNCTION

public static final int DISJUNCTION

See Also:

Constant Field Values

GROUPS

public static final int GROUPS

See Also:

Constant Field Values

NEGATED_EXPRESSION

public static final int NEGATED_EXPRESSION

See Also:

Constant Field Values

EQUAL

public static final int EQUAL

See Also:

Constant Field Values

DIFFERENT_FROM_AXIOM

public static final int DIFFERENT_FROM_AXIOM

See Also:

Constant Field Values

ACTIONS

public static final int ACTIONS

See Also:

Constant Field Values

EQUIVALENT_TO

public static final int EQUIVALENT_TO

See Also:

Constant Field Values

DOMAIN

public static final int DOMAIN

See Also:

Constant Field Values

SUB_PROPERTY_OF

public static final int SUB_PROPERTY_OF

See Also:

Constant Field Values

INVERSE_OBJECT_PROPERTY_EXPRESSION

public static final int INVERSE_OBJECT_PROPERTY_EXPRESSION

See Also:

Constant Field Values

INVERSE_PROPERTY

public static final int INVERSE_PROPERTY

See Also:

Constant Field Values

COLON

public static final int COLON

See Also:

Constant Field Values

GENERATED_VARIABLE_DEFINITION

public static final int GENERATED_VARIABLE_DEFINITION

See Also:

Constant Field Values

VARIABLE_ATTRIBUTE

public static final int VARIABLE_ATTRIBUTE

See Also:

Constant Field Values

SUB_CLASS_AXIOM

public static final int SUB_CLASS_AXIOM

See Also:

Constant Field Values

SUB_PROPERTY_AXIOM

public static final int SUB_PROPERTY_AXIOM

See Also:

Constant Field Values

IDENTIFIER

public static final int IDENTIFIER

See Also:

Constant Field Values

UNARY_AXIOM

public static final int UNARY_AXIOM

See Also:

Constant Field Values

ADD

public static final int ADD

See Also:

Constant Field Values

WHERE

public static final int WHERE

See Also:

Constant Field Values

CREATE

public static final int CREATE

See Also:

Constant Field Values

VARIABLE_SCOPE

public static final int VARIABLE_SCOPE

See Also:

Constant Field Values

OPEN_CURLY_BRACES

public static final int OPEN_CURLY_BRACES

See Also:

Constant Field Values

CLOSED_SQUARE_BRACKET

public static final int CLOSED_SQUARE_BRACKET

See Also:

Constant Field Values

INSTANCE_OF

public static final int INSTANCE_OF

See Also:

Constant Field Values

VALUES

public static final int VALUES

See Also:

Constant Field Values

QUERY

public static final int QUERY

See Also:

Constant Field Values

SOME_RESTRICTION

public static final int SOME_RESTRICTION

See Also:

Constant Field Values

IRI

public static final int IRI

See Also:

Constant Field Values

VALUE

public static final int VALUE

See Also:

Constant Field Values

RENDERING

public static final int RENDERING

See Also:

Constant Field Values

INVERSE_FUNCTIONAL

public static final int INVERSE_FUNCTIONAL

See Also:

Constant Field Values

ATTRIBUTE_SELECTOR

public static final int ATTRIBUTE_SELECTOR

See Also:

Constant Field Values

PLAIN_CLAUSE

public static final int PLAIN_CLAUSE

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

INTEGER

public static final int INTEGER

See Also:

Constant Field Values

INVERSE

public static final int INVERSE

See Also:

Constant Field Values

HAS_KEY

public static final int HAS_KEY

See Also:

Constant Field Values

DISJOINT_WITH_AXIOM

public static final int DISJOINT_WITH_AXIOM

See Also:

Constant Field Values

SUPER_CLASS_OF

public static final int SUPER_CLASS_OF

See Also:

Constant Field Values

OPPL_FUNCTION

public static final int OPPL_FUNCTION

See Also:

Constant Field Values

DIGIT

public static final int DIGIT

See Also:

Constant Field Values

COMPOSITION

public static final int COMPOSITION

See Also:

Constant Field Values

ANNOTATION_ASSERTION

public static final int ANNOTATION_ASSERTION

See Also:

Constant Field Values

OPPL_STATEMENT

public static final int OPPL_STATEMENT

See Also:

Constant Field Values

FUNCTIONAL

public static final int FUNCTIONAL

See Also:

Constant Field Values

NOT_EQUAL

public static final int NOT_EQUAL

See Also:

Constant Field Values

LETTER

public static final int LETTER

See Also:

Constant Field Values

MAX

public static final int MAX

See Also:

Constant Field Values

FAIL

public static final int FAIL

See Also:

Constant Field Values

NEGATED_ASSERTION

public static final int NEGATED_ASSERTION

See Also:

Constant Field Values

INPUT_VARIABLE_DEFINITION

public static final int INPUT_VARIABLE_DEFINITION

See Also:

Constant Field Values

ONLY

public static final int ONLY

See Also:

Constant Field Values

CREATE_DISJUNCTION

public static final int CREATE_DISJUNCTION

See Also:

Constant Field Values

REMOVE

public static final int REMOVE

See Also:

Constant Field Values

DBLQUOTE

public static final int DBLQUOTE

See Also:

Constant Field Values

MIN

public static final int MIN

See Also:

Constant Field Values

POW

public static final int POW

See Also:

Constant Field Values

MATCH

public static final int MATCH

See Also:

Constant Field Values

BEGIN

public static final int BEGIN

See Also:

Constant Field Values

WHITESPACE

public static final int WHITESPACE

See Also:

Constant Field Values

IN

public static final int IN

See Also:

Constant Field Values

SUPER_PROPERTY_OF

public static final int SUPER_PROPERTY_OF

See Also:

Constant Field Values

INEQUALITY_CONSTRAINT

public static final int INEQUALITY_CONSTRAINT

See Also:

Constant Field Values

SOME

public static final int SOME

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

ANTI_SYMMETRIC

public static final int ANTI_SYMMETRIC

See Also:

Constant Field Values

Tokens

public static final int Tokens

See Also:

Constant Field Values

CLOSED_CURLY_BRACES

public static final int CLOSED_CURLY_BRACES

See Also:

Constant Field Values

IRI_ATTRIBUTE_NAME

public static final int IRI_ATTRIBUTE_NAME

See Also:

Constant Field Values

REFLEXIVE

public static final int REFLEXIVE

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

STRING_OPERATION

public static final int STRING_OPERATION

See Also:

Constant Field Values

OPEN_PARENTHESYS

public static final int OPEN_PARENTHESYS

See Also:

Constant Field Values

VARIABLE_NAME

public static final int VARIABLE_NAME

See Also:

Constant Field Values

IRREFLEXIVE

public static final int IRREFLEXIVE

See Also:

Constant Field Values

adaptor

protected org.antlr.runtime.tree.TreeAdaptor adaptor

FOLLOW_variableDefinition_in_bottomup82

public static final org.antlr.runtime.BitSet FOLLOW_variableDefinition_in_bottomup82

FOLLOW_variableIRISymbolDefinition_in_bottomup90

public static final org.antlr.runtime.BitSet FOLLOW_variableIRISymbolDefinition_in_bottomup90

FOLLOW_set_in_variableDefinition109

public static final org.antlr.runtime.BitSet FOLLOW_set_in_variableDefinition109

FOLLOW_VARIABLE_NAME_in_variableDefinition116

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_variableDefinition116

FOLLOW_VARIABLE_TYPE_in_variableDefinition119

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_TYPE_in_variableDefinition119

FOLLOW_IRI_in_variableIRISymbolDefinition141

public static final org.antlr.runtime.BitSet FOLLOW_IRI_in_variableIRISymbolDefinition141

FOLLOW_VARIABLE_NAME_in_variableIRISymbolDefinition143

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_variableIRISymbolDefinition143

Constructor Detail

OPPLDefine

public OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input)

OPPLDefine

public OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input,
          org.antlr.runtime.RecognizerSharedState state)

OPPLDefine

public OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input,
          OPPLSymbolTable symtab,
          ErrorListener errorListener,
          ConstraintSystem constraintSystem)

Method Detail

setTreeAdaptor

public void setTreeAdaptor(org.antlr.runtime.tree.TreeAdaptor adaptor)

getTreeAdaptor

public org.antlr.runtime.tree.TreeAdaptor getTreeAdaptor()

getTokenNames

public String[] getTokenNames()

Overrides:

getTokenNames in class org.antlr.runtime.BaseRecognizer

getGrammarFileName

public String getGrammarFileName()

Overrides:

getGrammarFileName in class org.antlr.runtime.BaseRecognizer

getConstraintSystem

public ConstraintSystem getConstraintSystem()

getErrorListener

public ErrorListener getErrorListener()

getSymbolTable

public OPPLSymbolTable getSymbolTable()

displayRecognitionError

public void displayRecognitionError(String[] t,
                           org.antlr.runtime.RecognitionException e)

Overrides:

displayRecognitionError in class org.antlr.runtime.BaseRecognizer

mismatch

protected void mismatch(org.antlr.runtime.IntStream i,
            int ttype,
            org.antlr.runtime.BitSet follow)
                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

recoverFromMismatchedSet

public Object recoverFromMismatchedSet(org.antlr.runtime.IntStream i,
                              org.antlr.runtime.RecognitionException e,
                              org.antlr.runtime.BitSet follow)
                                throws org.antlr.runtime.RecognitionException

Overrides:

recoverFromMismatchedSet in class org.antlr.runtime.BaseRecognizer

Throws:

org.antlr.runtime.RecognitionException

bottomup

public final OPPLDefine.bottomup_return bottomup()
                                          throws org.antlr.runtime.RecognitionException

Overrides:

bottomup in class org.antlr.runtime.tree.TreeRewriter

Throws:

org.antlr.runtime.RecognitionException

variableDefinition

public final OPPLDefine.variableDefinition_return variableDefinition()

variableIRISymbolDefinition

public final OPPLDefine.variableIRISymbolDefinition_return variableIRISymbolDefinition()