info.scce.addlib.parser.ZDDLanguageLexer Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of addlib Show documentation
The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting
There is a newer version: 3.1.0
// Generated from info/scce/addlib/parser/ZDDLanguage.g4 by ANTLR 4.5
package info.scce.addlib.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"})
public class ZDDLanguageLexer extends Lexer {
	static { RuntimeMetaData.checkVersion("4.5", RuntimeMetaData.VERSION); }

	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		T__0=1, CHANGE=2, DIFF=3, INTERSECT=4, UNION=5, LPAREN=6, RPAREN=7, TRUE=8, 
		FALSE=9, NUMBER=10, ID=11, WS=12;
	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	public static final String[] ruleNames = {
		"T__0", "CHANGE", "DIFF", "INTERSECT", "UNION", "LPAREN", "RPAREN", "TRUE", 
		"FALSE", "NUMBER", "ID", "WS"
	};

	private static final String[] _LITERAL_NAMES = {
		null, "'zTrue'", "'CHANGE'", null, null, null, "'('", "')'", "'true'", 
		"'false'"
	};
	private static final String[] _SYMBOLIC_NAMES = {
		null, null, "CHANGE", "DIFF", "INTERSECT", "UNION", "LPAREN", "RPAREN", 
		"TRUE", "FALSE", "NUMBER", "ID", "WS"
	};
	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 ZDDLanguageLexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

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

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

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

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

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

	public static final String _serializedATN =
		"\3\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\2\16w\b\1\4\2\t\2\4"+
		"\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\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\t\r\3\2\3\2\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3"+
		"\3\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\5\4\64\n\4\3\5\3\5\3\5"+
		"\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\5\5C\n\5\3\6\3\6\3\6\3\6\3\6"+
		"\3\6\3\6\3\6\3\6\3\6\5\6O\n\6\3\7\3\7\3\b\3\b\3\t\3\t\3\t\3\t\3\t\3\n"+
		"\3\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\7\13c\n\13\f\13\16\13f\13\13\5\13"+
		"h\n\13\3\f\3\f\7\fl\n\f\f\f\16\fo\13\f\3\r\6\rr\n\r\r\r\16\rs\3\r\3\r"+
		"\2\2\16\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25\f\27\r\31\16\3\2\7"+
		"\3\2\62;\3\2\63;\4\2C\\c|\6\2\62;C\\aac|\5\2\13\f\17\17\"\"\u0083\2\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\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\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31"+
		"\3\2\2\2\3\33\3\2\2\2\5!\3\2\2\2\7\63\3\2\2\2\tB\3\2\2\2\13N\3\2\2\2\r"+
		"P\3\2\2\2\17R\3\2\2\2\21T\3\2\2\2\23Y\3\2\2\2\25g\3\2\2\2\27i\3\2\2\2"+
		"\31q\3\2\2\2\33\34\7|\2\2\34\35\7V\2\2\35\36\7t\2\2\36\37\7w\2\2\37 \7"+
		"g\2\2 \4\3\2\2\2!\"\7E\2\2\"#\7J\2\2#$\7C\2\2$%\7P\2\2%&\7I\2\2&\'\7G"+
		"\2\2\'\6\3\2\2\2()\7F\2\2)*\7K\2\2*+\7H\2\2+\64\7H\2\2,\64\7/\2\2-.\7"+
		"p\2\2./\7q\2\2/\64\7v\2\2\60\61\7P\2\2\61\62\7Q\2\2\62\64\7V\2\2\63(\3"+
		"\2\2\2\63,\3\2\2\2\63-\3\2\2\2\63\60\3\2\2\2\64\b\3\2\2\2\65\66\7K\2\2"+
		"\66\67\7P\2\2\678\7V\2\289\7U\2\29:\7G\2\2:C\7E\2\2;C\7(\2\2<=\7c\2\2"+
		"=>\7p\2\2>C\7f\2\2?@\7C\2\2@A\7P\2\2AC\7F\2\2B\65\3\2\2\2B;\3\2\2\2B<"+
		"\3\2\2\2B?\3\2\2\2C\n\3\2\2\2DE\7W\2\2EF\7P\2\2FG\7K\2\2GH\7Q\2\2HO\7"+
		"P\2\2IO\7~\2\2JK\7q\2\2KO\7t\2\2LM\7Q\2\2MO\7T\2\2ND\3\2\2\2NI\3\2\2\2"+
		"NJ\3\2\2\2NL\3\2\2\2O\f\3\2\2\2PQ\7*\2\2Q\16\3\2\2\2RS\7+\2\2S\20\3\2"+
		"\2\2TU\7v\2\2UV\7t\2\2VW\7w\2\2WX\7g\2\2X\22\3\2\2\2YZ\7h\2\2Z[\7c\2\2"+
		"[\\\7n\2\2\\]\7u\2\2]^\7g\2\2^\24\3\2\2\2_h\t\2\2\2`d\t\3\2\2ac\t\2\2"+
		"\2ba\3\2\2\2cf\3\2\2\2db\3\2\2\2de\3\2\2\2eh\3\2\2\2fd\3\2\2\2g_\3\2\2"+
		"\2g`\3\2\2\2h\26\3\2\2\2im\t\4\2\2jl\t\5\2\2kj\3\2\2\2lo\3\2\2\2mk\3\2"+
		"\2\2mn\3\2\2\2n\30\3\2\2\2om\3\2\2\2pr\t\6\2\2qp\3\2\2\2rs\3\2\2\2sq\3"+
		"\2\2\2st\3\2\2\2tu\3\2\2\2uv\b\r\2\2v\32\3\2\2\2\n\2\63BNdgms\3\b\2\2";
	public static final ATN _ATN =
		new ATNDeserializer().deserialize(_serializedATN.toCharArray());
	static {
		_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
		for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
			_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
		}
	}
}