controller.syntax

Class JLPSSyntaxParser

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.Parser

controller.syntax.JLPSSyntaxParser

public class JLPSSyntaxParser
extends org.antlr.runtime.Parser

Author:

Alexandre Camus

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JLPSSyntaxParser.action_return
static class	JLPSSyntaxParser.d_return
static class	JLPSSyntaxParser.database_return
static class	JLPSSyntaxParser.events_return
static class	JLPSSyntaxParser.file_return
static class	JLPSSyntaxParser.goals_return
static class	JLPSSyntaxParser.initiator_return
static class	JLPSSyntaxParser.lext_return
static class	JLPSSyntaxParser.lint_return
static class	JLPSSyntaxParser.postconditions_return
static class	JLPSSyntaxParser.preconditions_return
static class	JLPSSyntaxParser.reactiveRules_return
static class	JLPSSyntaxParser.terminator_return

Field Summary

Fields

Modifier and Type	Field and Description
static int	COMMENT
static int	COMMENT_LINE
static int	CONSTANT
static int	EOF
static org.antlr.runtime.BitSet	FOLLOW_10_in_negation625
static org.antlr.runtime.BitSet	FOLLOW_11_in_and677
static org.antlr.runtime.BitSet	FOLLOW_12_in_initiator283
static org.antlr.runtime.BitSet	FOLLOW_12_in_simpleSentence223
static org.antlr.runtime.BitSet	FOLLOW_12_in_term589
static org.antlr.runtime.BitSet	FOLLOW_12_in_terminator381
static org.antlr.runtime.BitSet	FOLLOW_13_in_initiator313
static org.antlr.runtime.BitSet	FOLLOW_13_in_simpleSentence246
static org.antlr.runtime.BitSet	FOLLOW_13_in_term593
static org.antlr.runtime.BitSet	FOLLOW_13_in_terminator421
static org.antlr.runtime.BitSet	FOLLOW_14_in_initiator299
static org.antlr.runtime.BitSet	FOLLOW_14_in_parameters173
static org.antlr.runtime.BitSet	FOLLOW_14_in_terminator397
static org.antlr.runtime.BitSet	FOLLOW_15_in_reactiveRule755
static org.antlr.runtime.BitSet	FOLLOW_16_in_fluent838
static org.antlr.runtime.BitSet	FOLLOW_16_in_postconditions1169
static org.antlr.runtime.BitSet	FOLLOW_16_in_postconditions1183
static org.antlr.runtime.BitSet	FOLLOW_16_in_preconditions1070
static org.antlr.runtime.BitSet	FOLLOW_16_in_preconditions1109
static org.antlr.runtime.BitSet	FOLLOW_16_in_reactiveRule759
static org.antlr.runtime.BitSet	FOLLOW_16_in_rule807
static org.antlr.runtime.BitSet	FOLLOW_17_in_preconditions1052
static org.antlr.runtime.BitSet	FOLLOW_17_in_preconditions1091
static org.antlr.runtime.BitSet	FOLLOW_18_in_initiator330
static org.antlr.runtime.BitSet	FOLLOW_18_in_rule799
static org.antlr.runtime.BitSet	FOLLOW_18_in_terminator430
static org.antlr.runtime.BitSet	FOLLOW_19_in_action1225
static org.antlr.runtime.BitSet	FOLLOW_20_in_equal524
static org.antlr.runtime.BitSet	FOLLOW_38_in_postconditions1158
static org.antlr.runtime.BitSet	FOLLOW_38_in_preconditions1035
static org.antlr.runtime.BitSet	FOLLOW_39_in_postconditions1194
static org.antlr.runtime.BitSet	FOLLOW_39_in_preconditions1121
static org.antlr.runtime.BitSet	FOLLOW_50_in_initiator275
static org.antlr.runtime.BitSet	FOLLOW_59_in_terminator373
static org.antlr.runtime.BitSet	FOLLOW_60_in_truth716
static org.antlr.runtime.BitSet	FOLLOW_61_in_action1227
static org.antlr.runtime.BitSet	FOLLOW_61_in_arithmetic473
static org.antlr.runtime.BitSet	FOLLOW_61_in_d1368
static org.antlr.runtime.BitSet	FOLLOW_61_in_d1398
static org.antlr.runtime.BitSet	FOLLOW_61_in_database1482
static org.antlr.runtime.BitSet	FOLLOW_61_in_events1697
static org.antlr.runtime.BitSet	FOLLOW_61_in_goals1623
static org.antlr.runtime.BitSet	FOLLOW_61_in_lext887
static org.antlr.runtime.BitSet	FOLLOW_61_in_lint969
static org.antlr.runtime.BitSet	FOLLOW_61_in_reactiveRules1557
static org.antlr.runtime.BitSet	FOLLOW_62_in_action1263
static org.antlr.runtime.BitSet	FOLLOW_62_in_arithmetic489
static org.antlr.runtime.BitSet	FOLLOW_62_in_d1419
static org.antlr.runtime.BitSet	FOLLOW_62_in_d1429
static org.antlr.runtime.BitSet	FOLLOW_62_in_database1516
static org.antlr.runtime.BitSet	FOLLOW_62_in_events1726
static org.antlr.runtime.BitSet	FOLLOW_62_in_goals1652
static org.antlr.runtime.BitSet	FOLLOW_62_in_lext924
static org.antlr.runtime.BitSet	FOLLOW_62_in_lint998
static org.antlr.runtime.BitSet	FOLLOW_62_in_reactiveRules1586
static org.antlr.runtime.BitSet	FOLLOW_action_in_d1377
static org.antlr.runtime.BitSet	FOLLOW_and_in_initiator332
static org.antlr.runtime.BitSet	FOLLOW_and_in_preconditions1059
static org.antlr.runtime.BitSet	FOLLOW_and_in_preconditions1098
static org.antlr.runtime.BitSet	FOLLOW_and_in_reactiveRule744
static org.antlr.runtime.BitSet	FOLLOW_and_in_rule801
static org.antlr.runtime.BitSet	FOLLOW_and_in_term591
static org.antlr.runtime.BitSet	FOLLOW_and_in_terminator432
static org.antlr.runtime.BitSet	FOLLOW_arithmetic_in_term559
static org.antlr.runtime.BitSet	FOLLOW_CONSTANT_in_constant100
static org.antlr.runtime.BitSet	FOLLOW_constant_in_simpleSentence213
static org.antlr.runtime.BitSet	FOLLOW_constant_in_unifiable57
static org.antlr.runtime.BitSet	FOLLOW_d_in_file1777
static org.antlr.runtime.BitSet	FOLLOW_database_in_file1764
static org.antlr.runtime.BitSet	FOLLOW_EOF_in_file1828
static org.antlr.runtime.BitSet	FOLLOW_equal_in_term579
static org.antlr.runtime.BitSet	FOLLOW_events_in_file1816
static org.antlr.runtime.BitSet	FOLLOW_fluent_in_events1706
static org.antlr.runtime.BitSet	FOLLOW_fluent_in_lext896
static org.antlr.runtime.BitSet	FOLLOW_goals_in_file1803
static org.antlr.runtime.BitSet	FOLLOW_initiator_in_postconditions1181
static org.antlr.runtime.BitSet	FOLLOW_lext_in_database1491
static org.antlr.runtime.BitSet	FOLLOW_lint_in_database1504
static org.antlr.runtime.BitSet	FOLLOW_macroaction_in_d1407
static org.antlr.runtime.BitSet	FOLLOW_negation_in_and672
static org.antlr.runtime.BitSet	FOLLOW_negation_in_and683
static org.antlr.runtime.BitSet	FOLLOW_parameters_in_simpleSentence234
static org.antlr.runtime.BitSet	FOLLOW_postconditions_in_action1251
static org.antlr.runtime.BitSet	FOLLOW_preconditions_in_action1238
static org.antlr.runtime.BitSet	FOLLOW_reactiveRule_in_reactiveRules1566
static org.antlr.runtime.BitSet	FOLLOW_reactiveRules_in_file1790
static org.antlr.runtime.BitSet	FOLLOW_rule_in_goals1632
static org.antlr.runtime.BitSet	FOLLOW_rule_in_lint978
static org.antlr.runtime.BitSet	FOLLOW_rule_in_macroaction1300
static org.antlr.runtime.BitSet	FOLLOW_set_in_d1336
static org.antlr.runtime.BitSet	FOLLOW_set_in_d1390
static org.antlr.runtime.BitSet	FOLLOW_set_in_database1474
static org.antlr.runtime.BitSet	FOLLOW_set_in_events1689
static org.antlr.runtime.BitSet	FOLLOW_set_in_goals1615
static org.antlr.runtime.BitSet	FOLLOW_set_in_lext871
static org.antlr.runtime.BitSet	FOLLOW_set_in_lint953
static org.antlr.runtime.BitSet	FOLLOW_set_in_postconditions1150
static org.antlr.runtime.BitSet	FOLLOW_set_in_preconditions1027
static org.antlr.runtime.BitSet	FOLLOW_set_in_preconditions1044
static org.antlr.runtime.BitSet	FOLLOW_set_in_preconditions1083
static org.antlr.runtime.BitSet	FOLLOW_set_in_reactiveRules1545
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_action1223
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_fluent836
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_initiator297
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_initiator305
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_reactiveRule757
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_rule796
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_term569
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_terminator395
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_terminator403
static org.antlr.runtime.BitSet	FOLLOW_simpleSentence_in_unifiable77
static org.antlr.runtime.BitSet	FOLLOW_SYMBOL_in_arithmetic481
static org.antlr.runtime.BitSet	FOLLOW_term_in_negation631
static org.antlr.runtime.BitSet	FOLLOW_terminator_in_postconditions1167
static org.antlr.runtime.BitSet	FOLLOW_truth_in_preconditions1067
static org.antlr.runtime.BitSet	FOLLOW_truth_in_preconditions1106
static org.antlr.runtime.BitSet	FOLLOW_truth_in_reactiveRule752
static org.antlr.runtime.BitSet	FOLLOW_unifiable_in_arithmetic479
static org.antlr.runtime.BitSet	FOLLOW_unifiable_in_arithmetic487
static org.antlr.runtime.BitSet	FOLLOW_unifiable_in_equal530
static org.antlr.runtime.BitSet	FOLLOW_unifiable_in_parameters162
static org.antlr.runtime.BitSet	FOLLOW_unifiable_in_parameters179
static org.antlr.runtime.BitSet	FOLLOW_variable_in_equal522
static org.antlr.runtime.BitSet	FOLLOW_variable_in_unifiable67
static org.antlr.runtime.BitSet	FOLLOW_VARIABLE_in_variable121
static int	SYMBOL
static int	T__10
static int	T__11
static int	T__12
static int	T__13
static int	T__14
static int	T__15
static int	T__16
static int	T__17
static int	T__18
static int	T__19
static int	T__20
static int	T__21
static int	T__22
static int	T__23
static int	T__24
static int	T__25
static int	T__26
static int	T__27
static int	T__28
static int	T__29
static int	T__30
static int	T__31
static int	T__32
static int	T__33
static int	T__34
static int	T__35
static int	T__36
static int	T__37
static int	T__38
static int	T__39
static int	T__40
static int	T__41
static int	T__42
static int	T__43
static int	T__44
static int	T__45
static int	T__46
static int	T__47
static int	T__48
static int	T__49
static int	T__50
static int	T__51
static int	T__52
static int	T__53
static int	T__54
static int	T__55
static int	T__56
static int	T__57
static int	T__58
static int	T__59
static int	T__60
static int	T__61
static int	T__62
static String[]	tokenNames
static int	VARIABLE
(package private) HashMap<String,Variable>	variables
static int	WS

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, state

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
JLPSSyntaxParser.action_return	action()
Clause	and()
Arithmetic	arithmetic()
Constant	constant()
JLPSSyntaxParser.d_return	d()
JLPSSyntaxParser.database_return	database()
Equal	equal()
JLPSSyntaxParser.events_return	events()
JLPSSyntaxParser.file_return	file()
SimpleSentence	fluent()
org.antlr.runtime.Parser[]	getDelegates()
String	getGrammarFileName()
String[]	getTokenNames()
JLPSSyntaxParser.goals_return	goals()
JLPSSyntaxParser.initiator_return	initiator()
JLPSSyntaxParser.lext_return	lext()
JLPSSyntaxParser.lint_return	lint()
Rule	macroaction()
Clause	negation()
ArrayList<Unifiable>	parameters()
JLPSSyntaxParser.postconditions_return	postconditions()
JLPSSyntaxParser.preconditions_return	preconditions()
ReactiveRule	reactiveRule()
JLPSSyntaxParser.reactiveRules_return	reactiveRules()
Rule	rule()
SimpleSentence	simpleSentence()
Clause	term()
JLPSSyntaxParser.terminator_return	terminator()
Clause	truth()
Unifiable	unifiable()
Variable	variable()

