Source code for pyfcstm.dsl.grammar.GrammarLexer

# Generated from ./pyfcstm/dsl/grammar/Grammar.g4 by ANTLR 4.9.3
from antlr4 import *
from io import StringIO
import sys

if sys.version_info[1] > 5:
    from typing import TextIO
else:
    from typing.io import TextIO


def serializedATN():
    with StringIO() as buf:
        buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2C")
        buf.write("\u025f\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7")
        buf.write("\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r")
        buf.write("\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22\4\23")
        buf.write("\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30")
        buf.write("\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36")
        buf.write('\t\36\4\37\t\37\4 \t \4!\t!\4"\t"\4#\t#\4$\t$\4%\t%')
        buf.write("\4&\t&\4'\t'\4(\t(\4)\t)\4*\t*\4+\t+\4,\t,\4-\t-\4.")
        buf.write("\t.\4/\t/\4\60\t\60\4\61\t\61\4\62\t\62\4\63\t\63\4\64")
        buf.write("\t\64\4\65\t\65\4\66\t\66\4\67\t\67\48\t8\49\t9\4:\t:")
        buf.write("\4;\t;\4<\t<\4=\t=\4>\t>\4?\t?\4@\t@\4A\tA\4B\tB\4C\t")
        buf.write("C\4D\tD\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\4\3\4\3\4\3")
        buf.write("\4\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\7\3\7\3\7\3\7\3\b")
        buf.write("\3\b\3\t\3\t\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\f\3\f\3")
        buf.write("\r\3\r\3\r\3\16\3\16\3\16\3\17\3\17\3\20\3\20\3\21\3\21")
        buf.write("\3\21\3\21\3\21\3\21\3\21\3\22\3\22\3\23\3\23\3\24\3\24")
        buf.write("\3\24\3\24\3\24\3\24\3\25\3\25\3\25\3\25\3\25\3\25\3\25")
        buf.write("\3\25\3\25\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\27\3\27")
        buf.write("\3\27\3\27\3\27\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\31")
        buf.write("\3\31\3\31\3\31\3\31\3\31\3\32\3\32\3\32\3\33\3\33\3\33")
        buf.write("\3\34\3\34\3\35\3\35\3\36\3\36\3\37\3\37\3 \3 \3 \3!\3")
        buf.write("!\3\"\3\"\3#\3#\3#\3$\3$\3%\3%\3&\3&\3'\3'\3(\3(\3(")
        buf.write("\3(\3)\3)\3*\3*\3+\3+\3+\3,\3,\3,\3-\3-\3-\3.\3.\3.\3")
        buf.write("/\3/\3/\3\60\3\60\3\60\3\60\3\61\3\61\3\61\3\62\3\62\3")
        buf.write("\62\3\63\3\63\3\63\3\64\3\64\3\65\3\65\3\65\3\65\3\66")
        buf.write("\3\66\3\67\6\67\u0139\n\67\r\67\16\67\u013a\3\67\3\67")
        buf.write("\7\67\u013f\n\67\f\67\16\67\u0142\13\67\3\67\3\67\5\67")
        buf.write("\u0146\n\67\3\67\6\67\u0149\n\67\r\67\16\67\u014a\5\67")
        buf.write("\u014d\n\67\3\67\3\67\6\67\u0151\n\67\r\67\16\67\u0152")
        buf.write("\3\67\3\67\5\67\u0157\n\67\3\67\6\67\u015a\n\67\r\67\16")
        buf.write("\67\u015b\5\67\u015e\n\67\3\67\6\67\u0161\n\67\r\67\16")
        buf.write("\67\u0162\3\67\3\67\5\67\u0167\n\67\3\67\6\67\u016a\n")
        buf.write("\67\r\67\16\67\u016b\5\67\u016e\n\67\38\68\u0171\n8\r")
        buf.write("8\168\u0172\39\39\39\39\69\u0179\n9\r9\169\u017a\3:\3")
        buf.write(":\3:\3:\3:\3:\3:\3:\3:\3:\3:\3:\5:\u0189\n:\3;\3;\3;\3")
        buf.write(";\3;\3;\3;\3;\3;\3;\3;\3;\3;\3;\3;\5;\u019a\n;\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3<\3")
        buf.write("<\3<\3<\3<\3<\3<\3<\3<\3<\3<\5<\u0202\n<\3=\3=\7=\u0206")
        buf.write("\n=\f=\16=\u0209\13=\3>\3>\3>\7>\u020e\n>\f>\16>\u0211")
        buf.write("\13>\3>\3>\3>\3>\7>\u0217\n>\f>\16>\u021a\13>\3>\5>\u021d")
        buf.write("\n>\3?\3?\3?\3?\5?\u0223\n?\3?\5?\u0226\n?\3?\3?\3?\3")
        buf.write("?\3?\3?\3?\3?\3?\3?\3?\3?\3?\5?\u0235\n?\3@\3@\3A\6A\u023a")
        buf.write("\nA\rA\16A\u023b\3A\3A\3B\3B\3B\3B\7B\u0244\nB\fB\16B")
        buf.write("\u0247\13B\3B\3B\3B\3C\3C\3C\3C\7C\u0250\nC\fC\16C\u0253")
        buf.write("\13C\3C\3C\3D\3D\7D\u0259\nD\fD\16D\u025c\13D\3D\3D\3")
        buf.write("\u0245\2E\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25")
        buf.write("\f\27\r\31\16\33\17\35\20\37\21!\22#\23%\24'\25)\26+")
        buf.write('\27-\30/\31\61\32\63\33\65\34\67\359\36;\37= ?!A"C#E')
        buf.write("$G%I&K'M(O)Q*S+U,W-Y.[/]\60_\61a\62c\63e\64g\65i\66k")
        buf.write("\67m8o9q:s;u<w=y>{?}\2\177\2\u0081@\u0083A\u0085B\u0087")
        buf.write("C\3\2\17\3\2\62;\4\2GGgg\4\2--//\5\2C\\aac|\6\2\62;C\\")
        buf.write("aac|\6\2\f\f\17\17$$^^\6\2\f\f\17\17))^^\n\2$$))^^ddh")
        buf.write('hppttvv\3\2\62\65\3\2\629\5\2\62;CHch\5\2\13\f\17\17"')
        buf.write('"\4\2\f\f\17\17\2\u0297\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3')
        buf.write("\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2")
        buf.write("\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2")
        buf.write("\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2")
        buf.write("!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2'\3\2\2\2\2)\3\2\2\2")
        buf.write("\2+\3\2\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3")
        buf.write("\2\2\2\2\65\3\2\2\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2")
        buf.write("\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2")
        buf.write("\2\2G\3\2\2\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2")
        buf.write("\2\2\2Q\3\2\2\2\2S\3\2\2\2\2U\3\2\2\2\2W\3\2\2\2\2Y\3")
        buf.write("\2\2\2\2[\3\2\2\2\2]\3\2\2\2\2_\3\2\2\2\2a\3\2\2\2\2c")
        buf.write("\3\2\2\2\2e\3\2\2\2\2g\3\2\2\2\2i\3\2\2\2\2k\3\2\2\2\2")
        buf.write("m\3\2\2\2\2o\3\2\2\2\2q\3\2\2\2\2s\3\2\2\2\2u\3\2\2\2")
        buf.write("\2w\3\2\2\2\2y\3\2\2\2\2{\3\2\2\2\2\u0081\3\2\2\2\2\u0083")
        buf.write("\3\2\2\2\2\u0085\3\2\2\2\2\u0087\3\2\2\2\3\u0089\3\2\2")
        buf.write("\2\5\u008d\3\2\2\2\7\u0091\3\2\2\2\t\u0097\3\2\2\2\13")
        buf.write("\u0099\3\2\2\2\r\u009b\3\2\2\2\17\u00a1\3\2\2\2\21\u00a3")
        buf.write("\3\2\2\2\23\u00a5\3\2\2\2\25\u00a9\3\2\2\2\27\u00ac\3")
        buf.write("\2\2\2\31\u00ae\3\2\2\2\33\u00b1\3\2\2\2\35\u00b4\3\2")
        buf.write("\2\2\37\u00b6\3\2\2\2!\u00b8\3\2\2\2#\u00bf\3\2\2\2%\u00c1")
        buf.write("\3\2\2\2'\u00c3\3\2\2\2)\u00c9\3\2\2\2+\u00d2\3\2\2\2")
        buf.write("-\u00d7\3\2\2\2/\u00de\3\2\2\2\61\u00e5\3\2\2\2\63\u00eb")
        buf.write("\3\2\2\2\65\u00ee\3\2\2\2\67\u00f1\3\2\2\29\u00f3\3\2")
        buf.write("\2\2;\u00f5\3\2\2\2=\u00f7\3\2\2\2?\u00f9\3\2\2\2A\u00fc")
        buf.write("\3\2\2\2C\u00fe\3\2\2\2E\u0100\3\2\2\2G\u0103\3\2\2\2")
        buf.write("I\u0105\3\2\2\2K\u0107\3\2\2\2M\u0109\3\2\2\2O\u010b\3")
        buf.write("\2\2\2Q\u010f\3\2\2\2S\u0111\3\2\2\2U\u0113\3\2\2\2W\u0116")
        buf.write("\3\2\2\2Y\u0119\3\2\2\2[\u011c\3\2\2\2]\u011f\3\2\2\2")
        buf.write("_\u0122\3\2\2\2a\u0126\3\2\2\2c\u0129\3\2\2\2e\u012c\3")
        buf.write("\2\2\2g\u012f\3\2\2\2i\u0131\3\2\2\2k\u0135\3\2\2\2m\u016d")
        buf.write("\3\2\2\2o\u0170\3\2\2\2q\u0174\3\2\2\2s\u0188\3\2\2\2")
        buf.write("u\u0199\3\2\2\2w\u0201\3\2\2\2y\u0203\3\2\2\2{\u021c\3")
        buf.write("\2\2\2}\u0234\3\2\2\2\177\u0236\3\2\2\2\u0081\u0239\3")
        buf.write("\2\2\2\u0083\u023f\3\2\2\2\u0085\u024b\3\2\2\2\u0087\u0256")
        buf.write("\3\2\2\2\u0089\u008a\7f\2\2\u008a\u008b\7g\2\2\u008b\u008c")
        buf.write("\7h\2\2\u008c\4\3\2\2\2\u008d\u008e\7k\2\2\u008e\u008f")
        buf.write("\7p\2\2\u008f\u0090\7v\2\2\u0090\6\3\2\2\2\u0091\u0092")
        buf.write("\7h\2\2\u0092\u0093\7n\2\2\u0093\u0094\7q\2\2\u0094\u0095")
        buf.write("\7c\2\2\u0095\u0096\7v\2\2\u0096\b\3\2\2\2\u0097\u0098")
        buf.write("\7?\2\2\u0098\n\3\2\2\2\u0099\u009a\7=\2\2\u009a\f\3\2")
        buf.write("\2\2\u009b\u009c\7u\2\2\u009c\u009d\7v\2\2\u009d\u009e")
        buf.write("\7c\2\2\u009e\u009f\7v\2\2\u009f\u00a0\7g\2\2\u00a0\16")
        buf.write("\3\2\2\2\u00a1\u00a2\7}\2\2\u00a2\20\3\2\2\2\u00a3\u00a4")
        buf.write("\7\177\2\2\u00a4\22\3\2\2\2\u00a5\u00a6\7]\2\2\u00a6\u00a7")
        buf.write("\7,\2\2\u00a7\u00a8\7_\2\2\u00a8\24\3\2\2\2\u00a9\u00aa")
        buf.write("\7/\2\2\u00aa\u00ab\7@\2\2\u00ab\26\3\2\2\2\u00ac\u00ad")
        buf.write("\7<\2\2\u00ad\30\3\2\2\2\u00ae\u00af\7<\2\2\u00af\u00b0")
        buf.write("\7<\2\2\u00b0\32\3\2\2\2\u00b1\u00b2\7k\2\2\u00b2\u00b3")
        buf.write("\7h\2\2\u00b3\34\3\2\2\2\u00b4\u00b5\7]\2\2\u00b5\36\3")
        buf.write("\2\2\2\u00b6\u00b7\7_\2\2\u00b7 \3\2\2\2\u00b8\u00b9\7")
        buf.write("g\2\2\u00b9\u00ba\7h\2\2\u00ba\u00bb\7h\2\2\u00bb\u00bc")
        buf.write('\7g\2\2\u00bc\u00bd\7e\2\2\u00bd\u00be\7v\2\2\u00be"')
        buf.write("\3\2\2\2\u00bf\u00c0\7#\2\2\u00c0$\3\2\2\2\u00c1\u00c2")
        buf.write("\7,\2\2\u00c2&\3\2\2\2\u00c3\u00c4\7g\2\2\u00c4\u00c5")
        buf.write("\7p\2\2\u00c5\u00c6\7v\2\2\u00c6\u00c7\7g\2\2\u00c7\u00c8")
        buf.write("\7t\2\2\u00c8(\3\2\2\2\u00c9\u00ca\7c\2\2\u00ca\u00cb")
        buf.write("\7d\2\2\u00cb\u00cc\7u\2\2\u00cc\u00cd\7v\2\2\u00cd\u00ce")
        buf.write("\7t\2\2\u00ce\u00cf\7c\2\2\u00cf\u00d0\7e\2\2\u00d0\u00d1")
        buf.write("\7v\2\2\u00d1*\3\2\2\2\u00d2\u00d3\7g\2\2\u00d3\u00d4")
        buf.write("\7z\2\2\u00d4\u00d5\7k\2\2\u00d5\u00d6\7v\2\2\u00d6,\3")
        buf.write("\2\2\2\u00d7\u00d8\7f\2\2\u00d8\u00d9\7w\2\2\u00d9\u00da")
        buf.write("\7t\2\2\u00da\u00db\7k\2\2\u00db\u00dc\7p\2\2\u00dc\u00dd")
        buf.write("\7i\2\2\u00dd.\3\2\2\2\u00de\u00df\7d\2\2\u00df\u00e0")
        buf.write("\7g\2\2\u00e0\u00e1\7h\2\2\u00e1\u00e2\7q\2\2\u00e2\u00e3")
        buf.write("\7t\2\2\u00e3\u00e4\7g\2\2\u00e4\60\3\2\2\2\u00e5\u00e6")
        buf.write("\7c\2\2\u00e6\u00e7\7h\2\2\u00e7\u00e8\7v\2\2\u00e8\u00e9")
        buf.write("\7g\2\2\u00e9\u00ea\7t\2\2\u00ea\62\3\2\2\2\u00eb\u00ec")
        buf.write("\7@\2\2\u00ec\u00ed\7@\2\2\u00ed\64\3\2\2\2\u00ee\u00ef")
        buf.write("\7<\2\2\u00ef\u00f0\7?\2\2\u00f0\66\3\2\2\2\u00f1\u00f2")
        buf.write("\7*\2\2\u00f28\3\2\2\2\u00f3\u00f4\7+\2\2\u00f4:\3\2\2")
        buf.write("\2\u00f5\u00f6\7-\2\2\u00f6<\3\2\2\2\u00f7\u00f8\7/\2")
        buf.write("\2\u00f8>\3\2\2\2\u00f9\u00fa\7,\2\2\u00fa\u00fb\7,\2")
        buf.write("\2\u00fb@\3\2\2\2\u00fc\u00fd\7\61\2\2\u00fdB\3\2\2\2")
        buf.write("\u00fe\u00ff\7'\2\2\u00ffD\3\2\2\2\u0100\u0101\7>\2\2")
        buf.write("\u0101\u0102\7>\2\2\u0102F\3\2\2\2\u0103\u0104\7(\2\2")
        buf.write("\u0104H\3\2\2\2\u0105\u0106\7`\2\2\u0106J\3\2\2\2\u0107")
        buf.write("\u0108\7~\2\2\u0108L\3\2\2\2\u0109\u010a\7A\2\2\u010a")
        buf.write("N\3\2\2\2\u010b\u010c\7p\2\2\u010c\u010d\7q\2\2\u010d")
        buf.write("\u010e\7v\2\2\u010eP\3\2\2\2\u010f\u0110\7>\2\2\u0110")
        buf.write("R\3\2\2\2\u0111\u0112\7@\2\2\u0112T\3\2\2\2\u0113\u0114")
        buf.write("\7>\2\2\u0114\u0115\7?\2\2\u0115V\3\2\2\2\u0116\u0117")
        buf.write("\7@\2\2\u0117\u0118\7?\2\2\u0118X\3\2\2\2\u0119\u011a")
        buf.write("\7?\2\2\u011a\u011b\7?\2\2\u011bZ\3\2\2\2\u011c\u011d")
        buf.write("\7#\2\2\u011d\u011e\7?\2\2\u011e\\\3\2\2\2\u011f\u0120")
        buf.write("\7(\2\2\u0120\u0121\7(\2\2\u0121^\3\2\2\2\u0122\u0123")
        buf.write("\7c\2\2\u0123\u0124\7p\2\2\u0124\u0125\7f\2\2\u0125`\3")
        buf.write("\2\2\2\u0126\u0127\7~\2\2\u0127\u0128\7~\2\2\u0128b\3")
        buf.write("\2\2\2\u0129\u012a\7q\2\2\u012a\u012b\7t\2\2\u012bd\3")
        buf.write("\2\2\2\u012c\u012d\7r\2\2\u012d\u012e\7k\2\2\u012ef\3")
        buf.write("\2\2\2\u012f\u0130\7G\2\2\u0130h\3\2\2\2\u0131\u0132\7")
        buf.write("v\2\2\u0132\u0133\7c\2\2\u0133\u0134\7w\2\2\u0134j\3\2")
        buf.write("\2\2\u0135\u0136\7\60\2\2\u0136l\3\2\2\2\u0137\u0139\t")
        buf.write("\2\2\2\u0138\u0137\3\2\2\2\u0139\u013a\3\2\2\2\u013a\u0138")
        buf.write("\3\2\2\2\u013a\u013b\3\2\2\2\u013b\u013c\3\2\2\2\u013c")
        buf.write("\u0140\7\60\2\2\u013d\u013f\t\2\2\2\u013e\u013d\3\2\2")
        buf.write("\2\u013f\u0142\3\2\2\2\u0140\u013e\3\2\2\2\u0140\u0141")
        buf.write("\3\2\2\2\u0141\u014c\3\2\2\2\u0142\u0140\3\2\2\2\u0143")
        buf.write("\u0145\t\3\2\2\u0144\u0146\t\4\2\2\u0145\u0144\3\2\2\2")
        buf.write("\u0145\u0146\3\2\2\2\u0146\u0148\3\2\2\2\u0147\u0149\t")
        buf.write("\2\2\2\u0148\u0147\3\2\2\2\u0149\u014a\3\2\2\2\u014a\u0148")
        buf.write("\3\2\2\2\u014a\u014b\3\2\2\2\u014b\u014d\3\2\2\2\u014c")
        buf.write("\u0143\3\2\2\2\u014c\u014d\3\2\2\2\u014d\u016e\3\2\2\2")
        buf.write("\u014e\u0150\7\60\2\2\u014f\u0151\t\2\2\2\u0150\u014f")
        buf.write("\3\2\2\2\u0151\u0152\3\2\2\2\u0152\u0150\3\2\2\2\u0152")
        buf.write("\u0153\3\2\2\2\u0153\u015d\3\2\2\2\u0154\u0156\t\3\2\2")
        buf.write("\u0155\u0157\t\4\2\2\u0156\u0155\3\2\2\2\u0156\u0157\3")
        buf.write("\2\2\2\u0157\u0159\3\2\2\2\u0158\u015a\t\2\2\2\u0159\u0158")
        buf.write("\3\2\2\2\u015a\u015b\3\2\2\2\u015b\u0159\3\2\2\2\u015b")
        buf.write("\u015c\3\2\2\2\u015c\u015e\3\2\2\2\u015d\u0154\3\2\2\2")
        buf.write("\u015d\u015e\3\2\2\2\u015e\u016e\3\2\2\2\u015f\u0161\t")
        buf.write("\2\2\2\u0160\u015f\3\2\2\2\u0161\u0162\3\2\2\2\u0162\u0160")
        buf.write("\3\2\2\2\u0162\u0163\3\2\2\2\u0163\u0164\3\2\2\2\u0164")
        buf.write("\u0166\t\3\2\2\u0165\u0167\t\4\2\2\u0166\u0165\3\2\2\2")
        buf.write("\u0166\u0167\3\2\2\2\u0167\u0169\3\2\2\2\u0168\u016a\t")
        buf.write("\2\2\2\u0169\u0168\3\2\2\2\u016a\u016b\3\2\2\2\u016b\u0169")
        buf.write("\3\2\2\2\u016b\u016c\3\2\2\2\u016c\u016e\3\2\2\2\u016d")
        buf.write("\u0138\3\2\2\2\u016d\u014e\3\2\2\2\u016d\u0160\3\2\2\2")
        buf.write("\u016en\3\2\2\2\u016f\u0171\t\2\2\2\u0170\u016f\3\2\2")
        buf.write("\2\u0171\u0172\3\2\2\2\u0172\u0170\3\2\2\2\u0172\u0173")
        buf.write("\3\2\2\2\u0173p\3\2\2\2\u0174\u0175\7\62\2\2\u0175\u0176")
        buf.write("\7z\2\2\u0176\u0178\3\2\2\2\u0177\u0179\5\177@\2\u0178")
        buf.write("\u0177\3\2\2\2\u0179\u017a\3\2\2\2\u017a\u0178\3\2\2\2")
        buf.write("\u017a\u017b\3\2\2\2\u017br\3\2\2\2\u017c\u017d\7V\2\2")
        buf.write("\u017d\u017e\7t\2\2\u017e\u017f\7w\2\2\u017f\u0189\7g")
        buf.write("\2\2\u0180\u0181\7v\2\2\u0181\u0182\7t\2\2\u0182\u0183")
        buf.write("\7w\2\2\u0183\u0189\7g\2\2\u0184\u0185\7V\2\2\u0185\u0186")
        buf.write("\7T\2\2\u0186\u0187\7W\2\2\u0187\u0189\7G\2\2\u0188\u017c")
        buf.write("\3\2\2\2\u0188\u0180\3\2\2\2\u0188\u0184\3\2\2\2\u0189")
        buf.write("t\3\2\2\2\u018a\u018b\7H\2\2\u018b\u018c\7c\2\2\u018c")
        buf.write("\u018d\7n\2\2\u018d\u018e\7u\2\2\u018e\u019a\7g\2\2\u018f")
        buf.write("\u0190\7h\2\2\u0190\u0191\7c\2\2\u0191\u0192\7n\2\2\u0192")
        buf.write("\u0193\7u\2\2\u0193\u019a\7g\2\2\u0194\u0195\7H\2\2\u0195")
        buf.write("\u0196\7C\2\2\u0196\u0197\7N\2\2\u0197\u0198\7U\2\2\u0198")
        buf.write("\u019a\7G\2\2\u0199\u018a\3\2\2\2\u0199\u018f\3\2\2\2")
        buf.write("\u0199\u0194\3\2\2\2\u019av\3\2\2\2\u019b\u019c\7u\2\2")
        buf.write("\u019c\u019d\7k\2\2\u019d\u0202\7p\2\2\u019e\u019f\7e")
        buf.write("\2\2\u019f\u01a0\7q\2\2\u01a0\u0202\7u\2\2\u01a1\u01a2")
        buf.write("\7v\2\2\u01a2\u01a3\7c\2\2\u01a3\u0202\7p\2\2\u01a4\u01a5")
        buf.write("\7c\2\2\u01a5\u01a6\7u\2\2\u01a6\u01a7\7k\2\2\u01a7\u0202")
        buf.write("\7p\2\2\u01a8\u01a9\7c\2\2\u01a9\u01aa\7e\2\2\u01aa\u01ab")
        buf.write("\7q\2\2\u01ab\u0202\7u\2\2\u01ac\u01ad\7c\2\2\u01ad\u01ae")
        buf.write("\7v\2\2\u01ae\u01af\7c\2\2\u01af\u0202\7p\2\2\u01b0\u01b1")
        buf.write("\7u\2\2\u01b1\u01b2\7k\2\2\u01b2\u01b3\7p\2\2\u01b3\u0202")
        buf.write("\7j\2\2\u01b4\u01b5\7e\2\2\u01b5\u01b6\7q\2\2\u01b6\u01b7")
        buf.write("\7u\2\2\u01b7\u0202\7j\2\2\u01b8\u01b9\7v\2\2\u01b9\u01ba")
        buf.write("\7c\2\2\u01ba\u01bb\7p\2\2\u01bb\u0202\7j\2\2\u01bc\u01bd")
        buf.write("\7c\2\2\u01bd\u01be\7u\2\2\u01be\u01bf\7k\2\2\u01bf\u01c0")
        buf.write("\7p\2\2\u01c0\u0202\7j\2\2\u01c1\u01c2\7c\2\2\u01c2\u01c3")
        buf.write("\7e\2\2\u01c3\u01c4\7q\2\2\u01c4\u01c5\7u\2\2\u01c5\u0202")
        buf.write("\7j\2\2\u01c6\u01c7\7c\2\2\u01c7\u01c8\7v\2\2\u01c8\u01c9")
        buf.write("\7c\2\2\u01c9\u01ca\7p\2\2\u01ca\u0202\7j\2\2\u01cb\u01cc")
        buf.write("\7u\2\2\u01cc\u01cd\7s\2\2\u01cd\u01ce\7t\2\2\u01ce\u0202")
        buf.write("\7v\2\2\u01cf\u01d0\7e\2\2\u01d0\u01d1\7d\2\2\u01d1\u01d2")
        buf.write("\7t\2\2\u01d2\u0202\7v\2\2\u01d3\u01d4\7g\2\2\u01d4\u01d5")
        buf.write("\7z\2\2\u01d5\u0202\7r\2\2\u01d6\u01d7\7n\2\2\u01d7\u01d8")
        buf.write("\7q\2\2\u01d8\u0202\7i\2\2\u01d9\u01da\7n\2\2\u01da\u01db")
        buf.write("\7q\2\2\u01db\u01dc\7i\2\2\u01dc\u01dd\7\63\2\2\u01dd")
        buf.write("\u0202\7\62\2\2\u01de\u01df\7n\2\2\u01df\u01e0\7q\2\2")
        buf.write("\u01e0\u01e1\7i\2\2\u01e1\u0202\7\64\2\2\u01e2\u01e3\7")
        buf.write("n\2\2\u01e3\u01e4\7q\2\2\u01e4\u01e5\7i\2\2\u01e5\u01e6")
        buf.write("\7\63\2\2\u01e6\u0202\7r\2\2\u01e7\u01e8\7c\2\2\u01e8")
        buf.write("\u01e9\7d\2\2\u01e9\u0202\7u\2\2\u01ea\u01eb\7e\2\2\u01eb")
        buf.write("\u01ec\7g\2\2\u01ec\u01ed\7k\2\2\u01ed\u0202\7n\2\2\u01ee")
        buf.write("\u01ef\7h\2\2\u01ef\u01f0\7n\2\2\u01f0\u01f1\7q\2\2\u01f1")
        buf.write("\u01f2\7q\2\2\u01f2\u0202\7t\2\2\u01f3\u01f4\7t\2\2\u01f4")
        buf.write("\u01f5\7q\2\2\u01f5\u01f6\7w\2\2\u01f6\u01f7\7p\2\2\u01f7")
        buf.write("\u0202\7f\2\2\u01f8\u01f9\7v\2\2\u01f9\u01fa\7t\2\2\u01fa")
        buf.write("\u01fb\7w\2\2\u01fb\u01fc\7p\2\2\u01fc\u0202\7e\2\2\u01fd")
        buf.write("\u01fe\7u\2\2\u01fe\u01ff\7k\2\2\u01ff\u0200\7i\2\2\u0200")
        buf.write("\u0202\7p\2\2\u0201\u019b\3\2\2\2\u0201\u019e\3\2\2\2")
        buf.write("\u0201\u01a1\3\2\2\2\u0201\u01a4\3\2\2\2\u0201\u01a8\3")
        buf.write("\2\2\2\u0201\u01ac\3\2\2\2\u0201\u01b0\3\2\2\2\u0201\u01b4")
        buf.write("\3\2\2\2\u0201\u01b8\3\2\2\2\u0201\u01bc\3\2\2\2\u0201")
        buf.write("\u01c1\3\2\2\2\u0201\u01c6\3\2\2\2\u0201\u01cb\3\2\2\2")
        buf.write("\u0201\u01cf\3\2\2\2\u0201\u01d3\3\2\2\2\u0201\u01d6\3")
        buf.write("\2\2\2\u0201\u01d9\3\2\2\2\u0201\u01de\3\2\2\2\u0201\u01e2")
        buf.write("\3\2\2\2\u0201\u01e7\3\2\2\2\u0201\u01ea\3\2\2\2\u0201")
        buf.write("\u01ee\3\2\2\2\u0201\u01f3\3\2\2\2\u0201\u01f8\3\2\2\2")
        buf.write("\u0201\u01fd\3\2\2\2\u0202x\3\2\2\2\u0203\u0207\t\5\2")
        buf.write("\2\u0204\u0206\t\6\2\2\u0205\u0204\3\2\2\2\u0206\u0209")
        buf.write("\3\2\2\2\u0207\u0205\3\2\2\2\u0207\u0208\3\2\2\2\u0208")
        buf.write("z\3\2\2\2\u0209\u0207\3\2\2\2\u020a\u020f\7$\2\2\u020b")
        buf.write("\u020e\n\7\2\2\u020c\u020e\5}?\2\u020d\u020b\3\2\2\2\u020d")
        buf.write("\u020c\3\2\2\2\u020e\u0211\3\2\2\2\u020f\u020d\3\2\2\2")
        buf.write("\u020f\u0210\3\2\2\2\u0210\u0212\3\2\2\2\u0211\u020f\3")
        buf.write("\2\2\2\u0212\u021d\7$\2\2\u0213\u0218\7)\2\2\u0214\u0217")
        buf.write("\n\b\2\2\u0215\u0217\5}?\2\u0216\u0214\3\2\2\2\u0216\u0215")
        buf.write("\3\2\2\2\u0217\u021a\3\2\2\2\u0218\u0216\3\2\2\2\u0218")
        buf.write("\u0219\3\2\2\2\u0219\u021b\3\2\2\2\u021a\u0218\3\2\2\2")
        buf.write("\u021b\u021d\7)\2\2\u021c\u020a\3\2\2\2\u021c\u0213\3")
        buf.write("\2\2\2\u021d|\3\2\2\2\u021e\u021f\7^\2\2\u021f\u0235\t")
        buf.write("\t\2\2\u0220\u0225\7^\2\2\u0221\u0223\t\n\2\2\u0222\u0221")
        buf.write("\3\2\2\2\u0222\u0223\3\2\2\2\u0223\u0224\3\2\2\2\u0224")
        buf.write("\u0226\t\13\2\2\u0225\u0222\3\2\2\2\u0225\u0226\3\2\2")
        buf.write("\2\u0226\u0227\3\2\2\2\u0227\u0235\t\13\2\2\u0228\u0229")
        buf.write("\7^\2\2\u0229\u022a\7w\2\2\u022a\u022b\5\177@\2\u022b")
        buf.write("\u022c\5\177@\2\u022c\u022d\5\177@\2\u022d\u022e\5\177")
        buf.write("@\2\u022e\u0235\3\2\2\2\u022f\u0230\7^\2\2\u0230\u0231")
        buf.write("\7z\2\2\u0231\u0232\5\177@\2\u0232\u0233\5\177@\2\u0233")
        buf.write("\u0235\3\2\2\2\u0234\u021e\3\2\2\2\u0234\u0220\3\2\2\2")
        buf.write("\u0234\u0228\3\2\2\2\u0234\u022f\3\2\2\2\u0235~\3\2\2")
        buf.write("\2\u0236\u0237\t\f\2\2\u0237\u0080\3\2\2\2\u0238\u023a")
        buf.write("\t\r\2\2\u0239\u0238\3\2\2\2\u023a\u023b\3\2\2\2\u023b")
        buf.write("\u0239\3\2\2\2\u023b\u023c\3\2\2\2\u023c\u023d\3\2\2\2")
        buf.write("\u023d\u023e\bA\2\2\u023e\u0082\3\2\2\2\u023f\u0240\7")
        buf.write("\61\2\2\u0240\u0241\7,\2\2\u0241\u0245\3\2\2\2\u0242\u0244")
        buf.write("\13\2\2\2\u0243\u0242\3\2\2\2\u0244\u0247\3\2\2\2\u0245")
        buf.write("\u0246\3\2\2\2\u0245\u0243\3\2\2\2\u0246\u0248\3\2\2\2")
        buf.write("\u0247\u0245\3\2\2\2\u0248\u0249\7,\2\2\u0249\u024a\7")
        buf.write("\61\2\2\u024a\u0084\3\2\2\2\u024b\u024c\7\61\2\2\u024c")
        buf.write("\u024d\7\61\2\2\u024d\u0251\3\2\2\2\u024e\u0250\n\16\2")
        buf.write("\2\u024f\u024e\3\2\2\2\u0250\u0253\3\2\2\2\u0251\u024f")
        buf.write("\3\2\2\2\u0251\u0252\3\2\2\2\u0252\u0254\3\2\2\2\u0253")
        buf.write("\u0251\3\2\2\2\u0254\u0255\bC\2\2\u0255\u0086\3\2\2\2")
        buf.write("\u0256\u025a\7%\2\2\u0257\u0259\n\16\2\2\u0258\u0257\3")
        buf.write("\2\2\2\u0259\u025c\3\2\2\2\u025a\u0258\3\2\2\2\u025a\u025b")
        buf.write("\3\2\2\2\u025b\u025d\3\2\2\2\u025c\u025a\3\2\2\2\u025d")
        buf.write('\u025e\bD\2\2\u025e\u0088\3\2\2\2"\2\u013a\u0140\u0145')
        buf.write("\u014a\u014c\u0152\u0156\u015b\u015d\u0162\u0166\u016b")
        buf.write("\u016d\u0172\u017a\u0188\u0199\u0201\u0207\u020d\u020f")
        buf.write("\u0216\u0218\u021c\u0222\u0225\u0234\u023b\u0245\u0251")
        buf.write("\u025a\3\b\2\2")
        return buf.getvalue()


[docs] class GrammarLexer(Lexer): atn = ATNDeserializer().deserialize(serializedATN()) decisionsToDFA = [DFA(ds, i) for i, ds in enumerate(atn.decisionToState)] T__0 = 1 T__1 = 2 T__2 = 3 T__3 = 4 T__4 = 5 T__5 = 6 T__6 = 7 T__7 = 8 T__8 = 9 T__9 = 10 T__10 = 11 T__11 = 12 T__12 = 13 T__13 = 14 T__14 = 15 T__15 = 16 T__16 = 17 T__17 = 18 T__18 = 19 T__19 = 20 T__20 = 21 T__21 = 22 T__22 = 23 T__23 = 24 T__24 = 25 T__25 = 26 T__26 = 27 T__27 = 28 T__28 = 29 T__29 = 30 T__30 = 31 T__31 = 32 T__32 = 33 T__33 = 34 T__34 = 35 T__35 = 36 T__36 = 37 T__37 = 38 T__38 = 39 T__39 = 40 T__40 = 41 T__41 = 42 T__42 = 43 T__43 = 44 T__44 = 45 T__45 = 46 T__46 = 47 T__47 = 48 T__48 = 49 T__49 = 50 T__50 = 51 T__51 = 52 T__52 = 53 FLOAT = 54 INT = 55 HEX_INT = 56 TRUE = 57 FALSE = 58 UFUNC_NAME = 59 ID = 60 STRING = 61 WS = 62 MULTILINE_COMMENT = 63 LINE_COMMENT = 64 PYTHON_COMMENT = 65 channelNames = ["DEFAULT_TOKEN_CHANNEL", "HIDDEN"] modeNames = ["DEFAULT_MODE"] literalNames = [ "<INVALID>", "'def'", "'int'", "'float'", "'='", "';'", "'state'", "'{'", "'}'", "'[*]'", "'->'", "':'", "'::'", "'if'", "'['", "']'", "'effect'", "'!'", "'*'", "'enter'", "'abstract'", "'exit'", "'during'", "'before'", "'after'", "'>>'", "':='", "'('", "')'", "'+'", "'-'", "'**'", "'/'", "'%'", "'<<'", "'&'", "'^'", "'|'", "'?'", "'not'", "'<'", "'>'", "'<='", "'>='", "'=='", "'!='", "'&&'", "'and'", "'||'", "'or'", "'pi'", "'E'", "'tau'", "'.'", ] symbolicNames = [ "<INVALID>", "FLOAT", "INT", "HEX_INT", "TRUE", "FALSE", "UFUNC_NAME", "ID", "STRING", "WS", "MULTILINE_COMMENT", "LINE_COMMENT", "PYTHON_COMMENT", ] ruleNames = [ "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8", "T__9", "T__10", "T__11", "T__12", "T__13", "T__14", "T__15", "T__16", "T__17", "T__18", "T__19", "T__20", "T__21", "T__22", "T__23", "T__24", "T__25", "T__26", "T__27", "T__28", "T__29", "T__30", "T__31", "T__32", "T__33", "T__34", "T__35", "T__36", "T__37", "T__38", "T__39", "T__40", "T__41", "T__42", "T__43", "T__44", "T__45", "T__46", "T__47", "T__48", "T__49", "T__50", "T__51", "T__52", "FLOAT", "INT", "HEX_INT", "TRUE", "FALSE", "UFUNC_NAME", "ID", "STRING", "EscapeSequence", "HexDigit", "WS", "MULTILINE_COMMENT", "LINE_COMMENT", "PYTHON_COMMENT", ] grammarFileName = "Grammar.g4" def __init__(self, input=None, output: TextIO = sys.stdout): super().__init__(input, output) self.checkVersion("4.9.3") self._interp = LexerATNSimulator( self, self.atn, self.decisionsToDFA, PredictionContextCache() ) self._actions = None self._predicates = None