de.uni_tuebingen.sfb.lichtenstein.formulas.parsing
Class fsqParser

java.lang.Object
  org.antlr.runtime.BaseRecognizer
      org.antlr.runtime.Parser
          de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

public class fsqParser
extends org.antlr.runtime.Parser

Field Summary

static int	CATEGORY
static int	CLOSE
static int	CONJUNCTION
static int	CONTAINMENT
static int	DISJUNCTION
static int	DOMINANCE
static int	EOF
static int	EQUALITY
static int	EQUIVALENCE
static int	FIRST_ORDER_EXISTENTIAL
static int	FIRST_ORDER_UNIVERSAL
static org.antlr.runtime.BitSet	FOLLOW_atomic_in_body107
static org.antlr.runtime.BitSet	FOLLOW_binary_in_body125
static org.antlr.runtime.BitSet	FOLLOW_body_in_formula75
static org.antlr.runtime.BitSet	FOLLOW_CATEGORY_in_labelFormula182
static org.antlr.runtime.BitSet	FOLLOW_CLOSE_in_formula77
static org.antlr.runtime.BitSet	FOLLOW_CONJUNCTION_in_n_ary682
static org.antlr.runtime.BitSet	FOLLOW_containment_in_atomic316
static org.antlr.runtime.BitSet	FOLLOW_CONTAINMENT_in_containment568
static org.antlr.runtime.BitSet	FOLLOW_DISJUNCTION_in_n_ary695
static org.antlr.runtime.BitSet	FOLLOW_dominance_in_atomic289
static org.antlr.runtime.BitSet	FOLLOW_DOMINANCE_in_dominance469
static org.antlr.runtime.BitSet	FOLLOW_EOF_in_formulaList56
static org.antlr.runtime.BitSet	FOLLOW_equality_in_atomic262
static org.antlr.runtime.BitSet	FOLLOW_EQUALITY_in_equality337
static org.antlr.runtime.BitSet	FOLLOW_EQUIVALENCE_in_binary649
static org.antlr.runtime.BitSet	FOLLOW_FIRST_ORDER_EXISTENTIAL_in_quantor750
static org.antlr.runtime.BitSet	FOLLOW_FIRST_ORDER_UNIVERSAL_in_quantor767
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_containment574
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_dominance475
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_dominance481
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_equality350
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_equality356
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_immediateDominance442
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_immediateDominance448
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_immediatePrecedence508
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_immediatePrecedence514
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_labelFormula169
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_labelFormula186
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_labelFormula203
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_labelFormula220
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_labelFormula237
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_precedence541
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_precedence547
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_properDominance409
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_properDominance415
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_quantor754
static org.antlr.runtime.BitSet	FOLLOW_firstOrderVariable_in_quantor771
static org.antlr.runtime.BitSet	FOLLOW_formula_in_binary634
static org.antlr.runtime.BitSet	FOLLOW_formula_in_binary640
static org.antlr.runtime.BitSet	FOLLOW_formula_in_binary655
static org.antlr.runtime.BitSet	FOLLOW_formula_in_binary661
static org.antlr.runtime.BitSet	FOLLOW_formula_in_formulaList48
static org.antlr.runtime.BitSet	FOLLOW_formula_in_n_aryArguments728
static org.antlr.runtime.BitSet	FOLLOW_formula_in_quantor758
static org.antlr.runtime.BitSet	FOLLOW_formula_in_quantor775
static org.antlr.runtime.BitSet	FOLLOW_formula_in_quantor792
static org.antlr.runtime.BitSet	FOLLOW_formula_in_quantor809
static org.antlr.runtime.BitSet	FOLLOW_formula_in_unary607
static org.antlr.runtime.BitSet	FOLLOW_FUNCTION_in_labelFormula165
static org.antlr.runtime.BitSet	FOLLOW_IDENTIFIER_in_firstOrderVariable829
static org.antlr.runtime.BitSet	FOLLOW_IDENTIFIER_in_label867
static org.antlr.runtime.BitSet	FOLLOW_IDENTIFIER_in_secondOrderVariable848
static org.antlr.runtime.BitSet	FOLLOW_IMMEDIATE_DOMINANCE_in_immediateDominance436
static org.antlr.runtime.BitSet	FOLLOW_IMMEDIATE_PRECEDENCE_in_immediatePrecedence502
static org.antlr.runtime.BitSet	FOLLOW_immediateDominance_in_atomic280
static org.antlr.runtime.BitSet	FOLLOW_immediatePrecedence_in_atomic298
static org.antlr.runtime.BitSet	FOLLOW_IMPLICATION_in_binary628
static org.antlr.runtime.BitSet	FOLLOW_label_in_labelFormula173
static org.antlr.runtime.BitSet	FOLLOW_label_in_labelFormula190
static org.antlr.runtime.BitSet	FOLLOW_label_in_labelFormula207
static org.antlr.runtime.BitSet	FOLLOW_label_in_labelFormula224
static org.antlr.runtime.BitSet	FOLLOW_label_in_labelFormula241
static org.antlr.runtime.BitSet	FOLLOW_labelFormula_in_body98
static org.antlr.runtime.BitSet	FOLLOW_LEMMA_in_labelFormula216
static org.antlr.runtime.BitSet	FOLLOW_MORPHOLOGY_in_labelFormula233
static org.antlr.runtime.BitSet	FOLLOW_n_ary_in_body134
static org.antlr.runtime.BitSet	FOLLOW_n_aryArguments_in_n_ary686
static org.antlr.runtime.BitSet	FOLLOW_n_aryArguments_in_n_ary699
static org.antlr.runtime.BitSet	FOLLOW_NEGATION_in_unary601
static org.antlr.runtime.BitSet	FOLLOW_OPEN_in_formula73
static org.antlr.runtime.BitSet	FOLLOW_precedence_in_atomic307
static org.antlr.runtime.BitSet	FOLLOW_PRECEDENCE_in_precedence535
static org.antlr.runtime.BitSet	FOLLOW_PROPER_DOMINANCE_in_properDominance403
static org.antlr.runtime.BitSet	FOLLOW_properDominance_in_atomic271
static org.antlr.runtime.BitSet	FOLLOW_quantor_in_body143
static org.antlr.runtime.BitSet	FOLLOW_SECOND_ORDER_EXISTENTIAL_in_quantor784
static org.antlr.runtime.BitSet	FOLLOW_SECOND_ORDER_UNIVERSAL_in_quantor801
static org.antlr.runtime.BitSet	FOLLOW_secondOrderVariable_in_containment580
static org.antlr.runtime.BitSet	FOLLOW_secondOrderVariable_in_equality373
static org.antlr.runtime.BitSet	FOLLOW_secondOrderVariable_in_equality379
static org.antlr.runtime.BitSet	FOLLOW_secondOrderVariable_in_quantor788
static org.antlr.runtime.BitSet	FOLLOW_secondOrderVariable_in_quantor805
static org.antlr.runtime.BitSet	FOLLOW_unary_in_body116
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_binary630
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_binary636
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_binary651
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_binary657
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_containment570
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_containment576
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_dominance471
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_dominance477
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_equality339
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_equality352
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_equality375
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_formulaList43
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_formulaList50
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_immediateDominance438
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_immediateDominance444
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_immediatePrecedence504
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_immediatePrecedence510
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula167
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula171
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula184
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula188
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula201
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula205
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula218
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula222
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula235
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_labelFormula239
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_n_aryArguments724
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_precedence537
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_precedence543
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_properDominance405
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_properDominance411
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor752
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor756
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor769
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor773
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor786
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor790
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor803
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_quantor807
static org.antlr.runtime.BitSet	FOLLOW_WHITESPACE_in_unary603
static org.antlr.runtime.BitSet	FOLLOW_WORD_in_labelFormula199
static int	FUNCTION
static int	IDENTIFIER
static int	IMMEDIATE_DOMINANCE
static int	IMMEDIATE_PRECEDENCE
static int	IMPLICATION
static int	LEMMA
static int	LINE_COMMENT
static int	MORPHOLOGY
static int	NEGATION
static int	NEWLINE
static int	OPEN
static int	PRECEDENCE
static int	PROPER_DOMINANCE
static int	SECOND_ORDER_EXISTENTIAL
static int	SECOND_ORDER_UNIVERSAL
static int	SENTENCE
static String[]	tokenNames
static int	WHITESPACE
static int	WORD
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

fsqParser(org.antlr.runtime.TokenStream input)

fsqParser(org.antlr.runtime.TokenStream input, org.antlr.runtime.RecognizerSharedState state)

Method Summary

Formula	atomic()
Formula	binary()
Formula	body()
Formula	containment()
Formula	dominance()
Formula	equality()
FirstOrderVariable	firstOrderVariable()
Formula	formula()
void	formulaList()
String	getGrammarFileName()
String[]	getTokenNames()
Formula	immediateDominance()
Formula	immediatePrecedence()
Predicate	label()
Formula	labelFormula()
Formula	n_ary()
List<Formula>	n_aryArguments()
Formula	precedence()
Formula	properDominance()
Formula	quantor()
SecondOrderVariable	secondOrderVariable()
Formula	unary()

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, getBacktrackingLevel, getErrorHeader, getErrorMessage, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, matchAny, memoize, mismatch, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, reportError, 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

FUNCTION

public static final int FUNCTION

See Also:

Constant Field Values

EQUALITY

public static final int EQUALITY

See Also:

Constant Field Values

LINE_COMMENT

public static final int LINE_COMMENT

See Also:

Constant Field Values

FIRST_ORDER_EXISTENTIAL

public static final int FIRST_ORDER_EXISTENTIAL

See Also:

Constant Field Values

CONJUNCTION

public static final int CONJUNCTION

See Also:

Constant Field Values

WHITESPACE

public static final int WHITESPACE

See Also:

Constant Field Values

CATEGORY

public static final int CATEGORY

See Also:

Constant Field Values

IMMEDIATE_DOMINANCE

public static final int IMMEDIATE_DOMINANCE

See Also:

Constant Field Values

CONTAINMENT

public static final int CONTAINMENT

See Also:

Constant Field Values

EOF

public static final int EOF

See Also:

Constant Field Values

LEMMA

public static final int LEMMA

See Also:

Constant Field Values

MORPHOLOGY

public static final int MORPHOLOGY

See Also:

Constant Field Values

OPEN

public static final int OPEN

See Also:

Constant Field Values

WORD

public static final int WORD

See Also:

Constant Field Values

SECOND_ORDER_EXISTENTIAL

public static final int SECOND_ORDER_EXISTENTIAL

See Also:

Constant Field Values

DISJUNCTION

public static final int DISJUNCTION

See Also:

Constant Field Values

WS

public static final int WS

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

CLOSE

public static final int CLOSE

See Also:

Constant Field Values

SECOND_ORDER_UNIVERSAL

public static final int SECOND_ORDER_UNIVERSAL

See Also:

Constant Field Values

SENTENCE

public static final int SENTENCE

See Also:

Constant Field Values

PROPER_DOMINANCE

public static final int PROPER_DOMINANCE

See Also:

Constant Field Values

IDENTIFIER

public static final int IDENTIFIER

See Also:

Constant Field Values

EQUIVALENCE

public static final int EQUIVALENCE

See Also:

Constant Field Values

FIRST_ORDER_UNIVERSAL

public static final int FIRST_ORDER_UNIVERSAL

See Also:

Constant Field Values

IMPLICATION

public static final int IMPLICATION

See Also:

Constant Field Values

IMMEDIATE_PRECEDENCE

public static final int IMMEDIATE_PRECEDENCE

See Also:

Constant Field Values

DOMINANCE

public static final int DOMINANCE

See Also:

Constant Field Values

PRECEDENCE

public static final int PRECEDENCE

See Also:

Constant Field Values

FOLLOW_WHITESPACE_in_formulaList43

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_formulaList43

FOLLOW_formula_in_formulaList48

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formulaList48

FOLLOW_WHITESPACE_in_formulaList50

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_formulaList50

FOLLOW_EOF_in_formulaList56

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_formulaList56

FOLLOW_OPEN_in_formula73

public static final org.antlr.runtime.BitSet FOLLOW_OPEN_in_formula73

FOLLOW_body_in_formula75

public static final org.antlr.runtime.BitSet FOLLOW_body_in_formula75

FOLLOW_CLOSE_in_formula77

public static final org.antlr.runtime.BitSet FOLLOW_CLOSE_in_formula77

FOLLOW_labelFormula_in_body98

public static final org.antlr.runtime.BitSet FOLLOW_labelFormula_in_body98

FOLLOW_atomic_in_body107

public static final org.antlr.runtime.BitSet FOLLOW_atomic_in_body107

FOLLOW_unary_in_body116

public static final org.antlr.runtime.BitSet FOLLOW_unary_in_body116

FOLLOW_binary_in_body125

public static final org.antlr.runtime.BitSet FOLLOW_binary_in_body125

FOLLOW_n_ary_in_body134

public static final org.antlr.runtime.BitSet FOLLOW_n_ary_in_body134

FOLLOW_quantor_in_body143

public static final org.antlr.runtime.BitSet FOLLOW_quantor_in_body143

FOLLOW_FUNCTION_in_labelFormula165

public static final org.antlr.runtime.BitSet FOLLOW_FUNCTION_in_labelFormula165

FOLLOW_WHITESPACE_in_labelFormula167

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula167

FOLLOW_firstOrderVariable_in_labelFormula169

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_labelFormula169

FOLLOW_WHITESPACE_in_labelFormula171

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula171

FOLLOW_label_in_labelFormula173

public static final org.antlr.runtime.BitSet FOLLOW_label_in_labelFormula173

FOLLOW_CATEGORY_in_labelFormula182

public static final org.antlr.runtime.BitSet FOLLOW_CATEGORY_in_labelFormula182

FOLLOW_WHITESPACE_in_labelFormula184

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula184

FOLLOW_firstOrderVariable_in_labelFormula186

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_labelFormula186

FOLLOW_WHITESPACE_in_labelFormula188

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula188

FOLLOW_label_in_labelFormula190

public static final org.antlr.runtime.BitSet FOLLOW_label_in_labelFormula190

FOLLOW_WORD_in_labelFormula199

public static final org.antlr.runtime.BitSet FOLLOW_WORD_in_labelFormula199

FOLLOW_WHITESPACE_in_labelFormula201

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula201

FOLLOW_firstOrderVariable_in_labelFormula203

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_labelFormula203

FOLLOW_WHITESPACE_in_labelFormula205

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula205

FOLLOW_label_in_labelFormula207

public static final org.antlr.runtime.BitSet FOLLOW_label_in_labelFormula207

FOLLOW_LEMMA_in_labelFormula216

public static final org.antlr.runtime.BitSet FOLLOW_LEMMA_in_labelFormula216

FOLLOW_WHITESPACE_in_labelFormula218

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula218

FOLLOW_firstOrderVariable_in_labelFormula220

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_labelFormula220

FOLLOW_WHITESPACE_in_labelFormula222

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula222

FOLLOW_label_in_labelFormula224

public static final org.antlr.runtime.BitSet FOLLOW_label_in_labelFormula224

FOLLOW_MORPHOLOGY_in_labelFormula233

public static final org.antlr.runtime.BitSet FOLLOW_MORPHOLOGY_in_labelFormula233

FOLLOW_WHITESPACE_in_labelFormula235

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula235

FOLLOW_firstOrderVariable_in_labelFormula237

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_labelFormula237

FOLLOW_WHITESPACE_in_labelFormula239

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_labelFormula239

FOLLOW_label_in_labelFormula241

public static final org.antlr.runtime.BitSet FOLLOW_label_in_labelFormula241

FOLLOW_equality_in_atomic262

public static final org.antlr.runtime.BitSet FOLLOW_equality_in_atomic262

FOLLOW_properDominance_in_atomic271

public static final org.antlr.runtime.BitSet FOLLOW_properDominance_in_atomic271

FOLLOW_immediateDominance_in_atomic280

public static final org.antlr.runtime.BitSet FOLLOW_immediateDominance_in_atomic280

FOLLOW_dominance_in_atomic289

public static final org.antlr.runtime.BitSet FOLLOW_dominance_in_atomic289

FOLLOW_immediatePrecedence_in_atomic298

public static final org.antlr.runtime.BitSet FOLLOW_immediatePrecedence_in_atomic298

FOLLOW_precedence_in_atomic307

public static final org.antlr.runtime.BitSet FOLLOW_precedence_in_atomic307

FOLLOW_containment_in_atomic316

public static final org.antlr.runtime.BitSet FOLLOW_containment_in_atomic316

FOLLOW_EQUALITY_in_equality337

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_equality337

FOLLOW_WHITESPACE_in_equality339

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_equality339

FOLLOW_firstOrderVariable_in_equality350

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_equality350

FOLLOW_WHITESPACE_in_equality352

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_equality352

FOLLOW_firstOrderVariable_in_equality356

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_equality356

FOLLOW_secondOrderVariable_in_equality373

public static final org.antlr.runtime.BitSet FOLLOW_secondOrderVariable_in_equality373

FOLLOW_WHITESPACE_in_equality375

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_equality375

FOLLOW_secondOrderVariable_in_equality379

public static final org.antlr.runtime.BitSet FOLLOW_secondOrderVariable_in_equality379

