The congress.datalog.Python2.CongressLexer Module

class congress.datalog.Python2.CongressLexer.CongressLexer(input=None, state=None)

Bases: antlr3.recognizers.Lexer

class DFA23(recognizer, decisionNumber, eot, eof, min, max, accept, special, transition)

Bases: antlr3.dfa.DFA

DFA23_accept = [-1, -1, 1, -1, 2]
DFA23_eof = [-1, -1, -1, -1, -1]
DFA23_eot = [-1, -1, -1, 4, -1]
DFA23_max = [57, 57, -1, 57, -1]
DFA23_min = [46, 46, -1, 48, -1]
DFA23_special = [-1, -1, -1, -1, -1]
DFA23_transition = [[2, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [3, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [], [2, 2, 2, 2, 2, 2, 2, 2, 2, 2], []]
class DFA24(recognizer, decisionNumber, eot, eof, min, max, accept, special, transition)

Bases: antlr3.dfa.DFA

DFA24_accept = [-1, -1, 2, 1]
DFA24_eof = [-1, -1, -1, -1]
DFA24_eot = [-1, -1, -1, -1]
DFA24_max = [57, 101, -1, -1]
DFA24_min = [46, 46, -1, -1]
DFA24_special = [-1, -1, -1, -1]
DFA24_transition = [[2, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [2, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 3], [], []]
class DFA38(recognizer, decisionNumber, eot, eof, min, max, accept, special, transition)

Bases: antlr3.dfa.DFA

DFA38_accept = [-1, -1, 2, 3, 4, 5, 6, -1, 9, -1, -1, -1, -1, -1, 13, 14, 15, -1, -1, -1, 18, -1, -1, -1, -1, 19, 20, 21, 1, 8, 7, -1, -1, -1, -1, -1, -1, -1, 16, 17, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 10, -1, 12, 11]
DFA38_eof = [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1]
DFA38_eot = [-1, 29, -1, -1, -1, -1, -1, 30, -1, 25, 25, 25, 25, 25, -1, -1, -1, 38, 38, 25, -1, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, 39, 25, 25, 25, 25, 25, 38, -1, -1, 38, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 14, 14, 39, 25, 25, 25, 25, 25, 25, 65, 25, 67, -1, 68, -1, -1]
DFA38_max = [122, 45, -1, -1, -1, -1, -1, 122, -1, 101, 120, 110, 111, 79, -1, -1, -1, 101, 101, 98, -1, 114, 114, 98, 39, -1, -1, -1, -1, -1, -1, 122, 108, 101, 115, 116, 84, 101, -1, -1, 101, 39, 39, 39, 39, 39, 39, 39, 39, 57, 101, 99, 101, 122, 122, 122, 116, 117, 114, 101, 116, 116, 122, 101, 122, -1, 122, -1, -1]
DFA38_min = [9, 45, -1, -1, -1, -1, -1, 46, -1, 101, 120, 110, 111, 79, -1, -1, -1, 46, 46, 34, -1, 34, 34, 34, 34, -1, -1, -1, -1, -1, -1, 46, 108, 101, 115, 116, 84, 46, -1, -1, 46, 34, 34, 34, 34, 34, 34, 34, 34, 43, 101, 99, 101, 46, 46, 46, 116, 117, 114, 101, 116, 116, 46, 101, 46, -1, 46, -1, -1]
DFA38_special = [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1]
DFA38_transition = [[27, 27, -1, -1, 27, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 27, 14, 20, 26, -1, -1, -1, 20, 4, 6, -1, 16, 2, 16, 7, 26, 18, 17, 17, 17, 17, 17, 17, 17, 17, 17, 1, 8, -1, 15, -1, -1, -1, 25, 22, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 13, 25, 25, 25, 23, 25, 25, 24, 25, 25, 25, 25, 25, 3, -1, 5, -1, 25, -1, 25, 21, 25, 9, 10, 25, 25, 25, 11, 25, 25, 25, 25, 12, 25, 25, 25, 19, 25, 25, 24, 25, 25, 25, 25, 25], [28], [], [], [], [], [], [25, -1, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [], [32], [33], [34], [35], [36], [], [], [], [39, -1, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39], [39, -1, 40, 39, 39, 39, 39, 39, 39, 39, 39, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39], [20, -1, -1, -1, -1, 20, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 41], [], [20, -1, -1, -1, -1, 20, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 44, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 43], [20, -1, -1, -1, -1, 20, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 46, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 45], [20, -1, -1, -1, -1, 20, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 48, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 47], [20, -1, -1, -1, -1, 20], [], [], [], [], [], [], [25, -1, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 49, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 49, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [50], [51], [52], [53], [54], [39, -1, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39], [], [], [39, -1, 40, 39, 39, 39, 39, 39, 39, 39, 39, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 39], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [20, -1, -1, -1, -1, 20], [39, -1, 39, -1, -1, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55], [56], [57], [58], [25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [25, -1, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [59], [60], [61], [62], [63], [64], [25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [66], [25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [], [25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, -1, -1, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, -1, -1, -1, -1, 25, -1, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25], [], []]
class DFA8(recognizer, decisionNumber, eot, eof, min, max, accept, special, transition)

Bases: antlr3.dfa.DFA

DFA8_accept = [-1, -1, -1, -1, 2, -1, 1]
DFA8_eof = [-1, -1, -1, -1, -1, -1, -1]
DFA8_eot = [-1, -1, -1, 6, -1, 6, -1]
DFA8_max = [57, 101, 57, 101, -1, 101, -1]
DFA8_min = [46, 46, 48, 48, -1, 48, -1]
DFA8_special = [-1, -1, -1, -1, -1, -1, -1]
DFA8_transition = [[2, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [3, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4], [], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4], []]
api_version = 1
grammarFileName = ‘/Users/tim/opencode/congress/congress/datalog/Congress.g’
mBYTESTRPREFIX()
mBYTES_CHAR_DQ()
mBYTES_CHAR_SQ()
mBYTES_ESC()
mBYTES_TESC()
mCOLONMINUS()
mCOMMA()
mCOMMENT()
mDIGIT()
mEQUAL()
mEXPONENT()
mFLOAT()
mFLOAT_EXP()
mFLOAT_NO_EXP()
mFRAC_PART()
mHEX_DIGIT()
mID()
mINT()
mINT_PART()
mLBRACKET()
mLPAREN()
mNEGATION()
mRBRACKET()
mRPAREN()
mSIGN()
mSLBYTESTRING()
mSLSTRING()
mSTRING()
mSTRING_ESC()
mSTRPREFIX()
mT__53()
mT__54()
mT__55()
mT__56()
mT__57()
mT__58()
mTokens()
mWS()
congress.datalog.Python2.CongressLexer.main(argv, stdin=<open file ‘<stdin>’, mode ‘r’>, stdout=<open file ‘<stdout>’, mode ‘w’>, stderr=<open file ‘<stderr>’, mode ‘w’>)