SpecLangParser

java.lang.Object
- org.antlr.runtime.BaseRecognizer
- - org.antlr.runtime.Parser
  - - fmrisc.ProgramExplorer.Parser.SpecLangParser

public class SpecLangParser
extends org.antlr.runtime.Parser

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`ARROW`
`static int`	`ASSIGNMENT`
`static int`	`ATSYMBOL`
`static int`	`BITAND`
`static int`	`BITNOT`
`static int`	`BITOR`
`static int`	`COLON`
`static int`	`COMMA`
`static int`	`COMMENT`
`static int`	`DIGIT`
`static int`	`DIVIDES`
`static int`	`DOTDOT`
`static int`	`EOF`
`static int`	`EOL`
`static int`	`EQUALITY`
`static int`	`EQUIV`
`static int`	`ESCAPED`
`static org.antlr.runtime.BitSet`	`FOLLOW_100_in_formula1002423`
`static org.antlr.runtime.BitSet`	`FOLLOW_100_in_term1003625`
`static org.antlr.runtime.BitSet`	`FOLLOW_101_in_formula1002451`
`static org.antlr.runtime.BitSet`	`FOLLOW_101_in_term1003653`
`static org.antlr.runtime.BitSet`	`FOLLOW_102_in_formula1002457`
`static org.antlr.runtime.BitSet`	`FOLLOW_102_in_term1003659`
`static org.antlr.runtime.BitSet`	`FOLLOW_103_in_formula1002467`
`static org.antlr.runtime.BitSet`	`FOLLOW_104_in_formula1002479`
`static org.antlr.runtime.BitSet`	`FOLLOW_105_in_term2528`
`static org.antlr.runtime.BitSet`	`FOLLOW_106_in_synpred16_SpecLang3016`
`static org.antlr.runtime.BitSet`	`FOLLOW_106_in_term603020`
`static org.antlr.runtime.BitSet`	`FOLLOW_107_in_term803266`
`static org.antlr.runtime.BitSet`	`FOLLOW_108_in_term803280`
`static org.antlr.runtime.BitSet`	`FOLLOW_109_in_term1003421`
`static org.antlr.runtime.BitSet`	`FOLLOW_110_in_term1003429`
`static org.antlr.runtime.BitSet`	`FOLLOW_111_in_term1003437`
`static org.antlr.runtime.BitSet`	`FOLLOW_112_in_term1003445`
`static org.antlr.runtime.BitSet`	`FOLLOW_47_in_theorydecl477`
`static org.antlr.runtime.BitSet`	`FOLLOW_47_in_unitspec94`
`static org.antlr.runtime.BitSet`	`FOLLOW_48_in_theorydecl485`
`static org.antlr.runtime.BitSet`	`FOLLOW_48_in_unitspec98`
`static org.antlr.runtime.BitSet`	`FOLLOW_49_in_theorydecl496`
`static org.antlr.runtime.BitSet`	`FOLLOW_49_in_unitspec111`
`static org.antlr.runtime.BitSet`	`FOLLOW_50_in_theorydecl516`
`static org.antlr.runtime.BitSet`	`FOLLOW_50_in_unitspec117`
`static org.antlr.runtime.BitSet`	`FOLLOW_51_in_classspec138`
`static org.antlr.runtime.BitSet`	`FOLLOW_51_in_loopspec335`
`static org.antlr.runtime.BitSet`	`FOLLOW_52_in_methodspec177`
`static org.antlr.runtime.BitSet`	`FOLLOW_53_in_methodspec190`
`static org.antlr.runtime.BitSet`	`FOLLOW_54_in_methodspec207`
`static org.antlr.runtime.BitSet`	`FOLLOW_55_in_methodspec224`
`static org.antlr.runtime.BitSet`	`FOLLOW_56_in_methodspec241`
`static org.antlr.runtime.BitSet`	`FOLLOW_57_in_methodspec258`
`static org.antlr.runtime.BitSet`	`FOLLOW_58_in_loopspec352`
`static org.antlr.runtime.BitSet`	`FOLLOW_58_in_methodspec275`
`static org.antlr.runtime.BitSet`	`FOLLOW_59_in_statementspec406`
`static org.antlr.runtime.BitSet`	`FOLLOW_60_in_theorydecl446`
`static org.antlr.runtime.BitSet`	`FOLLOW_61_in_theorydecl472`
`static org.antlr.runtime.BitSet`	`FOLLOW_62_in_imports552`
`static org.antlr.runtime.BitSet`	`FOLLOW_63_in_declaration654`
`static org.antlr.runtime.BitSet`	`FOLLOW_63_in_declaration666`
`static org.antlr.runtime.BitSet`	`FOLLOW_64_in_declaration685`
`static org.antlr.runtime.BitSet`	`FOLLOW_65_in_declaration701`
`static org.antlr.runtime.BitSet`	`FOLLOW_66_in_declaration751`
`static org.antlr.runtime.BitSet`	`FOLLOW_67_in_term2546`
`static org.antlr.runtime.BitSet`	`FOLLOW_67_in_typeExp913`
`static org.antlr.runtime.BitSet`	`FOLLOW_68_in_typeExp919`
`static org.antlr.runtime.BitSet`	`FOLLOW_69_in_typeExpBase975`
`static org.antlr.runtime.BitSet`	`FOLLOW_70_in_typeExpBase984`
`static org.antlr.runtime.BitSet`	`FOLLOW_71_in_typeExpBase993`
`static org.antlr.runtime.BitSet`	`FOLLOW_72_in_typeExpBase1001`
`static org.antlr.runtime.BitSet`	`FOLLOW_73_in_typeExpBase1011`
`static org.antlr.runtime.BitSet`	`FOLLOW_74_in_typeExpBase1021`
`static org.antlr.runtime.BitSet`	`FOLLOW_75_in_typeExpBase1030`
`static org.antlr.runtime.BitSet`	`FOLLOW_76_in_typeExpBase1039`
`static org.antlr.runtime.BitSet`	`FOLLOW_77_in_typeExpBase1216`
`static org.antlr.runtime.BitSet`	`FOLLOW_78_in_typeExpBase1252`
`static org.antlr.runtime.BitSet`	`FOLLOW_79_in_formula1357`
`static org.antlr.runtime.BitSet`	`FOLLOW_80_in_formula1375`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_formula101436`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_synpred5_SpecLang1428`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_term102604`
`static org.antlr.runtime.BitSet`	`FOLLOW_82_in_formula101461`
`static org.antlr.runtime.BitSet`	`FOLLOW_82_in_term102629`
`static org.antlr.runtime.BitSet`	`FOLLOW_83_in_formula201584`
`static org.antlr.runtime.BitSet`	`FOLLOW_84_in_formula301640`
`static org.antlr.runtime.BitSet`	`FOLLOW_85_in_formula401691`
`static org.antlr.runtime.BitSet`	`FOLLOW_86_in_formula501732`
`static org.antlr.runtime.BitSet`	`FOLLOW_87_in_formula701990`
`static org.antlr.runtime.BitSet`	`FOLLOW_88_in_formula702002`
`static org.antlr.runtime.BitSet`	`FOLLOW_89_in_formula702013`
`static org.antlr.runtime.BitSet`	`FOLLOW_90_in_formula702025`
`static org.antlr.runtime.BitSet`	`FOLLOW_91_in_formula702037`
`static org.antlr.runtime.BitSet`	`FOLLOW_91_in_formula702049`
`static org.antlr.runtime.BitSet`	`FOLLOW_92_in_statearg2100`
`static org.antlr.runtime.BitSet`	`FOLLOW_92_in_term1003477`
`static org.antlr.runtime.BitSet`	`FOLLOW_93_in_statearg2108`
`static org.antlr.runtime.BitSet`	`FOLLOW_93_in_term1003485`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_formula1002157`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_formula1002270`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_synpred8_SpecLang2203`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_term1003453`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_formula1002169`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_formula1002290`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_synpred8_SpecLang2224`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_term1003465`
`static org.antlr.runtime.BitSet`	`FOLLOW_96_in_formula1002383`
`static org.antlr.runtime.BitSet`	`FOLLOW_96_in_term1003405`
`static org.antlr.runtime.BitSet`	`FOLLOW_97_in_formula1002391`
`static org.antlr.runtime.BitSet`	`FOLLOW_97_in_term1003413`
`static org.antlr.runtime.BitSet`	`FOLLOW_98_in_formula1002399`
`static org.antlr.runtime.BitSet`	`FOLLOW_98_in_term1003601`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_formula1002405`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_formula1002429`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_term1003607`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_term1003631`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_synpred1_SpecLang833`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_typeExp842`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_typeExp901`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term1003537`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term1003571`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term603122`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula701992`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702004`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702015`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702027`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702039`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702059`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_term803268`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_term803282`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITAND_in_synpred14_SpecLang2830`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITNOT_in_term502958`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITOR_in_synpred11_SpecLang2729`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_declaration646`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_declaration757`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_formula1363`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_formula1381`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_param3753`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_term2534`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_term2552`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_typeExpBase1154`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_typeExpBase1188`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_vdefinition3782`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_formula101450`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_formula701970`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_loopspec366`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_methodspec289`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_names3891`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_param3735`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_paramList3694`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_synpred2_SpecLang860`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_synpred3_SpecLang1066`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term1003509`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term1003565`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term102618`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term803325`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExp883`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1097`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1182`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1270`
`static org.antlr.runtime.BitSet`	`FOLLOW_declaration_in_declarations608`
`static org.antlr.runtime.BitSet`	`FOLLOW_declaration_in_theorydecl504`
`static org.antlr.runtime.BitSet`	`FOLLOW_declarations_in_unitspec115`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_synpred13_SpecLang2808`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term202733`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term302812`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term302834`
`static org.antlr.runtime.BitSet`	`FOLLOW_DOTDOT_in_typeExpBase1238`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_classspec155`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_formulaEOF1332`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_loopspec391`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_methodspec314`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_statementspec421`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_theorydecl524`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_unitspec123`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration668`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration723`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration749`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_formula601818`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_vdefinition3789`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_vdefinition3807`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUIV_in_declaration783`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUIV_in_formula201564`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_classspec142`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration689`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration705`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration761`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration787`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002403`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002409`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002427`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002433`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002455`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002491`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1367`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1385`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formulaEOF1330`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_loopspec339`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_methodspec194`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_methodspec245`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_methodspec262`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_statementspec410`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_term1003605`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_term1003629`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula10_in_formula101465`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula10_in_formula1395`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula100_in_formula702071`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula20_in_formula101477`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula20_in_formula201535`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201529`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201554`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201568`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201588`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_synpred6_SpecLang1515`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula40_in_formula301632`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula40_in_formula301644`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula401683`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula401695`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula501736`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula60_in_formula501746`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula70_in_formula601918`
`static org.antlr.runtime.BitSet`	`FOLLOW_GREATER_in_formula601882`
`static org.antlr.runtime.BitSet`	`FOLLOW_GREATEREQ_in_formula601898`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_declaration644`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_formula1002341`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_name3841`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_name3858`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_param3724`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_param3739`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term1003535`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term1003569`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term603065`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term703203`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_theorydecl481`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_typeExpBase1152`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_typeExpBase1186`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_vdefinition3780`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_vdefinition3805`
`static org.antlr.runtime.BitSet`	`FOLLOW_IMPLIES_in_formula201531`
`static org.antlr.runtime.BitSet`	`FOLLOW_IMPLIES_in_synpred6_SpecLang1517`
`static org.antlr.runtime.BitSet`	`FOLLOW_imports_in_theorydecl461`
`static org.antlr.runtime.BitSet`	`FOLLOW_imports_in_unitspec88`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_formula1002360`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred3_SpecLang1062`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred4_SpecLang1123`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred8_SpecLang2194`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_term603092`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_term703222`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1071`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1132`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1232`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACKGRID_in_typeExpBase1146`
`static org.antlr.runtime.BitSet`	`FOLLOW_LESS_in_formula601850`
`static org.antlr.runtime.BitSet`	`FOLLOW_LESSEQ_in_formula601866`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002268`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002288`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002487`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula701953`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula702051`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_paramList3687`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred17_SpecLang3306`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred2_SpecLang856`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred8_SpecLang2201`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred8_SpecLang2222`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_term1003493`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_term803311`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExp867`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1043`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1218`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1260`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1294`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPARGRID_in_term1003529`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_synpred10_SpecLang2708`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_term202712`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_term502946`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002149`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002161`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002173`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002256`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002274`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002294`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula701949`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula702055`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_imports556`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_names3885`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_names3895`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_statearg2117`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2185`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2205`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2226`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003377`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003457`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003469`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_theorydecl450`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_typeExpBase967`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_formula1002471`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_methodspec211`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_methodspec228`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_theorydecl489`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_unitspec102`
`static org.antlr.runtime.BitSet`	`FOLLOW_NONEQUALITY_in_formula601834`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_formula1002323`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_synpred8_SpecLang2190`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term1003387`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term603042`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term703185`
`static org.antlr.runtime.BitSet`	`FOLLOW_param_in_paramList3689`
`static org.antlr.runtime.BitSet`	`FOLLOW_param_in_paramList3696`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_declaration755`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_formula1361`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_formula1379`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_term2532`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_term2550`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_formula1002312`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_imports565`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_name3854`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_synpred18_SpecLang3850`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_synpred8_SpecLang2188`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_term603030`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_term703174`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_synpred9_SpecLang2687`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_term202691`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_term502934`
`static org.antlr.runtime.BitSet`	`FOLLOW_POWER_in_synpred15_SpecLang2888`
`static org.antlr.runtime.BitSet`	`FOLLOW_POWER_in_term402892`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_formula1002366`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_synpred4_SpecLang1127`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_term603098`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_term703228`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1110`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1138`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1244`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACKGRID_in_typeExpBase1208`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002276`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002296`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002493`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula701981`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula702057`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_paramList3702`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_synpred8_SpecLang2207`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_synpred8_SpecLang2228`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_term1003521`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_term803336`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExp899`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1049`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1224`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1283`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1300`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPARGRID_in_term1003593`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_classspec144`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_declarations615`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_imports574`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_loopspec341`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_loopspec377`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec179`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec196`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec213`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec230`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec247`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec264`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_methodspec300`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_statementspec412`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_theorydecl452`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_theorydecl511`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred7_SpecLang1779`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred8_SpecLang2209`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred8_SpecLang2230`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula701996`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702008`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702019`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702031`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702043`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702063`
`static org.antlr.runtime.BitSet`	`FOLLOW_STRING_in_term1003397`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_declaration727`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula1002364`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601812`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601822`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601838`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601854`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601870`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601886`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601902`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula701957`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula701974`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_loopspec356`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_loopspec370`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_methodspec279`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_methodspec293`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_synpred7_SpecLang1777`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003497`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003514`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003541`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003575`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003611`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003635`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003657`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term2538`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term2556`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term603096`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term703226`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term803315`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term803329`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1222`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1236`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1242`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_vdefinition3793`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_vdefinition3811`
`static org.antlr.runtime.BitSet`	`FOLLOW_term10_in_term102633`
`static org.antlr.runtime.BitSet`	`FOLLOW_term10_in_term2566`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803272`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803286`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803296`
`static org.antlr.runtime.BitSet`	`FOLLOW_term20_in_term102645`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202678`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202695`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202716`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term202737`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302778`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302795`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302816`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302838`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term402879`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term402896`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502938`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502950`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502962`
`static org.antlr.runtime.BitSet`	`FOLLOW_term60_in_term502974`
`static org.antlr.runtime.BitSet`	`FOLLOW_term70_in_term603007`
`static org.antlr.runtime.BitSet`	`FOLLOW_term70_in_term603126`
`static org.antlr.runtime.BitSet`	`FOLLOW_term80_in_term703166`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_imports567`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_synpred12_SpecLang2787`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_term302791`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_declaration672`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_declaration719`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_param3757`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred2_SpecLang858`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred3_SpecLang1064`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred4_SpecLang1125`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp846`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp871`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp888`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp905`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp923`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1047`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1083`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1102`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1136`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1158`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1192`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1264`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1275`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1298`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_vdefinition3786`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_synpred1_SpecLang831`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp840`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp917`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp933`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_formula101440`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_formula101454`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_term102608`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_term102622`
`static int`	`GREATER`
`static int`	`GREATEREQ`
`static int`	`HEX`
`static int`	`IDENT`
`static int`	`IMPLIES`
`static int`	`LBRACK`
`static int`	`LBRACKGRID`
`static int`	`LESS`
`static int`	`LESSEQ`
`static int`	`LETTER`
`static int`	`LPAR`
`static int`	`LPARGRID`
`static int`	`MINUS`
`static int`	`NONEQUALITY`
`static int`	`NUMBER`
`static int`	`PERIOD`
`static int`	`PLUS`
`static int`	`POWER`
`static int`	`RBRACK`
`static int`	`RBRACKGRID`
`static int`	`REALLETTER`
`static int`	`RPAR`
`static int`	`RPARGRID`
`static int`	`SEMICOLON`
`static int`	`STRING`
`static int`	`T__100`
`static int`	`T__101`
`static int`	`T__102`
`static int`	`T__103`
`static int`	`T__104`
`static int`	`T__105`
`static int`	`T__106`
`static int`	`T__107`
`static int`	`T__108`
`static int`	`T__109`
`static int`	`T__110`
`static int`	`T__111`
`static int`	`T__112`
`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 int`	`T__63`
`static int`	`T__64`
`static int`	`T__65`
`static int`	`T__66`
`static int`	`T__67`
`static int`	`T__68`
`static int`	`T__69`
`static int`	`T__70`
`static int`	`T__71`
`static int`	`T__72`
`static int`	`T__73`
`static int`	`T__74`
`static int`	`T__75`
`static int`	`T__76`
`static int`	`T__77`
`static int`	`T__78`
`static int`	`T__79`
`static int`	`T__80`
`static int`	`T__81`
`static int`	`T__82`
`static int`	`T__83`
`static int`	`T__84`
`static int`	`T__85`
`static int`	`T__86`
`static int`	`T__87`
`static int`	`T__88`
`static int`	`T__89`
`static int`	`T__90`
`static int`	`T__91`
`static int`	`T__92`
`static int`	`T__93`
`static int`	`T__94`
`static int`	`T__95`
`static int`	`T__96`
`static int`	`T__97`
`static int`	`T__98`
`static int`	`T__99`
`static int`	`TIMES`
`static java.lang.String[]`	`tokenNames`
`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

Constructor Summary

Constructors
Constructor and Description
`SpecLangParser(org.antlr.runtime.TokenStream input)`
`SpecLangParser(org.antlr.runtime.TokenStream input, ErrorStream error, Source source)`
`SpecLangParser(org.antlr.runtime.TokenStream input, ErrorStream error, SourcePosition pos, java.lang.String text)`
`SpecLangParser(org.antlr.runtime.TokenStream input, org.antlr.runtime.RecognizerSharedState state)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`classspec(ClassSpec spec)`
`Identifier`	`constructIdentifier(org.antlr.runtime.Token token)`
`Declaration`	`declaration()`
`java.util.Vector<Declaration>`	`declarations()`
`void`	`emitErrorMessage(java.lang.String msg)`
`Formula`	`formula()`
`Formula`	`formula10()`
`Formula`	`formula100()`
`Formula`	`formula20()`
`Formula`	`formula30()`
`Formula`	`formula40()`
`Formula`	`formula50()`
`Formula`	`formula60()`
`Formula`	`formula70()`
`Formula`	`formulaEOF()`
`java.lang.String`	`getErrorHeader(org.antlr.runtime.RecognitionException e)`
`java.lang.String`	`getGrammarFileName()`
`java.lang.String`	`getLine(int i)`
`SourcePosition`	`getPosition()`
`SourcePosition`	`getPosition(org.antlr.runtime.Token token)`
`java.lang.String[]`	`getTokenNames()`
`java.util.Vector<Import>`	`imports()`
`void`	`loopspec(LoopSpec spec)`
`void`	`methodspec(MethodSpec spec)`
`Name`	`name()`
`java.util.Vector<Name>`	`names()`
`void`	`param(java.util.Vector<TypedIdentifier> sequence)`
`java.util.Vector<TypedIdentifier>`	`paramList()`
`Term`	`statearg()`
`void`	`statementspec(StatementSpec spec)`
`void`	`synpred1_SpecLang_fragment()`
`boolean`	`synpred1_SpecLang()`
`void`	`synpred10_SpecLang_fragment()`
`boolean`	`synpred10_SpecLang()`
`void`	`synpred11_SpecLang_fragment()`
`boolean`	`synpred11_SpecLang()`
`void`	`synpred12_SpecLang_fragment()`
`boolean`	`synpred12_SpecLang()`
`void`	`synpred13_SpecLang_fragment()`
`boolean`	`synpred13_SpecLang()`
`void`	`synpred14_SpecLang_fragment()`
`boolean`	`synpred14_SpecLang()`
`void`	`synpred15_SpecLang_fragment()`
`boolean`	`synpred15_SpecLang()`
`void`	`synpred16_SpecLang_fragment()`
`boolean`	`synpred16_SpecLang()`
`void`	`synpred17_SpecLang_fragment()`
`boolean`	`synpred17_SpecLang()`
`void`	`synpred18_SpecLang_fragment()`
`boolean`	`synpred18_SpecLang()`
`void`	`synpred2_SpecLang_fragment()`
`boolean`	`synpred2_SpecLang()`
`void`	`synpred3_SpecLang_fragment()`
`boolean`	`synpred3_SpecLang()`
`void`	`synpred4_SpecLang_fragment()`
`boolean`	`synpred4_SpecLang()`
`void`	`synpred5_SpecLang_fragment()`
`boolean`	`synpred5_SpecLang()`
`void`	`synpred6_SpecLang_fragment()`
`boolean`	`synpred6_SpecLang()`
`void`	`synpred7_SpecLang_fragment()`
`boolean`	`synpred7_SpecLang()`
`void`	`synpred8_SpecLang_fragment()`
`boolean`	`synpred8_SpecLang()`
`void`	`synpred9_SpecLang_fragment()`
`boolean`	`synpred9_SpecLang()`
`Term`	`term()`
`Term`	`term10()`
`Term`	`term100()`
`Term`	`term20()`
`Term`	`term30()`
`Term`	`term40()`
`Term`	`term50()`
`Term`	`term60()`
`Term`	`term70()`
`Term`	`term80()`
`TheoryDeclaration`	`theorydecl()`
`Type`	`typeExp()`
`Type`	`typeExpBase()`
`void`	`unitspec(UnitSpec spec)`
`ValueDefinition`	`vdefinition()`

Methods inherited from class org.antlr.runtime.Parser
getSourceName, getTokenStream, reset, setTokenStream, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer
alreadyParsedRule, beginResync, consumeUntil, consumeUntil, displayRecognitionError, endResync, failed, getBacktrackingLevel, getErrorMessage, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, match, matchAny, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, recover, recoverFromMismatchedSet, reportError, setBacktrackingLevel, toStrings, traceIn, traceOut

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

tokenNames

public static final java.lang.String[] tokenNames

BITNOT
```
public static final int BITNOT
```
See Also:

Constant Field Values

LETTER
```
public static final int LETTER
```
See Also:

Constant Field Values

EOF
```
public static final int EOF
```
See Also:

Constant Field Values

T__93
```
public static final int T__93
```
See Also:

Constant Field Values

T__94
```
public static final int T__94
```
See Also:

Constant Field Values

T__91
```
public static final int T__91
```
See Also:

Constant Field Values

T__92
```
public static final int T__92
```
See Also:

Constant Field Values

GREATER
```
public static final int GREATER
```
See Also:

Constant Field Values

EOL
```
public static final int EOL
```
See Also:

Constant Field Values

T__90
```
public static final int T__90
```
See Also:

Constant Field Values

LPAR
```
public static final int LPAR
```
See Also:

Constant Field Values

LESS
```
public static final int LESS
```
See Also:

Constant Field Values

COMMENT
```
public static final int COMMENT
```
See Also:

Constant Field Values

T__99
```
public static final int T__99
```
See Also:

Constant Field Values

T__98
```
public static final int T__98
```
See Also:

Constant Field Values

T__97
```
public static final int T__97
```
See Also:

Constant Field Values

T__96
```
public static final int T__96
```
See Also:

Constant Field Values

T__95
```
public static final int T__95
```
See Also:

Constant Field Values

RBRACK
```
public static final int RBRACK
```
See Also:

Constant Field Values

T__80
```
public static final int T__80
```
See Also:

Constant Field Values

IMPLIES
```
public static final int IMPLIES
```
See Also:

Constant Field Values

T__81
```
public static final int T__81
```
See Also:

Constant Field Values

ATSYMBOL
```
public static final int ATSYMBOL
```
See Also:

Constant Field Values

T__82
```
public static final int T__82
```
See Also:

Constant Field Values

T__83
```
public static final int T__83
```
See Also:

Constant Field Values

PERIOD
```
public static final int PERIOD
```
See Also:

Constant Field Values

REALLETTER
```
public static final int REALLETTER
```
See Also:

Constant Field Values

NUMBER
```
public static final int NUMBER
```
See Also:

Constant Field Values

POWER
```
public static final int POWER
```
See Also:

Constant Field Values

SEMICOLON
```
public static final int SEMICOLON
```
See Also:

Constant Field Values

T__85
```
public static final int T__85
```
See Also:

Constant Field Values

T__84
```
public static final int T__84
```
See Also:

Constant Field Values

T__87
```
public static final int T__87
```
See Also:

Constant Field Values

T__86
```
public static final int T__86
```
See Also:

Constant Field Values

T__89
```
public static final int T__89
```
See Also:

Constant Field Values

T__88
```
public static final int T__88
```
See Also:

Constant Field Values

EQUIV
```
public static final int EQUIV
```
See Also:

Constant Field Values

DIVIDES
```
public static final int DIVIDES
```
See Also:

Constant Field Values

WS
```
public static final int WS
```
See Also:

Constant Field Values

T__71
```
public static final int T__71
```
See Also:

Constant Field Values

BITOR
```
public static final int BITOR
```
See Also:

Constant Field Values

T__72
```
public static final int T__72
```
See Also:

Constant Field Values

LBRACKGRID
```
public static final int LBRACKGRID
```
See Also:

Constant Field Values

T__70
```
public static final int T__70
```
See Also:

Constant Field Values

RPARGRID
```
public static final int RPARGRID
```
See Also:

Constant Field Values

ESCAPED
```
public static final int ESCAPED
```
See Also:

Constant Field Values

NONEQUALITY
```
public static final int NONEQUALITY
```
See Also:

Constant Field Values

T__76
```
public static final int T__76
```
See Also:

Constant Field Values

T__75
```
public static final int T__75
```
See Also:

Constant Field Values

T__74
```
public static final int T__74
```
See Also:

Constant Field Values

T__73
```
public static final int T__73
```
See Also:

Constant Field Values

T__79
```
public static final int T__79
```
See Also:

Constant Field Values

T__78
```
public static final int T__78
```
See Also:

Constant Field Values

T__77
```
public static final int T__77
```
See Also:

Constant Field Values

T__68
```
public static final int T__68
```
See Also:

Constant Field Values

EQUALITY
```
public static final int EQUALITY
```
See Also:

Constant Field Values

T__69
```
public static final int T__69
```
See Also:

Constant Field Values

T__66
```
public static final int T__66
```
See Also:

Constant Field Values

T__67
```
public static final int T__67
```
See Also:

Constant Field Values

T__64
```
public static final int T__64
```
See Also:

Constant Field Values

LBRACK
```
public static final int LBRACK
```
See Also:

Constant Field Values

T__65
```
public static final int T__65
```
See Also:

Constant Field Values

T__62
```
public static final int T__62
```
See Also:

Constant Field Values

T__63
```
public static final int T__63
```
See Also:

Constant Field Values

DOTDOT
```
public static final int DOTDOT
```
See Also:

Constant Field Values

T__61
```
public static final int T__61
```
See Also:

Constant Field Values

T__60
```
public static final int T__60
```
See Also:

Constant Field Values

BITAND
```
public static final int BITAND
```
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__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

LESSEQ
```
public static final int LESSEQ
```
See Also:

Constant Field Values

T__54
```
public static final int T__54
```
See Also:

Constant Field Values

T__107
```
public static final int T__107
```
See Also:

Constant Field Values

HEX
```
public static final int HEX
```
See Also:

Constant Field Values

T__108
```
public static final int T__108
```
See Also:

Constant Field Values

COMMA
```
public static final int COMMA
```
See Also:

Constant Field Values

T__109
```
public static final int T__109
```
See Also:

Constant Field Values

T__59
```
public static final int T__59
```
See Also:

Constant Field Values

T__103
```
public static final int T__103
```
See Also:

Constant Field Values

T__104
```
public static final int T__104
```
See Also:

Constant Field Values

T__105
```
public static final int T__105
```
See Also:

Constant Field Values

T__106
```
public static final int T__106
```
See Also:

Constant Field Values

T__111
```
public static final int T__111
```
See Also:

Constant Field Values

T__110
```
public static final int T__110
```
See Also:

Constant Field Values

IDENT
```
public static final int IDENT
```
See Also:

Constant Field Values

PLUS
```
public static final int PLUS
```
See Also:

Constant Field Values

T__112
```
public static final int T__112
```
See Also:

Constant Field Values

DIGIT
```
public static final int DIGIT
```
See Also:

Constant Field Values

T__50
```
public static final int T__50
```
See Also:

Constant Field Values

GREATEREQ
```
public static final int GREATEREQ
```
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__102
```
public static final int T__102
```
See Also:

Constant Field Values

T__101
```
public static final int T__101
```
See Also:

Constant Field Values

T__100
```
public static final int T__100
```
See Also:

Constant Field Values

MINUS
```
public static final int MINUS
```
See Also:

Constant Field Values

COLON
```
public static final int COLON
```
See Also:

Constant Field Values

RBRACKGRID
```
public static final int RBRACKGRID
```
See Also:

Constant Field Values

LPARGRID
```
public static final int LPARGRID
```
See Also:

Constant Field Values

ARROW
```
public static final int ARROW
```
See Also:

Constant Field Values

RPAR
```
public static final int RPAR
```
See Also:

Constant Field Values

ASSIGNMENT
```
public static final int ASSIGNMENT
```
See Also:

Constant Field Values

TIMES
```
public static final int TIMES
```
See Also:

Constant Field Values

STRING
```
public static final int STRING
```
See Also:

Constant Field Values

FOLLOW_imports_in_unitspec88

public static final org.antlr.runtime.BitSet FOLLOW_imports_in_unitspec88

FOLLOW_47_in_unitspec94

public static final org.antlr.runtime.BitSet FOLLOW_47_in_unitspec94

FOLLOW_48_in_unitspec98

public static final org.antlr.runtime.BitSet FOLLOW_48_in_unitspec98

FOLLOW_names_in_unitspec102

public static final org.antlr.runtime.BitSet FOLLOW_names_in_unitspec102

FOLLOW_49_in_unitspec111

public static final org.antlr.runtime.BitSet FOLLOW_49_in_unitspec111

FOLLOW_declarations_in_unitspec115

public static final org.antlr.runtime.BitSet FOLLOW_declarations_in_unitspec115

FOLLOW_50_in_unitspec117

public static final org.antlr.runtime.BitSet FOLLOW_50_in_unitspec117

FOLLOW_EOF_in_unitspec123

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_unitspec123

FOLLOW_51_in_classspec138

public static final org.antlr.runtime.BitSet FOLLOW_51_in_classspec138

FOLLOW_formula_in_classspec142

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_classspec142

FOLLOW_SEMICOLON_in_classspec144

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_classspec144

FOLLOW_EOF_in_classspec155

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_classspec155

FOLLOW_52_in_methodspec177

public static final org.antlr.runtime.BitSet FOLLOW_52_in_methodspec177

FOLLOW_SEMICOLON_in_methodspec179

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec179

FOLLOW_53_in_methodspec190

public static final org.antlr.runtime.BitSet FOLLOW_53_in_methodspec190

FOLLOW_formula_in_methodspec194

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_methodspec194

FOLLOW_SEMICOLON_in_methodspec196

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec196

FOLLOW_54_in_methodspec207

public static final org.antlr.runtime.BitSet FOLLOW_54_in_methodspec207

FOLLOW_names_in_methodspec211

public static final org.antlr.runtime.BitSet FOLLOW_names_in_methodspec211

FOLLOW_SEMICOLON_in_methodspec213

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec213

FOLLOW_55_in_methodspec224

public static final org.antlr.runtime.BitSet FOLLOW_55_in_methodspec224

FOLLOW_names_in_methodspec228

public static final org.antlr.runtime.BitSet FOLLOW_names_in_methodspec228

FOLLOW_SEMICOLON_in_methodspec230

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec230

FOLLOW_56_in_methodspec241

public static final org.antlr.runtime.BitSet FOLLOW_56_in_methodspec241

FOLLOW_formula_in_methodspec245

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_methodspec245

FOLLOW_SEMICOLON_in_methodspec247

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec247

FOLLOW_57_in_methodspec258

public static final org.antlr.runtime.BitSet FOLLOW_57_in_methodspec258

FOLLOW_formula_in_methodspec262

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_methodspec262

FOLLOW_SEMICOLON_in_methodspec264

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec264

FOLLOW_58_in_methodspec275

public static final org.antlr.runtime.BitSet FOLLOW_58_in_methodspec275

FOLLOW_term_in_methodspec279

public static final org.antlr.runtime.BitSet FOLLOW_term_in_methodspec279

FOLLOW_COMMA_in_methodspec289

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_methodspec289

FOLLOW_term_in_methodspec293

public static final org.antlr.runtime.BitSet FOLLOW_term_in_methodspec293

FOLLOW_SEMICOLON_in_methodspec300

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_methodspec300

FOLLOW_EOF_in_methodspec314

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_methodspec314

FOLLOW_51_in_loopspec335

public static final org.antlr.runtime.BitSet FOLLOW_51_in_loopspec335

FOLLOW_formula_in_loopspec339

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_loopspec339

FOLLOW_SEMICOLON_in_loopspec341

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_loopspec341

FOLLOW_58_in_loopspec352

public static final org.antlr.runtime.BitSet FOLLOW_58_in_loopspec352

FOLLOW_term_in_loopspec356

public static final org.antlr.runtime.BitSet FOLLOW_term_in_loopspec356

FOLLOW_COMMA_in_loopspec366

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_loopspec366

FOLLOW_term_in_loopspec370

public static final org.antlr.runtime.BitSet FOLLOW_term_in_loopspec370

FOLLOW_SEMICOLON_in_loopspec377

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_loopspec377

FOLLOW_EOF_in_loopspec391

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_loopspec391

FOLLOW_59_in_statementspec406

public static final org.antlr.runtime.BitSet FOLLOW_59_in_statementspec406

FOLLOW_formula_in_statementspec410

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_statementspec410

FOLLOW_SEMICOLON_in_statementspec412

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_statementspec412

FOLLOW_EOF_in_statementspec421

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_statementspec421

FOLLOW_60_in_theorydecl446

public static final org.antlr.runtime.BitSet FOLLOW_60_in_theorydecl446

FOLLOW_name_in_theorydecl450

public static final org.antlr.runtime.BitSet FOLLOW_name_in_theorydecl450

FOLLOW_SEMICOLON_in_theorydecl452

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_theorydecl452

FOLLOW_imports_in_theorydecl461

public static final org.antlr.runtime.BitSet FOLLOW_imports_in_theorydecl461

FOLLOW_61_in_theorydecl472

public static final org.antlr.runtime.BitSet FOLLOW_61_in_theorydecl472

FOLLOW_47_in_theorydecl477

public static final org.antlr.runtime.BitSet FOLLOW_47_in_theorydecl477

FOLLOW_IDENT_in_theorydecl481

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_theorydecl481

FOLLOW_48_in_theorydecl485

public static final org.antlr.runtime.BitSet FOLLOW_48_in_theorydecl485

FOLLOW_names_in_theorydecl489

public static final org.antlr.runtime.BitSet FOLLOW_names_in_theorydecl489

FOLLOW_49_in_theorydecl496

public static final org.antlr.runtime.BitSet FOLLOW_49_in_theorydecl496

FOLLOW_declaration_in_theorydecl504

public static final org.antlr.runtime.BitSet FOLLOW_declaration_in_theorydecl504

FOLLOW_SEMICOLON_in_theorydecl511

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_theorydecl511

FOLLOW_50_in_theorydecl516

public static final org.antlr.runtime.BitSet FOLLOW_50_in_theorydecl516

FOLLOW_EOF_in_theorydecl524

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_theorydecl524

FOLLOW_62_in_imports552

public static final org.antlr.runtime.BitSet FOLLOW_62_in_imports552

FOLLOW_name_in_imports556

public static final org.antlr.runtime.BitSet FOLLOW_name_in_imports556

FOLLOW_PERIOD_in_imports565

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_imports565

FOLLOW_TIMES_in_imports567

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_imports567

FOLLOW_SEMICOLON_in_imports574

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_imports574

FOLLOW_declaration_in_declarations608

public static final org.antlr.runtime.BitSet FOLLOW_declaration_in_declarations608

FOLLOW_SEMICOLON_in_declarations615

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_declarations615

FOLLOW_IDENT_in_declaration644

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_declaration644

FOLLOW_COLON_in_declaration646

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_declaration646

FOLLOW_63_in_declaration654

public static final org.antlr.runtime.BitSet FOLLOW_63_in_declaration654

FOLLOW_63_in_declaration666

public static final org.antlr.runtime.BitSet FOLLOW_63_in_declaration666

FOLLOW_EQUALITY_in_declaration668

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration668

FOLLOW_typeExp_in_declaration672

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_declaration672

FOLLOW_64_in_declaration685

public static final org.antlr.runtime.BitSet FOLLOW_64_in_declaration685

FOLLOW_formula_in_declaration689

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration689

FOLLOW_65_in_declaration701

public static final org.antlr.runtime.BitSet FOLLOW_65_in_declaration701

FOLLOW_formula_in_declaration705

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration705

FOLLOW_typeExp_in_declaration719

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_declaration719

FOLLOW_EQUALITY_in_declaration723

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration723

FOLLOW_term_in_declaration727

public static final org.antlr.runtime.BitSet FOLLOW_term_in_declaration727

FOLLOW_EQUALITY_in_declaration749

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration749

FOLLOW_66_in_declaration751

public static final org.antlr.runtime.BitSet FOLLOW_66_in_declaration751

FOLLOW_paramList_in_declaration755

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_declaration755

FOLLOW_COLON_in_declaration757

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_declaration757

FOLLOW_formula_in_declaration761

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration761

FOLLOW_EQUIV_in_declaration783

public static final org.antlr.runtime.BitSet FOLLOW_EQUIV_in_declaration783

FOLLOW_formula_in_declaration787

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration787

FOLLOW_typeExpBase_in_typeExp840

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp840

FOLLOW_ARROW_in_typeExp842

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_typeExp842

FOLLOW_typeExp_in_typeExp846

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp846

FOLLOW_LPAR_in_typeExp867

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExp867

FOLLOW_typeExp_in_typeExp871

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp871

FOLLOW_COMMA_in_typeExp883

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExp883

FOLLOW_typeExp_in_typeExp888

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp888

FOLLOW_RPAR_in_typeExp899

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExp899

FOLLOW_ARROW_in_typeExp901

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_typeExp901

FOLLOW_typeExp_in_typeExp905

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp905

FOLLOW_67_in_typeExp913

public static final org.antlr.runtime.BitSet FOLLOW_67_in_typeExp913

FOLLOW_typeExpBase_in_typeExp917

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp917

FOLLOW_68_in_typeExp919

public static final org.antlr.runtime.BitSet FOLLOW_68_in_typeExp919

FOLLOW_typeExp_in_typeExp923

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp923

FOLLOW_typeExpBase_in_typeExp933

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp933

FOLLOW_name_in_typeExpBase967

public static final org.antlr.runtime.BitSet FOLLOW_name_in_typeExpBase967

FOLLOW_69_in_typeExpBase975

public static final org.antlr.runtime.BitSet FOLLOW_69_in_typeExpBase975

FOLLOW_70_in_typeExpBase984

public static final org.antlr.runtime.BitSet FOLLOW_70_in_typeExpBase984

FOLLOW_71_in_typeExpBase993

public static final org.antlr.runtime.BitSet FOLLOW_71_in_typeExpBase993

FOLLOW_72_in_typeExpBase1001

public static final org.antlr.runtime.BitSet FOLLOW_72_in_typeExpBase1001

FOLLOW_73_in_typeExpBase1011

public static final org.antlr.runtime.BitSet FOLLOW_73_in_typeExpBase1011

FOLLOW_74_in_typeExpBase1021

public static final org.antlr.runtime.BitSet FOLLOW_74_in_typeExpBase1021

FOLLOW_75_in_typeExpBase1030

public static final org.antlr.runtime.BitSet FOLLOW_75_in_typeExpBase1030

FOLLOW_76_in_typeExpBase1039

public static final org.antlr.runtime.BitSet FOLLOW_76_in_typeExpBase1039

FOLLOW_LPAR_in_typeExpBase1043

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1043

FOLLOW_typeExp_in_typeExpBase1047

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1047

FOLLOW_RPAR_in_typeExpBase1049

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1049

FOLLOW_LBRACK_in_typeExpBase1071

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1071

FOLLOW_typeExp_in_typeExpBase1083

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1083

FOLLOW_COMMA_in_typeExpBase1097

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1097

FOLLOW_typeExp_in_typeExpBase1102

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1102

FOLLOW_RBRACK_in_typeExpBase1110

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1110

FOLLOW_LBRACK_in_typeExpBase1132

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1132

FOLLOW_typeExp_in_typeExpBase1136

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1136

FOLLOW_RBRACK_in_typeExpBase1138

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1138

FOLLOW_LBRACKGRID_in_typeExpBase1146

public static final org.antlr.runtime.BitSet FOLLOW_LBRACKGRID_in_typeExpBase1146

FOLLOW_IDENT_in_typeExpBase1152

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_typeExpBase1152

FOLLOW_COLON_in_typeExpBase1154

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_typeExpBase1154

FOLLOW_typeExp_in_typeExpBase1158

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1158

FOLLOW_COMMA_in_typeExpBase1182

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1182

FOLLOW_IDENT_in_typeExpBase1186

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_typeExpBase1186

FOLLOW_COLON_in_typeExpBase1188

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_typeExpBase1188

FOLLOW_typeExp_in_typeExpBase1192

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1192

FOLLOW_RBRACKGRID_in_typeExpBase1208

public static final org.antlr.runtime.BitSet FOLLOW_RBRACKGRID_in_typeExpBase1208

FOLLOW_77_in_typeExpBase1216

public static final org.antlr.runtime.BitSet FOLLOW_77_in_typeExpBase1216

FOLLOW_LPAR_in_typeExpBase1218

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1218

FOLLOW_term_in_typeExpBase1222

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1222

FOLLOW_RPAR_in_typeExpBase1224

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1224

FOLLOW_LBRACK_in_typeExpBase1232

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1232

FOLLOW_term_in_typeExpBase1236

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1236

FOLLOW_DOTDOT_in_typeExpBase1238

public static final org.antlr.runtime.BitSet FOLLOW_DOTDOT_in_typeExpBase1238

FOLLOW_term_in_typeExpBase1242

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1242

FOLLOW_RBRACK_in_typeExpBase1244

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1244

FOLLOW_78_in_typeExpBase1252

public static final org.antlr.runtime.BitSet FOLLOW_78_in_typeExpBase1252

FOLLOW_LPAR_in_typeExpBase1260

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1260

FOLLOW_typeExp_in_typeExpBase1264

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1264

FOLLOW_COMMA_in_typeExpBase1270

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1270

FOLLOW_typeExp_in_typeExpBase1275

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1275

FOLLOW_RPAR_in_typeExpBase1283

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1283

FOLLOW_LPAR_in_typeExpBase1294

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1294

FOLLOW_typeExp_in_typeExpBase1298

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1298

FOLLOW_RPAR_in_typeExpBase1300

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1300

FOLLOW_formula_in_formulaEOF1330

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formulaEOF1330

FOLLOW_EOF_in_formulaEOF1332

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_formulaEOF1332

FOLLOW_79_in_formula1357

public static final org.antlr.runtime.BitSet FOLLOW_79_in_formula1357

FOLLOW_paramList_in_formula1361

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_formula1361

FOLLOW_COLON_in_formula1363

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_formula1363

FOLLOW_formula_in_formula1367

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1367

FOLLOW_80_in_formula1375

public static final org.antlr.runtime.BitSet FOLLOW_80_in_formula1375

FOLLOW_paramList_in_formula1379

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_formula1379

FOLLOW_COLON_in_formula1381

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_formula1381

FOLLOW_formula_in_formula1385

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1385

FOLLOW_formula10_in_formula1395

public static final org.antlr.runtime.BitSet FOLLOW_formula10_in_formula1395

FOLLOW_81_in_formula101436

public static final org.antlr.runtime.BitSet FOLLOW_81_in_formula101436

FOLLOW_vdefinition_in_formula101440

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_formula101440

FOLLOW_COMMA_in_formula101450

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_formula101450

FOLLOW_vdefinition_in_formula101454

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_formula101454

FOLLOW_82_in_formula101461

public static final org.antlr.runtime.BitSet FOLLOW_82_in_formula101461

FOLLOW_formula10_in_formula101465

public static final org.antlr.runtime.BitSet FOLLOW_formula10_in_formula101465

FOLLOW_formula20_in_formula101477

public static final org.antlr.runtime.BitSet FOLLOW_formula20_in_formula101477

FOLLOW_formula30_in_formula201529

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201529

FOLLOW_IMPLIES_in_formula201531

public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_formula201531

FOLLOW_formula20_in_formula201535

public static final org.antlr.runtime.BitSet FOLLOW_formula20_in_formula201535

FOLLOW_formula30_in_formula201554

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201554

FOLLOW_EQUIV_in_formula201564

public static final org.antlr.runtime.BitSet FOLLOW_EQUIV_in_formula201564

FOLLOW_formula30_in_formula201568

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201568

FOLLOW_83_in_formula201584

public static final org.antlr.runtime.BitSet FOLLOW_83_in_formula201584

FOLLOW_formula30_in_formula201588

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201588

FOLLOW_formula40_in_formula301632

public static final org.antlr.runtime.BitSet FOLLOW_formula40_in_formula301632

FOLLOW_84_in_formula301640

public static final org.antlr.runtime.BitSet FOLLOW_84_in_formula301640

FOLLOW_formula40_in_formula301644

public static final org.antlr.runtime.BitSet FOLLOW_formula40_in_formula301644

FOLLOW_formula50_in_formula401683

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula401683

FOLLOW_85_in_formula401691

public static final org.antlr.runtime.BitSet FOLLOW_85_in_formula401691

FOLLOW_formula50_in_formula401695

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula401695

FOLLOW_86_in_formula501732

public static final org.antlr.runtime.BitSet FOLLOW_86_in_formula501732

FOLLOW_formula50_in_formula501736

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula501736

FOLLOW_formula60_in_formula501746

public static final org.antlr.runtime.BitSet FOLLOW_formula60_in_formula501746

FOLLOW_term_in_formula601812

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601812

FOLLOW_EQUALITY_in_formula601818

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_formula601818

FOLLOW_term_in_formula601822

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601822

FOLLOW_NONEQUALITY_in_formula601834

public static final org.antlr.runtime.BitSet FOLLOW_NONEQUALITY_in_formula601834

FOLLOW_term_in_formula601838

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601838

FOLLOW_LESS_in_formula601850

public static final org.antlr.runtime.BitSet FOLLOW_LESS_in_formula601850

FOLLOW_term_in_formula601854

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601854

FOLLOW_LESSEQ_in_formula601866

public static final org.antlr.runtime.BitSet FOLLOW_LESSEQ_in_formula601866

FOLLOW_term_in_formula601870

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601870

FOLLOW_GREATER_in_formula601882

public static final org.antlr.runtime.BitSet FOLLOW_GREATER_in_formula601882

FOLLOW_term_in_formula601886

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601886

FOLLOW_GREATEREQ_in_formula601898

public static final org.antlr.runtime.BitSet FOLLOW_GREATEREQ_in_formula601898

FOLLOW_term_in_formula601902

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601902

FOLLOW_formula70_in_formula601918

public static final org.antlr.runtime.BitSet FOLLOW_formula70_in_formula601918

FOLLOW_name_in_formula701949

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula701949

FOLLOW_LPAR_in_formula701953

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula701953

FOLLOW_term_in_formula701957

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula701957

FOLLOW_COMMA_in_formula701970

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_formula701970

FOLLOW_term_in_formula701974

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula701974

FOLLOW_RPAR_in_formula701981

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula701981

FOLLOW_87_in_formula701990

public static final org.antlr.runtime.BitSet FOLLOW_87_in_formula701990

FOLLOW_ATSYMBOL_in_formula701992

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula701992

FOLLOW_statearg_in_formula701996

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula701996

FOLLOW_88_in_formula702002

public static final org.antlr.runtime.BitSet FOLLOW_88_in_formula702002

FOLLOW_ATSYMBOL_in_formula702004

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702004

FOLLOW_statearg_in_formula702008

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702008

FOLLOW_89_in_formula702013

public static final org.antlr.runtime.BitSet FOLLOW_89_in_formula702013

FOLLOW_ATSYMBOL_in_formula702015

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702015

FOLLOW_statearg_in_formula702019

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702019

FOLLOW_90_in_formula702025

public static final org.antlr.runtime.BitSet FOLLOW_90_in_formula702025

FOLLOW_ATSYMBOL_in_formula702027

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702027

FOLLOW_statearg_in_formula702031

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702031

FOLLOW_91_in_formula702037

public static final org.antlr.runtime.BitSet FOLLOW_91_in_formula702037

FOLLOW_ATSYMBOL_in_formula702039

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702039

FOLLOW_statearg_in_formula702043

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702043

FOLLOW_91_in_formula702049

public static final org.antlr.runtime.BitSet FOLLOW_91_in_formula702049

FOLLOW_LPAR_in_formula702051

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula702051

FOLLOW_name_in_formula702055

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula702055

FOLLOW_RPAR_in_formula702057

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula702057

FOLLOW_ATSYMBOL_in_formula702059

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702059

FOLLOW_statearg_in_formula702063

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702063

FOLLOW_formula100_in_formula702071

public static final org.antlr.runtime.BitSet FOLLOW_formula100_in_formula702071

FOLLOW_92_in_statearg2100

public static final org.antlr.runtime.BitSet FOLLOW_92_in_statearg2100

FOLLOW_93_in_statearg2108

public static final org.antlr.runtime.BitSet FOLLOW_93_in_statearg2108

FOLLOW_name_in_statearg2117

public static final org.antlr.runtime.BitSet FOLLOW_name_in_statearg2117

FOLLOW_name_in_formula1002149

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002149

FOLLOW_94_in_formula1002157

public static final org.antlr.runtime.BitSet FOLLOW_94_in_formula1002157

FOLLOW_name_in_formula1002161

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002161

FOLLOW_95_in_formula1002169

public static final org.antlr.runtime.BitSet FOLLOW_95_in_formula1002169

FOLLOW_name_in_formula1002173

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002173

FOLLOW_name_in_formula1002256

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002256

FOLLOW_LPAR_in_formula1002268

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002268

FOLLOW_94_in_formula1002270

public static final org.antlr.runtime.BitSet FOLLOW_94_in_formula1002270

FOLLOW_name_in_formula1002274

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002274

FOLLOW_RPAR_in_formula1002276

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002276

FOLLOW_LPAR_in_formula1002288

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002288

FOLLOW_95_in_formula1002290

public static final org.antlr.runtime.BitSet FOLLOW_95_in_formula1002290

FOLLOW_name_in_formula1002294

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002294

FOLLOW_RPAR_in_formula1002296

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002296

FOLLOW_PERIOD_in_formula1002312

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_formula1002312

FOLLOW_NUMBER_in_formula1002323

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_formula1002323

FOLLOW_IDENT_in_formula1002341

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_formula1002341

FOLLOW_LBRACK_in_formula1002360

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_formula1002360

FOLLOW_term_in_formula1002364

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula1002364

FOLLOW_RBRACK_in_formula1002366

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_formula1002366

FOLLOW_96_in_formula1002383

public static final org.antlr.runtime.BitSet FOLLOW_96_in_formula1002383

FOLLOW_97_in_formula1002391

public static final org.antlr.runtime.BitSet FOLLOW_97_in_formula1002391

FOLLOW_98_in_formula1002399

public static final org.antlr.runtime.BitSet FOLLOW_98_in_formula1002399

FOLLOW_formula_in_formula1002403

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002403

FOLLOW_99_in_formula1002405

public static final org.antlr.runtime.BitSet FOLLOW_99_in_formula1002405

FOLLOW_formula_in_formula1002409

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002409

FOLLOW_100_in_formula1002423

public static final org.antlr.runtime.BitSet FOLLOW_100_in_formula1002423

FOLLOW_formula_in_formula1002427

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002427

FOLLOW_99_in_formula1002429

public static final org.antlr.runtime.BitSet FOLLOW_99_in_formula1002429

FOLLOW_formula_in_formula1002433

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002433

FOLLOW_101_in_formula1002451

public static final org.antlr.runtime.BitSet FOLLOW_101_in_formula1002451

FOLLOW_formula_in_formula1002455

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002455

FOLLOW_102_in_formula1002457

public static final org.antlr.runtime.BitSet FOLLOW_102_in_formula1002457

FOLLOW_103_in_formula1002467

public static final org.antlr.runtime.BitSet FOLLOW_103_in_formula1002467

FOLLOW_names_in_formula1002471

public static final org.antlr.runtime.BitSet FOLLOW_names_in_formula1002471

FOLLOW_104_in_formula1002479

public static final org.antlr.runtime.BitSet FOLLOW_104_in_formula1002479

FOLLOW_LPAR_in_formula1002487

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002487

FOLLOW_formula_in_formula1002491

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002491

FOLLOW_RPAR_in_formula1002493

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002493

FOLLOW_105_in_term2528

public static final org.antlr.runtime.BitSet FOLLOW_105_in_term2528

FOLLOW_paramList_in_term2532

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_term2532

FOLLOW_COLON_in_term2534

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_term2534

FOLLOW_term_in_term2538

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term2538

FOLLOW_67_in_term2546

public static final org.antlr.runtime.BitSet FOLLOW_67_in_term2546

FOLLOW_paramList_in_term2550

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_term2550

FOLLOW_COLON_in_term2552

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_term2552

FOLLOW_term_in_term2556

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term2556

FOLLOW_term10_in_term2566

public static final org.antlr.runtime.BitSet FOLLOW_term10_in_term2566

FOLLOW_81_in_term102604

public static final org.antlr.runtime.BitSet FOLLOW_81_in_term102604

FOLLOW_vdefinition_in_term102608

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_term102608

FOLLOW_COMMA_in_term102618

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term102618

FOLLOW_vdefinition_in_term102622

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_term102622

FOLLOW_82_in_term102629

public static final org.antlr.runtime.BitSet FOLLOW_82_in_term102629

FOLLOW_term10_in_term102633

public static final org.antlr.runtime.BitSet FOLLOW_term10_in_term102633

FOLLOW_term20_in_term102645

public static final org.antlr.runtime.BitSet FOLLOW_term20_in_term102645

FOLLOW_term30_in_term202678

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202678

FOLLOW_PLUS_in_term202691

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_term202691

FOLLOW_term30_in_term202695

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202695

FOLLOW_MINUS_in_term202712

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_term202712

FOLLOW_term30_in_term202716

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202716

FOLLOW_DIVIDES_in_term202733

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term202733

FOLLOW_term40_in_term202737

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term202737

FOLLOW_term40_in_term302778

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302778

FOLLOW_TIMES_in_term302791

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_term302791

FOLLOW_term40_in_term302795

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302795

FOLLOW_DIVIDES_in_term302812

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term302812

FOLLOW_term40_in_term302816

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302816

FOLLOW_DIVIDES_in_term302834

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term302834

FOLLOW_term40_in_term302838

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302838

FOLLOW_term50_in_term402879

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term402879

FOLLOW_POWER_in_term402892

public static final org.antlr.runtime.BitSet FOLLOW_POWER_in_term402892

FOLLOW_term50_in_term402896

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term402896

FOLLOW_PLUS_in_term502934

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_term502934

FOLLOW_term50_in_term502938

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502938

FOLLOW_MINUS_in_term502946

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_term502946

FOLLOW_term50_in_term502950

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502950

FOLLOW_BITNOT_in_term502958

public static final org.antlr.runtime.BitSet FOLLOW_BITNOT_in_term502958

FOLLOW_term50_in_term502962

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502962

FOLLOW_term60_in_term502974

public static final org.antlr.runtime.BitSet FOLLOW_term60_in_term502974

FOLLOW_term70_in_term603007

public static final org.antlr.runtime.BitSet FOLLOW_term70_in_term603007

FOLLOW_106_in_term603020

public static final org.antlr.runtime.BitSet FOLLOW_106_in_term603020

FOLLOW_PERIOD_in_term603030

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_term603030

FOLLOW_NUMBER_in_term603042

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term603042

FOLLOW_IDENT_in_term603065

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term603065

FOLLOW_LBRACK_in_term603092

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_term603092

FOLLOW_term_in_term603096

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term603096

FOLLOW_RBRACK_in_term603098

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_term603098

FOLLOW_ASSIGNMENT_in_term603122

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term603122

FOLLOW_term70_in_term603126

public static final org.antlr.runtime.BitSet FOLLOW_term70_in_term603126

FOLLOW_term80_in_term703166

public static final org.antlr.runtime.BitSet FOLLOW_term80_in_term703166

FOLLOW_PERIOD_in_term703174

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_term703174

FOLLOW_NUMBER_in_term703185

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term703185

FOLLOW_IDENT_in_term703203

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term703203

FOLLOW_LBRACK_in_term703222

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_term703222

FOLLOW_term_in_term703226

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term703226

FOLLOW_RBRACK_in_term703228

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_term703228

FOLLOW_107_in_term803266

public static final org.antlr.runtime.BitSet FOLLOW_107_in_term803266

FOLLOW_ATSYMBOL_in_term803268

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_term803268

FOLLOW_term100_in_term803272

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803272

FOLLOW_108_in_term803280

public static final org.antlr.runtime.BitSet FOLLOW_108_in_term803280

FOLLOW_ATSYMBOL_in_term803282

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_term803282

FOLLOW_term100_in_term803286

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803286

FOLLOW_term100_in_term803296

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803296

FOLLOW_LPAR_in_term803311

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_term803311

FOLLOW_term_in_term803315

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term803315

FOLLOW_COMMA_in_term803325

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term803325

FOLLOW_term_in_term803329

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term803329

FOLLOW_RPAR_in_term803336

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_term803336

FOLLOW_name_in_term1003377

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003377

FOLLOW_NUMBER_in_term1003387

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term1003387

FOLLOW_STRING_in_term1003397

public static final org.antlr.runtime.BitSet FOLLOW_STRING_in_term1003397

FOLLOW_96_in_term1003405

public static final org.antlr.runtime.BitSet FOLLOW_96_in_term1003405

FOLLOW_97_in_term1003413

public static final org.antlr.runtime.BitSet FOLLOW_97_in_term1003413

FOLLOW_109_in_term1003421

public static final org.antlr.runtime.BitSet FOLLOW_109_in_term1003421

FOLLOW_110_in_term1003429

public static final org.antlr.runtime.BitSet FOLLOW_110_in_term1003429

FOLLOW_111_in_term1003437

public static final org.antlr.runtime.BitSet FOLLOW_111_in_term1003437

FOLLOW_112_in_term1003445

public static final org.antlr.runtime.BitSet FOLLOW_112_in_term1003445

FOLLOW_94_in_term1003453

public static final org.antlr.runtime.BitSet FOLLOW_94_in_term1003453

FOLLOW_name_in_term1003457

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003457

FOLLOW_95_in_term1003465

public static final org.antlr.runtime.BitSet FOLLOW_95_in_term1003465

FOLLOW_name_in_term1003469

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003469

FOLLOW_92_in_term1003477

public static final org.antlr.runtime.BitSet FOLLOW_92_in_term1003477

FOLLOW_93_in_term1003485

public static final org.antlr.runtime.BitSet FOLLOW_93_in_term1003485

FOLLOW_LPAR_in_term1003493

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_term1003493

FOLLOW_term_in_term1003497

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003497

FOLLOW_COMMA_in_term1003509

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term1003509

FOLLOW_term_in_term1003514

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003514

FOLLOW_RPAR_in_term1003521

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_term1003521

FOLLOW_LPARGRID_in_term1003529

public static final org.antlr.runtime.BitSet FOLLOW_LPARGRID_in_term1003529

FOLLOW_IDENT_in_term1003535

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term1003535

FOLLOW_ASSIGNMENT_in_term1003537

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term1003537

FOLLOW_term_in_term1003541

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003541

FOLLOW_COMMA_in_term1003565

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term1003565

FOLLOW_IDENT_in_term1003569

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term1003569

FOLLOW_ASSIGNMENT_in_term1003571

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term1003571

FOLLOW_term_in_term1003575

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003575

FOLLOW_RPARGRID_in_term1003593

public static final org.antlr.runtime.BitSet FOLLOW_RPARGRID_in_term1003593

FOLLOW_98_in_term1003601

public static final org.antlr.runtime.BitSet FOLLOW_98_in_term1003601

FOLLOW_formula_in_term1003605

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_term1003605

FOLLOW_99_in_term1003607

public static final org.antlr.runtime.BitSet FOLLOW_99_in_term1003607

FOLLOW_term_in_term1003611

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003611

FOLLOW_100_in_term1003625

public static final org.antlr.runtime.BitSet FOLLOW_100_in_term1003625

FOLLOW_formula_in_term1003629

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_term1003629

FOLLOW_99_in_term1003631

public static final org.antlr.runtime.BitSet FOLLOW_99_in_term1003631

FOLLOW_term_in_term1003635

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003635

FOLLOW_101_in_term1003653

public static final org.antlr.runtime.BitSet FOLLOW_101_in_term1003653

FOLLOW_term_in_term1003657

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003657

FOLLOW_102_in_term1003659

public static final org.antlr.runtime.BitSet FOLLOW_102_in_term1003659

FOLLOW_LPAR_in_paramList3687

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_paramList3687

FOLLOW_param_in_paramList3689

public static final org.antlr.runtime.BitSet FOLLOW_param_in_paramList3689

FOLLOW_COMMA_in_paramList3694

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_paramList3694

FOLLOW_param_in_paramList3696

public static final org.antlr.runtime.BitSet FOLLOW_param_in_paramList3696

FOLLOW_RPAR_in_paramList3702

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_paramList3702

FOLLOW_IDENT_in_param3724

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_param3724

FOLLOW_COMMA_in_param3735

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_param3735

FOLLOW_IDENT_in_param3739

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_param3739

FOLLOW_COLON_in_param3753

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_param3753

FOLLOW_typeExp_in_param3757

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_param3757

FOLLOW_IDENT_in_vdefinition3780

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_vdefinition3780

FOLLOW_COLON_in_vdefinition3782

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_vdefinition3782

FOLLOW_typeExp_in_vdefinition3786

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_vdefinition3786

FOLLOW_EQUALITY_in_vdefinition3789

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_vdefinition3789

FOLLOW_term_in_vdefinition3793

public static final org.antlr.runtime.BitSet FOLLOW_term_in_vdefinition3793

FOLLOW_IDENT_in_vdefinition3805

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_vdefinition3805

FOLLOW_EQUALITY_in_vdefinition3807

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_vdefinition3807

FOLLOW_term_in_vdefinition3811

public static final org.antlr.runtime.BitSet FOLLOW_term_in_vdefinition3811

FOLLOW_IDENT_in_name3841

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_name3841

FOLLOW_PERIOD_in_name3854

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_name3854

FOLLOW_IDENT_in_name3858

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_name3858

FOLLOW_name_in_names3885

public static final org.antlr.runtime.BitSet FOLLOW_name_in_names3885

FOLLOW_COMMA_in_names3891

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_names3891

FOLLOW_name_in_names3895

public static final org.antlr.runtime.BitSet FOLLOW_name_in_names3895

FOLLOW_typeExpBase_in_synpred1_SpecLang831

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_synpred1_SpecLang831

FOLLOW_ARROW_in_synpred1_SpecLang833

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_synpred1_SpecLang833

FOLLOW_LPAR_in_synpred2_SpecLang856

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred2_SpecLang856

FOLLOW_typeExp_in_synpred2_SpecLang858

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred2_SpecLang858

FOLLOW_COMMA_in_synpred2_SpecLang860

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_synpred2_SpecLang860

FOLLOW_LBRACK_in_synpred3_SpecLang1062

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred3_SpecLang1062

FOLLOW_typeExp_in_synpred3_SpecLang1064

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred3_SpecLang1064

FOLLOW_COMMA_in_synpred3_SpecLang1066

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_synpred3_SpecLang1066

FOLLOW_LBRACK_in_synpred4_SpecLang1123

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred4_SpecLang1123

FOLLOW_typeExp_in_synpred4_SpecLang1125

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred4_SpecLang1125

FOLLOW_RBRACK_in_synpred4_SpecLang1127

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_synpred4_SpecLang1127

FOLLOW_81_in_synpred5_SpecLang1428

public static final org.antlr.runtime.BitSet FOLLOW_81_in_synpred5_SpecLang1428

FOLLOW_formula30_in_synpred6_SpecLang1515

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_synpred6_SpecLang1515

FOLLOW_IMPLIES_in_synpred6_SpecLang1517

public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_synpred6_SpecLang1517

FOLLOW_term_in_synpred7_SpecLang1777

public static final org.antlr.runtime.BitSet FOLLOW_term_in_synpred7_SpecLang1777

FOLLOW_set_in_synpred7_SpecLang1779

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred7_SpecLang1779

FOLLOW_name_in_synpred8_SpecLang2185

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2185

FOLLOW_PERIOD_in_synpred8_SpecLang2188

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_synpred8_SpecLang2188

FOLLOW_NUMBER_in_synpred8_SpecLang2190

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_synpred8_SpecLang2190

FOLLOW_LBRACK_in_synpred8_SpecLang2194

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred8_SpecLang2194

FOLLOW_LPAR_in_synpred8_SpecLang2201

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred8_SpecLang2201

FOLLOW_94_in_synpred8_SpecLang2203

public static final org.antlr.runtime.BitSet FOLLOW_94_in_synpred8_SpecLang2203

FOLLOW_name_in_synpred8_SpecLang2205

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2205

FOLLOW_RPAR_in_synpred8_SpecLang2207

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_synpred8_SpecLang2207

FOLLOW_set_in_synpred8_SpecLang2209

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred8_SpecLang2209

FOLLOW_LPAR_in_synpred8_SpecLang2222

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred8_SpecLang2222

FOLLOW_95_in_synpred8_SpecLang2224

public static final org.antlr.runtime.BitSet FOLLOW_95_in_synpred8_SpecLang2224

FOLLOW_name_in_synpred8_SpecLang2226

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2226

FOLLOW_RPAR_in_synpred8_SpecLang2228

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_synpred8_SpecLang2228

FOLLOW_set_in_synpred8_SpecLang2230

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred8_SpecLang2230

FOLLOW_PLUS_in_synpred9_SpecLang2687

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_synpred9_SpecLang2687

FOLLOW_MINUS_in_synpred10_SpecLang2708

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_synpred10_SpecLang2708

FOLLOW_BITOR_in_synpred11_SpecLang2729

public static final org.antlr.runtime.BitSet FOLLOW_BITOR_in_synpred11_SpecLang2729

FOLLOW_TIMES_in_synpred12_SpecLang2787

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_synpred12_SpecLang2787

FOLLOW_DIVIDES_in_synpred13_SpecLang2808

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_synpred13_SpecLang2808

FOLLOW_BITAND_in_synpred14_SpecLang2830

public static final org.antlr.runtime.BitSet FOLLOW_BITAND_in_synpred14_SpecLang2830

FOLLOW_POWER_in_synpred15_SpecLang2888

public static final org.antlr.runtime.BitSet FOLLOW_POWER_in_synpred15_SpecLang2888

FOLLOW_106_in_synpred16_SpecLang3016

public static final org.antlr.runtime.BitSet FOLLOW_106_in_synpred16_SpecLang3016

FOLLOW_LPAR_in_synpred17_SpecLang3306

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred17_SpecLang3306

FOLLOW_PERIOD_in_synpred18_SpecLang3850

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_synpred18_SpecLang3850

Constructor Detail

SpecLangParser

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

SpecLangParser

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

SpecLangParser

public SpecLangParser(org.antlr.runtime.TokenStream input,
                      ErrorStream error,
                      Source source)

SpecLangParser

public SpecLangParser(org.antlr.runtime.TokenStream input,
                      ErrorStream error,
                      SourcePosition pos,
                      java.lang.String text)

Method Detail

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

getLine

public java.lang.String getLine(int i)

getErrorHeader

public java.lang.String getErrorHeader(org.antlr.runtime.RecognitionException e)

Overrides:: getErrorHeader in class org.antlr.runtime.BaseRecognizer

emitErrorMessage
```
public void emitErrorMessage(java.lang.String msg)
```
Overrides:

emitErrorMessage in class org.antlr.runtime.BaseRecognizer

getPosition

public SourcePosition getPosition(org.antlr.runtime.Token token)

getPosition
```
public SourcePosition getPosition()
```

constructIdentifier

public Identifier constructIdentifier(org.antlr.runtime.Token token)

unitspec

public final void unitspec(UnitSpec spec)
                    throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

classspec

public final void classspec(ClassSpec spec)
                     throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

methodspec

public final void methodspec(MethodSpec spec)
                      throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

loopspec

public final void loopspec(LoopSpec spec)
                    throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

statementspec

public final void statementspec(StatementSpec spec)
                         throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

theorydecl

public final TheoryDeclaration theorydecl()
                                   throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

imports

public final java.util.Vector<Import> imports()
                                       throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

declarations

public final java.util.Vector<Declaration> declarations()
                                                 throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

declaration

public final Declaration declaration()
                              throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

typeExp

public final Type typeExp()
                   throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

typeExpBase

public final Type typeExpBase()
                       throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

formulaEOF

public final Formula formulaEOF()
                         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

formula10

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

Throws:: org.antlr.runtime.RecognitionException

formula20

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

Throws:: org.antlr.runtime.RecognitionException

formula30

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

Throws:: org.antlr.runtime.RecognitionException

formula40

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

Throws:: org.antlr.runtime.RecognitionException

formula50

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

Throws:: org.antlr.runtime.RecognitionException

formula60

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

Throws:: org.antlr.runtime.RecognitionException

formula70

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

Throws:: org.antlr.runtime.RecognitionException

statearg

public final Term statearg()
                    throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

formula100

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

Throws:: org.antlr.runtime.RecognitionException

term

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

Throws:: org.antlr.runtime.RecognitionException

term10

public final Term term10()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term20

public final Term term20()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term30

public final Term term30()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term40

public final Term term40()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term50

public final Term term50()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term60

public final Term term60()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term70

public final Term term70()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term80

public final Term term80()
                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

term100

public final Term term100()
                   throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

paramList

public final java.util.Vector<TypedIdentifier> paramList()
                                                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

param

public final void param(java.util.Vector<TypedIdentifier> sequence)
                 throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

vdefinition

public final ValueDefinition vdefinition()
                                  throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

name

public final Name name()
                throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

names

public final java.util.Vector<Name> names()
                                   throws org.antlr.runtime.RecognitionException

Throws:: org.antlr.runtime.RecognitionException

synpred1_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred2_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred3_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred4_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred5_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred6_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred7_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred8_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred9_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred10_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred11_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred12_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred13_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred14_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred15_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred16_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred17_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred18_SpecLang_fragment

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

Throws:: org.antlr.runtime.RecognitionException

synpred18_SpecLang

public final boolean synpred18_SpecLang()

synpred1_SpecLang

public final boolean synpred1_SpecLang()

synpred5_SpecLang

public final boolean synpred5_SpecLang()

synpred10_SpecLang

public final boolean synpred10_SpecLang()

synpred7_SpecLang

public final boolean synpred7_SpecLang()

synpred16_SpecLang

public final boolean synpred16_SpecLang()

synpred12_SpecLang

public final boolean synpred12_SpecLang()

synpred2_SpecLang

public final boolean synpred2_SpecLang()

synpred9_SpecLang

public final boolean synpred9_SpecLang()

synpred17_SpecLang

public final boolean synpred17_SpecLang()

synpred11_SpecLang

public final boolean synpred11_SpecLang()

synpred14_SpecLang

public final boolean synpred14_SpecLang()

synpred15_SpecLang

public final boolean synpred15_SpecLang()

synpred8_SpecLang

public final boolean synpred8_SpecLang()

synpred4_SpecLang

public final boolean synpred4_SpecLang()

synpred6_SpecLang

public final boolean synpred6_SpecLang()

synpred3_SpecLang

public final boolean synpred3_SpecLang()

synpred13_SpecLang

public final boolean synpred13_SpecLang()

Class SpecLangParser

Field Summary

Fields inherited from class org.antlr.runtime.Parser

Fields inherited from class org.antlr.runtime.BaseRecognizer

Constructor Summary

Method Summary

Methods inherited from class org.antlr.runtime.Parser

Methods inherited from class org.antlr.runtime.BaseRecognizer

Methods inherited from class java.lang.Object

Field Detail

tokenNames

BITNOT

LETTER

EOF

T__93

T__94

T__91

T__92

GREATER

EOL

T__90

LPAR

LESS

COMMENT

T__99

T__98

T__97

T__96

T__95

RBRACK

T__80

IMPLIES

T__81

ATSYMBOL

T__82

T__83

PERIOD

REALLETTER

NUMBER

POWER

SEMICOLON

T__85

T__84

T__87

T__86

T__89

T__88

EQUIV

DIVIDES

WS

T__71

BITOR

T__72

LBRACKGRID

T__70

RPARGRID

ESCAPED

NONEQUALITY

T__76

T__75

T__74

T__73

T__79

T__78

T__77

T__68

EQUALITY

T__69

T__66

T__67

T__64

LBRACK

T__65

T__62

T__63

DOTDOT

T__61

T__60

BITAND

T__55