io.joern.dataflowengineoss.SemanticsParser Maven / Gradle / Ivy

Go to download
// Generated from /home/mp/Projects/shiftleft/joern/dataflowengineoss/src/main/antlr4/io/joern/dataflowengineoss/Semantics.g4 by ANTLR 4.7.2
package io.joern.dataflowengineoss;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.misc.*;
import org.antlr.v4.runtime.tree.*;
import java.util.List;
import java.util.Iterator;
import java.util.ArrayList;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class SemanticsParser extends Parser {
	static { RuntimeMetaData.checkVersion("4.7.2", RuntimeMetaData.VERSION); }

	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		T__0=1, PASSTHROUGH=2, QUOTE=3, NUMBER=4, NEWLINE=5, LINE_COMMENT=6, WHITESPACE=7, 
		OTHER=8;
	public static final int
		RULE_taintSemantics = 0, RULE_singleSemantic = 1, RULE_methodName = 2, 
		RULE_name = 3, RULE_mapping = 4, RULE_argName = 5, RULE_argIdx = 6, RULE_src = 7, 
		RULE_dst = 8;
	private static String[] makeRuleNames() {
		return new String[] {
			"taintSemantics", "singleSemantic", "methodName", "name", "mapping", 
			"argName", "argIdx", "src", "dst"
		};
	}
	public static final String[] ruleNames = makeRuleNames();

	private static String[] makeLiteralNames() {
		return new String[] {
			null, "'->'", "'PASSTHROUGH'", "'\"'"
		};
	}
	private static final String[] _LITERAL_NAMES = makeLiteralNames();
	private static String[] makeSymbolicNames() {
		return new String[] {
			null, null, "PASSTHROUGH", "QUOTE", "NUMBER", "NEWLINE", "LINE_COMMENT", 
			"WHITESPACE", "OTHER"
		};
	}
	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;
	}

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

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

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

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

	public SemanticsParser(TokenStream input) {
		super(input);
		_interp = new ParserATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	public static class TaintSemanticsContext extends ParserRuleContext {
		public TerminalNode EOF() { return getToken(SemanticsParser.EOF, 0); }
		public List singleSemantic() {
			return getRuleContexts(SingleSemanticContext.class);
		}
		public SingleSemanticContext singleSemantic(int i) {
			return getRuleContext(SingleSemanticContext.class,i);
		}
		public TaintSemanticsContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_taintSemantics; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterTaintSemantics(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitTaintSemantics(this);
		}
	}

	public final TaintSemanticsContext taintSemantics() throws RecognitionException {
		TaintSemanticsContext _localctx = new TaintSemanticsContext(_ctx, getState());
		enterRule(_localctx, 0, RULE_taintSemantics);
		int _la;
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(21);
			_errHandler.sync(this);
			_la = _input.LA(1);
			while (_la==QUOTE) {
				{
				{
				setState(18);
				singleSemantic();
				}
				}
				setState(23);
				_errHandler.sync(this);
				_la = _input.LA(1);
			}
			setState(24);
			match(EOF);
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class SingleSemanticContext extends ParserRuleContext {
		public MethodNameContext methodName() {
			return getRuleContext(MethodNameContext.class,0);
		}
		public List mapping() {
			return getRuleContexts(MappingContext.class);
		}
		public MappingContext mapping(int i) {
			return getRuleContext(MappingContext.class,i);
		}
		public List NEWLINE() { return getTokens(SemanticsParser.NEWLINE); }
		public TerminalNode NEWLINE(int i) {
			return getToken(SemanticsParser.NEWLINE, i);
		}
		public SingleSemanticContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_singleSemantic; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterSingleSemantic(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitSingleSemantic(this);
		}
	}

	public final SingleSemanticContext singleSemantic() throws RecognitionException {
		SingleSemanticContext _localctx = new SingleSemanticContext(_ctx, getState());
		enterRule(_localctx, 2, RULE_singleSemantic);
		int _la;
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(26);
			methodName();
			setState(30);
			_errHandler.sync(this);
			_la = _input.LA(1);
			while (_la==PASSTHROUGH || _la==NUMBER) {
				{
				{
				setState(27);
				mapping();
				}
				}
				setState(32);
				_errHandler.sync(this);
				_la = _input.LA(1);
			}
			setState(36);
			_errHandler.sync(this);
			_la = _input.LA(1);
			while (_la==NEWLINE) {
				{
				{
				setState(33);
				match(NEWLINE);
				}
				}
				setState(38);
				_errHandler.sync(this);
				_la = _input.LA(1);
			}
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class MethodNameContext extends ParserRuleContext {
		public List QUOTE() { return getTokens(SemanticsParser.QUOTE); }
		public TerminalNode QUOTE(int i) {
			return getToken(SemanticsParser.QUOTE, i);
		}
		public NameContext name() {
			return getRuleContext(NameContext.class,0);
		}
		public MethodNameContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_methodName; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterMethodName(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitMethodName(this);
		}
	}

	public final MethodNameContext methodName() throws RecognitionException {
		MethodNameContext _localctx = new MethodNameContext(_ctx, getState());
		enterRule(_localctx, 4, RULE_methodName);
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(39);
			match(QUOTE);
			setState(40);
			name();
			setState(41);
			match(QUOTE);
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class NameContext extends ParserRuleContext {
		public List NEWLINE() { return getTokens(SemanticsParser.NEWLINE); }
		public TerminalNode NEWLINE(int i) {
			return getToken(SemanticsParser.NEWLINE, i);
		}
		public List QUOTE() { return getTokens(SemanticsParser.QUOTE); }
		public TerminalNode QUOTE(int i) {
			return getToken(SemanticsParser.QUOTE, i);
		}
		public NameContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_name; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterName(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitName(this);
		}
	}

	public final NameContext name() throws RecognitionException {
		NameContext _localctx = new NameContext(_ctx, getState());
		enterRule(_localctx, 6, RULE_name);
		int _la;
		try {
			int _alt;
			enterOuterAlt(_localctx, 1);
			{
			setState(46);
			_errHandler.sync(this);
			_alt = getInterpreter().adaptivePredict(_input,3,_ctx);
			while ( _alt!=1 && _alt!=org.antlr.v4.runtime.atn.ATN.INVALID_ALT_NUMBER ) {
				if ( _alt==1+1 ) {
					{
					{
					setState(43);
					_la = _input.LA(1);
					if ( _la <= 0 || (_la==QUOTE || _la==NEWLINE) ) {
					_errHandler.recoverInline(this);
					}
					else {
						if ( _input.LA(1)==Token.EOF ) matchedEOF = true;
						_errHandler.reportMatch(this);
						consume();
					}
					}
					} 
				}
				setState(48);
				_errHandler.sync(this);
				_alt = getInterpreter().adaptivePredict(_input,3,_ctx);
			}
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class MappingContext extends ParserRuleContext {
		public TerminalNode PASSTHROUGH() { return getToken(SemanticsParser.PASSTHROUGH, 0); }
		public SrcContext src() {
			return getRuleContext(SrcContext.class,0);
		}
		public DstContext dst() {
			return getRuleContext(DstContext.class,0);
		}
		public MappingContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_mapping; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterMapping(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitMapping(this);
		}
	}

	public final MappingContext mapping() throws RecognitionException {
		MappingContext _localctx = new MappingContext(_ctx, getState());
		enterRule(_localctx, 8, RULE_mapping);
		try {
			setState(54);
			_errHandler.sync(this);
			switch (_input.LA(1)) {
			case PASSTHROUGH:
				enterOuterAlt(_localctx, 1);
				{
				setState(49);
				match(PASSTHROUGH);
				}
				break;
			case NUMBER:
				enterOuterAlt(_localctx, 2);
				{
				{
				setState(50);
				src();
				setState(51);
				match(T__0);
				setState(52);
				dst();
				}
				}
				break;
			default:
				throw new NoViableAltException(this);
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class ArgNameContext extends ParserRuleContext {
		public List QUOTE() { return getTokens(SemanticsParser.QUOTE); }
		public TerminalNode QUOTE(int i) {
			return getToken(SemanticsParser.QUOTE, i);
		}
		public NameContext name() {
			return getRuleContext(NameContext.class,0);
		}
		public ArgNameContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_argName; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterArgName(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitArgName(this);
		}
	}

	public final ArgNameContext argName() throws RecognitionException {
		ArgNameContext _localctx = new ArgNameContext(_ctx, getState());
		enterRule(_localctx, 10, RULE_argName);
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(56);
			match(QUOTE);
			setState(57);
			name();
			setState(58);
			match(QUOTE);
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class ArgIdxContext extends ParserRuleContext {
		public TerminalNode NUMBER() { return getToken(SemanticsParser.NUMBER, 0); }
		public ArgIdxContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_argIdx; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterArgIdx(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitArgIdx(this);
		}
	}

	public final ArgIdxContext argIdx() throws RecognitionException {
		ArgIdxContext _localctx = new ArgIdxContext(_ctx, getState());
		enterRule(_localctx, 12, RULE_argIdx);
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(60);
			match(NUMBER);
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class SrcContext extends ParserRuleContext {
		public ArgIdxContext argIdx() {
			return getRuleContext(ArgIdxContext.class,0);
		}
		public ArgNameContext argName() {
			return getRuleContext(ArgNameContext.class,0);
		}
		public SrcContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_src; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterSrc(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitSrc(this);
		}
	}

	public final SrcContext src() throws RecognitionException {
		SrcContext _localctx = new SrcContext(_ctx, getState());
		enterRule(_localctx, 14, RULE_src);
		int _la;
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(62);
			argIdx();
			setState(64);
			_errHandler.sync(this);
			_la = _input.LA(1);
			if (_la==QUOTE) {
				{
				setState(63);
				argName();
				}
			}

			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static class DstContext extends ParserRuleContext {
		public ArgIdxContext argIdx() {
			return getRuleContext(ArgIdxContext.class,0);
		}
		public ArgNameContext argName() {
			return getRuleContext(ArgNameContext.class,0);
		}
		public DstContext(ParserRuleContext parent, int invokingState) {
			super(parent, invokingState);
		}
		@Override public int getRuleIndex() { return RULE_dst; }
		@Override
		public void enterRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).enterDst(this);
		}
		@Override
		public void exitRule(ParseTreeListener listener) {
			if ( listener instanceof SemanticsListener ) ((SemanticsListener)listener).exitDst(this);
		}
	}

	public final DstContext dst() throws RecognitionException {
		DstContext _localctx = new DstContext(_ctx, getState());
		enterRule(_localctx, 16, RULE_dst);
		try {
			enterOuterAlt(_localctx, 1);
			{
			setState(66);
			argIdx();
			setState(68);
			_errHandler.sync(this);
			switch ( getInterpreter().adaptivePredict(_input,6,_ctx) ) {
			case 1:
				{
				setState(67);
				argName();
				}
				break;
			}
			}
		}
		catch (RecognitionException re) {
			_localctx.exception = re;
			_errHandler.reportError(this, re);
			_errHandler.recover(this, re);
		}
		finally {
			exitRule();
		}
		return _localctx;
	}

	public static final String _serializedATN =
		"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\3\nI\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\3\2\7\2\26"+
		"\n\2\f\2\16\2\31\13\2\3\2\3\2\3\3\3\3\7\3\37\n\3\f\3\16\3\"\13\3\3\3\7"+
		"\3%\n\3\f\3\16\3(\13\3\3\4\3\4\3\4\3\4\3\5\7\5/\n\5\f\5\16\5\62\13\5\3"+
		"\6\3\6\3\6\3\6\3\6\5\69\n\6\3\7\3\7\3\7\3\7\3\b\3\b\3\t\3\t\5\tC\n\t\3"+
		"\n\3\n\5\nG\n\n\3\n\3\60\2\13\2\4\6\b\n\f\16\20\22\2\3\4\2\5\5\7\7\2F"+
		"\2\27\3\2\2\2\4\34\3\2\2\2\6)\3\2\2\2\b\60\3\2\2\2\n8\3\2\2\2\f:\3\2\2"+
		"\2\16>\3\2\2\2\20@\3\2\2\2\22D\3\2\2\2\24\26\5\4\3\2\25\24\3\2\2\2\26"+
		"\31\3\2\2\2\27\25\3\2\2\2\27\30\3\2\2\2\30\32\3\2\2\2\31\27\3\2\2\2\32"+
		"\33\7\2\2\3\33\3\3\2\2\2\34 \5\6\4\2\35\37\5\n\6\2\36\35\3\2\2\2\37\""+
		"\3\2\2\2 \36\3\2\2\2 !\3\2\2\2!&\3\2\2\2\" \3\2\2\2#%\7\7\2\2$#\3\2\2"+
		"\2%(\3\2\2\2&$\3\2\2\2&\'\3\2\2\2\'\5\3\2\2\2(&\3\2\2\2)*\7\5\2\2*+\5"+
		"\b\5\2+,\7\5\2\2,\7\3\2\2\2-/\n\2\2\2.-\3\2\2\2/\62\3\2\2\2\60\61\3\2"+
		"\2\2\60.\3\2\2\2\61\t\3\2\2\2\62\60\3\2\2\2\639\7\4\2\2\64\65\5\20\t\2"+
		"\65\66\7\3\2\2\66\67\5\22\n\2\679\3\2\2\28\63\3\2\2\28\64\3\2\2\29\13"+
		"\3\2\2\2:;\7\5\2\2;<\5\b\5\2<=\7\5\2\2=\r\3\2\2\2>?\7\6\2\2?\17\3\2\2"+
		"\2@B\5\16\b\2AC\5\f\7\2BA\3\2\2\2BC\3\2\2\2C\21\3\2\2\2DF\5\16\b\2EG\5"+
		"\f\7\2FE\3\2\2\2FG\3\2\2\2G\23\3\2\2\2\t\27 &\608BF";
	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);
		}
	}
}