org.coode.parsers.oppl.testcase

Class OPPLTestCaseTypes

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.tree.TreeParser

org.antlr.runtime.tree.TreeFilter

org.coode.parsers.oppl.testcase.OPPLTestCaseTypes

public class OPPLTestCaseTypes
extends org.antlr.runtime.tree.TreeFilter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OPPLTestCaseTypes.assertion_return
static class	OPPLTestCaseTypes.assertionExpression_return
static class	OPPLTestCaseTypes.bindingDescription_return
static class	OPPLTestCaseTypes.statement_return
static class	OPPLTestCaseTypes.testCase_return

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

org.antlr.runtime.tree.TreeFilter.fptr

Field Summary

Fields

Modifier and Type	Field and Description
static int	ACTIONS
static int	ADD
static int	ALL_RESTRICTION
static int	AND
static int	ANNOTATION_ASSERTION
static int	ANTI_SYMMETRIC
static int	ASSERT
static int	ASSERT_EQUAL
static int	ASSERT_FALSE
static int	ASSERT_GREATER_THAN
static int	ASSERT_GREATER_THAN_EQUAL
static int	ASSERT_LESS_THAN
static int	ASSERT_LESS_THAN_EQUAL
static int	ASSERT_NOT_EQUAL
static int	ASSERT_TRUE
static int	ASSERTED
static int	ASSERTED_CLAUSE
static int	AT
static int	ATTRIBUTE_SELECTOR
static int	BEGIN
static int	BINDING
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	CONTAINS
static int	COUNT
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_ASSERT_EQUAL_in_assertion285
static org.antlr.runtime.BitSet	FOLLOW_ASSERT_GREATER_THAN_EQUAL_in_assertion375
static org.antlr.runtime.BitSet	FOLLOW_ASSERT_GREATER_THAN_in_assertion357
static org.antlr.runtime.BitSet	FOLLOW_ASSERT_LESS_THAN_EQUAL_in_assertion339
static org.antlr.runtime.BitSet	FOLLOW_ASSERT_LESS_THAN_in_assertion321
static org.antlr.runtime.BitSet	FOLLOW_ASSERT_NOT_EQUAL_in_assertion303
static org.antlr.runtime.BitSet	FOLLOW_assertion_in_assertion419
static org.antlr.runtime.BitSet	FOLLOW_assertion_in_test247
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion289
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion294
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion307
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion312
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion325
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion330
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion343
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion348
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion361
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion366
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion379
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion384
static org.antlr.runtime.BitSet	FOLLOW_assertionExpression_in_assertion401
static org.antlr.runtime.BitSet	FOLLOW_BINDING_in_bindingDescription526
static org.antlr.runtime.BitSet	FOLLOW_bindingDescription_in_assertionExpression481
static org.antlr.runtime.BitSet	FOLLOW_CONTAINS_in_assertion393
static org.antlr.runtime.BitSet	FOLLOW_COUNT_in_assertionExpression452
static org.antlr.runtime.BitSet	FOLLOW_COUNT_in_assertionExpression463
static org.antlr.runtime.BitSet	FOLLOW_COUNT_in_assertionExpression474
static org.antlr.runtime.BitSet	FOLLOW_EXPRESSION_in_assertionExpression502
static org.antlr.runtime.BitSet	FOLLOW_EXPRESSION_in_bindingDescription532
static org.antlr.runtime.BitSet	FOLLOW_IDENTIFIER_in_testCase110
static org.antlr.runtime.BitSet	FOLLOW_INFERENCE_in_testCase112
static org.antlr.runtime.BitSet	FOLLOW_INTEGER_in_assertionExpression493
static org.antlr.runtime.BitSet	FOLLOW_MESSAGE_in_test251
static org.antlr.runtime.BitSet	FOLLOW_NOT_in_assertion414
static org.antlr.runtime.BitSet	FOLLOW_OPPL_STATEMENT_in_statement194
static org.antlr.runtime.BitSet	FOLLOW_OPPL_TEST_CASE_in_testCase108
static org.antlr.runtime.BitSet	FOLLOW_QUERY_in_statement215
static org.antlr.runtime.BitSet	FOLLOW_STAR_in_assertionExpression465
static org.antlr.runtime.BitSet	FOLLOW_statement_in_testCase119
static org.antlr.runtime.BitSet	FOLLOW_TEST_in_test241
static org.antlr.runtime.BitSet	FOLLOW_test_in_tests165
static org.antlr.runtime.BitSet	FOLLOW_testCase_in_bottomup81
static org.antlr.runtime.BitSet	FOLLOW_tests_in_testCase125
static org.antlr.runtime.BitSet	FOLLOW_TEXT_in_textVariableRef567
static org.antlr.runtime.BitSet	FOLLOW_textVariableRef_in_bottomup90
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_DEFINITIONS_in_statement203
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_assertion395
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_assertionExpression454
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_bindingDescription528
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_NAME_in_textVariableRef570
static int	FUNCTIONAL
static int	GENERATED_VARIABLE_DEFINITION
static int	GREATER_THAN
static int	GREATER_THAN_EQUAL
static int	GROUPS
static int	HAS_KEY
static int	IDENTIFIER
static int	IN
static int	IN_SET_CONSTRAINT
static int	INEQUALITY_CONSTRAINT
static int	INFERENCE
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	LESS_THAN
static int	LESS_THAN_EQUAL
static int	LETTER
static int	MATCH
static int	MAX
static int	MESSAGE
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	OPPL_TEST_CASE
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	SEMICOLON
static int	SOME
static int	SOME_RESTRICTION
static int	STAR
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 int	TEST
static int	TEXT
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.TreeFilter

originalAdaptor, originalTokenStream

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
OPPLTestCaseTypes(org.antlr.runtime.tree.TreeNodeStream input)
OPPLTestCaseTypes(org.antlr.runtime.tree.TreeNodeStream input, OPPLTestCaseSymbolTable symtab, ErrorListener errorListener, ConstraintSystem constraintSystem, AbstractOPPLTestCaseFactory testCaseFactory, RuntimeExceptionHandler handler)
OPPLTestCaseTypes(org.antlr.runtime.tree.TreeNodeStream input, org.antlr.runtime.RecognizerSharedState state)

Method Summary

Methods

Modifier and Type	Method and Description
OPPLTestCaseTypes.assertion_return	assertion()
OPPLTestCaseTypes.assertionExpression_return	assertionExpression()
OPPLTestCaseTypes.bindingDescription_return	bindingDescription()
void	bottomup()
void	displayRecognitionError(String[] t, org.antlr.runtime.RecognitionException e)
ConstraintSystem	getConstraintSystem()
ErrorListener	getErrorListener()
String	getGrammarFileName()
RuntimeExceptionHandler	getHandler()
OPPLTestCaseSymbolTable	getSymbolTable()
AbstractOPPLTestCaseFactory	getTestCaseFactory()
String[]	getTokenNames()
protected void	mismatch(org.antlr.runtime.IntStream in, int ttype, org.antlr.runtime.BitSet follow)
Object	recoverFromMismatchedSet(org.antlr.runtime.IntStream in, org.antlr.runtime.RecognitionException e, org.antlr.runtime.BitSet follow)
OPPLTestCaseTypes.statement_return	statement()
OPPLTest	test()
OPPLTestCaseTypes.testCase_return	testCase()
List<OPPLTest>	tests()
void	textVariableRef()

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

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

GREATER_THAN

public static final int GREATER_THAN

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

ASSERT_GREATER_THAN_EQUAL

public static final int ASSERT_GREATER_THAN_EQUAL

See Also:

Constant Field Values

DIFFERENT_FROM

public static final int DIFFERENT_FROM

See Also:

Constant Field Values

LESS_THAN

public static final int LESS_THAN

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

ASSERT_LESS_THAN

public static final int ASSERT_LESS_THAN

See Also:

Constant Field Values

VALUE_RESTRICTION

public static final int VALUE_RESTRICTION

See Also:

Constant Field Values

BINDING

public static final int BINDING

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

ASSERT_NOT_EQUAL

public static final int ASSERT_NOT_EQUAL

See Also:

Constant Field Values

ASSERT

public static final int ASSERT

See Also:

Constant Field Values

ASSERT_FALSE

public static final int ASSERT_FALSE

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

MESSAGE

public static final int MESSAGE

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

SEMICOLON

public static final int SEMICOLON

See Also:

Constant Field Values

DIFFERENT_FROM_AXIOM

public static final int DIFFERENT_FROM_AXIOM

See Also:

Constant Field Values

GREATER_THAN_EQUAL

public static final int GREATER_THAN_EQUAL

See Also:

Constant Field Values

ACTIONS

public static final int ACTIONS

See Also:

Constant Field Values

COUNT

public static final int COUNT

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

TEXT

public static final int TEXT

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

INFERENCE

public static final int INFERENCE

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

ASSERT_EQUAL

public static final int ASSERT_EQUAL

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

LESS_THAN_EQUAL

public static final int LESS_THAN_EQUAL

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

ASSERT_GREATER_THAN

public static final int ASSERT_GREATER_THAN

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

CONTAINS

public static final int CONTAINS

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

ASSERT_TRUE

public static final int ASSERT_TRUE

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

ASSERT_LESS_THAN_EQUAL

public static final int ASSERT_LESS_THAN_EQUAL

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

OPPL_TEST_CASE

public static final int OPPL_TEST_CASE

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

TEST

public static final int TEST

See Also:

Constant Field Values

STAR

public static final int STAR

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

FOLLOW_testCase_in_bottomup81

public static final org.antlr.runtime.BitSet FOLLOW_testCase_in_bottomup81

FOLLOW_textVariableRef_in_bottomup90

public static final org.antlr.runtime.BitSet FOLLOW_textVariableRef_in_bottomup90

FOLLOW_OPPL_TEST_CASE_in_testCase108

public static final org.antlr.runtime.BitSet FOLLOW_OPPL_TEST_CASE_in_testCase108

FOLLOW_IDENTIFIER_in_testCase110

public static final org.antlr.runtime.BitSet FOLLOW_IDENTIFIER_in_testCase110

FOLLOW_INFERENCE_in_testCase112

public static final org.antlr.runtime.BitSet FOLLOW_INFERENCE_in_testCase112

FOLLOW_statement_in_testCase119

public static final org.antlr.runtime.BitSet FOLLOW_statement_in_testCase119

FOLLOW_tests_in_testCase125

public static final org.antlr.runtime.BitSet FOLLOW_tests_in_testCase125

FOLLOW_test_in_tests165

public static final org.antlr.runtime.BitSet FOLLOW_test_in_tests165

FOLLOW_OPPL_STATEMENT_in_statement194

public static final org.antlr.runtime.BitSet FOLLOW_OPPL_STATEMENT_in_statement194

FOLLOW_VARIABLE_DEFINITIONS_in_statement203

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_DEFINITIONS_in_statement203

FOLLOW_QUERY_in_statement215

public static final org.antlr.runtime.BitSet FOLLOW_QUERY_in_statement215

FOLLOW_TEST_in_test241

public static final org.antlr.runtime.BitSet FOLLOW_TEST_in_test241

FOLLOW_assertion_in_test247

public static final org.antlr.runtime.BitSet FOLLOW_assertion_in_test247

FOLLOW_MESSAGE_in_test251

public static final org.antlr.runtime.BitSet FOLLOW_MESSAGE_in_test251

FOLLOW_ASSERT_EQUAL_in_assertion285

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_EQUAL_in_assertion285

FOLLOW_assertionExpression_in_assertion289

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion289

FOLLOW_assertionExpression_in_assertion294

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion294

FOLLOW_ASSERT_NOT_EQUAL_in_assertion303

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_NOT_EQUAL_in_assertion303

FOLLOW_assertionExpression_in_assertion307

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion307

FOLLOW_assertionExpression_in_assertion312

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion312

FOLLOW_ASSERT_LESS_THAN_in_assertion321

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_LESS_THAN_in_assertion321

FOLLOW_assertionExpression_in_assertion325

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion325

FOLLOW_assertionExpression_in_assertion330

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion330

FOLLOW_ASSERT_LESS_THAN_EQUAL_in_assertion339

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_LESS_THAN_EQUAL_in_assertion339

FOLLOW_assertionExpression_in_assertion343

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion343

FOLLOW_assertionExpression_in_assertion348

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion348

FOLLOW_ASSERT_GREATER_THAN_in_assertion357

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_GREATER_THAN_in_assertion357

FOLLOW_assertionExpression_in_assertion361

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion361

FOLLOW_assertionExpression_in_assertion366

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion366

FOLLOW_ASSERT_GREATER_THAN_EQUAL_in_assertion375

public static final org.antlr.runtime.BitSet FOLLOW_ASSERT_GREATER_THAN_EQUAL_in_assertion375

FOLLOW_assertionExpression_in_assertion379

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion379

FOLLOW_assertionExpression_in_assertion384

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion384

FOLLOW_CONTAINS_in_assertion393

public static final org.antlr.runtime.BitSet FOLLOW_CONTAINS_in_assertion393

FOLLOW_VARIABLE_NAME_in_assertion395

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_assertion395

FOLLOW_assertionExpression_in_assertion401

public static final org.antlr.runtime.BitSet FOLLOW_assertionExpression_in_assertion401

FOLLOW_NOT_in_assertion414

public static final org.antlr.runtime.BitSet FOLLOW_NOT_in_assertion414

FOLLOW_assertion_in_assertion419

public static final org.antlr.runtime.BitSet FOLLOW_assertion_in_assertion419

FOLLOW_COUNT_in_assertionExpression452

public static final org.antlr.runtime.BitSet FOLLOW_COUNT_in_assertionExpression452

FOLLOW_VARIABLE_NAME_in_assertionExpression454

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_assertionExpression454

FOLLOW_COUNT_in_assertionExpression463

public static final org.antlr.runtime.BitSet FOLLOW_COUNT_in_assertionExpression463

FOLLOW_STAR_in_assertionExpression465

public static final org.antlr.runtime.BitSet FOLLOW_STAR_in_assertionExpression465

FOLLOW_COUNT_in_assertionExpression474

public static final org.antlr.runtime.BitSet FOLLOW_COUNT_in_assertionExpression474

FOLLOW_bindingDescription_in_assertionExpression481

public static final org.antlr.runtime.BitSet FOLLOW_bindingDescription_in_assertionExpression481

FOLLOW_INTEGER_in_assertionExpression493

public static final org.antlr.runtime.BitSet FOLLOW_INTEGER_in_assertionExpression493

FOLLOW_EXPRESSION_in_assertionExpression502

public static final org.antlr.runtime.BitSet FOLLOW_EXPRESSION_in_assertionExpression502

FOLLOW_BINDING_in_bindingDescription526

public static final org.antlr.runtime.BitSet FOLLOW_BINDING_in_bindingDescription526

FOLLOW_VARIABLE_NAME_in_bindingDescription528

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_bindingDescription528

FOLLOW_EXPRESSION_in_bindingDescription532

public static final org.antlr.runtime.BitSet FOLLOW_EXPRESSION_in_bindingDescription532

FOLLOW_TEXT_in_textVariableRef567

public static final org.antlr.runtime.BitSet FOLLOW_TEXT_in_textVariableRef567

FOLLOW_VARIABLE_NAME_in_textVariableRef570

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_NAME_in_textVariableRef570

Constructor Detail

OPPLTestCaseTypes

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

OPPLTestCaseTypes

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

OPPLTestCaseTypes

public OPPLTestCaseTypes(org.antlr.runtime.tree.TreeNodeStream input,
                 OPPLTestCaseSymbolTable symtab,
                 ErrorListener errorListener,
                 ConstraintSystem constraintSystem,
                 AbstractOPPLTestCaseFactory testCaseFactory,
                 RuntimeExceptionHandler handler)

Method Detail

getTokenNames

public String[] getTokenNames()

Overrides:

getTokenNames in class org.antlr.runtime.BaseRecognizer

getGrammarFileName

public String getGrammarFileName()

Overrides:

getGrammarFileName in class org.antlr.runtime.BaseRecognizer

getErrorListener

public ErrorListener getErrorListener()

getHandler

public RuntimeExceptionHandler getHandler()

getConstraintSystem

public ConstraintSystem getConstraintSystem()

getSymbolTable

public OPPLTestCaseSymbolTable getSymbolTable()

getTestCaseFactory

public AbstractOPPLTestCaseFactory getTestCaseFactory()

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 in,
            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 in,
                              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 void bottomup()
                    throws org.antlr.runtime.RecognitionException

Overrides:

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

Throws:

org.antlr.runtime.RecognitionException

testCase

public final OPPLTestCaseTypes.testCase_return testCase()

tests

public final List<OPPLTest> tests()

statement

public final OPPLTestCaseTypes.statement_return statement()

test

public final OPPLTest test()

assertion

public final OPPLTestCaseTypes.assertion_return assertion()

assertionExpression

public final OPPLTestCaseTypes.assertionExpression_return assertionExpression()

bindingDescription

public final OPPLTestCaseTypes.bindingDescription_return bindingDescription()

textVariableRef

public final void textVariableRef()