Methods inherited from class org.antlr.runtime.Parser

getCurrentInputSymbol, getMissingSymbol, getSourceName, getTokenStream, reset, setTokenStream, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer

alreadyParsedRule, beginResync, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getErrorHeader, getErrorMessage, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, matchAny, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, 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

EOF

public static final int EOF

See Also:

Constant Field Values

T__10

public static final int T__10

See Also:

Constant Field Values

T__11

public static final int T__11

See Also:

Constant Field Values

T__12

public static final int T__12

See Also:

Constant Field Values

T__13

public static final int T__13

See Also:

Constant Field Values

T__14

public static final int T__14

See Also:

Constant Field Values

T__15

public static final int T__15

See Also:

Constant Field Values

T__16

public static final int T__16

See Also:

Constant Field Values

T__17

public static final int T__17

See Also:

Constant Field Values

T__18

public static final int T__18

See Also:

Constant Field Values

T__19

public static final int T__19

See Also:

Constant Field Values

T__20

public static final int T__20

See Also:

Constant Field Values

T__21

public static final int T__21

See Also:

Constant Field Values

T__22

public static final int T__22

See Also:

Constant Field Values

T__23

public static final int T__23

See Also:

Constant Field Values

T__24

public static final int T__24

See Also:

Constant Field Values

