com.ibm.bluej.consistency.grammar

Class ConsistencyParser

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.Parser

com.ibm.bluej.consistency.grammar.ConsistencyParser

public class ConsistencyParser
extends org.antlr.runtime.Parser

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConsistencyParser.bagTerm_return
static class	ConsistencyParser.beta_return
static class	ConsistencyParser.betaSent_return
static class	ConsistencyParser.compTerm_return
static class	ConsistencyParser.compTermHead_return
static class	ConsistencyParser.compTermNoHead_return
static class	ConsistencyParser.condition_return
static class	ConsistencyParser.conditionList_return
static class	ConsistencyParser.conditionSep_return
static class	ConsistencyParser.conditionTail_return
static class	ConsistencyParser.declaration_return
static class	ConsistencyParser.definitionSent_return
static class	ConsistencyParser.definitionSentEmpty_return
static class	ConsistencyParser.emptyProposal_return
static class	ConsistencyParser.endLine_return
static class	ConsistencyParser.factorFunc_return
static class	ConsistencyParser.factorSent_return
static class	ConsistencyParser.line_return
static class	ConsistencyParser.logicDesc_return
static class	ConsistencyParser.makeConstSent_return
static class	ConsistencyParser.objectiveSent_return
static class	ConsistencyParser.optionalSpace_return
static class	ConsistencyParser.param_return
static class	ConsistencyParser.proChanges_return
static class	ConsistencyParser.proCondition_return
static class	ConsistencyParser.proMarker_return
static class	ConsistencyParser.proposal_return
static class	ConsistencyParser.setTerm_return
static class	ConsistencyParser.simpleTerm_return
static class	ConsistencyParser.term_return
static class	ConsistencyParser.termList_return
static class	ConsistencyParser.termTail_return
static class	ConsistencyParser.testSent_return

Field Summary

Fields

Modifier and Type	Field and Description
static int	AND
static int	AT
static int	BACKSLASH
static int	BETA_BEGIN
static int	BETAFUNC
static int	COMMA
static int	CONDITIONSEP
static int	DECLAREMARKER
static int	DEFMARKER
static int	DIGIT
static int	EOF
static int	FACTORFUNC
static org.antlr.runtime.BitSet	FOLLOW_AND_in_conditionTail1258
static org.antlr.runtime.BitSet	FOLLOW_bagTerm_in_term1411
static org.antlr.runtime.BitSet	FOLLOW_BETA_BEGIN_in_beta1298
static org.antlr.runtime.BitSet	FOLLOW_beta_in_betaSent908
static org.antlr.runtime.BitSet	FOLLOW_betaSent_in_line801
static org.antlr.runtime.BitSet	FOLLOW_COMMA_in_termTail1382
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_conditionList1244
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_definitionSent988
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_definitionSentEmpty1011
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_factorFunc968
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_makeConstSent1030
static org.antlr.runtime.BitSet	FOLLOW_compTerm_in_simpleTerm1436
static org.antlr.runtime.BitSet	FOLLOW_compTermHead_in_compTerm1322
static org.antlr.runtime.BitSet	FOLLOW_compTermNoHead_in_compTerm1326
static org.antlr.runtime.BitSet	FOLLOW_condition_in_bagTerm1472
static org.antlr.runtime.BitSet	FOLLOW_condition_in_betaSent910
static org.antlr.runtime.BitSet	FOLLOW_condition_in_definitionSent990
static org.antlr.runtime.BitSet	FOLLOW_condition_in_factorSent930
static org.antlr.runtime.BitSet	FOLLOW_condition_in_makeConstSent1032
static org.antlr.runtime.BitSet	FOLLOW_condition_in_setTerm1449
static org.antlr.runtime.BitSet	FOLLOW_conditionList_in_condition1223
static org.antlr.runtime.BitSet	FOLLOW_conditionList_in_conditionTail1260
static org.antlr.runtime.BitSet	FOLLOW_conditionList_in_proChanges1166
static org.antlr.runtime.BitSet	FOLLOW_conditionList_in_proCondition1203
static org.antlr.runtime.BitSet	FOLLOW_conditionSep_in_condition1221
static org.antlr.runtime.BitSet	FOLLOW_CONDITIONSEP_in_conditionSep897
static org.antlr.runtime.BitSet	FOLLOW_conditionSep_in_declaration1057
static org.antlr.runtime.BitSet	FOLLOW_conditionTail_in_conditionList1247
static org.antlr.runtime.BitSet	FOLLOW_declaration_in_line828
static org.antlr.runtime.BitSet	FOLLOW_DECLAREMARKER_in_declaration1049
static org.antlr.runtime.BitSet	FOLLOW_definitionSent_in_line816
static org.antlr.runtime.BitSet	FOLLOW_definitionSent_in_synpred5_Consistency816
static org.antlr.runtime.BitSet	FOLLOW_definitionSentEmpty_in_line820
static org.antlr.runtime.BitSet	FOLLOW_DEFMARKER_in_definitionSent984
static org.antlr.runtime.BitSet	FOLLOW_DEFMARKER_in_definitionSentEmpty1007
static org.antlr.runtime.BitSet	FOLLOW_emptyProposal_in_line854
static org.antlr.runtime.BitSet	FOLLOW_factorFunc_in_factorSent928
static org.antlr.runtime.BitSet	FOLLOW_factorSent_in_line808
static org.antlr.runtime.BitSet	FOLLOW_factorSent_in_objectiveSent953
static org.antlr.runtime.BitSet	FOLLOW_FORALLCONDITION_in_proCondition1197
static org.antlr.runtime.BitSet	FOLLOW_LEFT_BRACE_in_setTerm1445
static org.antlr.runtime.BitSet	FOLLOW_LEFT_BRACK_in_bagTerm1468
static org.antlr.runtime.BitSet	FOLLOW_LEFT_BRACK_in_declaration1059
static org.antlr.runtime.BitSet	FOLLOW_LEFT_PAREN_in_beta1306
static org.antlr.runtime.BitSet	FOLLOW_LEFT_PAREN_in_compTermHead1337
static org.antlr.runtime.BitSet	FOLLOW_LEFT_PAREN_in_compTermNoHead1352
static org.antlr.runtime.BitSet	FOLLOW_LEFT_PAREN_in_param1283
static org.antlr.runtime.BitSet	FOLLOW_line_in_logicDesc787
static org.antlr.runtime.BitSet	FOLLOW_MAKECONSTMARKER_in_makeConstSent1026
static org.antlr.runtime.BitSet	FOLLOW_makeConstSent_in_line842
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_beta1301
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_compTermHead1334
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_declaration1055
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_declaration1063
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_simpleTerm1424
static org.antlr.runtime.BitSet	FOLLOW_NAME_in_testSent1088
static org.antlr.runtime.BitSet	FOLLOW_NEGATION_in_conditionList1240
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line797
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line803
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line810
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line823
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line830
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line837
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line844
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line857
static org.antlr.runtime.BitSet	FOLLOW_NEWLINE_in_line864
static org.antlr.runtime.BitSet	FOLLOW_NUMBER_in_factorFunc976
static org.antlr.runtime.BitSet	FOLLOW_NUMBER_in_simpleTerm1428
static org.antlr.runtime.BitSet	FOLLOW_OBJECTIVEMARKER_in_objectiveSent949
static org.antlr.runtime.BitSet	FOLLOW_objectiveSent_in_line862
static org.antlr.runtime.BitSet	FOLLOW_OPERATOR_in_term1415
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_declaration1051
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_definitionSent986
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_definitionSentEmpty1009
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_emptyProposal1136
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_makeConstSent1028
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_objectiveSent951
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_proposal1109
static org.antlr.runtime.BitSet	FOLLOW_optionalSpace_in_testSent1086
static org.antlr.runtime.BitSet	FOLLOW_PARAM_BEGIN_in_param1273
static org.antlr.runtime.BitSet	FOLLOW_param_in_factorFunc972
static org.antlr.runtime.BitSet	FOLLOW_proChanges_in_proposal1111
static org.antlr.runtime.BitSet	FOLLOW_proCondition_in_emptyProposal1138
static org.antlr.runtime.BitSet	FOLLOW_proCondition_in_proposal1116
static org.antlr.runtime.BitSet	FOLLOW_proMarker_in_emptyProposal1134
static org.antlr.runtime.BitSet	FOLLOW_proMarker_in_proposal1107
static org.antlr.runtime.BitSet	FOLLOW_proposal_in_line850
static org.antlr.runtime.BitSet	FOLLOW_RANDOMCONDITION_in_proCondition1185
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_BRACE_in_beta1303
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_BRACE_in_param1278
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_BRACE_in_setTerm1451
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_BRACK_in_bagTerm1474
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_BRACK_in_declaration1065
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_PAREN_in_beta1311
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_PAREN_in_compTermHead1343
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_PAREN_in_compTermNoHead1357
static org.antlr.runtime.BitSet	FOLLOW_RIGHT_PAREN_in_param1287
static org.antlr.runtime.BitSet	FOLLOW_setTerm_in_term1407
static org.antlr.runtime.BitSet	FOLLOW_simpleTerm_in_bagTerm1470
static org.antlr.runtime.BitSet	FOLLOW_simpleTerm_in_beta1309
static org.antlr.runtime.BitSet	FOLLOW_simpleTerm_in_param1285
static org.antlr.runtime.BitSet	FOLLOW_simpleTerm_in_setTerm1447
static org.antlr.runtime.BitSet	FOLLOW_simpleTerm_in_term1403
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_conditionSep894
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_conditionSep899
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_optionalSpace885
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_proCondition1200
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_proposal1113
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_termTail1379
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_termTail1384
static org.antlr.runtime.BitSet	FOLLOW_SPACE_in_termTail1389
static org.antlr.runtime.BitSet	FOLLOW_STRINGCONST_in_simpleTerm1432
static org.antlr.runtime.BitSet	FOLLOW_term_in_termList1366
static org.antlr.runtime.BitSet	FOLLOW_termList_in_compTermHead1340
static org.antlr.runtime.BitSet	FOLLOW_termList_in_compTermNoHead1355
static org.antlr.runtime.BitSet	FOLLOW_termList_in_param1276
static org.antlr.runtime.BitSet	FOLLOW_termList_in_termTail1392
static org.antlr.runtime.BitSet	FOLLOW_termList_in_testSent1090
static org.antlr.runtime.BitSet	FOLLOW_termTail_in_termList1368
static org.antlr.runtime.BitSet	FOLLOW_TESTMARKER_in_testSent1084
static org.antlr.runtime.BitSet	FOLLOW_testSent_in_line835
static org.antlr.runtime.BitSet	FOLLOW_WEIGHTEDMAXCONDITION_in_proCondition1191
static int	FORALLCONDITION
static int	LEFT_BRACE
static int	LEFT_BRACK
static int	LEFT_PAREN
static int	LETTER
static int	LINE_COMMENT
static int	MAKECONSTMARKER
static int	NAME
static int	NEGATION
static int	NEWLINE
static int	NUMBER
static int	OBJECTIVEMARKER
static int	OPERATOR
static int	PARAM_BEGIN
static int	PROPOSEMARKER
static int	RANDOMCONDITION
static int	RIGHT_BRACE
static int	RIGHT_BRACK
static int	RIGHT_PAREN
static int	SIGN
static int	SPACE
static int	STRINGCONST
static int	SUBPROPOSEMARKER
static int	TESTMARKER
static java.lang.String[]	tokenNames
static int	WEIGHTEDMAXCONDITION

Fields inherited from class org.antlr.runtime.Parser

input

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

Constructor Summary

Constructors

Constructor and Description
ConsistencyParser(org.antlr.runtime.TokenStream input)
ConsistencyParser(org.antlr.runtime.TokenStream input, org.antlr.runtime.RecognizerSharedState state)

Method Summary

Methods

Modifier and Type	Method and Description
ConsistencyParser.bagTerm_return	bagTerm()
ConsistencyParser.beta_return	beta()
ConsistencyParser.betaSent_return	betaSent()
ConsistencyParser.compTerm_return	compTerm()
ConsistencyParser.compTermHead_return	compTermHead()
ConsistencyParser.compTermNoHead_return	compTermNoHead()
ConsistencyParser.condition_return	condition()
ConsistencyParser.conditionList_return	conditionList()
ConsistencyParser.conditionSep_return	conditionSep()
ConsistencyParser.conditionTail_return	conditionTail()
ConsistencyParser.declaration_return	declaration()
ConsistencyParser.definitionSent_return	definitionSent()
ConsistencyParser.definitionSentEmpty_return	definitionSentEmpty()
ConsistencyParser.emptyProposal_return	emptyProposal()
ConsistencyParser.endLine_return	endLine()
ConsistencyParser.factorFunc_return	factorFunc()
ConsistencyParser.factorSent_return	factorSent()
org.antlr.runtime.Parser[]	getDelegates()
java.lang.String	getGrammarFileName()
java.lang.String[]	getTokenNames()
org.antlr.runtime.tree.TreeAdaptor	getTreeAdaptor()
ConsistencyParser.line_return	line()
ConsistencyParser.logicDesc_return	logicDesc()
ConsistencyParser.makeConstSent_return	makeConstSent()
ConsistencyParser.objectiveSent_return	objectiveSent()
ConsistencyParser.optionalSpace_return	optionalSpace()
ConsistencyParser.param_return	param()
ConsistencyParser.proChanges_return	proChanges()
ConsistencyParser.proCondition_return	proCondition()
ConsistencyParser.proMarker_return	proMarker()
ConsistencyParser.proposal_return	proposal()
ConsistencyParser.setTerm_return	setTerm()
void	setTreeAdaptor(org.antlr.runtime.tree.TreeAdaptor adaptor)
ConsistencyParser.simpleTerm_return	simpleTerm()
void	synpred5_Consistency_fragment()
boolean	synpred5_Consistency()
ConsistencyParser.term_return	term()
ConsistencyParser.termList_return	termList()
ConsistencyParser.termTail_return	termTail()
ConsistencyParser.testSent_return	testSent()

Methods inherited from class org.antlr.runtime.Parser

getSourceName, getTokenStream, reset, setTokenStream, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer

alreadyParsedRule, beginResync, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getErrorHeader, getErrorMessage, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, matchAny, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, recover, recoverFromMismatchedSet, reportError, setBacktrackingLevel, toStrings, traceIn, traceOut

Methods inherited from class java.lang.Object

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

Field Detail

tokenNames

public static final java.lang.String[] tokenNames

EOF

public static final int EOF

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

AT

public static final int AT

See Also:

Constant Field Values

BACKSLASH

public static final int BACKSLASH

See Also:

Constant Field Values

BETAFUNC

public static final int BETAFUNC

See Also:

Constant Field Values

BETA_BEGIN

public static final int BETA_BEGIN

See Also:

Constant Field Values

COMMA

public static final int COMMA

See Also:

Constant Field Values

CONDITIONSEP

public static final int CONDITIONSEP

See Also:

Constant Field Values

DECLAREMARKER

public static final int DECLAREMARKER

See Also:

Constant Field Values

DEFMARKER

public static final int DEFMARKER

See Also:

Constant Field Values

DIGIT

public static final int DIGIT

See Also:

Constant Field Values

FACTORFUNC

public static final int FACTORFUNC

See Also:

Constant Field Values

FORALLCONDITION

public static final int FORALLCONDITION

See Also:

Constant Field Values

LEFT_BRACE

public static final int LEFT_BRACE

See Also:

Constant Field Values

LEFT_BRACK

public static final int LEFT_BRACK

See Also:

Constant Field Values

LEFT_PAREN

public static final int LEFT_PAREN

See Also:

Constant Field Values

LETTER

public static final int LETTER

See Also:

Constant Field Values

LINE_COMMENT

public static final int LINE_COMMENT

See Also:

Constant Field Values

MAKECONSTMARKER

public static final int MAKECONSTMARKER

See Also:

Constant Field Values

NAME

public static final int NAME

See Also:

Constant Field Values

NEGATION

public static final int NEGATION

See Also:

Constant Field Values

NEWLINE

public static final int NEWLINE

See Also:

Constant Field Values

NUMBER

public static final int NUMBER

See Also:

Constant Field Values

OBJECTIVEMARKER

public static final int OBJECTIVEMARKER

See Also:

Constant Field Values

OPERATOR

public static final int OPERATOR

See Also:

Constant Field Values

PARAM_BEGIN

public static final int PARAM_BEGIN

See Also:

Constant Field Values

PROPOSEMARKER

public static final int PROPOSEMARKER

See Also:

Constant Field Values

RANDOMCONDITION

public static final int RANDOMCONDITION

See Also:

Constant Field Values

RIGHT_BRACE

public static final int RIGHT_BRACE

See Also:

Constant Field Values

RIGHT_BRACK

public static final int RIGHT_BRACK

See Also:

Constant Field Values

RIGHT_PAREN

public static final int RIGHT_PAREN

See Also:

Constant Field Values

SIGN

public static final int SIGN

See Also:

Constant Field Values

SPACE

public static final int SPACE

See Also:

Constant Field Values

STRINGCONST

public static final int STRINGCONST

See Also:

Constant Field Values

SUBPROPOSEMARKER

public static final int SUBPROPOSEMARKER

See Also:

Constant Field Values

TESTMARKER

public static final int TESTMARKER

See Also:

Constant Field Values

WEIGHTEDMAXCONDITION

public static final int WEIGHTEDMAXCONDITION

See Also:

Constant Field Values

FOLLOW_line_in_logicDesc787

public static final org.antlr.runtime.BitSet FOLLOW_line_in_logicDesc787

FOLLOW_NEWLINE_in_line797

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line797

FOLLOW_betaSent_in_line801

public static final org.antlr.runtime.BitSet FOLLOW_betaSent_in_line801

FOLLOW_NEWLINE_in_line803

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line803

FOLLOW_factorSent_in_line808

public static final org.antlr.runtime.BitSet FOLLOW_factorSent_in_line808

FOLLOW_NEWLINE_in_line810

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line810

FOLLOW_definitionSent_in_line816

public static final org.antlr.runtime.BitSet FOLLOW_definitionSent_in_line816

FOLLOW_definitionSentEmpty_in_line820

public static final org.antlr.runtime.BitSet FOLLOW_definitionSentEmpty_in_line820

FOLLOW_NEWLINE_in_line823

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line823

FOLLOW_declaration_in_line828

public static final org.antlr.runtime.BitSet FOLLOW_declaration_in_line828

FOLLOW_NEWLINE_in_line830

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line830

FOLLOW_testSent_in_line835

public static final org.antlr.runtime.BitSet FOLLOW_testSent_in_line835

FOLLOW_NEWLINE_in_line837

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line837

FOLLOW_makeConstSent_in_line842

public static final org.antlr.runtime.BitSet FOLLOW_makeConstSent_in_line842

FOLLOW_NEWLINE_in_line844

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line844

FOLLOW_proposal_in_line850

public static final org.antlr.runtime.BitSet FOLLOW_proposal_in_line850

FOLLOW_emptyProposal_in_line854

public static final org.antlr.runtime.BitSet FOLLOW_emptyProposal_in_line854

FOLLOW_NEWLINE_in_line857

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line857

FOLLOW_objectiveSent_in_line862

public static final org.antlr.runtime.BitSet FOLLOW_objectiveSent_in_line862

FOLLOW_NEWLINE_in_line864

public static final org.antlr.runtime.BitSet FOLLOW_NEWLINE_in_line864

FOLLOW_SPACE_in_optionalSpace885

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_optionalSpace885

FOLLOW_SPACE_in_conditionSep894

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_conditionSep894

FOLLOW_CONDITIONSEP_in_conditionSep897

public static final org.antlr.runtime.BitSet FOLLOW_CONDITIONSEP_in_conditionSep897

FOLLOW_SPACE_in_conditionSep899

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_conditionSep899

FOLLOW_beta_in_betaSent908

public static final org.antlr.runtime.BitSet FOLLOW_beta_in_betaSent908

FOLLOW_condition_in_betaSent910

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_betaSent910

FOLLOW_factorFunc_in_factorSent928

public static final org.antlr.runtime.BitSet FOLLOW_factorFunc_in_factorSent928

FOLLOW_condition_in_factorSent930

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_factorSent930

FOLLOW_OBJECTIVEMARKER_in_objectiveSent949

public static final org.antlr.runtime.BitSet FOLLOW_OBJECTIVEMARKER_in_objectiveSent949

FOLLOW_optionalSpace_in_objectiveSent951

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_objectiveSent951

FOLLOW_factorSent_in_objectiveSent953

public static final org.antlr.runtime.BitSet FOLLOW_factorSent_in_objectiveSent953

FOLLOW_compTerm_in_factorFunc968

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_factorFunc968

FOLLOW_param_in_factorFunc972

public static final org.antlr.runtime.BitSet FOLLOW_param_in_factorFunc972

FOLLOW_NUMBER_in_factorFunc976

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_factorFunc976

FOLLOW_DEFMARKER_in_definitionSent984

public static final org.antlr.runtime.BitSet FOLLOW_DEFMARKER_in_definitionSent984

FOLLOW_optionalSpace_in_definitionSent986

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_definitionSent986

FOLLOW_compTerm_in_definitionSent988

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_definitionSent988

FOLLOW_condition_in_definitionSent990

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_definitionSent990

FOLLOW_DEFMARKER_in_definitionSentEmpty1007

public static final org.antlr.runtime.BitSet FOLLOW_DEFMARKER_in_definitionSentEmpty1007

FOLLOW_optionalSpace_in_definitionSentEmpty1009

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_definitionSentEmpty1009

FOLLOW_compTerm_in_definitionSentEmpty1011

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_definitionSentEmpty1011

FOLLOW_MAKECONSTMARKER_in_makeConstSent1026

public static final org.antlr.runtime.BitSet FOLLOW_MAKECONSTMARKER_in_makeConstSent1026

FOLLOW_optionalSpace_in_makeConstSent1028

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_makeConstSent1028

FOLLOW_compTerm_in_makeConstSent1030

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_makeConstSent1030

FOLLOW_condition_in_makeConstSent1032

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_makeConstSent1032

FOLLOW_DECLAREMARKER_in_declaration1049

public static final org.antlr.runtime.BitSet FOLLOW_DECLAREMARKER_in_declaration1049

FOLLOW_optionalSpace_in_declaration1051

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_declaration1051

FOLLOW_NAME_in_declaration1055

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_declaration1055

FOLLOW_conditionSep_in_declaration1057

public static final org.antlr.runtime.BitSet FOLLOW_conditionSep_in_declaration1057

FOLLOW_LEFT_BRACK_in_declaration1059

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_BRACK_in_declaration1059

FOLLOW_NAME_in_declaration1063

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_declaration1063

FOLLOW_RIGHT_BRACK_in_declaration1065

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_BRACK_in_declaration1065

FOLLOW_TESTMARKER_in_testSent1084

public static final org.antlr.runtime.BitSet FOLLOW_TESTMARKER_in_testSent1084

FOLLOW_optionalSpace_in_testSent1086

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_testSent1086

FOLLOW_NAME_in_testSent1088

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_testSent1088

FOLLOW_termList_in_testSent1090

public static final org.antlr.runtime.BitSet FOLLOW_termList_in_testSent1090

FOLLOW_proMarker_in_proposal1107

public static final org.antlr.runtime.BitSet FOLLOW_proMarker_in_proposal1107

FOLLOW_optionalSpace_in_proposal1109

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_proposal1109

FOLLOW_proChanges_in_proposal1111

public static final org.antlr.runtime.BitSet FOLLOW_proChanges_in_proposal1111

FOLLOW_SPACE_in_proposal1113

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_proposal1113

FOLLOW_proCondition_in_proposal1116

public static final org.antlr.runtime.BitSet FOLLOW_proCondition_in_proposal1116

FOLLOW_proMarker_in_emptyProposal1134

public static final org.antlr.runtime.BitSet FOLLOW_proMarker_in_emptyProposal1134

FOLLOW_optionalSpace_in_emptyProposal1136

public static final org.antlr.runtime.BitSet FOLLOW_optionalSpace_in_emptyProposal1136

FOLLOW_proCondition_in_emptyProposal1138

public static final org.antlr.runtime.BitSet FOLLOW_proCondition_in_emptyProposal1138

FOLLOW_conditionList_in_proChanges1166

public static final org.antlr.runtime.BitSet FOLLOW_conditionList_in_proChanges1166

FOLLOW_RANDOMCONDITION_in_proCondition1185

public static final org.antlr.runtime.BitSet FOLLOW_RANDOMCONDITION_in_proCondition1185

FOLLOW_WEIGHTEDMAXCONDITION_in_proCondition1191

public static final org.antlr.runtime.BitSet FOLLOW_WEIGHTEDMAXCONDITION_in_proCondition1191

FOLLOW_FORALLCONDITION_in_proCondition1197

public static final org.antlr.runtime.BitSet FOLLOW_FORALLCONDITION_in_proCondition1197

FOLLOW_SPACE_in_proCondition1200

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_proCondition1200

FOLLOW_conditionList_in_proCondition1203

public static final org.antlr.runtime.BitSet FOLLOW_conditionList_in_proCondition1203

FOLLOW_conditionSep_in_condition1221

public static final org.antlr.runtime.BitSet FOLLOW_conditionSep_in_condition1221

FOLLOW_conditionList_in_condition1223

public static final org.antlr.runtime.BitSet FOLLOW_conditionList_in_condition1223

FOLLOW_NEGATION_in_conditionList1240

public static final org.antlr.runtime.BitSet FOLLOW_NEGATION_in_conditionList1240

FOLLOW_compTerm_in_conditionList1244

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_conditionList1244

FOLLOW_conditionTail_in_conditionList1247

public static final org.antlr.runtime.BitSet FOLLOW_conditionTail_in_conditionList1247

FOLLOW_AND_in_conditionTail1258

public static final org.antlr.runtime.BitSet FOLLOW_AND_in_conditionTail1258

FOLLOW_conditionList_in_conditionTail1260

public static final org.antlr.runtime.BitSet FOLLOW_conditionList_in_conditionTail1260

FOLLOW_PARAM_BEGIN_in_param1273

public static final org.antlr.runtime.BitSet FOLLOW_PARAM_BEGIN_in_param1273

FOLLOW_termList_in_param1276

public static final org.antlr.runtime.BitSet FOLLOW_termList_in_param1276

FOLLOW_RIGHT_BRACE_in_param1278

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_BRACE_in_param1278

FOLLOW_LEFT_PAREN_in_param1283

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_PAREN_in_param1283

FOLLOW_simpleTerm_in_param1285

public static final org.antlr.runtime.BitSet FOLLOW_simpleTerm_in_param1285

FOLLOW_RIGHT_PAREN_in_param1287

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_PAREN_in_param1287

FOLLOW_BETA_BEGIN_in_beta1298

public static final org.antlr.runtime.BitSet FOLLOW_BETA_BEGIN_in_beta1298

FOLLOW_NAME_in_beta1301

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_beta1301

FOLLOW_RIGHT_BRACE_in_beta1303

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_BRACE_in_beta1303

FOLLOW_LEFT_PAREN_in_beta1306

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_PAREN_in_beta1306

FOLLOW_simpleTerm_in_beta1309

public static final org.antlr.runtime.BitSet FOLLOW_simpleTerm_in_beta1309

FOLLOW_RIGHT_PAREN_in_beta1311

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_PAREN_in_beta1311

FOLLOW_compTermHead_in_compTerm1322

public static final org.antlr.runtime.BitSet FOLLOW_compTermHead_in_compTerm1322

FOLLOW_compTermNoHead_in_compTerm1326

public static final org.antlr.runtime.BitSet FOLLOW_compTermNoHead_in_compTerm1326

FOLLOW_NAME_in_compTermHead1334

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_compTermHead1334

FOLLOW_LEFT_PAREN_in_compTermHead1337

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_PAREN_in_compTermHead1337

FOLLOW_termList_in_compTermHead1340

public static final org.antlr.runtime.BitSet FOLLOW_termList_in_compTermHead1340

FOLLOW_RIGHT_PAREN_in_compTermHead1343

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_PAREN_in_compTermHead1343

FOLLOW_LEFT_PAREN_in_compTermNoHead1352

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_PAREN_in_compTermNoHead1352

FOLLOW_termList_in_compTermNoHead1355

public static final org.antlr.runtime.BitSet FOLLOW_termList_in_compTermNoHead1355

FOLLOW_RIGHT_PAREN_in_compTermNoHead1357

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_PAREN_in_compTermNoHead1357

FOLLOW_term_in_termList1366

public static final org.antlr.runtime.BitSet FOLLOW_term_in_termList1366

FOLLOW_termTail_in_termList1368

public static final org.antlr.runtime.BitSet FOLLOW_termTail_in_termList1368

FOLLOW_SPACE_in_termTail1379

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_termTail1379

FOLLOW_COMMA_in_termTail1382

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_termTail1382

FOLLOW_SPACE_in_termTail1384

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_termTail1384

FOLLOW_SPACE_in_termTail1389

public static final org.antlr.runtime.BitSet FOLLOW_SPACE_in_termTail1389

FOLLOW_termList_in_termTail1392

public static final org.antlr.runtime.BitSet FOLLOW_termList_in_termTail1392

FOLLOW_simpleTerm_in_term1403

public static final org.antlr.runtime.BitSet FOLLOW_simpleTerm_in_term1403

FOLLOW_setTerm_in_term1407

public static final org.antlr.runtime.BitSet FOLLOW_setTerm_in_term1407

FOLLOW_bagTerm_in_term1411

public static final org.antlr.runtime.BitSet FOLLOW_bagTerm_in_term1411

FOLLOW_OPERATOR_in_term1415

public static final org.antlr.runtime.BitSet FOLLOW_OPERATOR_in_term1415

FOLLOW_NAME_in_simpleTerm1424

public static final org.antlr.runtime.BitSet FOLLOW_NAME_in_simpleTerm1424

FOLLOW_NUMBER_in_simpleTerm1428

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_simpleTerm1428

FOLLOW_STRINGCONST_in_simpleTerm1432

public static final org.antlr.runtime.BitSet FOLLOW_STRINGCONST_in_simpleTerm1432

FOLLOW_compTerm_in_simpleTerm1436

public static final org.antlr.runtime.BitSet FOLLOW_compTerm_in_simpleTerm1436

FOLLOW_LEFT_BRACE_in_setTerm1445

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_BRACE_in_setTerm1445

FOLLOW_simpleTerm_in_setTerm1447

public static final org.antlr.runtime.BitSet FOLLOW_simpleTerm_in_setTerm1447

FOLLOW_condition_in_setTerm1449

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_setTerm1449

FOLLOW_RIGHT_BRACE_in_setTerm1451

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_BRACE_in_setTerm1451

FOLLOW_LEFT_BRACK_in_bagTerm1468

public static final org.antlr.runtime.BitSet FOLLOW_LEFT_BRACK_in_bagTerm1468

FOLLOW_simpleTerm_in_bagTerm1470

public static final org.antlr.runtime.BitSet FOLLOW_simpleTerm_in_bagTerm1470

FOLLOW_condition_in_bagTerm1472

public static final org.antlr.runtime.BitSet FOLLOW_condition_in_bagTerm1472

FOLLOW_RIGHT_BRACK_in_bagTerm1474

public static final org.antlr.runtime.BitSet FOLLOW_RIGHT_BRACK_in_bagTerm1474

FOLLOW_definitionSent_in_synpred5_Consistency816

public static final org.antlr.runtime.BitSet FOLLOW_definitionSent_in_synpred5_Consistency816

Constructor Detail

ConsistencyParser

public ConsistencyParser(org.antlr.runtime.TokenStream input)

ConsistencyParser

public ConsistencyParser(org.antlr.runtime.TokenStream input,
                 org.antlr.runtime.RecognizerSharedState state)

Method Detail

getDelegates

public org.antlr.runtime.Parser[] getDelegates()

setTreeAdaptor

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

getTreeAdaptor

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

getTokenNames

public java.lang.String[] getTokenNames()

Overrides:

getTokenNames in class org.antlr.runtime.BaseRecognizer

getGrammarFileName

public java.lang.String getGrammarFileName()

Overrides:

getGrammarFileName in class org.antlr.runtime.BaseRecognizer

logicDesc

public final ConsistencyParser.logicDesc_return logicDesc()
                                                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

line

public final ConsistencyParser.line_return line()
                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

endLine

public final ConsistencyParser.endLine_return endLine()
                                               throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

optionalSpace

public final ConsistencyParser.optionalSpace_return optionalSpace()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

conditionSep

public final ConsistencyParser.conditionSep_return conditionSep()
                                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

betaSent

public final ConsistencyParser.betaSent_return betaSent()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

factorSent

public final ConsistencyParser.factorSent_return factorSent()
                                                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

objectiveSent

public final ConsistencyParser.objectiveSent_return objectiveSent()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

factorFunc

public final ConsistencyParser.factorFunc_return factorFunc()
                                                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

definitionSent

public final ConsistencyParser.definitionSent_return definitionSent()
                                                             throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

definitionSentEmpty

public final ConsistencyParser.definitionSentEmpty_return definitionSentEmpty()
                                                                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

makeConstSent

public final ConsistencyParser.makeConstSent_return makeConstSent()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

declaration

public final ConsistencyParser.declaration_return declaration()
                                                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

testSent

public final ConsistencyParser.testSent_return testSent()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

proposal

public final ConsistencyParser.proposal_return proposal()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

emptyProposal

public final ConsistencyParser.emptyProposal_return emptyProposal()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

proMarker

public final ConsistencyParser.proMarker_return proMarker()
                                                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

proChanges

public final ConsistencyParser.proChanges_return proChanges()
                                                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

proCondition

public final ConsistencyParser.proCondition_return proCondition()
                                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

condition

public final ConsistencyParser.condition_return condition()
                                                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

conditionList

public final ConsistencyParser.conditionList_return conditionList()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

conditionTail

public final ConsistencyParser.conditionTail_return conditionTail()
                                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

param

public final ConsistencyParser.param_return param()
                                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

beta

public final ConsistencyParser.beta_return beta()
                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

compTerm

public final ConsistencyParser.compTerm_return compTerm()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

compTermHead

public final ConsistencyParser.compTermHead_return compTermHead()
                                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

compTermNoHead

public final ConsistencyParser.compTermNoHead_return compTermNoHead()
                                                             throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

termList

public final ConsistencyParser.termList_return termList()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

termTail

public final ConsistencyParser.termTail_return termTail()
                                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

term

public final ConsistencyParser.term_return term()
                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

simpleTerm

public final ConsistencyParser.simpleTerm_return simpleTerm()
                                                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

setTerm

public final ConsistencyParser.setTerm_return setTerm()
                                               throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

bagTerm

public final ConsistencyParser.bagTerm_return bagTerm()
                                               throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

synpred5_Consistency_fragment

public final void synpred5_Consistency_fragment()
                                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

synpred5_Consistency

public final boolean synpred5_Consistency()