edu.wis.jtlv.env.core.fds
Class FDSVarWalker
java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.tree.TreeParser
edu.wis.jtlv.env.core.fds.FDSVarWalker
public class FDSVarWalker
- extends org.antlr.runtime.tree.TreeParser
Fields inherited from class org.antlr.runtime.tree.TreeParser |
DOWN, UP |
Fields inherited from class org.antlr.runtime.BaseRecognizer |
DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_FAILED_I, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME |
Constructor Summary |
FDSVarWalker(org.antlr.runtime.tree.TreeNodeStream input)
|
Methods inherited from class org.antlr.runtime.tree.TreeParser |
getErrorHeader, getErrorMessage, getTreeNodeStream, matchAny, reset, setTreeNodeStream, traceIn, traceOut |
Methods inherited from class org.antlr.runtime.BaseRecognizer |
alreadyParsedRule, beginResync, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, getBacktrackingLevel, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, memoize, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, reportError, toStrings, traceIn, traceOut |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
tokenNames
public static final java.lang.String[] tokenNames
PRIME
public static final int PRIME
- See Also:
- Constant Field Values
RIGHT_CURLY
public static final int RIGHT_CURLY
- See Also:
- Constant Field Values
BOOL_TYPE
public static final int BOOL_TYPE
- See Also:
- Constant Field Values
MULTI_COMMENT
public static final int MULTI_COMMENT
- See Also:
- Constant Field Values
NOT
public static final int NOT
- See Also:
- Constant Field Values
AND
public static final int AND
- See Also:
- Constant Field Values
ID
public static final int ID
- See Also:
- Constant Field Values
EOF
public static final int EOF
- See Also:
- Constant Field Values
TRANS_T
public static final int TRANS_T
- See Also:
- Constant Field Values
COMPASSION
public static final int COMPASSION
- See Also:
- Constant Field Values
TRANS
public static final int TRANS
- See Also:
- Constant Field Values
PRIME_T
public static final int PRIME_T
- See Also:
- Constant Field Values
RIGHT_BRACES
public static final int RIGHT_BRACES
- See Also:
- Constant Field Values
JUST_T
public static final int JUST_T
- See Also:
- Constant Field Values
NEXT
public static final int NEXT
- See Also:
- Constant Field Values
VAR
public static final int VAR
- See Also:
- Constant Field Values
BLOCK_T
public static final int BLOCK_T
- See Also:
- Constant Field Values
EQ
public static final int EQ
- See Also:
- Constant Field Values
DOT
public static final int DOT
- See Also:
- Constant Field Values
IMPLIES
public static final int IMPLIES
- See Also:
- Constant Field Values
BINOR
public static final int BINOR
- See Also:
- Constant Field Values
LINE_COMMENT
public static final int LINE_COMMENT
- See Also:
- Constant Field Values
VAR_T
public static final int VAR_T
- See Also:
- Constant Field Values
MODULE_T
public static final int MODULE_T
- See Also:
- Constant Field Values
TRANS_DECL_T
public static final int TRANS_DECL_T
- See Also:
- Constant Field Values
VAR_DECL_T
public static final int VAR_DECL_T
- See Also:
- Constant Field Values
PROG_T
public static final int PROG_T
- See Also:
- Constant Field Values
BOOL_T
public static final int BOOL_T
- See Also:
- Constant Field Values
LEFT_BRACES
public static final int LEFT_BRACES
- See Also:
- Constant Field Values
SEMICOLON
public static final int SEMICOLON
- See Also:
- Constant Field Values
BIIMP
public static final int BIIMP
- See Also:
- Constant Field Values
MODULE
public static final int MODULE
- See Also:
- Constant Field Values
REF_T
public static final int REF_T
- See Also:
- Constant Field Values
INIT_DECL_EXPR_T
public static final int INIT_DECL_EXPR_T
- See Also:
- Constant Field Values
TRUE
public static final int TRUE
- See Also:
- Constant Field Values
JUST_DECL_T
public static final int JUST_DECL_T
- See Also:
- Constant Field Values
COLON
public static final int COLON
- See Also:
- Constant Field Values
NEQ
public static final int NEQ
- See Also:
- Constant Field Values
WS
public static final int WS
- See Also:
- Constant Field Values
INIT_T
public static final int INIT_T
- See Also:
- Constant Field Values
LEFT_CURLY
public static final int LEFT_CURLY
- See Also:
- Constant Field Values
ASSIGN
public static final int ASSIGN
- See Also:
- Constant Field Values
JUST
public static final int JUST
- See Also:
- Constant Field Values
FALSE
public static final int FALSE
- See Also:
- Constant Field Values
INIT
public static final int INIT
- See Also:
- Constant Field Values
curr_module_name
public static java.lang.String curr_module_name
FOLLOW_PROG_T_in_program57
public static final org.antlr.runtime.BitSet FOLLOW_PROG_T_in_program57
FOLLOW_module_in_program59
public static final org.antlr.runtime.BitSet FOLLOW_module_in_program59
FOLLOW_MODULE_T_in_module70
public static final org.antlr.runtime.BitSet FOLLOW_MODULE_T_in_module70
FOLLOW_ID_in_module74
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_module74
FOLLOW_section_in_module78
public static final org.antlr.runtime.BitSet FOLLOW_section_in_module78
FOLLOW_var_sec_in_section90
public static final org.antlr.runtime.BitSet FOLLOW_var_sec_in_section90
FOLLOW_init_sec_in_section94
public static final org.antlr.runtime.BitSet FOLLOW_init_sec_in_section94
FOLLOW_trans_sec_in_section98
public static final org.antlr.runtime.BitSet FOLLOW_trans_sec_in_section98
FOLLOW_just_sec_in_section102
public static final org.antlr.runtime.BitSet FOLLOW_just_sec_in_section102
FOLLOW_VAR_T_in_var_sec111
public static final org.antlr.runtime.BitSet FOLLOW_VAR_T_in_var_sec111
FOLLOW_var_decl_in_var_sec113
public static final org.antlr.runtime.BitSet FOLLOW_var_decl_in_var_sec113
FOLLOW_INIT_T_in_init_sec123
public static final org.antlr.runtime.BitSet FOLLOW_INIT_T_in_init_sec123
FOLLOW_init_decl_in_init_sec125
public static final org.antlr.runtime.BitSet FOLLOW_init_decl_in_init_sec125
FOLLOW_TRANS_T_in_trans_sec135
public static final org.antlr.runtime.BitSet FOLLOW_TRANS_T_in_trans_sec135
FOLLOW_trans_decl_in_trans_sec137
public static final org.antlr.runtime.BitSet FOLLOW_trans_decl_in_trans_sec137
FOLLOW_JUST_T_in_just_sec147
public static final org.antlr.runtime.BitSet FOLLOW_JUST_T_in_just_sec147
FOLLOW_just_decl_in_just_sec149
public static final org.antlr.runtime.BitSet FOLLOW_just_decl_in_just_sec149
FOLLOW_VAR_DECL_T_in_var_decl162
public static final org.antlr.runtime.BitSet FOLLOW_VAR_DECL_T_in_var_decl162
FOLLOW_ID_in_var_decl166
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_var_decl166
FOLLOW_type_in_var_decl168
public static final org.antlr.runtime.BitSet FOLLOW_type_in_var_decl168
FOLLOW_init_decl_expr_in_init_decl197
public static final org.antlr.runtime.BitSet FOLLOW_init_decl_expr_in_init_decl197
FOLLOW_INIT_DECL_EXPR_T_in_init_decl_expr207
public static final org.antlr.runtime.BitSet FOLLOW_INIT_DECL_EXPR_T_in_init_decl_expr207
FOLLOW_bool_expr_in_init_decl_expr209
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_init_decl_expr209
FOLLOW_TRANS_DECL_T_in_trans_decl218
public static final org.antlr.runtime.BitSet FOLLOW_TRANS_DECL_T_in_trans_decl218
FOLLOW_bool_expr_in_trans_decl220
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_trans_decl220
FOLLOW_JUST_DECL_T_in_just_decl229
public static final org.antlr.runtime.BitSet FOLLOW_JUST_DECL_T_in_just_decl229
FOLLOW_bool_expr_in_just_decl231
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_just_decl231
FOLLOW_binor_expr_in_bool_expr241
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_bool_expr241
FOLLOW_BINOR_in_binor_expr249
public static final org.antlr.runtime.BitSet FOLLOW_BINOR_in_binor_expr249
FOLLOW_binor_expr_in_binor_expr251
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_binor_expr251
FOLLOW_binor_expr_in_binor_expr253
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_binor_expr253
FOLLOW_and_expr_in_binor_expr258
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_binor_expr258
FOLLOW_AND_in_and_expr266
public static final org.antlr.runtime.BitSet FOLLOW_AND_in_and_expr266
FOLLOW_and_expr_in_and_expr268
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_and_expr268
FOLLOW_and_expr_in_and_expr270
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_and_expr270
FOLLOW_implies_expr_in_and_expr275
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_and_expr275
FOLLOW_IMPLIES_in_implies_expr283
public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_implies_expr283
FOLLOW_implies_expr_in_implies_expr285
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_implies_expr285
FOLLOW_implies_expr_in_implies_expr287
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_implies_expr287
FOLLOW_biimp_expr_in_implies_expr292
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_implies_expr292
FOLLOW_BIIMP_in_biimp_expr300
public static final org.antlr.runtime.BitSet FOLLOW_BIIMP_in_biimp_expr300
FOLLOW_biimp_expr_in_biimp_expr302
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_biimp_expr302
FOLLOW_biimp_expr_in_biimp_expr304
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_biimp_expr304
FOLLOW_eq_expr_in_biimp_expr309
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_biimp_expr309
FOLLOW_EQ_in_eq_expr317
public static final org.antlr.runtime.BitSet FOLLOW_EQ_in_eq_expr317
FOLLOW_eq_expr_in_eq_expr319
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_eq_expr319
FOLLOW_eq_expr_in_eq_expr321
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_eq_expr321
FOLLOW_neq_expr_in_eq_expr326
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_eq_expr326
FOLLOW_NEQ_in_neq_expr334
public static final org.antlr.runtime.BitSet FOLLOW_NEQ_in_neq_expr334
FOLLOW_neq_expr_in_neq_expr336
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_neq_expr336
FOLLOW_neq_expr_in_neq_expr338
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_neq_expr338
FOLLOW_not_expr_in_neq_expr343
public static final org.antlr.runtime.BitSet FOLLOW_not_expr_in_neq_expr343
FOLLOW_NOT_in_not_expr351
public static final org.antlr.runtime.BitSet FOLLOW_NOT_in_not_expr351
FOLLOW_block_expr_in_not_expr353
public static final org.antlr.runtime.BitSet FOLLOW_block_expr_in_not_expr353
FOLLOW_block_expr_in_not_expr358
public static final org.antlr.runtime.BitSet FOLLOW_block_expr_in_not_expr358
FOLLOW_BLOCK_T_in_block_expr366
public static final org.antlr.runtime.BitSet FOLLOW_BLOCK_T_in_block_expr366
FOLLOW_bool_expr_in_block_expr368
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_block_expr368
FOLLOW_atom_expr_in_block_expr373
public static final org.antlr.runtime.BitSet FOLLOW_atom_expr_in_block_expr373
FOLLOW_any_ref_in_atom_expr381
public static final org.antlr.runtime.BitSet FOLLOW_any_ref_in_atom_expr381
FOLLOW_value_in_atom_expr386
public static final org.antlr.runtime.BitSet FOLLOW_value_in_atom_expr386
FOLLOW_set_in_value0
public static final org.antlr.runtime.BitSet FOLLOW_set_in_value0
FOLLOW_unprime_ref_in_any_ref408
public static final org.antlr.runtime.BitSet FOLLOW_unprime_ref_in_any_ref408
FOLLOW_prime_ref_in_any_ref412
public static final org.antlr.runtime.BitSet FOLLOW_prime_ref_in_any_ref412
FOLLOW_REF_T_in_prime_ref420
public static final org.antlr.runtime.BitSet FOLLOW_REF_T_in_prime_ref420
FOLLOW_PRIME_T_in_prime_ref423
public static final org.antlr.runtime.BitSet FOLLOW_PRIME_T_in_prime_ref423
FOLLOW_native_ref_in_prime_ref425
public static final org.antlr.runtime.BitSet FOLLOW_native_ref_in_prime_ref425
FOLLOW_REF_T_in_unprime_ref435
public static final org.antlr.runtime.BitSet FOLLOW_REF_T_in_unprime_ref435
FOLLOW_native_ref_in_unprime_ref437
public static final org.antlr.runtime.BitSet FOLLOW_native_ref_in_unprime_ref437
FOLLOW_loc_ref_in_native_ref445
public static final org.antlr.runtime.BitSet FOLLOW_loc_ref_in_native_ref445
FOLLOW_far_ref_in_native_ref449
public static final org.antlr.runtime.BitSet FOLLOW_far_ref_in_native_ref449
FOLLOW_ID_in_loc_ref456
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_loc_ref456
FOLLOW_DOT_in_far_ref464
public static final org.antlr.runtime.BitSet FOLLOW_DOT_in_far_ref464
FOLLOW_ID_in_far_ref466
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_far_ref466
FOLLOW_native_ref_in_far_ref468
public static final org.antlr.runtime.BitSet FOLLOW_native_ref_in_far_ref468
FOLLOW_BOOL_T_in_type478
public static final org.antlr.runtime.BitSet FOLLOW_BOOL_T_in_type478
FDSVarWalker
public FDSVarWalker(org.antlr.runtime.tree.TreeNodeStream input)
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
program
public final void program()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
module
public final void module()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
section
public final void section()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
var_sec
public final void var_sec()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
init_sec
public final void init_sec()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
trans_sec
public final void trans_sec()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
just_sec
public final void just_sec()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
var_decl
public final void var_decl()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
init_decl
public final void init_decl()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
init_decl_expr
public final void init_decl_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
trans_decl
public final void trans_decl()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
just_decl
public final void just_decl()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
bool_expr
public final void bool_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
binor_expr
public final void binor_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
and_expr
public final void and_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
implies_expr
public final void implies_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
biimp_expr
public final void biimp_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
eq_expr
public final void eq_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
neq_expr
public final void neq_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
not_expr
public final void not_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
block_expr
public final void block_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
atom_expr
public final void atom_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
value
public final void value()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
any_ref
public final void any_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
prime_ref
public final void prime_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
unprime_ref
public final void unprime_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
native_ref
public final void native_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
loc_ref
public final void loc_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
far_ref
public final void far_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
type
public final void type()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException