edu.wis.jtlv.env.core.fds
Class FDSStmtWalker
java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.tree.TreeParser
edu.wis.jtlv.env.core.fds.FDSStmtWalker
public class FDSStmtWalker
- 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 |
FDSStmtWalker(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
public static FDSModule curr_module
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_decl164
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_var_decl164
FOLLOW_type_in_var_decl166
public static final org.antlr.runtime.BitSet FOLLOW_type_in_var_decl166
FOLLOW_init_decl_expr_in_init_decl176
public static final org.antlr.runtime.BitSet FOLLOW_init_decl_expr_in_init_decl176
FOLLOW_INIT_DECL_EXPR_T_in_init_decl_expr188
public static final org.antlr.runtime.BitSet FOLLOW_INIT_DECL_EXPR_T_in_init_decl_expr188
FOLLOW_bool_expr_in_init_decl_expr190
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_init_decl_expr190
FOLLOW_TRANS_DECL_T_in_trans_decl216
public static final org.antlr.runtime.BitSet FOLLOW_TRANS_DECL_T_in_trans_decl216
FOLLOW_bool_expr_in_trans_decl218
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_trans_decl218
FOLLOW_JUST_DECL_T_in_just_decl244
public static final org.antlr.runtime.BitSet FOLLOW_JUST_DECL_T_in_just_decl244
FOLLOW_bool_expr_in_just_decl246
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_just_decl246
FOLLOW_binor_expr_in_bool_expr277
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_bool_expr277
FOLLOW_BINOR_in_binor_expr291
public static final org.antlr.runtime.BitSet FOLLOW_BINOR_in_binor_expr291
FOLLOW_binor_expr_in_binor_expr295
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_binor_expr295
FOLLOW_binor_expr_in_binor_expr299
public static final org.antlr.runtime.BitSet FOLLOW_binor_expr_in_binor_expr299
FOLLOW_and_expr_in_binor_expr307
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_binor_expr307
FOLLOW_AND_in_and_expr321
public static final org.antlr.runtime.BitSet FOLLOW_AND_in_and_expr321
FOLLOW_and_expr_in_and_expr325
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_and_expr325
FOLLOW_and_expr_in_and_expr329
public static final org.antlr.runtime.BitSet FOLLOW_and_expr_in_and_expr329
FOLLOW_implies_expr_in_and_expr337
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_and_expr337
FOLLOW_IMPLIES_in_implies_expr351
public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_implies_expr351
FOLLOW_implies_expr_in_implies_expr355
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_implies_expr355
FOLLOW_implies_expr_in_implies_expr359
public static final org.antlr.runtime.BitSet FOLLOW_implies_expr_in_implies_expr359
FOLLOW_biimp_expr_in_implies_expr367
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_implies_expr367
FOLLOW_BIIMP_in_biimp_expr381
public static final org.antlr.runtime.BitSet FOLLOW_BIIMP_in_biimp_expr381
FOLLOW_biimp_expr_in_biimp_expr385
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_biimp_expr385
FOLLOW_biimp_expr_in_biimp_expr389
public static final org.antlr.runtime.BitSet FOLLOW_biimp_expr_in_biimp_expr389
FOLLOW_eq_expr_in_biimp_expr397
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_biimp_expr397
FOLLOW_EQ_in_eq_expr411
public static final org.antlr.runtime.BitSet FOLLOW_EQ_in_eq_expr411
FOLLOW_eq_expr_in_eq_expr415
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_eq_expr415
FOLLOW_eq_expr_in_eq_expr419
public static final org.antlr.runtime.BitSet FOLLOW_eq_expr_in_eq_expr419
FOLLOW_neq_expr_in_eq_expr427
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_eq_expr427
FOLLOW_NEQ_in_neq_expr441
public static final org.antlr.runtime.BitSet FOLLOW_NEQ_in_neq_expr441
FOLLOW_neq_expr_in_neq_expr445
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_neq_expr445
FOLLOW_neq_expr_in_neq_expr449
public static final org.antlr.runtime.BitSet FOLLOW_neq_expr_in_neq_expr449
FOLLOW_not_expr_in_neq_expr457
public static final org.antlr.runtime.BitSet FOLLOW_not_expr_in_neq_expr457
FOLLOW_NOT_in_not_expr471
public static final org.antlr.runtime.BitSet FOLLOW_NOT_in_not_expr471
FOLLOW_not_expr_in_not_expr475
public static final org.antlr.runtime.BitSet FOLLOW_not_expr_in_not_expr475
FOLLOW_block_expr_in_not_expr483
public static final org.antlr.runtime.BitSet FOLLOW_block_expr_in_not_expr483
FOLLOW_BLOCK_T_in_block_expr497
public static final org.antlr.runtime.BitSet FOLLOW_BLOCK_T_in_block_expr497
FOLLOW_bool_expr_in_block_expr499
public static final org.antlr.runtime.BitSet FOLLOW_bool_expr_in_block_expr499
FOLLOW_atom_expr_in_block_expr507
public static final org.antlr.runtime.BitSet FOLLOW_atom_expr_in_block_expr507
FOLLOW_any_ref_in_atom_expr520
public static final org.antlr.runtime.BitSet FOLLOW_any_ref_in_atom_expr520
FOLLOW_value_in_atom_expr527
public static final org.antlr.runtime.BitSet FOLLOW_value_in_atom_expr527
FOLLOW_TRUE_in_value542
public static final org.antlr.runtime.BitSet FOLLOW_TRUE_in_value542
FOLLOW_FALSE_in_value549
public static final org.antlr.runtime.BitSet FOLLOW_FALSE_in_value549
FOLLOW_unprime_ref_in_any_ref566
public static final org.antlr.runtime.BitSet FOLLOW_unprime_ref_in_any_ref566
FOLLOW_prime_ref_in_any_ref573
public static final org.antlr.runtime.BitSet FOLLOW_prime_ref_in_any_ref573
FOLLOW_REF_T_in_prime_ref587
public static final org.antlr.runtime.BitSet FOLLOW_REF_T_in_prime_ref587
FOLLOW_PRIME_T_in_prime_ref590
public static final org.antlr.runtime.BitSet FOLLOW_PRIME_T_in_prime_ref590
FOLLOW_native_ref_in_prime_ref592
public static final org.antlr.runtime.BitSet FOLLOW_native_ref_in_prime_ref592
FOLLOW_REF_T_in_unprime_ref608
public static final org.antlr.runtime.BitSet FOLLOW_REF_T_in_unprime_ref608
FOLLOW_native_ref_in_unprime_ref610
public static final org.antlr.runtime.BitSet FOLLOW_native_ref_in_unprime_ref610
FOLLOW_construct_name_in_native_ref624
public static final org.antlr.runtime.BitSet FOLLOW_construct_name_in_native_ref624
FOLLOW_loc_ref_in_construct_name637
public static final org.antlr.runtime.BitSet FOLLOW_loc_ref_in_construct_name637
FOLLOW_far_ref_in_construct_name644
public static final org.antlr.runtime.BitSet FOLLOW_far_ref_in_construct_name644
FOLLOW_ID_in_loc_ref657
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_loc_ref657
FOLLOW_DOT_in_far_ref671
public static final org.antlr.runtime.BitSet FOLLOW_DOT_in_far_ref671
FOLLOW_ID_in_far_ref673
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_far_ref673
FOLLOW_loc_ref_in_far_ref675
public static final org.antlr.runtime.BitSet FOLLOW_loc_ref_in_far_ref675
FOLLOW_DOT_in_far_ref685
public static final org.antlr.runtime.BitSet FOLLOW_DOT_in_far_ref685
FOLLOW_ID_in_far_ref687
public static final org.antlr.runtime.BitSet FOLLOW_ID_in_far_ref687
FOLLOW_far_ref_in_far_ref689
public static final org.antlr.runtime.BitSet FOLLOW_far_ref_in_far_ref689
FOLLOW_BOOL_T_in_type703
public static final org.antlr.runtime.BitSet FOLLOW_BOOL_T_in_type703
FDSStmtWalker
public FDSStmtWalker(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 BDD bool_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
binor_expr
public final BDD binor_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
and_expr
public final BDD and_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
implies_expr
public final BDD implies_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
biimp_expr
public final BDD biimp_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
eq_expr
public final BDD eq_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
neq_expr
public final BDD neq_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
not_expr
public final BDD not_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
block_expr
public final BDD block_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
atom_expr
public final BDD atom_expr()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
value
public final BDD value()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
any_ref
public final BDD any_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
prime_ref
public final BDD prime_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
unprime_ref
public final BDD unprime_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
native_ref
public final ModuleBDDField native_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
construct_name
public final java.lang.String construct_name()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
loc_ref
public final java.lang.String loc_ref()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
far_ref
public final java.lang.String 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