T__25

public static final int T__25

See Also:

Constant Field Values

T__26

public static final int T__26

See Also:

Constant Field Values

T__27

public static final int T__27

See Also:

Constant Field Values

T__28

public static final int T__28

See Also:

Constant Field Values

T__29

public static final int T__29

See Also:

Constant Field Values

T__30

public static final int T__30

See Also:

Constant Field Values

T__31

public static final int T__31

See Also:

Constant Field Values

T__32

public static final int T__32

See Also:

Constant Field Values

T__33

public static final int T__33

See Also:

Constant Field Values

T__34

public static final int T__34

See Also:

Constant Field Values

T__35

public static final int T__35

See Also:

Constant Field Values

T__36

public static final int T__36

See Also:

Constant Field Values

T__37

public static final int T__37

See Also:

Constant Field Values

T__38

public static final int T__38

See Also:

Constant Field Values

T__39

public static final int T__39

See Also:

Constant Field Values

T__40

public static final int T__40

See Also:

Constant Field Values

T__41

public static final int T__41

See Also:

Constant Field Values

T__42

public static final int T__42

See Also:

Constant Field Values

T__43

public static final int T__43

See Also:

Constant Field Values

T__44

public static final int T__44

See Also:

Constant Field Values

T__45

public static final int T__45

See Also:

Constant Field Values

T__46

public static final int T__46

See Also:

Constant Field Values

T__47

public static final int T__47

See Also:

Constant Field Values

T__48

public static final int T__48

See Also:

Constant Field Values

T__49

public static final int T__49

See Also:

Constant Field Values

T__50

public static final int T__50

See Also:

Constant Field Values

T__51

public static final int T__51

See Also:

Constant Field Values

T__52

public static final int T__52

See Also:

Constant Field Values

T__53

public static final int T__53

See Also:

Constant Field Values

T__54

public static final int T__54

See Also:

Constant Field Values

T__55

public static final int T__55

See Also:

Constant Field Values

T__56

public static final int T__56

See Also:

Constant Field Values

T__57

public static final int T__57

See Also:

Constant Field Values

T__58

public static final int T__58

See Also:

Constant Field Values

T__59

public static final int T__59

See Also:

Constant Field Values

T__60

public static final int T__60

See Also:

Constant Field Values

T__61

public static final int T__61

See Also:

Constant Field Values

T__62

public static final int T__62

See Also:

Constant Field Values

COMMENT

public static final int COMMENT

See Also:

Constant Field Values

COMMENT_LINE

public static final int COMMENT_LINE

See Also:

Constant Field Values

CONSTANT

public static final int CONSTANT

See Also:

Constant Field Values

SYMBOL

public static final int SYMBOL

See Also:

Constant Field Values

VARIABLE

public static final int VARIABLE

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

variables

HashMap<String,Variable> variables

FOLLOW_constant_in_unifiable57

public static final org.antlr.runtime.BitSet FOLLOW_constant_in_unifiable57

FOLLOW_variable_in_unifiable67

public static final org.antlr.runtime.BitSet FOLLOW_variable_in_unifiable67

FOLLOW_simpleSentence_in_unifiable77

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_unifiable77

FOLLOW_CONSTANT_in_constant100

public static final org.antlr.runtime.BitSet FOLLOW_CONSTANT_in_constant100

FOLLOW_VARIABLE_in_variable121

public static final org.antlr.runtime.BitSet FOLLOW_VARIABLE_in_variable121

FOLLOW_unifiable_in_parameters162

public static final org.antlr.runtime.BitSet FOLLOW_unifiable_in_parameters162

FOLLOW_14_in_parameters173

public static final org.antlr.runtime.BitSet FOLLOW_14_in_parameters173

FOLLOW_unifiable_in_parameters179

public static final org.antlr.runtime.BitSet FOLLOW_unifiable_in_parameters179

FOLLOW_constant_in_simpleSentence213

public static final org.antlr.runtime.BitSet FOLLOW_constant_in_simpleSentence213

FOLLOW_12_in_simpleSentence223

public static final org.antlr.runtime.BitSet FOLLOW_12_in_simpleSentence223

FOLLOW_parameters_in_simpleSentence234

public static final org.antlr.runtime.BitSet FOLLOW_parameters_in_simpleSentence234

FOLLOW_13_in_simpleSentence246

public static final org.antlr.runtime.BitSet FOLLOW_13_in_simpleSentence246

FOLLOW_50_in_initiator275

public static final org.antlr.runtime.BitSet FOLLOW_50_in_initiator275

FOLLOW_12_in_initiator283

public static final org.antlr.runtime.BitSet FOLLOW_12_in_initiator283

FOLLOW_simpleSentence_in_initiator297

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_initiator297

FOLLOW_14_in_initiator299

public static final org.antlr.runtime.BitSet FOLLOW_14_in_initiator299

FOLLOW_simpleSentence_in_initiator305

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_initiator305

FOLLOW_13_in_initiator313

public static final org.antlr.runtime.BitSet FOLLOW_13_in_initiator313

FOLLOW_18_in_initiator330

public static final org.antlr.runtime.BitSet FOLLOW_18_in_initiator330

FOLLOW_and_in_initiator332

public static final org.antlr.runtime.BitSet FOLLOW_and_in_initiator332

FOLLOW_59_in_terminator373

public static final org.antlr.runtime.BitSet FOLLOW_59_in_terminator373

FOLLOW_12_in_terminator381

public static final org.antlr.runtime.BitSet FOLLOW_12_in_terminator381

FOLLOW_simpleSentence_in_terminator395

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_terminator395

FOLLOW_14_in_terminator397

public static final org.antlr.runtime.BitSet FOLLOW_14_in_terminator397

FOLLOW_simpleSentence_in_terminator403

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_terminator403

FOLLOW_13_in_terminator421

public static final org.antlr.runtime.BitSet FOLLOW_13_in_terminator421

FOLLOW_18_in_terminator430

public static final org.antlr.runtime.BitSet FOLLOW_18_in_terminator430

FOLLOW_and_in_terminator432

public static final org.antlr.runtime.BitSet FOLLOW_and_in_terminator432

FOLLOW_61_in_arithmetic473

public static final org.antlr.runtime.BitSet FOLLOW_61_in_arithmetic473

FOLLOW_unifiable_in_arithmetic479

public static final org.antlr.runtime.BitSet FOLLOW_unifiable_in_arithmetic479

FOLLOW_SYMBOL_in_arithmetic481

public static final org.antlr.runtime.BitSet FOLLOW_SYMBOL_in_arithmetic481

FOLLOW_unifiable_in_arithmetic487

public static final org.antlr.runtime.BitSet FOLLOW_unifiable_in_arithmetic487

FOLLOW_62_in_arithmetic489

public static final org.antlr.runtime.BitSet FOLLOW_62_in_arithmetic489

FOLLOW_variable_in_equal522

public static final org.antlr.runtime.BitSet FOLLOW_variable_in_equal522

FOLLOW_20_in_equal524

public static final org.antlr.runtime.BitSet FOLLOW_20_in_equal524

FOLLOW_unifiable_in_equal530

public static final org.antlr.runtime.BitSet FOLLOW_unifiable_in_equal530

FOLLOW_arithmetic_in_term559

public static final org.antlr.runtime.BitSet FOLLOW_arithmetic_in_term559

FOLLOW_simpleSentence_in_term569

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_term569

FOLLOW_equal_in_term579

public static final org.antlr.runtime.BitSet FOLLOW_equal_in_term579

FOLLOW_12_in_term589

public static final org.antlr.runtime.BitSet FOLLOW_12_in_term589

FOLLOW_and_in_term591

public static final org.antlr.runtime.BitSet FOLLOW_and_in_term591

FOLLOW_13_in_term593

public static final org.antlr.runtime.BitSet FOLLOW_13_in_term593

FOLLOW_10_in_negation625

public static final org.antlr.runtime.BitSet FOLLOW_10_in_negation625

FOLLOW_term_in_negation631

public static final org.antlr.runtime.BitSet FOLLOW_term_in_negation631

FOLLOW_negation_in_and672

public static final org.antlr.runtime.BitSet FOLLOW_negation_in_and672

FOLLOW_11_in_and677

public static final org.antlr.runtime.BitSet FOLLOW_11_in_and677

FOLLOW_negation_in_and683

public static final org.antlr.runtime.BitSet FOLLOW_negation_in_and683

FOLLOW_60_in_truth716

public static final org.antlr.runtime.BitSet FOLLOW_60_in_truth716

FOLLOW_and_in_reactiveRule744

public static final org.antlr.runtime.BitSet FOLLOW_and_in_reactiveRule744

FOLLOW_truth_in_reactiveRule752

public static final org.antlr.runtime.BitSet FOLLOW_truth_in_reactiveRule752

FOLLOW_15_in_reactiveRule755

public static final org.antlr.runtime.BitSet FOLLOW_15_in_reactiveRule755

FOLLOW_simpleSentence_in_reactiveRule757

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_reactiveRule757

FOLLOW_16_in_reactiveRule759

public static final org.antlr.runtime.BitSet FOLLOW_16_in_reactiveRule759

FOLLOW_simpleSentence_in_rule796

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_rule796

FOLLOW_18_in_rule799

public static final org.antlr.runtime.BitSet FOLLOW_18_in_rule799

FOLLOW_and_in_rule801

public static final org.antlr.runtime.BitSet FOLLOW_and_in_rule801

FOLLOW_16_in_rule807

public static final org.antlr.runtime.BitSet FOLLOW_16_in_rule807

FOLLOW_simpleSentence_in_fluent836

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_fluent836

FOLLOW_16_in_fluent838

public static final org.antlr.runtime.BitSet FOLLOW_16_in_fluent838

FOLLOW_set_in_lext871

public static final org.antlr.runtime.BitSet FOLLOW_set_in_lext871

FOLLOW_61_in_lext887

public static final org.antlr.runtime.BitSet FOLLOW_61_in_lext887

FOLLOW_fluent_in_lext896

public static final org.antlr.runtime.BitSet FOLLOW_fluent_in_lext896

FOLLOW_62_in_lext924

public static final org.antlr.runtime.BitSet FOLLOW_62_in_lext924

FOLLOW_set_in_lint953

public static final org.antlr.runtime.BitSet FOLLOW_set_in_lint953

FOLLOW_61_in_lint969

public static final org.antlr.runtime.BitSet FOLLOW_61_in_lint969

FOLLOW_rule_in_lint978

public static final org.antlr.runtime.BitSet FOLLOW_rule_in_lint978

FOLLOW_62_in_lint998

public static final org.antlr.runtime.BitSet FOLLOW_62_in_lint998

FOLLOW_set_in_preconditions1027

public static final org.antlr.runtime.BitSet FOLLOW_set_in_preconditions1027

FOLLOW_38_in_preconditions1035

public static final org.antlr.runtime.BitSet FOLLOW_38_in_preconditions1035

FOLLOW_set_in_preconditions1044

public static final org.antlr.runtime.BitSet FOLLOW_set_in_preconditions1044

FOLLOW_17_in_preconditions1052

public static final org.antlr.runtime.BitSet FOLLOW_17_in_preconditions1052

FOLLOW_and_in_preconditions1059

public static final org.antlr.runtime.BitSet FOLLOW_and_in_preconditions1059

FOLLOW_truth_in_preconditions1067

public static final org.antlr.runtime.BitSet FOLLOW_truth_in_preconditions1067

FOLLOW_16_in_preconditions1070

public static final org.antlr.runtime.BitSet FOLLOW_16_in_preconditions1070

FOLLOW_set_in_preconditions1083

public static final org.antlr.runtime.BitSet FOLLOW_set_in_preconditions1083

FOLLOW_17_in_preconditions1091

public static final org.antlr.runtime.BitSet FOLLOW_17_in_preconditions1091

FOLLOW_and_in_preconditions1098

public static final org.antlr.runtime.BitSet FOLLOW_and_in_preconditions1098

FOLLOW_truth_in_preconditions1106

public static final org.antlr.runtime.BitSet FOLLOW_truth_in_preconditions1106

FOLLOW_16_in_preconditions1109

public static final org.antlr.runtime.BitSet FOLLOW_16_in_preconditions1109

FOLLOW_39_in_preconditions1121

public static final org.antlr.runtime.BitSet FOLLOW_39_in_preconditions1121

FOLLOW_set_in_postconditions1150

public static final org.antlr.runtime.BitSet FOLLOW_set_in_postconditions1150

FOLLOW_38_in_postconditions1158

public static final org.antlr.runtime.BitSet FOLLOW_38_in_postconditions1158

FOLLOW_terminator_in_postconditions1167

public static final org.antlr.runtime.BitSet FOLLOW_terminator_in_postconditions1167

FOLLOW_16_in_postconditions1169

public static final org.antlr.runtime.BitSet FOLLOW_16_in_postconditions1169

FOLLOW_initiator_in_postconditions1181

public static final org.antlr.runtime.BitSet FOLLOW_initiator_in_postconditions1181

FOLLOW_16_in_postconditions1183

public static final org.antlr.runtime.BitSet FOLLOW_16_in_postconditions1183

FOLLOW_39_in_postconditions1194

public static final org.antlr.runtime.BitSet FOLLOW_39_in_postconditions1194

FOLLOW_simpleSentence_in_action1223

public static final org.antlr.runtime.BitSet FOLLOW_simpleSentence_in_action1223

FOLLOW_19_in_action1225

public static final org.antlr.runtime.BitSet FOLLOW_19_in_action1225

FOLLOW_61_in_action1227

public static final org.antlr.runtime.BitSet FOLLOW_61_in_action1227

FOLLOW_preconditions_in_action1238

public static final org.antlr.runtime.BitSet FOLLOW_preconditions_in_action1238

FOLLOW_postconditions_in_action1251

public static final org.antlr.runtime.BitSet FOLLOW_postconditions_in_action1251

FOLLOW_62_in_action1263

public static final org.antlr.runtime.BitSet FOLLOW_62_in_action1263

FOLLOW_rule_in_macroaction1300

public static final org.antlr.runtime.BitSet FOLLOW_rule_in_macroaction1300

FOLLOW_set_in_d1336

public static final org.antlr.runtime.BitSet FOLLOW_set_in_d1336

FOLLOW_61_in_d1368

public static final org.antlr.runtime.BitSet FOLLOW_61_in_d1368

FOLLOW_action_in_d1377

public static final org.antlr.runtime.BitSet FOLLOW_action_in_d1377

FOLLOW_set_in_d1390

public static final org.antlr.runtime.BitSet FOLLOW_set_in_d1390

FOLLOW_61_in_d1398

public static final org.antlr.runtime.BitSet FOLLOW_61_in_d1398

FOLLOW_macroaction_in_d1407

public static final org.antlr.runtime.BitSet FOLLOW_macroaction_in_d1407

FOLLOW_62_in_d1419

public static final org.antlr.runtime.BitSet FOLLOW_62_in_d1419

FOLLOW_62_in_d1429

public static final org.antlr.runtime.BitSet FOLLOW_62_in_d1429

FOLLOW_set_in_database1474

public static final org.antlr.runtime.BitSet FOLLOW_set_in_database1474

FOLLOW_61_in_database1482

public static final org.antlr.runtime.BitSet FOLLOW_61_in_database1482

FOLLOW_lext_in_database1491

public static final org.antlr.runtime.BitSet FOLLOW_lext_in_database1491

FOLLOW_lint_in_database1504

public static final org.antlr.runtime.BitSet FOLLOW_lint_in_database1504

FOLLOW_62_in_database1516

public static final org.antlr.runtime.BitSet FOLLOW_62_in_database1516

FOLLOW_set_in_reactiveRules1545

public static final org.antlr.runtime.BitSet FOLLOW_set_in_reactiveRules1545

FOLLOW_61_in_reactiveRules1557

public static final org.antlr.runtime.BitSet FOLLOW_61_in_reactiveRules1557

FOLLOW_reactiveRule_in_reactiveRules1566

public static final org.antlr.runtime.BitSet FOLLOW_reactiveRule_in_reactiveRules1566

FOLLOW_62_in_reactiveRules1586

public static final org.antlr.runtime.BitSet FOLLOW_62_in_reactiveRules1586

FOLLOW_set_in_goals1615

public static final org.antlr.runtime.BitSet FOLLOW_set_in_goals1615

FOLLOW_61_in_goals1623

public static final org.antlr.runtime.BitSet FOLLOW_61_in_goals1623

FOLLOW_rule_in_goals1632

public static final org.antlr.runtime.BitSet FOLLOW_rule_in_goals1632

FOLLOW_62_in_goals1652

public static final org.antlr.runtime.BitSet FOLLOW_62_in_goals1652

FOLLOW_set_in_events1689

public static final org.antlr.runtime.BitSet FOLLOW_set_in_events1689

FOLLOW_61_in_events1697

public static final org.antlr.runtime.BitSet FOLLOW_61_in_events1697

FOLLOW_fluent_in_events1706

public static final org.antlr.runtime.BitSet FOLLOW_fluent_in_events1706

FOLLOW_62_in_events1726

public static final org.antlr.runtime.BitSet FOLLOW_62_in_events1726

FOLLOW_database_in_file1764

public static final org.antlr.runtime.BitSet FOLLOW_database_in_file1764

FOLLOW_d_in_file1777

public static final org.antlr.runtime.BitSet FOLLOW_d_in_file1777

FOLLOW_reactiveRules_in_file1790

public static final org.antlr.runtime.BitSet FOLLOW_reactiveRules_in_file1790

FOLLOW_goals_in_file1803

public static final org.antlr.runtime.BitSet FOLLOW_goals_in_file1803

FOLLOW_events_in_file1816

public static final org.antlr.runtime.BitSet FOLLOW_events_in_file1816

FOLLOW_EOF_in_file1828

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_file1828

Constructor Detail

JLPSSyntaxParser

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

JLPSSyntaxParser

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

Method Detail

getDelegates

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

getTokenNames

public String[] getTokenNames()

Overrides:

getTokenNames in class org.antlr.runtime.BaseRecognizer

getGrammarFileName

public String getGrammarFileName()

Overrides:

getGrammarFileName in class org.antlr.runtime.BaseRecognizer

unifiable

public final Unifiable unifiable()
                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

constant

public final Constant constant()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

variable

public final Variable variable()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

parameters

public final ArrayList<Unifiable> parameters()
                                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

simpleSentence

public final SimpleSentence simpleSentence()
                                    throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

initiator

public final JLPSSyntaxParser.initiator_return initiator()
                                                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

terminator

public final JLPSSyntaxParser.terminator_return terminator()
                                                    throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

arithmetic

public final Arithmetic arithmetic()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

equal

public final Equal equal()
                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

term

public final Clause term()
                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

negation

public final Clause negation()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

and

public final Clause and()
                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

truth

public final Clause truth()
                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

reactiveRule

public final ReactiveRule reactiveRule()
                                throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

rule

public final Rule rule()
                throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

fluent

public final SimpleSentence fluent()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

lext

public final JLPSSyntaxParser.lext_return lext()
                                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

lint

public final JLPSSyntaxParser.lint_return lint()
                                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

preconditions

public final JLPSSyntaxParser.preconditions_return preconditions()
                                                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

postconditions

public final JLPSSyntaxParser.postconditions_return postconditions()
                                                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

action

public final JLPSSyntaxParser.action_return action()
                                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

macroaction

public final Rule macroaction()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

d

public final JLPSSyntaxParser.d_return d()
                                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

database

public final JLPSSyntaxParser.database_return database()
                                                throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

reactiveRules

public final JLPSSyntaxParser.reactiveRules_return reactiveRules()
                                                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

goals

public final JLPSSyntaxParser.goals_return goals()
                                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

events

public final JLPSSyntaxParser.events_return events()
                                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

file

public final JLPSSyntaxParser.file_return file()
                                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException