org.eolang.parser.PhiLexer Maven / Gradle / Ivy

Go to download
// Generated from org/eolang/parser/Phi.g4 by ANTLR 4.13.1
package org.eolang.parser;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue", "this-escape"})
public class PhiLexer extends Lexer {
	static { RuntimeMetaData.checkVersion("4.13.1", RuntimeMetaData.VERSION); }

	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		WS=1, FUNCTION=2, LCB=3, RCB=4, LSB=5, RSB=6, LB=7, RB=8, DOT=9, COMMA=10, 
		ARROW=11, DASHED_ARROW=12, ALPHA=13, EMPTY=14, PHI=15, RHO=16, SIGMA=17, 
		VTX=18, DELTA=19, XI=20, LAMBDA=21, HOME=22, ERROR=23, MINUS=24, INDEX=25, 
		LABEL=26, BYTES=27;
	public static String[] channelNames = {
		"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
	};

	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	private static String[] makeRuleNames() {
		return new String[] {
			"WS", "FUNCTION", "LCB", "RCB", "LSB", "RSB", "LB", "RB", "DOT", "COMMA", 
			"ARROW", "DASHED_ARROW", "ALPHA", "EMPTY", "PHI", "RHO", "SIGMA", "VTX", 
			"DELTA", "XI", "LAMBDA", "HOME", "ERROR", "MINUS", "INDEX", "LABEL", 
			"BYTE", "BYTES"
		};
	}
	public static final String[] ruleNames = makeRuleNames();

	private static String[] makeLiteralNames() {
		return new String[] {
			null, null, null, "'{'", "'}'", "'\\u27E6'", "'\\u27E7'", "'('", "')'", 
			"'.'", "','", "'\\u21A6'", "'\\u290D'", "'\\u03B1'", "'\\u2205'", "'\\u03C6'", 
			"'\\u03C1'", "'\\u03C3'", "'\\u03BD'", "'\\u0394'", "'\\u03BE'", "'\\u03BB'", 
			"'\\u03A6'", "'\\u22A5'", "'-'"
		};
	}
	private static final String[] _LITERAL_NAMES = makeLiteralNames();
	private static String[] makeSymbolicNames() {
		return new String[] {
			null, "WS", "FUNCTION", "LCB", "RCB", "LSB", "RSB", "LB", "RB", "DOT", 
			"COMMA", "ARROW", "DASHED_ARROW", "ALPHA", "EMPTY", "PHI", "RHO", "SIGMA", 
			"VTX", "DELTA", "XI", "LAMBDA", "HOME", "ERROR", "MINUS", "INDEX", "LABEL", 
			"BYTES"
		};
	}
	private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames();
	public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);

	/**
	 * @deprecated Use {@link #VOCABULARY} instead.
	 */
	@Deprecated
	public static final String[] tokenNames;
	static {
		tokenNames = new String[_SYMBOLIC_NAMES.length];
		for (int i = 0; i < tokenNames.length; i++) {
			tokenNames[i] = VOCABULARY.getLiteralName(i);
			if (tokenNames[i] == null) {
				tokenNames[i] = VOCABULARY.getSymbolicName(i);
			}

			if (tokenNames[i] == null) {
				tokenNames[i] = "";
			}
		}
	}

	@Override
	@Deprecated
	public String[] getTokenNames() {
		return tokenNames;
	}

	@Override

	public Vocabulary getVocabulary() {
		return VOCABULARY;
	}


	public PhiLexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	@Override
	public String getGrammarFileName() { return "Phi.g4"; }

	@Override
	public String[] getRuleNames() { return ruleNames; }

	@Override
	public String getSerializedATN() { return _serializedATN; }

	@Override
	public String[] getChannelNames() { return channelNames; }

	@Override
	public String[] getModeNames() { return modeNames; }

	@Override
	public ATN getATN() { return _ATN; }

	public static final String _serializedATN =
		"\u0004\u0000\u001b\u0097\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002"+
		"\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002"+
		"\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002"+
		"\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002"+
		"\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e"+
		"\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011"+
		"\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014"+
		"\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017"+
		"\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a"+
		"\u0002\u001b\u0007\u001b\u0001\u0000\u0004\u0000;\b\u0000\u000b\u0000"+
		"\f\u0000<\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0005\u0001"+
		"C\b\u0001\n\u0001\f\u0001F\t\u0001\u0001\u0002\u0001\u0002\u0001\u0003"+
		"\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0006"+
		"\u0001\u0006\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\t\u0001\t\u0001"+
		"\n\u0001\n\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\r\u0001\r\u0001"+
		"\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001"+
		"\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0001"+
		"\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0001"+
		"\u0017\u0001\u0017\u0001\u0018\u0001\u0018\u0001\u0018\u0005\u0018w\b"+
		"\u0018\n\u0018\f\u0018z\t\u0018\u0003\u0018|\b\u0018\u0001\u0019\u0001"+
		"\u0019\u0005\u0019\u0080\b\u0019\n\u0019\f\u0019\u0083\t\u0019\u0001\u001a"+
		"\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001b\u0001\u001b"+
		"\u0001\u001b\u0001\u001b\u0001\u001b\u0001\u001b\u0001\u001b\u0001\u001b"+
		"\u0004\u001b\u0092\b\u001b\u000b\u001b\f\u001b\u0093\u0003\u001b\u0096"+
		"\b\u001b\u0000\u0000\u001c\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004"+
		"\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017"+
		"\f\u0019\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0011#\u0012%\u0013\'"+
		"\u0014)\u0015+\u0016-\u0017/\u00181\u00193\u001a5\u00007\u001b\u0001\u0000"+
		"\b\u0003\u0000\t\n\r\r  \u0001\u0000AZ\u000b\u0000\t\n\r\r !\'),.:;??"+
		"[[]]{}\u27e6\u27e7\u0001\u000009\u0001\u000019\u0001\u0000az\f\u0000\t"+
		"\n\r\r !\'),,..:;??[[]]{}\u27e6\u27e7\u0002\u000009AF\u009d\u0000\u0001"+
		"\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005"+
		"\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001"+
		"\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000"+
		"\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000"+
		"\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000"+
		"\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000"+
		"\u0000\u0000\u0000\u001b\u0001\u0000\u0000\u0000\u0000\u001d\u0001\u0000"+
		"\u0000\u0000\u0000\u001f\u0001\u0000\u0000\u0000\u0000!\u0001\u0000\u0000"+
		"\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000"+
		"\'\u0001\u0000\u0000\u0000\u0000)\u0001\u0000\u0000\u0000\u0000+\u0001"+
		"\u0000\u0000\u0000\u0000-\u0001\u0000\u0000\u0000\u0000/\u0001\u0000\u0000"+
		"\u0000\u00001\u0001\u0000\u0000\u0000\u00003\u0001\u0000\u0000\u0000\u0000"+
		"7\u0001\u0000\u0000\u0000\u0001:\u0001\u0000\u0000\u0000\u0003@\u0001"+
		"\u0000\u0000\u0000\u0005G\u0001\u0000\u0000\u0000\u0007I\u0001\u0000\u0000"+
		"\u0000\tK\u0001\u0000\u0000\u0000\u000bM\u0001\u0000\u0000\u0000\rO\u0001"+
		"\u0000\u0000\u0000\u000fQ\u0001\u0000\u0000\u0000\u0011S\u0001\u0000\u0000"+
		"\u0000\u0013U\u0001\u0000\u0000\u0000\u0015W\u0001\u0000\u0000\u0000\u0017"+
		"Y\u0001\u0000\u0000\u0000\u0019[\u0001\u0000\u0000\u0000\u001b]\u0001"+
		"\u0000\u0000\u0000\u001d_\u0001\u0000\u0000\u0000\u001fa\u0001\u0000\u0000"+
		"\u0000!c\u0001\u0000\u0000\u0000#e\u0001\u0000\u0000\u0000%g\u0001\u0000"+
		"\u0000\u0000\'i\u0001\u0000\u0000\u0000)k\u0001\u0000\u0000\u0000+m\u0001"+
		"\u0000\u0000\u0000-o\u0001\u0000\u0000\u0000/q\u0001\u0000\u0000\u0000"+
		"1{\u0001\u0000\u0000\u00003}\u0001\u0000\u0000\u00005\u0084\u0001\u0000"+
		"\u0000\u00007\u0095\u0001\u0000\u0000\u00009;\u0007\u0000\u0000\u0000"+
		":9\u0001\u0000\u0000\u0000;<\u0001\u0000\u0000\u0000<:\u0001\u0000\u0000"+
		"\u0000<=\u0001\u0000\u0000\u0000=>\u0001\u0000\u0000\u0000>?\u0006\u0000"+
		"\u0000\u0000?\u0002\u0001\u0000\u0000\u0000@D\u0007\u0001\u0000\u0000"+
		"AC\b\u0002\u0000\u0000BA\u0001\u0000\u0000\u0000CF\u0001\u0000\u0000\u0000"+
		"DB\u0001\u0000\u0000\u0000DE\u0001\u0000\u0000\u0000E\u0004\u0001\u0000"+
		"\u0000\u0000FD\u0001\u0000\u0000\u0000GH\u0005{\u0000\u0000H\u0006\u0001"+
		"\u0000\u0000\u0000IJ\u0005}\u0000\u0000J\b\u0001\u0000\u0000\u0000KL\u0005"+
		"\u27e6\u0000\u0000L\n\u0001\u0000\u0000\u0000MN\u0005\u27e7\u0000\u0000"+
		"N\f\u0001\u0000\u0000\u0000OP\u0005(\u0000\u0000P\u000e\u0001\u0000\u0000"+
		"\u0000QR\u0005)\u0000\u0000R\u0010\u0001\u0000\u0000\u0000ST\u0005.\u0000"+
		"\u0000T\u0012\u0001\u0000\u0000\u0000UV\u0005,\u0000\u0000V\u0014\u0001"+
		"\u0000\u0000\u0000WX\u0005\u21a6\u0000\u0000X\u0016\u0001\u0000\u0000"+
		"\u0000YZ\u0005\u290d\u0000\u0000Z\u0018\u0001\u0000\u0000\u0000[\\\u0005"+
		"\u03b1\u0000\u0000\\\u001a\u0001\u0000\u0000\u0000]^\u0005\u2205\u0000"+
		"\u0000^\u001c\u0001\u0000\u0000\u0000_`\u0005\u03c6\u0000\u0000`\u001e"+
		"\u0001\u0000\u0000\u0000ab\u0005\u03c1\u0000\u0000b \u0001\u0000\u0000"+
		"\u0000cd\u0005\u03c3\u0000\u0000d\"\u0001\u0000\u0000\u0000ef\u0005\u03bd"+
		"\u0000\u0000f$\u0001\u0000\u0000\u0000gh\u0005\u0394\u0000\u0000h&\u0001"+
		"\u0000\u0000\u0000ij\u0005\u03be\u0000\u0000j(\u0001\u0000\u0000\u0000"+
		"kl\u0005\u03bb\u0000\u0000l*\u0001\u0000\u0000\u0000mn\u0005\u03a6\u0000"+
		"\u0000n,\u0001\u0000\u0000\u0000op\u0005\u22a5\u0000\u0000p.\u0001\u0000"+
		"\u0000\u0000qr\u0005-\u0000\u0000r0\u0001\u0000\u0000\u0000s|\u0007\u0003"+
		"\u0000\u0000tx\u0007\u0004\u0000\u0000uw\u0007\u0003\u0000\u0000vu\u0001"+
		"\u0000\u0000\u0000wz\u0001\u0000\u0000\u0000xv\u0001\u0000\u0000\u0000"+
		"xy\u0001\u0000\u0000\u0000y|\u0001\u0000\u0000\u0000zx\u0001\u0000\u0000"+
		"\u0000{s\u0001\u0000\u0000\u0000{t\u0001\u0000\u0000\u0000|2\u0001\u0000"+
		"\u0000\u0000}\u0081\u0007\u0005\u0000\u0000~\u0080\b\u0006\u0000\u0000"+
		"\u007f~\u0001\u0000\u0000\u0000\u0080\u0083\u0001\u0000\u0000\u0000\u0081"+
		"\u007f\u0001\u0000\u0000\u0000\u0081\u0082\u0001\u0000\u0000\u0000\u0082"+
		"4\u0001\u0000\u0000\u0000\u0083\u0081\u0001\u0000\u0000\u0000\u0084\u0085"+
		"\u0007\u0007\u0000\u0000\u0085\u0086\u0007\u0007\u0000\u0000\u00866\u0001"+
		"\u0000\u0000\u0000\u0087\u0088\u0003/\u0017\u0000\u0088\u0089\u0003/\u0017"+
		"\u0000\u0089\u0096\u0001\u0000\u0000\u0000\u008a\u008b\u00035\u001a\u0000"+
		"\u008b\u008c\u0003/\u0017\u0000\u008c\u0096\u0001\u0000\u0000\u0000\u008d"+
		"\u0091\u00035\u001a\u0000\u008e\u008f\u0003/\u0017\u0000\u008f\u0090\u0003"+
		"5\u001a\u0000\u0090\u0092\u0001\u0000\u0000\u0000\u0091\u008e\u0001\u0000"+
		"\u0000\u0000\u0092\u0093\u0001\u0000\u0000\u0000\u0093\u0091\u0001\u0000"+
		"\u0000\u0000\u0093\u0094\u0001\u0000\u0000\u0000\u0094\u0096\u0001\u0000"+
		"\u0000\u0000\u0095\u0087\u0001\u0000\u0000\u0000\u0095\u008a\u0001\u0000"+
		"\u0000\u0000\u0095\u008d\u0001\u0000\u0000\u0000\u00968\u0001\u0000\u0000"+
		"\u0000\b\u0000