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_formula1002413`
`static org.antlr.runtime.BitSet`	`FOLLOW_100_in_term1003615`
`static org.antlr.runtime.BitSet`	`FOLLOW_101_in_formula1002441`
`static org.antlr.runtime.BitSet`	`FOLLOW_101_in_term1003643`
`static org.antlr.runtime.BitSet`	`FOLLOW_102_in_formula1002447`
`static org.antlr.runtime.BitSet`	`FOLLOW_102_in_term1003649`
`static org.antlr.runtime.BitSet`	`FOLLOW_103_in_formula1002457`
`static org.antlr.runtime.BitSet`	`FOLLOW_104_in_formula1002469`
`static org.antlr.runtime.BitSet`	`FOLLOW_105_in_term2518`
`static org.antlr.runtime.BitSet`	`FOLLOW_106_in_synpred16_SpecLang3006`
`static org.antlr.runtime.BitSet`	`FOLLOW_106_in_term603010`
`static org.antlr.runtime.BitSet`	`FOLLOW_107_in_term803256`
`static org.antlr.runtime.BitSet`	`FOLLOW_108_in_term803270`
`static org.antlr.runtime.BitSet`	`FOLLOW_109_in_term1003411`
`static org.antlr.runtime.BitSet`	`FOLLOW_110_in_term1003419`
`static org.antlr.runtime.BitSet`	`FOLLOW_111_in_term1003427`
`static org.antlr.runtime.BitSet`	`FOLLOW_112_in_term1003435`
`static org.antlr.runtime.BitSet`	`FOLLOW_47_in_theorydecl467`
`static org.antlr.runtime.BitSet`	`FOLLOW_47_in_unitspec94`
`static org.antlr.runtime.BitSet`	`FOLLOW_48_in_theorydecl475`
`static org.antlr.runtime.BitSet`	`FOLLOW_48_in_unitspec98`
`static org.antlr.runtime.BitSet`	`FOLLOW_49_in_theorydecl486`
`static org.antlr.runtime.BitSet`	`FOLLOW_49_in_unitspec111`
`static org.antlr.runtime.BitSet`	`FOLLOW_50_in_theorydecl506`
`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_loopspec330`
`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_loopspec347`
`static org.antlr.runtime.BitSet`	`FOLLOW_58_in_methodspec275`
`static org.antlr.runtime.BitSet`	`FOLLOW_59_in_statementspec396`
`static org.antlr.runtime.BitSet`	`FOLLOW_60_in_theorydecl436`
`static org.antlr.runtime.BitSet`	`FOLLOW_61_in_theorydecl462`
`static org.antlr.runtime.BitSet`	`FOLLOW_62_in_imports542`
`static org.antlr.runtime.BitSet`	`FOLLOW_63_in_declaration644`
`static org.antlr.runtime.BitSet`	`FOLLOW_63_in_declaration656`
`static org.antlr.runtime.BitSet`	`FOLLOW_64_in_declaration675`
`static org.antlr.runtime.BitSet`	`FOLLOW_65_in_declaration691`
`static org.antlr.runtime.BitSet`	`FOLLOW_66_in_declaration741`
`static org.antlr.runtime.BitSet`	`FOLLOW_67_in_term2536`
`static org.antlr.runtime.BitSet`	`FOLLOW_67_in_typeExp903`
`static org.antlr.runtime.BitSet`	`FOLLOW_68_in_typeExp909`
`static org.antlr.runtime.BitSet`	`FOLLOW_69_in_typeExpBase965`
`static org.antlr.runtime.BitSet`	`FOLLOW_70_in_typeExpBase974`
`static org.antlr.runtime.BitSet`	`FOLLOW_71_in_typeExpBase983`
`static org.antlr.runtime.BitSet`	`FOLLOW_72_in_typeExpBase991`
`static org.antlr.runtime.BitSet`	`FOLLOW_73_in_typeExpBase1001`
`static org.antlr.runtime.BitSet`	`FOLLOW_74_in_typeExpBase1011`
`static org.antlr.runtime.BitSet`	`FOLLOW_75_in_typeExpBase1020`
`static org.antlr.runtime.BitSet`	`FOLLOW_76_in_typeExpBase1029`
`static org.antlr.runtime.BitSet`	`FOLLOW_77_in_typeExpBase1206`
`static org.antlr.runtime.BitSet`	`FOLLOW_78_in_typeExpBase1242`
`static org.antlr.runtime.BitSet`	`FOLLOW_79_in_formula1347`
`static org.antlr.runtime.BitSet`	`FOLLOW_80_in_formula1365`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_formula101426`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_synpred5_SpecLang1418`
`static org.antlr.runtime.BitSet`	`FOLLOW_81_in_term102594`
`static org.antlr.runtime.BitSet`	`FOLLOW_82_in_formula101451`
`static org.antlr.runtime.BitSet`	`FOLLOW_82_in_term102619`
`static org.antlr.runtime.BitSet`	`FOLLOW_83_in_formula201574`
`static org.antlr.runtime.BitSet`	`FOLLOW_84_in_formula301630`
`static org.antlr.runtime.BitSet`	`FOLLOW_85_in_formula401681`
`static org.antlr.runtime.BitSet`	`FOLLOW_86_in_formula501722`
`static org.antlr.runtime.BitSet`	`FOLLOW_87_in_formula701980`
`static org.antlr.runtime.BitSet`	`FOLLOW_88_in_formula701992`
`static org.antlr.runtime.BitSet`	`FOLLOW_89_in_formula702003`
`static org.antlr.runtime.BitSet`	`FOLLOW_90_in_formula702015`
`static org.antlr.runtime.BitSet`	`FOLLOW_91_in_formula702027`
`static org.antlr.runtime.BitSet`	`FOLLOW_91_in_formula702039`
`static org.antlr.runtime.BitSet`	`FOLLOW_92_in_statearg2090`
`static org.antlr.runtime.BitSet`	`FOLLOW_92_in_term1003467`
`static org.antlr.runtime.BitSet`	`FOLLOW_93_in_statearg2098`
`static org.antlr.runtime.BitSet`	`FOLLOW_93_in_term1003475`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_formula1002147`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_formula1002260`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_synpred8_SpecLang2193`
`static org.antlr.runtime.BitSet`	`FOLLOW_94_in_term1003443`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_formula1002159`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_formula1002280`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_synpred8_SpecLang2214`
`static org.antlr.runtime.BitSet`	`FOLLOW_95_in_term1003455`
`static org.antlr.runtime.BitSet`	`FOLLOW_96_in_formula1002373`
`static org.antlr.runtime.BitSet`	`FOLLOW_96_in_term1003395`
`static org.antlr.runtime.BitSet`	`FOLLOW_97_in_formula1002381`
`static org.antlr.runtime.BitSet`	`FOLLOW_97_in_term1003403`
`static org.antlr.runtime.BitSet`	`FOLLOW_98_in_formula1002389`
`static org.antlr.runtime.BitSet`	`FOLLOW_98_in_term1003591`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_formula1002395`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_formula1002419`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_term1003597`
`static org.antlr.runtime.BitSet`	`FOLLOW_99_in_term1003621`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_synpred1_SpecLang823`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_typeExp832`
`static org.antlr.runtime.BitSet`	`FOLLOW_ARROW_in_typeExp891`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term1003527`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term1003561`
`static org.antlr.runtime.BitSet`	`FOLLOW_ASSIGNMENT_in_term603112`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula701982`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula701994`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702005`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702017`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702029`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_formula702049`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_term803258`
`static org.antlr.runtime.BitSet`	`FOLLOW_ATSYMBOL_in_term803272`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITAND_in_synpred14_SpecLang2820`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITNOT_in_term502948`
`static org.antlr.runtime.BitSet`	`FOLLOW_BITOR_in_synpred11_SpecLang2719`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_declaration636`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_declaration747`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_formula1353`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_formula1371`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_param3743`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_term2524`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_term2542`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_typeExpBase1144`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_typeExpBase1178`
`static org.antlr.runtime.BitSet`	`FOLLOW_COLON_in_vdefinition3772`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_formula101440`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_formula701960`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_loopspec361`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_methodspec289`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_names3881`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_param3725`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_paramList3684`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_synpred2_SpecLang850`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_synpred3_SpecLang1056`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term1003499`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term1003555`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term102608`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_term803315`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExp873`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1087`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1172`
`static org.antlr.runtime.BitSet`	`FOLLOW_COMMA_in_typeExpBase1260`
`static org.antlr.runtime.BitSet`	`FOLLOW_declaration_in_declarations598`
`static org.antlr.runtime.BitSet`	`FOLLOW_declaration_in_theorydecl494`
`static org.antlr.runtime.BitSet`	`FOLLOW_declarations_in_unitspec115`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_synpred13_SpecLang2798`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term202723`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term302802`
`static org.antlr.runtime.BitSet`	`FOLLOW_DIVIDES_in_term302824`
`static org.antlr.runtime.BitSet`	`FOLLOW_DOTDOT_in_typeExpBase1228`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_classspec155`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_formulaEOF1322`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_loopspec381`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_methodspec309`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_statementspec411`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_theorydecl514`
`static org.antlr.runtime.BitSet`	`FOLLOW_EOF_in_unitspec123`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration658`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration713`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_declaration739`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_formula601808`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_vdefinition3779`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUALITY_in_vdefinition3797`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUIV_in_declaration773`
`static org.antlr.runtime.BitSet`	`FOLLOW_EQUIV_in_formula201554`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_classspec142`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration679`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration695`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration751`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_declaration777`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002393`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002399`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002417`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002423`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002445`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1002481`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1357`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formula1375`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_formulaEOF1320`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_loopspec334`
`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_statementspec400`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_term1003595`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula_in_term1003619`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula10_in_formula101455`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula10_in_formula1385`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula100_in_formula702061`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula20_in_formula101467`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula20_in_formula201525`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201519`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201544`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201558`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_formula201578`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula30_in_synpred6_SpecLang1505`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula40_in_formula301622`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula40_in_formula301634`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula401673`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula401685`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula50_in_formula501726`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula60_in_formula501736`
`static org.antlr.runtime.BitSet`	`FOLLOW_formula70_in_formula601908`
`static org.antlr.runtime.BitSet`	`FOLLOW_GREATER_in_formula601872`
`static org.antlr.runtime.BitSet`	`FOLLOW_GREATEREQ_in_formula601888`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_declaration634`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_formula1002331`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_name3831`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_name3848`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_param3714`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_param3729`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term1003525`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term1003559`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term603055`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_term703193`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_theorydecl471`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_typeExpBase1142`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_typeExpBase1176`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_vdefinition3770`
`static org.antlr.runtime.BitSet`	`FOLLOW_IDENT_in_vdefinition3795`
`static org.antlr.runtime.BitSet`	`FOLLOW_IMPLIES_in_formula201521`
`static org.antlr.runtime.BitSet`	`FOLLOW_IMPLIES_in_synpred6_SpecLang1507`
`static org.antlr.runtime.BitSet`	`FOLLOW_imports_in_theorydecl451`
`static org.antlr.runtime.BitSet`	`FOLLOW_imports_in_unitspec88`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_formula1002350`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred3_SpecLang1052`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred4_SpecLang1113`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_synpred8_SpecLang2184`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_term603082`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_term703212`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1061`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1122`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACK_in_typeExpBase1222`
`static org.antlr.runtime.BitSet`	`FOLLOW_LBRACKGRID_in_typeExpBase1136`
`static org.antlr.runtime.BitSet`	`FOLLOW_LESS_in_formula601840`
`static org.antlr.runtime.BitSet`	`FOLLOW_LESSEQ_in_formula601856`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002258`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002278`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula1002477`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula701943`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_formula702041`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_paramList3677`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred17_SpecLang3296`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred2_SpecLang846`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred8_SpecLang2191`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_synpred8_SpecLang2212`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_term1003483`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_term803301`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExp857`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1033`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1208`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1250`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPAR_in_typeExpBase1284`
`static org.antlr.runtime.BitSet`	`FOLLOW_LPARGRID_in_term1003519`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_synpred10_SpecLang2698`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_term202702`
`static org.antlr.runtime.BitSet`	`FOLLOW_MINUS_in_term502936`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002139`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002151`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002163`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002246`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002264`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula1002284`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula701939`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_formula702045`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_imports546`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_names3875`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_names3885`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_statearg2107`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2175`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2195`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_synpred8_SpecLang2216`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003367`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003447`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_term1003459`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_theorydecl440`
`static org.antlr.runtime.BitSet`	`FOLLOW_name_in_typeExpBase957`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_formula1002461`
`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_theorydecl479`
`static org.antlr.runtime.BitSet`	`FOLLOW_names_in_unitspec102`
`static org.antlr.runtime.BitSet`	`FOLLOW_NONEQUALITY_in_formula601824`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_formula1002313`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_synpred8_SpecLang2180`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term1003377`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term603032`
`static org.antlr.runtime.BitSet`	`FOLLOW_NUMBER_in_term703175`
`static org.antlr.runtime.BitSet`	`FOLLOW_param_in_paramList3679`
`static org.antlr.runtime.BitSet`	`FOLLOW_param_in_paramList3686`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_declaration745`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_formula1351`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_formula1369`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_term2522`
`static org.antlr.runtime.BitSet`	`FOLLOW_paramList_in_term2540`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_formula1002302`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_imports555`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_name3844`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_synpred18_SpecLang3840`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_synpred8_SpecLang2178`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_term603020`
`static org.antlr.runtime.BitSet`	`FOLLOW_PERIOD_in_term703164`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_synpred9_SpecLang2677`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_term202681`
`static org.antlr.runtime.BitSet`	`FOLLOW_PLUS_in_term502924`
`static org.antlr.runtime.BitSet`	`FOLLOW_POWER_in_synpred15_SpecLang2878`
`static org.antlr.runtime.BitSet`	`FOLLOW_POWER_in_term402882`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_formula1002356`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_synpred4_SpecLang1117`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_term603088`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_term703218`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1100`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1128`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACK_in_typeExpBase1234`
`static org.antlr.runtime.BitSet`	`FOLLOW_RBRACKGRID_in_typeExpBase1198`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002266`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002286`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula1002483`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula701971`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_formula702047`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_paramList3692`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_synpred8_SpecLang2197`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_synpred8_SpecLang2218`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_term1003511`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_term803326`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExp889`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1039`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1214`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1273`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPAR_in_typeExpBase1290`
`static org.antlr.runtime.BitSet`	`FOLLOW_RPARGRID_in_term1003583`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_classspec144`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_declarations605`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_imports564`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_loopspec336`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_loopspec372`
`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_statementspec402`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_theorydecl442`
`static org.antlr.runtime.BitSet`	`FOLLOW_SEMICOLON_in_theorydecl501`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred7_SpecLang1769`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred8_SpecLang2199`
`static org.antlr.runtime.BitSet`	`FOLLOW_set_in_synpred8_SpecLang2220`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula701986`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula701998`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702009`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702021`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702033`
`static org.antlr.runtime.BitSet`	`FOLLOW_statearg_in_formula702053`
`static org.antlr.runtime.BitSet`	`FOLLOW_STRING_in_term1003387`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_declaration717`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula1002354`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601802`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601812`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601828`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601844`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601860`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601876`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula601892`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula701947`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_formula701964`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_loopspec351`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_loopspec365`
`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_SpecLang1767`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003487`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003504`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003531`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003565`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003601`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003625`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term1003647`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term2528`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term2546`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term603086`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term703216`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term803305`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_term803319`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1212`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1226`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_typeExpBase1232`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_vdefinition3783`
`static org.antlr.runtime.BitSet`	`FOLLOW_term_in_vdefinition3801`
`static org.antlr.runtime.BitSet`	`FOLLOW_term10_in_term102623`
`static org.antlr.runtime.BitSet`	`FOLLOW_term10_in_term2556`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803262`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803276`
`static org.antlr.runtime.BitSet`	`FOLLOW_term100_in_term803286`
`static org.antlr.runtime.BitSet`	`FOLLOW_term20_in_term102635`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202668`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202685`
`static org.antlr.runtime.BitSet`	`FOLLOW_term30_in_term202706`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term202727`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302768`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302785`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302806`
`static org.antlr.runtime.BitSet`	`FOLLOW_term40_in_term302828`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term402869`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term402886`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502928`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502940`
`static org.antlr.runtime.BitSet`	`FOLLOW_term50_in_term502952`
`static org.antlr.runtime.BitSet`	`FOLLOW_term60_in_term502964`
`static org.antlr.runtime.BitSet`	`FOLLOW_term70_in_term602997`
`static org.antlr.runtime.BitSet`	`FOLLOW_term70_in_term603116`
`static org.antlr.runtime.BitSet`	`FOLLOW_term80_in_term703156`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_imports557`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_synpred12_SpecLang2777`
`static org.antlr.runtime.BitSet`	`FOLLOW_TIMES_in_term302781`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_declaration662`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_declaration709`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_param3747`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred2_SpecLang848`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred3_SpecLang1054`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_synpred4_SpecLang1115`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp836`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp861`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp878`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp895`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExp913`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1037`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1073`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1092`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1126`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1148`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1182`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1254`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1265`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_typeExpBase1288`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExp_in_vdefinition3776`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_synpred1_SpecLang821`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp830`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp907`
`static org.antlr.runtime.BitSet`	`FOLLOW_typeExpBase_in_typeExp923`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_formula101430`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_formula101444`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_term102598`
`static org.antlr.runtime.BitSet`	`FOLLOW_vdefinition_in_term102612`
`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

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

T__69
```
public static final int T__69
```
See Also:
Constant Field Values

EQUALITY
```
public static final int EQUALITY
```
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_methodspec309

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_methodspec309

FOLLOW_51_in_loopspec330

public static final org.antlr.runtime.BitSet FOLLOW_51_in_loopspec330

FOLLOW_formula_in_loopspec334

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_loopspec334

FOLLOW_SEMICOLON_in_loopspec336

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_loopspec336

FOLLOW_58_in_loopspec347

public static final org.antlr.runtime.BitSet FOLLOW_58_in_loopspec347

FOLLOW_term_in_loopspec351

public static final org.antlr.runtime.BitSet FOLLOW_term_in_loopspec351

FOLLOW_COMMA_in_loopspec361

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_loopspec361

FOLLOW_term_in_loopspec365

public static final org.antlr.runtime.BitSet FOLLOW_term_in_loopspec365

FOLLOW_SEMICOLON_in_loopspec372

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_loopspec372

FOLLOW_EOF_in_loopspec381

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_loopspec381

FOLLOW_59_in_statementspec396

public static final org.antlr.runtime.BitSet FOLLOW_59_in_statementspec396

FOLLOW_formula_in_statementspec400

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_statementspec400

FOLLOW_SEMICOLON_in_statementspec402

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_statementspec402

FOLLOW_EOF_in_statementspec411

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_statementspec411

FOLLOW_60_in_theorydecl436

public static final org.antlr.runtime.BitSet FOLLOW_60_in_theorydecl436

FOLLOW_name_in_theorydecl440

public static final org.antlr.runtime.BitSet FOLLOW_name_in_theorydecl440

FOLLOW_SEMICOLON_in_theorydecl442

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_theorydecl442

FOLLOW_imports_in_theorydecl451

public static final org.antlr.runtime.BitSet FOLLOW_imports_in_theorydecl451

FOLLOW_61_in_theorydecl462

public static final org.antlr.runtime.BitSet FOLLOW_61_in_theorydecl462

FOLLOW_47_in_theorydecl467

public static final org.antlr.runtime.BitSet FOLLOW_47_in_theorydecl467

FOLLOW_IDENT_in_theorydecl471

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_theorydecl471

FOLLOW_48_in_theorydecl475

public static final org.antlr.runtime.BitSet FOLLOW_48_in_theorydecl475

FOLLOW_names_in_theorydecl479

public static final org.antlr.runtime.BitSet FOLLOW_names_in_theorydecl479

FOLLOW_49_in_theorydecl486

public static final org.antlr.runtime.BitSet FOLLOW_49_in_theorydecl486

FOLLOW_declaration_in_theorydecl494

public static final org.antlr.runtime.BitSet FOLLOW_declaration_in_theorydecl494

FOLLOW_SEMICOLON_in_theorydecl501

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_theorydecl501

FOLLOW_50_in_theorydecl506

public static final org.antlr.runtime.BitSet FOLLOW_50_in_theorydecl506

FOLLOW_EOF_in_theorydecl514

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_theorydecl514

FOLLOW_62_in_imports542

public static final org.antlr.runtime.BitSet FOLLOW_62_in_imports542

FOLLOW_name_in_imports546

public static final org.antlr.runtime.BitSet FOLLOW_name_in_imports546

FOLLOW_PERIOD_in_imports555

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_imports555

FOLLOW_TIMES_in_imports557

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_imports557

FOLLOW_SEMICOLON_in_imports564

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_imports564

FOLLOW_declaration_in_declarations598

public static final org.antlr.runtime.BitSet FOLLOW_declaration_in_declarations598

FOLLOW_SEMICOLON_in_declarations605

public static final org.antlr.runtime.BitSet FOLLOW_SEMICOLON_in_declarations605

FOLLOW_IDENT_in_declaration634

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_declaration634

FOLLOW_COLON_in_declaration636

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_declaration636

FOLLOW_63_in_declaration644

public static final org.antlr.runtime.BitSet FOLLOW_63_in_declaration644

FOLLOW_63_in_declaration656

public static final org.antlr.runtime.BitSet FOLLOW_63_in_declaration656

FOLLOW_EQUALITY_in_declaration658

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration658

FOLLOW_typeExp_in_declaration662

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_declaration662

FOLLOW_64_in_declaration675

public static final org.antlr.runtime.BitSet FOLLOW_64_in_declaration675

FOLLOW_formula_in_declaration679

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration679

FOLLOW_65_in_declaration691

public static final org.antlr.runtime.BitSet FOLLOW_65_in_declaration691

FOLLOW_formula_in_declaration695

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration695

FOLLOW_typeExp_in_declaration709

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_declaration709

FOLLOW_EQUALITY_in_declaration713

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration713

FOLLOW_term_in_declaration717

public static final org.antlr.runtime.BitSet FOLLOW_term_in_declaration717

FOLLOW_EQUALITY_in_declaration739

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_declaration739

FOLLOW_66_in_declaration741

public static final org.antlr.runtime.BitSet FOLLOW_66_in_declaration741

FOLLOW_paramList_in_declaration745

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_declaration745

FOLLOW_COLON_in_declaration747

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_declaration747

FOLLOW_formula_in_declaration751

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration751

FOLLOW_EQUIV_in_declaration773

public static final org.antlr.runtime.BitSet FOLLOW_EQUIV_in_declaration773

FOLLOW_formula_in_declaration777

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_declaration777

FOLLOW_typeExpBase_in_typeExp830

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp830

FOLLOW_ARROW_in_typeExp832

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_typeExp832

FOLLOW_typeExp_in_typeExp836

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp836

FOLLOW_LPAR_in_typeExp857

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExp857

FOLLOW_typeExp_in_typeExp861

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp861

FOLLOW_COMMA_in_typeExp873

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExp873

FOLLOW_typeExp_in_typeExp878

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp878

FOLLOW_RPAR_in_typeExp889

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExp889

FOLLOW_ARROW_in_typeExp891

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_typeExp891

FOLLOW_typeExp_in_typeExp895

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp895

FOLLOW_67_in_typeExp903

public static final org.antlr.runtime.BitSet FOLLOW_67_in_typeExp903

FOLLOW_typeExpBase_in_typeExp907

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp907

FOLLOW_68_in_typeExp909

public static final org.antlr.runtime.BitSet FOLLOW_68_in_typeExp909

FOLLOW_typeExp_in_typeExp913

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExp913

FOLLOW_typeExpBase_in_typeExp923

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_typeExp923

FOLLOW_name_in_typeExpBase957

public static final org.antlr.runtime.BitSet FOLLOW_name_in_typeExpBase957

FOLLOW_69_in_typeExpBase965

public static final org.antlr.runtime.BitSet FOLLOW_69_in_typeExpBase965

FOLLOW_70_in_typeExpBase974

public static final org.antlr.runtime.BitSet FOLLOW_70_in_typeExpBase974

FOLLOW_71_in_typeExpBase983

public static final org.antlr.runtime.BitSet FOLLOW_71_in_typeExpBase983

FOLLOW_72_in_typeExpBase991

public static final org.antlr.runtime.BitSet FOLLOW_72_in_typeExpBase991

FOLLOW_73_in_typeExpBase1001

public static final org.antlr.runtime.BitSet FOLLOW_73_in_typeExpBase1001

FOLLOW_74_in_typeExpBase1011

public static final org.antlr.runtime.BitSet FOLLOW_74_in_typeExpBase1011

FOLLOW_75_in_typeExpBase1020

public static final org.antlr.runtime.BitSet FOLLOW_75_in_typeExpBase1020

FOLLOW_76_in_typeExpBase1029

public static final org.antlr.runtime.BitSet FOLLOW_76_in_typeExpBase1029

FOLLOW_LPAR_in_typeExpBase1033

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1033

FOLLOW_typeExp_in_typeExpBase1037

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1037

FOLLOW_RPAR_in_typeExpBase1039

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1039

FOLLOW_LBRACK_in_typeExpBase1061

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1061

FOLLOW_typeExp_in_typeExpBase1073

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1073

FOLLOW_COMMA_in_typeExpBase1087

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1087

FOLLOW_typeExp_in_typeExpBase1092

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1092

FOLLOW_RBRACK_in_typeExpBase1100

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1100

FOLLOW_LBRACK_in_typeExpBase1122

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1122

FOLLOW_typeExp_in_typeExpBase1126

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1126

FOLLOW_RBRACK_in_typeExpBase1128

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1128

FOLLOW_LBRACKGRID_in_typeExpBase1136

public static final org.antlr.runtime.BitSet FOLLOW_LBRACKGRID_in_typeExpBase1136

FOLLOW_IDENT_in_typeExpBase1142

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_typeExpBase1142

FOLLOW_COLON_in_typeExpBase1144

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_typeExpBase1144

FOLLOW_typeExp_in_typeExpBase1148

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1148

FOLLOW_COMMA_in_typeExpBase1172

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1172

FOLLOW_IDENT_in_typeExpBase1176

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_typeExpBase1176

FOLLOW_COLON_in_typeExpBase1178

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_typeExpBase1178

FOLLOW_typeExp_in_typeExpBase1182

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1182

FOLLOW_RBRACKGRID_in_typeExpBase1198

public static final org.antlr.runtime.BitSet FOLLOW_RBRACKGRID_in_typeExpBase1198

FOLLOW_77_in_typeExpBase1206

public static final org.antlr.runtime.BitSet FOLLOW_77_in_typeExpBase1206

FOLLOW_LPAR_in_typeExpBase1208

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1208

FOLLOW_term_in_typeExpBase1212

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1212

FOLLOW_RPAR_in_typeExpBase1214

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1214

FOLLOW_LBRACK_in_typeExpBase1222

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_typeExpBase1222

FOLLOW_term_in_typeExpBase1226

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1226

FOLLOW_DOTDOT_in_typeExpBase1228

public static final org.antlr.runtime.BitSet FOLLOW_DOTDOT_in_typeExpBase1228

FOLLOW_term_in_typeExpBase1232

public static final org.antlr.runtime.BitSet FOLLOW_term_in_typeExpBase1232

FOLLOW_RBRACK_in_typeExpBase1234

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_typeExpBase1234

FOLLOW_78_in_typeExpBase1242

public static final org.antlr.runtime.BitSet FOLLOW_78_in_typeExpBase1242

FOLLOW_LPAR_in_typeExpBase1250

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1250

FOLLOW_typeExp_in_typeExpBase1254

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1254

FOLLOW_COMMA_in_typeExpBase1260

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_typeExpBase1260

FOLLOW_typeExp_in_typeExpBase1265

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1265

FOLLOW_RPAR_in_typeExpBase1273

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1273

FOLLOW_LPAR_in_typeExpBase1284

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_typeExpBase1284

FOLLOW_typeExp_in_typeExpBase1288

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_typeExpBase1288

FOLLOW_RPAR_in_typeExpBase1290

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_typeExpBase1290

FOLLOW_formula_in_formulaEOF1320

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formulaEOF1320

FOLLOW_EOF_in_formulaEOF1322

public static final org.antlr.runtime.BitSet FOLLOW_EOF_in_formulaEOF1322

FOLLOW_79_in_formula1347

public static final org.antlr.runtime.BitSet FOLLOW_79_in_formula1347

FOLLOW_paramList_in_formula1351

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_formula1351

FOLLOW_COLON_in_formula1353

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_formula1353

FOLLOW_formula_in_formula1357

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1357

FOLLOW_80_in_formula1365

public static final org.antlr.runtime.BitSet FOLLOW_80_in_formula1365

FOLLOW_paramList_in_formula1369

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_formula1369

FOLLOW_COLON_in_formula1371

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_formula1371

FOLLOW_formula_in_formula1375

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1375

FOLLOW_formula10_in_formula1385

public static final org.antlr.runtime.BitSet FOLLOW_formula10_in_formula1385

FOLLOW_81_in_formula101426

public static final org.antlr.runtime.BitSet FOLLOW_81_in_formula101426

FOLLOW_vdefinition_in_formula101430

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_formula101430

FOLLOW_COMMA_in_formula101440

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_formula101440

FOLLOW_vdefinition_in_formula101444

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_formula101444

FOLLOW_82_in_formula101451

public static final org.antlr.runtime.BitSet FOLLOW_82_in_formula101451

FOLLOW_formula10_in_formula101455

public static final org.antlr.runtime.BitSet FOLLOW_formula10_in_formula101455

FOLLOW_formula20_in_formula101467

public static final org.antlr.runtime.BitSet FOLLOW_formula20_in_formula101467

FOLLOW_formula30_in_formula201519

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201519

FOLLOW_IMPLIES_in_formula201521

public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_formula201521

FOLLOW_formula20_in_formula201525

public static final org.antlr.runtime.BitSet FOLLOW_formula20_in_formula201525

FOLLOW_formula30_in_formula201544

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201544

FOLLOW_EQUIV_in_formula201554

public static final org.antlr.runtime.BitSet FOLLOW_EQUIV_in_formula201554

FOLLOW_formula30_in_formula201558

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201558

FOLLOW_83_in_formula201574

public static final org.antlr.runtime.BitSet FOLLOW_83_in_formula201574

FOLLOW_formula30_in_formula201578

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_formula201578

FOLLOW_formula40_in_formula301622

public static final org.antlr.runtime.BitSet FOLLOW_formula40_in_formula301622

FOLLOW_84_in_formula301630

public static final org.antlr.runtime.BitSet FOLLOW_84_in_formula301630

FOLLOW_formula40_in_formula301634

public static final org.antlr.runtime.BitSet FOLLOW_formula40_in_formula301634

FOLLOW_formula50_in_formula401673

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula401673

FOLLOW_85_in_formula401681

public static final org.antlr.runtime.BitSet FOLLOW_85_in_formula401681

FOLLOW_formula50_in_formula401685

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula401685

FOLLOW_86_in_formula501722

public static final org.antlr.runtime.BitSet FOLLOW_86_in_formula501722

FOLLOW_formula50_in_formula501726

public static final org.antlr.runtime.BitSet FOLLOW_formula50_in_formula501726

FOLLOW_formula60_in_formula501736

public static final org.antlr.runtime.BitSet FOLLOW_formula60_in_formula501736

FOLLOW_term_in_formula601802

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601802

FOLLOW_EQUALITY_in_formula601808

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_formula601808

FOLLOW_term_in_formula601812

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601812

FOLLOW_NONEQUALITY_in_formula601824

public static final org.antlr.runtime.BitSet FOLLOW_NONEQUALITY_in_formula601824

FOLLOW_term_in_formula601828

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601828

FOLLOW_LESS_in_formula601840

public static final org.antlr.runtime.BitSet FOLLOW_LESS_in_formula601840

FOLLOW_term_in_formula601844

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601844

FOLLOW_LESSEQ_in_formula601856

public static final org.antlr.runtime.BitSet FOLLOW_LESSEQ_in_formula601856

FOLLOW_term_in_formula601860

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601860

FOLLOW_GREATER_in_formula601872

public static final org.antlr.runtime.BitSet FOLLOW_GREATER_in_formula601872

FOLLOW_term_in_formula601876

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601876

FOLLOW_GREATEREQ_in_formula601888

public static final org.antlr.runtime.BitSet FOLLOW_GREATEREQ_in_formula601888

FOLLOW_term_in_formula601892

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula601892

FOLLOW_formula70_in_formula601908

public static final org.antlr.runtime.BitSet FOLLOW_formula70_in_formula601908

FOLLOW_name_in_formula701939

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula701939

FOLLOW_LPAR_in_formula701943

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula701943

FOLLOW_term_in_formula701947

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula701947

FOLLOW_COMMA_in_formula701960

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_formula701960

FOLLOW_term_in_formula701964

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula701964

FOLLOW_RPAR_in_formula701971

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula701971

FOLLOW_87_in_formula701980

public static final org.antlr.runtime.BitSet FOLLOW_87_in_formula701980

FOLLOW_ATSYMBOL_in_formula701982

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula701982

FOLLOW_statearg_in_formula701986

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula701986

FOLLOW_88_in_formula701992

public static final org.antlr.runtime.BitSet FOLLOW_88_in_formula701992

FOLLOW_ATSYMBOL_in_formula701994

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula701994

FOLLOW_statearg_in_formula701998

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula701998

FOLLOW_89_in_formula702003

public static final org.antlr.runtime.BitSet FOLLOW_89_in_formula702003

FOLLOW_ATSYMBOL_in_formula702005

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702005

FOLLOW_statearg_in_formula702009

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702009

FOLLOW_90_in_formula702015

public static final org.antlr.runtime.BitSet FOLLOW_90_in_formula702015

FOLLOW_ATSYMBOL_in_formula702017

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702017

FOLLOW_statearg_in_formula702021

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702021

FOLLOW_91_in_formula702027

public static final org.antlr.runtime.BitSet FOLLOW_91_in_formula702027

FOLLOW_ATSYMBOL_in_formula702029

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702029

FOLLOW_statearg_in_formula702033

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702033

FOLLOW_91_in_formula702039

public static final org.antlr.runtime.BitSet FOLLOW_91_in_formula702039

FOLLOW_LPAR_in_formula702041

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula702041

FOLLOW_name_in_formula702045

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula702045

FOLLOW_RPAR_in_formula702047

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula702047

FOLLOW_ATSYMBOL_in_formula702049

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_formula702049

FOLLOW_statearg_in_formula702053

public static final org.antlr.runtime.BitSet FOLLOW_statearg_in_formula702053

FOLLOW_formula100_in_formula702061

public static final org.antlr.runtime.BitSet FOLLOW_formula100_in_formula702061

FOLLOW_92_in_statearg2090

public static final org.antlr.runtime.BitSet FOLLOW_92_in_statearg2090

FOLLOW_93_in_statearg2098

public static final org.antlr.runtime.BitSet FOLLOW_93_in_statearg2098

FOLLOW_name_in_statearg2107

public static final org.antlr.runtime.BitSet FOLLOW_name_in_statearg2107

FOLLOW_name_in_formula1002139

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002139

FOLLOW_94_in_formula1002147

public static final org.antlr.runtime.BitSet FOLLOW_94_in_formula1002147

FOLLOW_name_in_formula1002151

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002151

FOLLOW_95_in_formula1002159

public static final org.antlr.runtime.BitSet FOLLOW_95_in_formula1002159

FOLLOW_name_in_formula1002163

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002163

FOLLOW_name_in_formula1002246

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002246

FOLLOW_LPAR_in_formula1002258

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002258

FOLLOW_94_in_formula1002260

public static final org.antlr.runtime.BitSet FOLLOW_94_in_formula1002260

FOLLOW_name_in_formula1002264

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002264

FOLLOW_RPAR_in_formula1002266

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002266

FOLLOW_LPAR_in_formula1002278

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002278

FOLLOW_95_in_formula1002280

public static final org.antlr.runtime.BitSet FOLLOW_95_in_formula1002280

FOLLOW_name_in_formula1002284

public static final org.antlr.runtime.BitSet FOLLOW_name_in_formula1002284

FOLLOW_RPAR_in_formula1002286

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002286

FOLLOW_PERIOD_in_formula1002302

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_formula1002302

FOLLOW_NUMBER_in_formula1002313

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_formula1002313

FOLLOW_IDENT_in_formula1002331

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_formula1002331

FOLLOW_LBRACK_in_formula1002350

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_formula1002350

FOLLOW_term_in_formula1002354

public static final org.antlr.runtime.BitSet FOLLOW_term_in_formula1002354

FOLLOW_RBRACK_in_formula1002356

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_formula1002356

FOLLOW_96_in_formula1002373

public static final org.antlr.runtime.BitSet FOLLOW_96_in_formula1002373

FOLLOW_97_in_formula1002381

public static final org.antlr.runtime.BitSet FOLLOW_97_in_formula1002381

FOLLOW_98_in_formula1002389

public static final org.antlr.runtime.BitSet FOLLOW_98_in_formula1002389

FOLLOW_formula_in_formula1002393

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002393

FOLLOW_99_in_formula1002395

public static final org.antlr.runtime.BitSet FOLLOW_99_in_formula1002395

FOLLOW_formula_in_formula1002399

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002399

FOLLOW_100_in_formula1002413

public static final org.antlr.runtime.BitSet FOLLOW_100_in_formula1002413

FOLLOW_formula_in_formula1002417

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002417

FOLLOW_99_in_formula1002419

public static final org.antlr.runtime.BitSet FOLLOW_99_in_formula1002419

FOLLOW_formula_in_formula1002423

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002423

FOLLOW_101_in_formula1002441

public static final org.antlr.runtime.BitSet FOLLOW_101_in_formula1002441

FOLLOW_formula_in_formula1002445

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002445

FOLLOW_102_in_formula1002447

public static final org.antlr.runtime.BitSet FOLLOW_102_in_formula1002447

FOLLOW_103_in_formula1002457

public static final org.antlr.runtime.BitSet FOLLOW_103_in_formula1002457

FOLLOW_names_in_formula1002461

public static final org.antlr.runtime.BitSet FOLLOW_names_in_formula1002461

FOLLOW_104_in_formula1002469

public static final org.antlr.runtime.BitSet FOLLOW_104_in_formula1002469

FOLLOW_LPAR_in_formula1002477

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_formula1002477

FOLLOW_formula_in_formula1002481

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_formula1002481

FOLLOW_RPAR_in_formula1002483

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_formula1002483

FOLLOW_105_in_term2518

public static final org.antlr.runtime.BitSet FOLLOW_105_in_term2518

FOLLOW_paramList_in_term2522

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_term2522

FOLLOW_COLON_in_term2524

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_term2524

FOLLOW_term_in_term2528

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term2528

FOLLOW_67_in_term2536

public static final org.antlr.runtime.BitSet FOLLOW_67_in_term2536

FOLLOW_paramList_in_term2540

public static final org.antlr.runtime.BitSet FOLLOW_paramList_in_term2540

FOLLOW_COLON_in_term2542

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_term2542

FOLLOW_term_in_term2546

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term2546

FOLLOW_term10_in_term2556

public static final org.antlr.runtime.BitSet FOLLOW_term10_in_term2556

FOLLOW_81_in_term102594

public static final org.antlr.runtime.BitSet FOLLOW_81_in_term102594

FOLLOW_vdefinition_in_term102598

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_term102598

FOLLOW_COMMA_in_term102608

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term102608

FOLLOW_vdefinition_in_term102612

public static final org.antlr.runtime.BitSet FOLLOW_vdefinition_in_term102612

FOLLOW_82_in_term102619

public static final org.antlr.runtime.BitSet FOLLOW_82_in_term102619

FOLLOW_term10_in_term102623

public static final org.antlr.runtime.BitSet FOLLOW_term10_in_term102623

FOLLOW_term20_in_term102635

public static final org.antlr.runtime.BitSet FOLLOW_term20_in_term102635

FOLLOW_term30_in_term202668

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202668

FOLLOW_PLUS_in_term202681

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_term202681

FOLLOW_term30_in_term202685

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202685

FOLLOW_MINUS_in_term202702

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_term202702

FOLLOW_term30_in_term202706

public static final org.antlr.runtime.BitSet FOLLOW_term30_in_term202706

FOLLOW_DIVIDES_in_term202723

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term202723

FOLLOW_term40_in_term202727

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term202727

FOLLOW_term40_in_term302768

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302768

FOLLOW_TIMES_in_term302781

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_term302781

FOLLOW_term40_in_term302785

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302785

FOLLOW_DIVIDES_in_term302802

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term302802

FOLLOW_term40_in_term302806

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302806

FOLLOW_DIVIDES_in_term302824

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_term302824

FOLLOW_term40_in_term302828

public static final org.antlr.runtime.BitSet FOLLOW_term40_in_term302828

FOLLOW_term50_in_term402869

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term402869

FOLLOW_POWER_in_term402882

public static final org.antlr.runtime.BitSet FOLLOW_POWER_in_term402882

FOLLOW_term50_in_term402886

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term402886

FOLLOW_PLUS_in_term502924

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_term502924

FOLLOW_term50_in_term502928

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502928

FOLLOW_MINUS_in_term502936

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_term502936

FOLLOW_term50_in_term502940

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502940

FOLLOW_BITNOT_in_term502948

public static final org.antlr.runtime.BitSet FOLLOW_BITNOT_in_term502948

FOLLOW_term50_in_term502952

public static final org.antlr.runtime.BitSet FOLLOW_term50_in_term502952

FOLLOW_term60_in_term502964

public static final org.antlr.runtime.BitSet FOLLOW_term60_in_term502964

FOLLOW_term70_in_term602997

public static final org.antlr.runtime.BitSet FOLLOW_term70_in_term602997

FOLLOW_106_in_term603010

public static final org.antlr.runtime.BitSet FOLLOW_106_in_term603010

FOLLOW_PERIOD_in_term603020

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_term603020

FOLLOW_NUMBER_in_term603032

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term603032

FOLLOW_IDENT_in_term603055

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term603055

FOLLOW_LBRACK_in_term603082

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_term603082

FOLLOW_term_in_term603086

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term603086

FOLLOW_RBRACK_in_term603088

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_term603088

FOLLOW_ASSIGNMENT_in_term603112

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term603112

FOLLOW_term70_in_term603116

public static final org.antlr.runtime.BitSet FOLLOW_term70_in_term603116

FOLLOW_term80_in_term703156

public static final org.antlr.runtime.BitSet FOLLOW_term80_in_term703156

FOLLOW_PERIOD_in_term703164

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_term703164

FOLLOW_NUMBER_in_term703175

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term703175

FOLLOW_IDENT_in_term703193

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term703193

FOLLOW_LBRACK_in_term703212

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_term703212

FOLLOW_term_in_term703216

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term703216

FOLLOW_RBRACK_in_term703218

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_term703218

FOLLOW_107_in_term803256

public static final org.antlr.runtime.BitSet FOLLOW_107_in_term803256

FOLLOW_ATSYMBOL_in_term803258

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_term803258

FOLLOW_term100_in_term803262

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803262

FOLLOW_108_in_term803270

public static final org.antlr.runtime.BitSet FOLLOW_108_in_term803270

FOLLOW_ATSYMBOL_in_term803272

public static final org.antlr.runtime.BitSet FOLLOW_ATSYMBOL_in_term803272

FOLLOW_term100_in_term803276

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803276

FOLLOW_term100_in_term803286

public static final org.antlr.runtime.BitSet FOLLOW_term100_in_term803286

FOLLOW_LPAR_in_term803301

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_term803301

FOLLOW_term_in_term803305

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term803305

FOLLOW_COMMA_in_term803315

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term803315

FOLLOW_term_in_term803319

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term803319

FOLLOW_RPAR_in_term803326

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_term803326

FOLLOW_name_in_term1003367

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003367

FOLLOW_NUMBER_in_term1003377

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_term1003377

FOLLOW_STRING_in_term1003387

public static final org.antlr.runtime.BitSet FOLLOW_STRING_in_term1003387

FOLLOW_96_in_term1003395

public static final org.antlr.runtime.BitSet FOLLOW_96_in_term1003395

FOLLOW_97_in_term1003403

public static final org.antlr.runtime.BitSet FOLLOW_97_in_term1003403

FOLLOW_109_in_term1003411

public static final org.antlr.runtime.BitSet FOLLOW_109_in_term1003411

FOLLOW_110_in_term1003419

public static final org.antlr.runtime.BitSet FOLLOW_110_in_term1003419

FOLLOW_111_in_term1003427

public static final org.antlr.runtime.BitSet FOLLOW_111_in_term1003427

FOLLOW_112_in_term1003435

public static final org.antlr.runtime.BitSet FOLLOW_112_in_term1003435

FOLLOW_94_in_term1003443

public static final org.antlr.runtime.BitSet FOLLOW_94_in_term1003443

FOLLOW_name_in_term1003447

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003447

FOLLOW_95_in_term1003455

public static final org.antlr.runtime.BitSet FOLLOW_95_in_term1003455

FOLLOW_name_in_term1003459

public static final org.antlr.runtime.BitSet FOLLOW_name_in_term1003459

FOLLOW_92_in_term1003467

public static final org.antlr.runtime.BitSet FOLLOW_92_in_term1003467

FOLLOW_93_in_term1003475

public static final org.antlr.runtime.BitSet FOLLOW_93_in_term1003475

FOLLOW_LPAR_in_term1003483

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_term1003483

FOLLOW_term_in_term1003487

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003487

FOLLOW_COMMA_in_term1003499

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term1003499

FOLLOW_term_in_term1003504

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003504

FOLLOW_RPAR_in_term1003511

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_term1003511

FOLLOW_LPARGRID_in_term1003519

public static final org.antlr.runtime.BitSet FOLLOW_LPARGRID_in_term1003519

FOLLOW_IDENT_in_term1003525

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term1003525

FOLLOW_ASSIGNMENT_in_term1003527

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term1003527

FOLLOW_term_in_term1003531

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003531

FOLLOW_COMMA_in_term1003555

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_term1003555

FOLLOW_IDENT_in_term1003559

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_term1003559

FOLLOW_ASSIGNMENT_in_term1003561

public static final org.antlr.runtime.BitSet FOLLOW_ASSIGNMENT_in_term1003561

FOLLOW_term_in_term1003565

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003565

FOLLOW_RPARGRID_in_term1003583

public static final org.antlr.runtime.BitSet FOLLOW_RPARGRID_in_term1003583

FOLLOW_98_in_term1003591

public static final org.antlr.runtime.BitSet FOLLOW_98_in_term1003591

FOLLOW_formula_in_term1003595

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_term1003595

FOLLOW_99_in_term1003597

public static final org.antlr.runtime.BitSet FOLLOW_99_in_term1003597

FOLLOW_term_in_term1003601

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003601

FOLLOW_100_in_term1003615

public static final org.antlr.runtime.BitSet FOLLOW_100_in_term1003615

FOLLOW_formula_in_term1003619

public static final org.antlr.runtime.BitSet FOLLOW_formula_in_term1003619

FOLLOW_99_in_term1003621

public static final org.antlr.runtime.BitSet FOLLOW_99_in_term1003621

FOLLOW_term_in_term1003625

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003625

FOLLOW_101_in_term1003643

public static final org.antlr.runtime.BitSet FOLLOW_101_in_term1003643

FOLLOW_term_in_term1003647

public static final org.antlr.runtime.BitSet FOLLOW_term_in_term1003647

FOLLOW_102_in_term1003649

public static final org.antlr.runtime.BitSet FOLLOW_102_in_term1003649

FOLLOW_LPAR_in_paramList3677

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_paramList3677

FOLLOW_param_in_paramList3679

public static final org.antlr.runtime.BitSet FOLLOW_param_in_paramList3679

FOLLOW_COMMA_in_paramList3684

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_paramList3684

FOLLOW_param_in_paramList3686

public static final org.antlr.runtime.BitSet FOLLOW_param_in_paramList3686

FOLLOW_RPAR_in_paramList3692

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_paramList3692

FOLLOW_IDENT_in_param3714

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_param3714

FOLLOW_COMMA_in_param3725

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_param3725

FOLLOW_IDENT_in_param3729

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_param3729

FOLLOW_COLON_in_param3743

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_param3743

FOLLOW_typeExp_in_param3747

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_param3747

FOLLOW_IDENT_in_vdefinition3770

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_vdefinition3770

FOLLOW_COLON_in_vdefinition3772

public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_vdefinition3772

FOLLOW_typeExp_in_vdefinition3776

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_vdefinition3776

FOLLOW_EQUALITY_in_vdefinition3779

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_vdefinition3779

FOLLOW_term_in_vdefinition3783

public static final org.antlr.runtime.BitSet FOLLOW_term_in_vdefinition3783

FOLLOW_IDENT_in_vdefinition3795

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_vdefinition3795

FOLLOW_EQUALITY_in_vdefinition3797

public static final org.antlr.runtime.BitSet FOLLOW_EQUALITY_in_vdefinition3797

FOLLOW_term_in_vdefinition3801

public static final org.antlr.runtime.BitSet FOLLOW_term_in_vdefinition3801

FOLLOW_IDENT_in_name3831

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_name3831

FOLLOW_PERIOD_in_name3844

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_name3844

FOLLOW_IDENT_in_name3848

public static final org.antlr.runtime.BitSet FOLLOW_IDENT_in_name3848

FOLLOW_name_in_names3875

public static final org.antlr.runtime.BitSet FOLLOW_name_in_names3875

FOLLOW_COMMA_in_names3881

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_names3881

FOLLOW_name_in_names3885

public static final org.antlr.runtime.BitSet FOLLOW_name_in_names3885

FOLLOW_typeExpBase_in_synpred1_SpecLang821

public static final org.antlr.runtime.BitSet FOLLOW_typeExpBase_in_synpred1_SpecLang821

FOLLOW_ARROW_in_synpred1_SpecLang823

public static final org.antlr.runtime.BitSet FOLLOW_ARROW_in_synpred1_SpecLang823

FOLLOW_LPAR_in_synpred2_SpecLang846

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred2_SpecLang846

FOLLOW_typeExp_in_synpred2_SpecLang848

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred2_SpecLang848

FOLLOW_COMMA_in_synpred2_SpecLang850

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_synpred2_SpecLang850

FOLLOW_LBRACK_in_synpred3_SpecLang1052

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred3_SpecLang1052

FOLLOW_typeExp_in_synpred3_SpecLang1054

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred3_SpecLang1054

FOLLOW_COMMA_in_synpred3_SpecLang1056

public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_synpred3_SpecLang1056

FOLLOW_LBRACK_in_synpred4_SpecLang1113

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred4_SpecLang1113

FOLLOW_typeExp_in_synpred4_SpecLang1115

public static final org.antlr.runtime.BitSet FOLLOW_typeExp_in_synpred4_SpecLang1115

FOLLOW_RBRACK_in_synpred4_SpecLang1117

public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_synpred4_SpecLang1117

FOLLOW_81_in_synpred5_SpecLang1418

public static final org.antlr.runtime.BitSet FOLLOW_81_in_synpred5_SpecLang1418

FOLLOW_formula30_in_synpred6_SpecLang1505

public static final org.antlr.runtime.BitSet FOLLOW_formula30_in_synpred6_SpecLang1505

FOLLOW_IMPLIES_in_synpred6_SpecLang1507

public static final org.antlr.runtime.BitSet FOLLOW_IMPLIES_in_synpred6_SpecLang1507

FOLLOW_term_in_synpred7_SpecLang1767

public static final org.antlr.runtime.BitSet FOLLOW_term_in_synpred7_SpecLang1767

FOLLOW_set_in_synpred7_SpecLang1769

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred7_SpecLang1769

FOLLOW_name_in_synpred8_SpecLang2175

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2175

FOLLOW_PERIOD_in_synpred8_SpecLang2178

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_synpred8_SpecLang2178

FOLLOW_NUMBER_in_synpred8_SpecLang2180

public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_synpred8_SpecLang2180

FOLLOW_LBRACK_in_synpred8_SpecLang2184

public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_synpred8_SpecLang2184

FOLLOW_LPAR_in_synpred8_SpecLang2191

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred8_SpecLang2191

FOLLOW_94_in_synpred8_SpecLang2193

public static final org.antlr.runtime.BitSet FOLLOW_94_in_synpred8_SpecLang2193

FOLLOW_name_in_synpred8_SpecLang2195

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2195

FOLLOW_RPAR_in_synpred8_SpecLang2197

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_synpred8_SpecLang2197

FOLLOW_set_in_synpred8_SpecLang2199

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred8_SpecLang2199

FOLLOW_LPAR_in_synpred8_SpecLang2212

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred8_SpecLang2212

FOLLOW_95_in_synpred8_SpecLang2214

public static final org.antlr.runtime.BitSet FOLLOW_95_in_synpred8_SpecLang2214

FOLLOW_name_in_synpred8_SpecLang2216

public static final org.antlr.runtime.BitSet FOLLOW_name_in_synpred8_SpecLang2216

FOLLOW_RPAR_in_synpred8_SpecLang2218

public static final org.antlr.runtime.BitSet FOLLOW_RPAR_in_synpred8_SpecLang2218

FOLLOW_set_in_synpred8_SpecLang2220

public static final org.antlr.runtime.BitSet FOLLOW_set_in_synpred8_SpecLang2220

FOLLOW_PLUS_in_synpred9_SpecLang2677

public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_synpred9_SpecLang2677

FOLLOW_MINUS_in_synpred10_SpecLang2698

public static final org.antlr.runtime.BitSet FOLLOW_MINUS_in_synpred10_SpecLang2698

FOLLOW_BITOR_in_synpred11_SpecLang2719

public static final org.antlr.runtime.BitSet FOLLOW_BITOR_in_synpred11_SpecLang2719

FOLLOW_TIMES_in_synpred12_SpecLang2777

public static final org.antlr.runtime.BitSet FOLLOW_TIMES_in_synpred12_SpecLang2777

FOLLOW_DIVIDES_in_synpred13_SpecLang2798

public static final org.antlr.runtime.BitSet FOLLOW_DIVIDES_in_synpred13_SpecLang2798

FOLLOW_BITAND_in_synpred14_SpecLang2820

public static final org.antlr.runtime.BitSet FOLLOW_BITAND_in_synpred14_SpecLang2820

FOLLOW_POWER_in_synpred15_SpecLang2878

public static final org.antlr.runtime.BitSet FOLLOW_POWER_in_synpred15_SpecLang2878

FOLLOW_106_in_synpred16_SpecLang3006

public static final org.antlr.runtime.BitSet FOLLOW_106_in_synpred16_SpecLang3006

FOLLOW_LPAR_in_synpred17_SpecLang3296

public static final org.antlr.runtime.BitSet FOLLOW_LPAR_in_synpred17_SpecLang3296

FOLLOW_PERIOD_in_synpred18_SpecLang3840

public static final org.antlr.runtime.BitSet FOLLOW_PERIOD_in_synpred18_SpecLang3840

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

T__69

EQUALITY

T__66

T__67

T__64

LBRACK

T__65

T__62

T__63

DOTDOT

T__61

T__60

BITAND

T__55