FOLLOW_PROPER_DOMINANCE_in_properDominance403

public static final org.antlr.runtime.BitSet FOLLOW_PROPER_DOMINANCE_in_properDominance403

FOLLOW_WHITESPACE_in_properDominance405

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_properDominance405

FOLLOW_firstOrderVariable_in_properDominance409

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_properDominance409

FOLLOW_WHITESPACE_in_properDominance411

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_properDominance411

FOLLOW_firstOrderVariable_in_properDominance415

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_properDominance415

FOLLOW_IMMEDIATE_DOMINANCE_in_immediateDominance436

public static final org.antlr.runtime.BitSet FOLLOW_IMMEDIATE_DOMINANCE_in_immediateDominance436

FOLLOW_WHITESPACE_in_immediateDominance438

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_immediateDominance438

FOLLOW_firstOrderVariable_in_immediateDominance442

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_immediateDominance442

FOLLOW_WHITESPACE_in_immediateDominance444

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_immediateDominance444

FOLLOW_firstOrderVariable_in_immediateDominance448

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_immediateDominance448

FOLLOW_DOMINANCE_in_dominance469

public static final org.antlr.runtime.BitSet FOLLOW_DOMINANCE_in_dominance469

FOLLOW_WHITESPACE_in_dominance471

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_dominance471

FOLLOW_firstOrderVariable_in_dominance475

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_dominance475

FOLLOW_WHITESPACE_in_dominance477

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_dominance477

FOLLOW_firstOrderVariable_in_dominance481

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_dominance481

FOLLOW_IMMEDIATE_PRECEDENCE_in_immediatePrecedence502

public static final org.antlr.runtime.BitSet FOLLOW_IMMEDIATE_PRECEDENCE_in_immediatePrecedence502

FOLLOW_WHITESPACE_in_immediatePrecedence504

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_immediatePrecedence504

FOLLOW_firstOrderVariable_in_immediatePrecedence508

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_immediatePrecedence508

FOLLOW_WHITESPACE_in_immediatePrecedence510

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_immediatePrecedence510

FOLLOW_firstOrderVariable_in_immediatePrecedence514

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_immediatePrecedence514

FOLLOW_PRECEDENCE_in_precedence535

public static final org.antlr.runtime.BitSet FOLLOW_PRECEDENCE_in_precedence535

FOLLOW_WHITESPACE_in_precedence537

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_precedence537

FOLLOW_firstOrderVariable_in_precedence541

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_precedence541

FOLLOW_WHITESPACE_in_precedence543

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_precedence543

FOLLOW_firstOrderVariable_in_precedence547

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_precedence547

FOLLOW_CONTAINMENT_in_containment568

public static final org.antlr.runtime.BitSet FOLLOW_CONTAINMENT_in_containment568

FOLLOW_WHITESPACE_in_containment570

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_containment570

FOLLOW_firstOrderVariable_in_containment574

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_containment574

FOLLOW_WHITESPACE_in_containment576

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_containment576

FOLLOW_secondOrderVariable_in_containment580

public static final org.antlr.runtime.BitSet FOLLOW_secondOrderVariable_in_containment580

FOLLOW_NEGATION_in_unary601

public static final org.antlr.runtime.BitSet FOLLOW_NEGATION_in_unary601

FOLLOW_WHITESPACE_in_unary603

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_unary603

FOLLOW_formula_in_unary607

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_unary607

FOLLOW_IMPLICATION_in_binary628

public static final org.antlr.runtime.BitSet FOLLOW_IMPLICATION_in_binary628

FOLLOW_WHITESPACE_in_binary630

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_binary630

FOLLOW_formula_in_binary634

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_binary634

FOLLOW_WHITESPACE_in_binary636

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_binary636

FOLLOW_formula_in_binary640

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_binary640

FOLLOW_EQUIVALENCE_in_binary649

public static final org.antlr.runtime.BitSet FOLLOW_EQUIVALENCE_in_binary649

FOLLOW_WHITESPACE_in_binary651

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_binary651

FOLLOW_formula_in_binary655

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_binary655

FOLLOW_WHITESPACE_in_binary657

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_binary657

FOLLOW_formula_in_binary661

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_binary661

FOLLOW_CONJUNCTION_in_n_ary682

public static final org.antlr.runtime.BitSet FOLLOW_CONJUNCTION_in_n_ary682

FOLLOW_n_aryArguments_in_n_ary686

public static final org.antlr.runtime.BitSet FOLLOW_n_aryArguments_in_n_ary686

FOLLOW_DISJUNCTION_in_n_ary695

public static final org.antlr.runtime.BitSet FOLLOW_DISJUNCTION_in_n_ary695

FOLLOW_n_aryArguments_in_n_ary699

public static final org.antlr.runtime.BitSet FOLLOW_n_aryArguments_in_n_ary699

FOLLOW_WHITESPACE_in_n_aryArguments724

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_n_aryArguments724

FOLLOW_formula_in_n_aryArguments728

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_n_aryArguments728

FOLLOW_FIRST_ORDER_EXISTENTIAL_in_quantor750

public static final org.antlr.runtime.BitSet FOLLOW_FIRST_ORDER_EXISTENTIAL_in_quantor750

FOLLOW_WHITESPACE_in_quantor752

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor752

FOLLOW_firstOrderVariable_in_quantor754

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_quantor754

FOLLOW_WHITESPACE_in_quantor756

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor756

FOLLOW_formula_in_quantor758

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_quantor758

FOLLOW_FIRST_ORDER_UNIVERSAL_in_quantor767

public static final org.antlr.runtime.BitSet FOLLOW_FIRST_ORDER_UNIVERSAL_in_quantor767

FOLLOW_WHITESPACE_in_quantor769

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor769

FOLLOW_firstOrderVariable_in_quantor771

public static final org.antlr.runtime.BitSet FOLLOW_firstOrderVariable_in_quantor771

FOLLOW_WHITESPACE_in_quantor773

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor773

FOLLOW_formula_in_quantor775

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_quantor775

FOLLOW_SECOND_ORDER_EXISTENTIAL_in_quantor784

public static final org.antlr.runtime.BitSet FOLLOW_SECOND_ORDER_EXISTENTIAL_in_quantor784

FOLLOW_WHITESPACE_in_quantor786

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor786

FOLLOW_secondOrderVariable_in_quantor788

public static final org.antlr.runtime.BitSet FOLLOW_secondOrderVariable_in_quantor788

FOLLOW_WHITESPACE_in_quantor790

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor790

FOLLOW_formula_in_quantor792

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_quantor792

FOLLOW_SECOND_ORDER_UNIVERSAL_in_quantor801

public static final org.antlr.runtime.BitSet FOLLOW_SECOND_ORDER_UNIVERSAL_in_quantor801

FOLLOW_WHITESPACE_in_quantor803

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor803

FOLLOW_secondOrderVariable_in_quantor805

public static final org.antlr.runtime.BitSet FOLLOW_secondOrderVariable_in_quantor805

FOLLOW_WHITESPACE_in_quantor807

public static final org.antlr.runtime.BitSet FOLLOW_WHITESPACE_in_quantor807

FOLLOW_formula_in_quantor809

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_quantor809

FOLLOW_IDENTIFIER_in_firstOrderVariable829

public static final org.antlr.runtime.BitSet FOLLOW_IDENTIFIER_in_firstOrderVariable829

FOLLOW_IDENTIFIER_in_secondOrderVariable848

public static final org.antlr.runtime.BitSet FOLLOW_IDENTIFIER_in_secondOrderVariable848

FOLLOW_IDENTIFIER_in_label867

public static final org.antlr.runtime.BitSet FOLLOW_IDENTIFIER_in_label867

Constructor Detail

fsqParser

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

fsqParser

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

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

formulaList

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

Throws:

org.antlr.runtime.RecognitionException

formula

public final Formula formula()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

body

public final Formula body()
                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

labelFormula

public final Formula labelFormula()
                           throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

atomic

public final Formula atomic()
                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

equality

public final Formula equality()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

properDominance

public final Formula properDominance()
                              throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

immediateDominance

public final Formula immediateDominance()
                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

dominance

public final Formula dominance()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

immediatePrecedence

public final Formula immediatePrecedence()
                                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

precedence

public final Formula precedence()
                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

containment

public final Formula containment()
                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

unary

public final Formula unary()
                    throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

binary

public final Formula binary()
                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

n_ary

public final Formula n_ary()
                    throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

n_aryArguments

public final List<Formula> n_aryArguments()
                                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

quantor

public final Formula quantor()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

firstOrderVariable

public final FirstOrderVariable firstOrderVariable()
                                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

secondOrderVariable

public final SecondOrderVariable secondOrderVariable()
                                              throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

label

public final Predicate label()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException