<gh_stars>0
# Generated from /home/fms/Daten/B-<NAME>/ImperialCollege/ideal-completions-security-code/parser/Pi.g4 by ANTLR 4.7
# encoding: utf-8
from __future__ import print_function
from antlr4 import *
from io import StringIO
import sys


def serializedATN():
    with StringIO() as buf:
        buf.write(u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2")
        buf.write(u"(\u00e7\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4")
        buf.write(u"\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r")
        buf.write(u"\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22")
        buf.write(u"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4")
        buf.write(u"\30\t\30\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35")
        buf.write(u"\t\35\4\36\t\36\4\37\t\37\4 \t \4!\t!\4\"\t\"\4#\t#\4")
        buf.write(u"$\t$\4%\t%\4&\t&\4\'\t\'\3\2\3\2\6\2R\n\2\r\2\16\2S\3")
        buf.write(u"\3\3\3\5\3X\n\3\3\4\3\4\7\4\\\n\4\f\4\16\4_\13\4\3\5")
        buf.write(u"\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\7\3\7\3\7")
        buf.write(u"\3\7\3\7\3\7\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\n\3\n")
        buf.write(u"\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\f\3")
        buf.write(u"\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\16\3\16\3\16\3\16")
        buf.write(u"\3\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3")
        buf.write(u"\21\3\21\3\22\3\22\3\23\3\23\3\24\3\24\3\25\3\25\3\26")
        buf.write(u"\3\26\3\27\3\27\3\27\3\30\3\30\3\31\3\31\3\32\3\32\3")
        buf.write(u"\33\3\33\3\33\3\33\3\33\3\34\3\34\3\34\3\34\3\34\3\34")
        buf.write(u"\3\34\3\35\3\35\3\35\3\35\3\35\3\36\3\36\3\37\3\37\3")
        buf.write(u" \3 \3!\3!\3\"\3\"\3#\3#\3#\3#\3$\3$\3$\3%\3%\3&\6&\u00d8")
        buf.write(u"\n&\r&\16&\u00d9\3&\3&\3\'\3\'\3\'\3\'\6\'\u00e2\n\'")
        buf.write(u"\r\'\16\'\u00e3\3\'\3\'\2\2(\3\3\5\4\7\5\t\6\13\7\r\b")
        buf.write(u"\17\t\21\n\23\13\25\f\27\r\31\16\33\17\35\20\37\21!\22")
        buf.write(u"#\23%\24\'\25)\26+\27-\30/\31\61\32\63\33\65\34\67\35")
        buf.write(u"9\36;\37= ?!A\"C#E$G%I&K\'M(\3\2\b\3\2c|\3\2C\\\3\2\62")
        buf.write(u";\3\2\63;\5\2\13\13\17\17\"\"\4\2\f\f\17\17\2\u00eb\2")
        buf.write(u"\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3")
        buf.write(u"\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2")
        buf.write(u"\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2")
        buf.write(u"\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2")
        buf.write(u"\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3\2")
        buf.write(u"\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2")
        buf.write(u"\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2?\3")
        buf.write(u"\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2\2\2\2")
        buf.write(u"I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\3O\3\2\2\2\5U\3\2\2\2")
        buf.write(u"\7Y\3\2\2\2\t`\3\2\2\2\13h\3\2\2\2\rk\3\2\2\2\17q\3\2")
        buf.write(u"\2\2\21v\3\2\2\2\23y\3\2\2\2\25\177\3\2\2\2\27\u0085")
        buf.write(u"\3\2\2\2\31\u008a\3\2\2\2\33\u008f\3\2\2\2\35\u0095\3")
        buf.write(u"\2\2\2\37\u009b\3\2\2\2!\u009d\3\2\2\2#\u009f\3\2\2\2")
        buf.write(u"%\u00a1\3\2\2\2\'\u00a3\3\2\2\2)\u00a5\3\2\2\2+\u00a7")
        buf.write(u"\3\2\2\2-\u00a9\3\2\2\2/\u00ac\3\2\2\2\61\u00ae\3\2\2")
        buf.write(u"\2\63\u00b0\3\2\2\2\65\u00b2\3\2\2\2\67\u00b7\3\2\2\2")
        buf.write(u"9\u00be\3\2\2\2;\u00c3\3\2\2\2=\u00c5\3\2\2\2?\u00c7")
        buf.write(u"\3\2\2\2A\u00c9\3\2\2\2C\u00cb\3\2\2\2E\u00cd\3\2\2\2")
        buf.write(u"G\u00d1\3\2\2\2I\u00d4\3\2\2\2K\u00d7\3\2\2\2M\u00dd")
        buf.write(u"\3\2\2\2OQ\6\2\2\2PR\t\2\2\2QP\3\2\2\2RS\3\2\2\2SQ\3")
        buf.write(u"\2\2\2ST\3\2\2\2T\4\3\2\2\2UW\t\3\2\2VX\t\4\2\2WV\3\2")
        buf.write(u"\2\2WX\3\2\2\2X\6\3\2\2\2Y]\t\5\2\2Z\\\t\4\2\2[Z\3\2")
        buf.write(u"\2\2\\_\3\2\2\2][\3\2\2\2]^\3\2\2\2^\b\3\2\2\2_]\3\2")
        buf.write(u"\2\2`a\7%\2\2ab\7i\2\2bc\7n\2\2cd\7q\2\2de\7d\2\2ef\7")
        buf.write(u"c\2\2fg\7n\2\2g\n\3\2\2\2hi\7\61\2\2ij\7\61\2\2j\f\3")
        buf.write(u"\2\2\2kl\7u\2\2lm\7k\2\2mn\7|\2\2no\7g\2\2op\7\"\2\2")
        buf.write(u"p\16\3\2\2\2qr\7p\2\2rs\7g\2\2st\7y\2\2tu\7\"\2\2u\20")
        buf.write(u"\3\2\2\2vw\7`\2\2wx\7y\2\2x\22\3\2\2\2yz\7c\2\2z{\7g")
        buf.write(u"\2\2{|\7p\2\2|}\7e\2\2}~\7*\2\2~\24\3\2\2\2\177\u0080")
        buf.write(u"\7u\2\2\u0080\u0081\7k\2\2\u0081\u0082\7i\2\2\u0082\u0083")
        buf.write(u"\7p\2\2\u0083\u0084\7*\2\2\u0084\26\3\2\2\2\u0085\u0086")
        buf.write(u"\7r\2\2\u0086\u0087\7w\2\2\u0087\u0088\7d\2\2\u0088\u0089")
        buf.write(u"\7*\2\2\u0089\30\3\2\2\2\u008a\u008b\7g\2\2\u008b\u008c")
        buf.write(u"\7p\2\2\u008c\u008d\7e\2\2\u008d\u008e\7*\2\2\u008e\32")
        buf.write(u"\3\2\2\2\u008f\u0090\7c\2\2\u0090\u0091\7f\2\2\u0091")
        buf.write(u"\u0092\7g\2\2\u0092\u0093\7e\2\2\u0093\u0094\7*\2\2\u0094")
        buf.write(u"\34\3\2\2\2\u0095\u0096\7x\2\2\u0096\u0097\7g\2\2\u0097")
        buf.write(u"\u0098\7t\2\2\u0098\u0099\7k\2\2\u0099\u009a\7*\2\2\u009a")
        buf.write(u"\36\3\2\2\2\u009b\u009c\7}\2\2\u009c \3\2\2\2\u009d\u009e")
        buf.write(u"\7\177\2\2\u009e\"\3\2\2\2\u009f\u00a0\7a\2\2\u00a0$")
        buf.write(u"\3\2\2\2\u00a1\u00a2\7*\2\2\u00a2&\3\2\2\2\u00a3\u00a4")
        buf.write(u"\7+\2\2\u00a4(\3\2\2\2\u00a5\u00a6\7>\2\2\u00a6*\3\2")
        buf.write(u"\2\2\u00a7\u00a8\7@\2\2\u00a8,\3\2\2\2\u00a9\u00aa\7")
        buf.write(u"~\2\2\u00aa\u00ab\7~\2\2\u00ab.\3\2\2\2\u00ac\u00ad\7")
        buf.write(u"]\2\2\u00ad\60\3\2\2\2\u00ae\u00af\7_\2\2\u00af\62\3")
        buf.write(u"\2\2\2\u00b0\u00b1\7.\2\2\u00b1\64\3\2\2\2\u00b2\u00b3")
        buf.write(u"\7U\2\2\u00b3\u00b4\7V\2\2\u00b4\u00b5\7Q\2\2\u00b5\u00b6")
        buf.write(u"\7R\2\2\u00b6\66\3\2\2\2\u00b7\u00b8\7U\2\2\u00b8\u00b9")
        buf.write(u"\7g\2\2\u00b9\u00ba\7e\2\2\u00ba\u00bb\7t\2\2\u00bb\u00bc")
        buf.write(u"\7g\2\2\u00bc\u00bd\7v\2\2\u00bd8\3\2\2\2\u00be\u00bf")
        buf.write(u"\7N\2\2\u00bf\u00c0\7g\2\2\u00c0\u00c1\7c\2\2\u00c1\u00c2")
        buf.write(u"\7m\2\2\u00c2:\3\2\2\2\u00c3\u00c4\7\60\2\2\u00c4<\3")
        buf.write(u"\2\2\2\u00c5\u00c6\7=\2\2\u00c6>\3\2\2\2\u00c7\u00c8")
        buf.write(u"\7\f\2\2\u00c8@\3\2\2\2\u00c9\u00ca\7<\2\2\u00caB\3\2")
        buf.write(u"\2\2\u00cb\u00cc\7-\2\2\u00ccD\3\2\2\2\u00cd\u00ce\7")
        buf.write(u"k\2\2\u00ce\u00cf\7p\2\2\u00cf\u00d0\7*\2\2\u00d0F\3")
        buf.write(u"\2\2\2\u00d1\u00d2\7<\2\2\u00d2\u00d3\7?\2\2\u00d3H\3")
        buf.write(u"\2\2\2\u00d4\u00d5\7?\2\2\u00d5J\3\2\2\2\u00d6\u00d8")
        buf.write(u"\t\6\2\2\u00d7\u00d6\3\2\2\2\u00d8\u00d9\3\2\2\2\u00d9")
        buf.write(u"\u00d7\3\2\2\2\u00d9\u00da\3\2\2\2\u00da\u00db\3\2\2")
        buf.write(u"\2\u00db\u00dc\b&\2\2\u00dcL\3\2\2\2\u00dd\u00de\7\61")
        buf.write(u"\2\2\u00de\u00df\7\61\2\2\u00df\u00e1\3\2\2\2\u00e0\u00e2")
        buf.write(u"\n\7\2\2\u00e1\u00e0\3\2\2\2\u00e2\u00e3\3\2\2\2\u00e3")
        buf.write(u"\u00e1\3\2\2\2\u00e3\u00e4\3\2\2\2\u00e4\u00e5\3\2\2")
        buf.write(u"\2\u00e5\u00e6\b\'\2\2\u00e6N\3\2\2\2\b\2SW]\u00d9\u00e3")
        buf.write(u"\3\b\2\2")
        return buf.getvalue()


class PiLexer(Lexer):

    atn = ATNDeserializer().deserialize(serializedATN())

    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]

    NAME = 1
    PROCID = 2
    NUMBER = 3
    GLOBAL = 4
    DOUBLESLASH = 5
    SIZE = 6
    NEWOP = 7
    OMEGA = 8
    AENCOP = 9
    SIGNOP = 10
    PUBOP = 11
    ENCOP = 12
    ADECOP = 13
    VERIOP = 14
    CURLOP = 15
    CURLCL = 16
    UNDER = 17
    PAROP = 18
    PARCL = 19
    FROP = 20
    FRCL = 21
    PARA = 22
    BRAOP = 23
    BRACL = 24
    COMMA = 25
    ZERO = 26
    SECRET = 27
    LEAK = 28
    DOT = 29
    SEM = 30
    NEWLINE = 31
    COL = 32
    CHOICEOP = 33
    INOP = 34
    DEF = 35
    EQ = 36
    WS = 37
    COMMENTS = 38

    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]

    modeNames = [ u"DEFAULT_MODE" ]

    literalNames = [ u"<INVALID>",
            u"'#global'", u"'//'", u"'size '", u"'new '", u"'^w'", u"'aenc('", 
            u"'sign('", u"'pub('", u"'enc('", u"'adec('", u"'veri('", u"'{'", 
            u"'}'", u"'_'", u"'('", u"')'", u"'<'", u"'>'", u"'||'", u"'['", 
            u"']'", u"','", u"'STOP'", u"'Secret'", u"'Leak'", u"'.'", u"';'", 
            u"'\n'", u"':'", u"'+'", u"'in('", u"':='", u"'='" ]

    symbolicNames = [ u"<INVALID>",
            u"NAME", u"PROCID", u"NUMBER", u"GLOBAL", u"DOUBLESLASH", u"SIZE", 
            u"NEWOP", u"OMEGA", u"AENCOP", u"SIGNOP", u"PUBOP", u"ENCOP", 
            u"ADECOP", u"VERIOP", u"CURLOP", u"CURLCL", u"UNDER", u"PAROP", 
            u"PARCL", u"FROP", u"FRCL", u"PARA", u"BRAOP", u"BRACL", u"COMMA", 
            u"ZERO", u"SECRET", u"LEAK", u"DOT", u"SEM", u"NEWLINE", u"COL", 
            u"CHOICEOP", u"INOP", u"DEF", u"EQ", u"WS", u"COMMENTS" ]

    ruleNames = [ u"NAME", u"PROCID", u"NUMBER", u"GLOBAL", u"DOUBLESLASH", 
                  u"SIZE", u"NEWOP", u"OMEGA", u"AENCOP", u"SIGNOP", u"PUBOP", 
                  u"ENCOP", u"ADECOP", u"VERIOP", u"CURLOP", u"CURLCL", 
                  u"UNDER", u"PAROP", u"PARCL", u"FROP", u"FRCL", u"PARA", 
                  u"BRAOP", u"BRACL", u"COMMA", u"ZERO", u"SECRET", u"LEAK", 
                  u"DOT", u"SEM", u"NEWLINE", u"COL", u"CHOICEOP", u"INOP", 
                  u"DEF", u"EQ", u"WS", u"COMMENTS" ]

    grammarFileName = u"Pi.g4"

    def __init__(self, input=None, output=sys.stdout):
        super(PiLexer, self).__init__(input, output=output)
        self.checkVersion("4.7")
        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
        self._actions = None
        self._predicates = None


    def sempred(self, localctx, ruleIndex, predIndex):
        if self._predicates is None:
            preds = dict()
            preds[0] = self.NAME_sempred
            self._predicates = preds
        pred = self._predicates.get(ruleIndex, None)
        if pred is not None:
            return pred(localctx, predIndex)
        else:
            raise Exception("No registered predicate for:" + str(ruleIndex))

    def NAME_sempred(self, localctx, predIndex):
            if predIndex == 0:
                return (self._input.LA(1) != 'global') & (self._input.LA(1) != 'size') &\
                       (self._input.LA(1) != 'new') &\
                       (self._input.LA(1) != 'aenc') & (self._input.LA(1) != 'sign') &\
                       (self._input.LA(1) != 'pub') & (self._input.LA(1) != 'enc') &\
                       (self._input.LA(1) != 'adec') & (self._input.LA(1) != 'veri')
         



# Generated from /home/fms/Daten/B-<NAME>/ImperialCollege/ideal-completions-security-code/parser/Pi.g4 by ANTLR 4.7
# encoding: utf-8
from __future__ import print_function
from antlr4 import *
from io import StringIO
import sys


def serializedATN():
    with StringIO() as buf:
        buf.write(u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2")
        buf.write(u"(\u00e7\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4")
        buf.write(u"\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r")
        buf.write(u"\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22")
        buf.write(u"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4")
        buf.write(u"\30\t\30\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35")
        buf.write(u"\t\35\4\36\t\36\4\37\t\37\4 \t \4!\t!\4\"\t\"\4#\t#\4")
        buf.write(u"$\t$\4%\t%\4&\t&\4\'\t\'\3\2\3\2\6\2R\n\2\r\2\16\2S\3")
        buf.write(u"\3\3\3\5\3X\n\3\3\4\3\4\7\4\\\n\4\f\4\16\4_\13\4\3\5")
        buf.write(u"\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\7\3\7\3\7")
        buf.write(u"\3\7\3\7\3\7\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\n\3\n")
        buf.write(u"\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\f\3")
        buf.write(u"\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\16\3\16\3\16\3\16")
        buf.write(u"\3\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3")
        buf.write(u"\21\3\21\3\22\3\22\3\23\3\23\3\24\3\24\3\25\3\25\3\26")
        buf.write(u"\3\26\3\27\3\27\3\27\3\30\3\30\3\31\3\31\3\32\3\32\3")
        buf.write(u"\33\3\33\3\33\3\33\3\33\3\34\3\34\3\34\3\34\3\34\3\34")
        buf.write(u"\3\34\3\35\3\35\3\35\3\35\3\35\3\36\3\36\3\37\3\37\3")
        buf.write(u" \3 \3!\3!\3\"\3\"\3#\3#\3#\3#\3$\3$\3$\3%\3%\3&\6&\u00d8")
        buf.write(u"\n&\r&\16&\u00d9\3&\3&\3\'\3\'\3\'\3\'\6\'\u00e2\n\'")
        buf.write(u"\r\'\16\'\u00e3\3\'\3\'\2\2(\3\3\5\4\7\5\t\6\13\7\r\b")
        buf.write(u"\17\t\21\n\23\13\25\f\27\r\31\16\33\17\35\20\37\21!\22")
        buf.write(u"#\23%\24\'\25)\26+\27-\30/\31\61\32\63\33\65\34\67\35")
        buf.write(u"9\36;\37= ?!A\"C#E$G%I&K\'M(\3\2\b\3\2c|\3\2C\\\3\2\62")
        buf.write(u";\3\2\63;\5\2\13\13\17\17\"\"\4\2\f\f\17\17\2\u00eb\2")
        buf.write(u"\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3")
        buf.write(u"\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2")
        buf.write(u"\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2")
        buf.write(u"\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2")
        buf.write(u"\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3\2")
        buf.write(u"\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2")
        buf.write(u"\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2?\3")
        buf.write(u"\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2\2\2\2")
        buf.write(u"I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\3O\3\2\2\2\5U\3\2\2\2")
        buf.write(u"\7Y\3\2\2\2\t`\3\2\2\2\13h\3\2\2\2\rk\3\2\2\2\17q\3\2")
        buf.write(u"\2\2\21v\3\2\2\2\23y\3\2\2\2\25\177\3\2\2\2\27\u0085")
        buf.write(u"\3\2\2\2\31\u008a\3\2\2\2\33\u008f\3\2\2\2\35\u0095\3")
        buf.write(u"\2\2\2\37\u009b\3\2\2\2!\u009d\3\2\2\2#\u009f\3\2\2\2")
        buf.write(u"%\u00a1\3\2\2\2\'\u00a3\3\2\2\2)\u00a5\3\2\2\2+\u00a7")
        buf.write(u"\3\2\2\2-\u00a9\3\2\2\2/\u00ac\3\2\2\2\61\u00ae\3\2\2")
        buf.write(u"\2\63\u00b0\3\2\2\2\65\u00b2\3\2\2\2\67\u00b7\3\2\2\2")
        buf.write(u"9\u00be\3\2\2\2;\u00c3\3\2\2\2=\u00c5\3\2\2\2?\u00c7")
        buf.write(u"\3\2\2\2A\u00c9\3\2\2\2C\u00cb\3\2\2\2E\u00cd\3\2\2\2")
        buf.write(u"G\u00d1\3\2\2\2I\u00d4\3\2\2\2K\u00d7\3\2\2\2M\u00dd")
        buf.write(u"\3\2\2\2OQ\6\2\2\2PR\t\2\2\2QP\3\2\2\2RS\3\2\2\2SQ\3")
        buf.write(u"\2\2\2ST\3\2\2\2T\4\3\2\2\2UW\t\3\2\2VX\t\4\2\2WV\3\2")
        buf.write(u"\2\2WX\3\2\2\2X\6\3\2\2\2Y]\t\5\2\2Z\\\t\4\2\2[Z\3\2")
        buf.write(u"\2\2\\_\3\2\2\2][\3\2\2\2]^\3\2\2\2^\b\3\2\2\2_]\3\2")
        buf.write(u"\2\2`a\7%\2\2ab\7i\2\2bc\7n\2\2cd\7q\2\2de\7d\2\2ef\7")
        buf.write(u"c\2\2fg\7n\2\2g\n\3\2\2\2hi\7\61\2\2ij\7\61\2\2j\f\3")
        buf.write(u"\2\2\2kl\7u\2\2lm\7k\2\2mn\7|\2\2no\7g\2\2op\7\"\2\2")
        buf.write(u"p\16\3\2\2\2qr\7p\2\2rs\7g\2\2st\7y\2\2tu\7\"\2\2u\20")
        buf.write(u"\3\2\2\2vw\7`\2\2wx\7y\2\2x\22\3\2\2\2yz\7c\2\2z{\7g")
        buf.write(u"\2\2{|\7p\2\2|}\7e\2\2}~\7*\2\2~\24\3\2\2\2\177\u0080")
        buf.write(u"\7u\2\2\u0080\u0081\7k\2\2\u0081\u0082\7i\2\2\u0082\u0083")
        buf.write(u"\7p\2\2\u0083\u0084\7*\2\2\u0084\26\3\2\2\2\u0085\u0086")
        buf.write(u"\7r\2\2\u0086\u0087\7w\2\2\u0087\u0088\7d\2\2\u0088\u0089")
        buf.write(u"\7*\2\2\u0089\30\3\2\2\2\u008a\u008b\7g\2\2\u008b\u008c")
        buf.write(u"\7p\2\2\u008c\u008d\7e\2\2\u008d\u008e\7*\2\2\u008e\32")
        buf.write(u"\3\2\2\2\u008f\u0090\7c\2\2\u0090\u0091\7f\2\2\u0091")
        buf.write(u"\u0092\7g\2\2\u0092\u0093\7e\2\2\u0093\u0094\7*\2\2\u0094")
        buf.write(u"\34\3\2\2\2\u0095\u0096\7x\2\2\u0096\u0097\7g\2\2\u0097")
        buf.write(u"\u0098\7t\2\2\u0098\u0099\7k\2\2\u0099\u009a\7*\2\2\u009a")
        buf.write(u"\36\3\2\2\2\u009b\u009c\7}\2\2\u009c \3\2\2\2\u009d\u009e")
        buf.write(u"\7\177\2\2\u009e\"\3\2\2\2\u009f\u00a0\7a\2\2\u00a0$")
        buf.write(u"\3\2\2\2\u00a1\u00a2\7*\2\2\u00a2&\3\2\2\2\u00a3\u00a4")
        buf.write(u"\7+\2\2\u00a4(\3\2\2\2\u00a5\u00a6\7>\2\2\u00a6*\3\2")
        buf.write(u"\2\2\u00a7\u00a8\7@\2\2\u00a8,\3\2\2\2\u00a9\u00aa\7")
        buf.write(u"~\2\2\u00aa\u00ab\7~\2\2\u00ab.\3\2\2\2\u00ac\u00ad\7")
        buf.write(u"]\2\2\u00ad\60\3\2\2\2\u00ae\u00af\7_\2\2\u00af\62\3")
        buf.write(u"\2\2\2\u00b0\u00b1\7.\2\2\u00b1\64\3\2\2\2\u00b2\u00b3")
        buf.write(u"\7U\2\2\u00b3\u00b4\7V\2\2\u00b4\u00b5\7Q\2\2\u00b5\u00b6")
        buf.write(u"\7R\2\2\u00b6\66\3\2\2\2\u00b7\u00b8\7U\2\2\u00b8\u00b9")
        buf.write(u"\7g\2\2\u00b9\u00ba\7e\2\2\u00ba\u00bb\7t\2\2\u00bb\u00bc")
        buf.write(u"\7g\2\2\u00bc\u00bd\7v\2\2\u00bd8\3\2\2\2\u00be\u00bf")
        buf.write(u"\7N\2\2\u00bf\u00c0\7g\2\2\u00c0\u00c1\7c\2\2\u00c1\u00c2")
        buf.write(u"\7m\2\2\u00c2:\3\2\2\2\u00c3\u00c4\7\60\2\2\u00c4<\3")
        buf.write(u"\2\2\2\u00c5\u00c6\7=\2\2\u00c6>\3\2\2\2\u00c7\u00c8")
        buf.write(u"\7\f\2\2\u00c8@\3\2\2\2\u00c9\u00ca\7<\2\2\u00caB\3\2")
        buf.write(u"\2\2\u00cb\u00cc\7-\2\2\u00ccD\3\2\2\2\u00cd\u00ce\7")
        buf.write(u"k\2\2\u00ce\u00cf\7p\2\2\u00cf\u00d0\7*\2\2\u00d0F\3")
        buf.write(u"\2\2\2\u00d1\u00d2\7<\2\2\u00d2\u00d3\7?\2\2\u00d3H\3")
        buf.write(u"\2\2\2\u00d4\u00d5\7?\2\2\u00d5J\3\2\2\2\u00d6\u00d8")
        buf.write(u"\t\6\2\2\u00d7\u00d6\3\2\2\2\u00d8\u00d9\3\2\2\2\u00d9")
        buf.write(u"\u00d7\3\2\2\2\u00d9\u00da\3\2\2\2\u00da\u00db\3\2\2")
        buf.write(u"\2\u00db\u00dc\b&\2\2\u00dcL\3\2\2\2\u00dd\u00de\7\61")
        buf.write(u"\2\2\u00de\u00df\7\61\2\2\u00df\u00e1\3\2\2\2\u00e0\u00e2")
        buf.write(u"\n\7\2\2\u00e1\u00e0\3\2\2\2\u00e2\u00e3\3\2\2\2\u00e3")
        buf.write(u"\u00e1\3\2\2\2\u00e3\u00e4\3\2\2\2\u00e4\u00e5\3\2\2")
        buf.write(u"\2\u00e5\u00e6\b\'\2\2\u00e6N\3\2\2\2\b\2SW]\u00d9\u00e3")
        buf.write(u"\3\b\2\2")
        return buf.getvalue()


class PiLexer(Lexer):

    atn = ATNDeserializer().deserialize(serializedATN())

    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]

    NAME = 1
    PROCID = 2
    NUMBER = 3
    GLOBAL = 4
    DOUBLESLASH = 5
    SIZE = 6
    NEWOP = 7
    OMEGA = 8
    AENCOP = 9
    SIGNOP = 10
    PUBOP = 11
    ENCOP = 12
    ADECOP = 13
    VERIOP = 14
    CURLOP = 15
    CURLCL = 16
    UNDER = 17
    PAROP = 18
    PARCL = 19
    FROP = 20
    FRCL = 21
    PARA = 22
    BRAOP = 23
    BRACL = 24
    COMMA = 25
    ZERO = 26
    SECRET = 27
    LEAK = 28
    DOT = 29
    SEM = 30
    NEWLINE = 31
    COL = 32
    CHOICEOP = 33
    INOP = 34
    DEF = 35
    EQ = 36
    WS = 37
    COMMENTS = 38

    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]

    modeNames = [ u"DEFAULT_MODE" ]

    literalNames = [ u"<INVALID>",
            u"'#global'", u"'//'", u"'size '", u"'new '", u"'^w'", u"'aenc('", 
            u"'sign('", u"'pub('", u"'enc('", u"'adec('", u"'veri('", u"'{'", 
            u"'}'", u"'_'", u"'('", u"')'", u"'<'", u"'>'", u"'||'", u"'['", 
            u"']'", u"','", u"'STOP'", u"'Secret'", u"'Leak'", u"'.'", u"';'", 
            u"'\n'", u"':'", u"'+'", u"'in('", u"':='", u"'='" ]

    symbolicNames = [ u"<INVALID>",
            u"NAME", u"PROCID", u"NUMBER", u"GLOBAL", u"DOUBLESLASH", u"SIZE", 
            u"NEWOP", u"OMEGA", u"AENCOP", u"SIGNOP", u"PUBOP", u"ENCOP", 
            u"ADECOP", u"VERIOP", u"CURLOP", u"CURLCL", u"UNDER", u"PAROP", 
            u"PARCL", u"FROP", u"FRCL", u"PARA", u"BRAOP", u"BRACL", u"COMMA", 
            u"ZERO", u"SECRET", u"LEAK", u"DOT", u"SEM", u"NEWLINE", u"COL", 
            u"CHOICEOP", u"INOP", u"DEF", u"EQ", u"WS", u"COMMENTS" ]

    ruleNames = [ u"NAME", u"PROCID", u"NUMBER", u"GLOBAL", u"DOUBLESLASH", 
                  u"SIZE", u"NEWOP", u"OMEGA", u"AENCOP", u"SIGNOP", u"PUBOP", 
                  u"ENCOP", u"ADECOP", u"VERIOP", u"CURLOP", u"CURLCL", 
                  u"UNDER", u"PAROP", u"PARCL", u"FROP", u"FRCL", u"PARA", 
                  u"BRAOP", u"BRACL", u"COMMA", u"ZERO", u"SECRET", u"LEAK", 
                  u"DOT", u"SEM", u"NEWLINE", u"COL", u"CHOICEOP", u"INOP", 
                  u"DEF", u"EQ", u"WS", u"COMMENTS" ]

    grammarFileName = u"Pi.g4"

    def __init__(self, input=None, output=sys.stdout):
        super(PiLexer, self).__init__(input, output=output)
        self.checkVersion("4.7")
        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
        self._actions = None
        self._predicates = None


    def sempred(self, localctx, ruleIndex, predIndex):
        if self._predicates is None:
            preds = dict()
            preds[0] = self.NAME_sempred
            self._predicates = preds
        pred = self._predicates.get(ruleIndex, None)
        if pred is not None:
            return pred(localctx, predIndex)
        else:
            raise Exception("No registered predicate for:" + str(ruleIndex))

    def NAME_sempred(self, localctx, predIndex):
            if predIndex == 0:
                return (self._input.LA(1) != 'global') & (self._input.LA(1) != 'size') &\
                       (self._input.LA(1) != 'new') &\
                       (self._input.LA(1) != 'aenc') & (self._input.LA(1) != 'sign') &\
                       (self._input.LA(1) != 'pub') & (self._input.LA(1) != 'enc') &\
                       (self._input.LA(1) != 'adec') & (self._input.LA(1) != 'veri')
# Generated from /home/fms/Daten/B-<NAME>/ImperialCollege/ideal-completions-security-code/parser/Pi.g4 by ANTLR 4.7 # encoding: utf-8 #\t#\4") #\3#\3#\3#\3$\3$\3$\3%\3%\3&\6&\u00d8") #E$G%I&K\'M(\3\2\b\3\2c|\3\2C\\\3\2\62") #\3\2\2\2") #\u009f\3\2\2\2")