de.rwth.i2.attestor.seplog

Class SeparationLogicParser

java.lang.Object

org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

org.antlr.v4.runtime.Parser

de.rwth.i2.attestor.seplog.SeparationLogicParser

public class SeparationLogicParser
extends org.antlr.v4.runtime.Parser

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SeparationLogicParser.AtomContext
static class	SeparationLogicParser.ConstantContext
static class	SeparationLogicParser.FreeVariableDeclarationContext
static class	SeparationLogicParser.HeapBodyContext
static class	SeparationLogicParser.HeapContext
static class	SeparationLogicParser.HeapHeadContext
static class	SeparationLogicParser.ParameterContext
static class	SeparationLogicParser.PointerContext
static class	SeparationLogicParser.PredicateCallContext
static class	SeparationLogicParser.PredicateSymbolContext
static class	SeparationLogicParser.PureContext
static class	SeparationLogicParser.SelectorContext
static class	SeparationLogicParser.SidContext
static class	SeparationLogicParser.SidRuleBodyContext
static class	SeparationLogicParser.SidRuleContext
static class	SeparationLogicParser.SidRuleHeadContext
static class	SeparationLogicParser.SpatialContext
static class	SeparationLogicParser.TypeContext
static class	SeparationLogicParser.VariableContext
static class	SeparationLogicParser.VariableDeclarationContext

Nested classes/interfaces inherited from class org.antlr.v4.runtime.Parser

org.antlr.v4.runtime.Parser.TraceListener, org.antlr.v4.runtime.Parser.TrimToSizeListener

Field Summary

Fields

Modifier and Type	Field and Description
static org.antlr.v4.runtime.atn.ATN	_ATN
protected static org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
static String	_serializedATN
protected static org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static int	EMP
static int	EQ
static int	FIELDACCESS
static int	ID
static int	NULL
static int	NUM
static int	PTO
static int	REDUCTION
static int	RULE_atom
static int	RULE_constant
static int	RULE_freeVariableDeclaration
static int	RULE_heap
static int	RULE_heapBody
static int	RULE_heapHead
static int	RULE_parameter
static int	RULE_pointer
static int	RULE_predicateCall
static int	RULE_predicateSymbol
static int	RULE_pure
static int	RULE_selector
static int	RULE_sid
static int	RULE_sidRule
static int	RULE_sidRuleBody
static int	RULE_sidRuleHead
static int	RULE_spatial
static int	RULE_type
static int	RULE_variable
static int	RULE_variableDeclaration
static int	RULEDELIM
static String[]	ruleNames
static int	SEP
static int	T__0
static int	T__1
static int	T__2
static int	T__3
static int	T__4
static int	T__5
static int	T__6
static String[]	tokenNames Deprecated. Use VOCABULARY instead.
static int	US
static int	VARPREFIX
static int	VARSUFFIX
static org.antlr.v4.runtime.Vocabulary	VOCABULARY
static int	WS

Fields inherited from class org.antlr.v4.runtime.Parser

_buildParseTrees, _ctx, _errHandler, _input, _parseListeners, _precedenceStack, _syntaxErrors, matchedEOF

Fields inherited from class org.antlr.v4.runtime.Recognizer

_interp, EOF

Constructor Summary

Constructors

Constructor and Description
SeparationLogicParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method and Description
SeparationLogicParser.AtomContext	atom()
SeparationLogicParser.ConstantContext	constant()
SeparationLogicParser.FreeVariableDeclarationContext	freeVariableDeclaration()
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames() Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
SeparationLogicParser.HeapContext	heap()
SeparationLogicParser.HeapBodyContext	heapBody()
SeparationLogicParser.HeapHeadContext	heapHead()
SeparationLogicParser.ParameterContext	parameter()
SeparationLogicParser.PointerContext	pointer()
SeparationLogicParser.PredicateCallContext	predicateCall()
SeparationLogicParser.PredicateSymbolContext	predicateSymbol()
SeparationLogicParser.PureContext	pure()
SeparationLogicParser.SelectorContext	selector()
SeparationLogicParser.SidContext	sid()
SeparationLogicParser.SidRuleContext	sidRule()
SeparationLogicParser.SidRuleBodyContext	sidRuleBody()
SeparationLogicParser.SidRuleHeadContext	sidRuleHead()
SeparationLogicParser.SpatialContext	spatial()
SeparationLogicParser.TypeContext	type()
SeparationLogicParser.VariableContext	variable()
SeparationLogicParser.VariableDeclarationContext	variableDeclaration()

Methods inherited from class org.antlr.v4.runtime.Parser

addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, enterOuterAlt, enterRecursionRule, enterRecursionRule, enterRule, exitRule, getATNWithBypassAlts, getBuildParseTree, getContext, getCurrentToken, getDFAStrings, getErrorHandler, getExpectedTokens, getExpectedTokensWithinCurrentRule, getInputStream, getInvokingContext, getNumberOfSyntaxErrors, getParseInfo, getParseListeners, getPrecedence, getRuleContext, getRuleIndex, getRuleInvocationStack, getRuleInvocationStack, getSourceName, getTokenFactory, getTokenStream, getTrimParseTree, inContext, isExpectedToken, isMatchedEOF, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, triggerEnterRuleEvent, triggerExitRuleEvent, unrollRecursionContexts

Methods inherited from class org.antlr.v4.runtime.Recognizer

action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_decisionToDFA

protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA

_sharedContextCache

protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache

T__0

public static final int T__0

See Also:

Constant Field Values

T__1

public static final int T__1

See Also:

Constant Field Values

T__2

public static final int T__2

See Also:

Constant Field Values

T__3

public static final int T__3

See Also:

Constant Field Values

T__4

public static final int T__4

See Also:

Constant Field Values

T__5

public static final int T__5

See Also:

Constant Field Values

T__6

public static final int T__6

See Also:

Constant Field Values

NULL

public static final int NULL

See Also:

Constant Field Values

EMP

public static final int EMP

See Also:

Constant Field Values

PTO

public static final int PTO

See Also:

Constant Field Values

SEP

public static final int SEP

See Also:

Constant Field Values

EQ

public static final int EQ

See Also:

Constant Field Values

FIELDACCESS

public static final int FIELDACCESS

See Also:

Constant Field Values

RULEDELIM

public static final int RULEDELIM

See Also:

Constant Field Values

US

public static final int US

See Also:

Constant Field Values

REDUCTION

public static final int REDUCTION

See Also:

Constant Field Values

VARPREFIX

public static final int VARPREFIX

See Also:

Constant Field Values

VARSUFFIX

public static final int VARSUFFIX

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

NUM

public static final int NUM

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

RULE_heap

public static final int RULE_heap

See Also:

Constant Field Values

RULE_heapHead

public static final int RULE_heapHead

See Also:

Constant Field Values

RULE_heapBody

public static final int RULE_heapBody

See Also:

Constant Field Values

RULE_sid

public static final int RULE_sid

See Also:

Constant Field Values

RULE_sidRule

public static final int RULE_sidRule

See Also:

Constant Field Values

RULE_sidRuleHead

public static final int RULE_sidRuleHead

See Also:

Constant Field Values

RULE_sidRuleBody

public static final int RULE_sidRuleBody

See Also:

Constant Field Values

RULE_freeVariableDeclaration

public static final int RULE_freeVariableDeclaration

See Also:

Constant Field Values

RULE_variableDeclaration

public static final int RULE_variableDeclaration

See Also:

Constant Field Values

RULE_variable

public static final int RULE_variable

See Also:

Constant Field Values

RULE_type

public static final int RULE_type

See Also:

Constant Field Values

RULE_spatial

public static final int RULE_spatial

See Also:

Constant Field Values

RULE_atom

public static final int RULE_atom

See Also:

Constant Field Values

RULE_pointer

public static final int RULE_pointer

See Also:

Constant Field Values

RULE_selector

public static final int RULE_selector

See Also:

Constant Field Values

RULE_pure

public static final int RULE_pure

See Also:

Constant Field Values

RULE_constant

public static final int RULE_constant

See Also:

Constant Field Values

RULE_predicateCall

public static final int RULE_predicateCall

See Also:

Constant Field Values

RULE_parameter

public static final int RULE_parameter

See Also:

Constant Field Values

RULE_predicateSymbol

public static final int RULE_predicateSymbol

See Also:

Constant Field Values

ruleNames

public static final String[] ruleNames

VOCABULARY

public static final org.antlr.v4.runtime.Vocabulary VOCABULARY

tokenNames

@Deprecated
public static final String[] tokenNames

Deprecated. Use VOCABULARY instead.

_serializedATN

public static final String _serializedATN

See Also:

Constant Field Values

_ATN

public static final org.antlr.v4.runtime.atn.ATN _ATN

Constructor Detail

SeparationLogicParser

public SeparationLogicParser(org.antlr.v4.runtime.TokenStream input)

Method Detail

getTokenNames

@Deprecated
public String[] getTokenNames()

Deprecated.

Specified by:

getTokenNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getVocabulary

public org.antlr.v4.runtime.Vocabulary getVocabulary()

Overrides:

getVocabulary in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getGrammarFileName

public String getGrammarFileName()

Specified by:

getGrammarFileName in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getRuleNames

public String[] getRuleNames()

Specified by:

getRuleNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getSerializedATN

public String getSerializedATN()

Overrides:

getSerializedATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getATN

public org.antlr.v4.runtime.atn.ATN getATN()

Specified by:

getATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

heap

public final SeparationLogicParser.HeapContext heap()
                                             throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

heapHead

public final SeparationLogicParser.HeapHeadContext heapHead()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

heapBody

public final SeparationLogicParser.HeapBodyContext heapBody()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sid

public final SeparationLogicParser.SidContext sid()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sidRule

public final SeparationLogicParser.SidRuleContext sidRule()
                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sidRuleHead

public final SeparationLogicParser.SidRuleHeadContext sidRuleHead()
                                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sidRuleBody

public final SeparationLogicParser.SidRuleBodyContext sidRuleBody()
                                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

freeVariableDeclaration

public final SeparationLogicParser.FreeVariableDeclarationContext freeVariableDeclaration()
                                                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

variableDeclaration

public final SeparationLogicParser.VariableDeclarationContext variableDeclaration()
                                                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

variable

public final SeparationLogicParser.VariableContext variable()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

type

public final SeparationLogicParser.TypeContext type()
                                             throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

spatial

public final SeparationLogicParser.SpatialContext spatial()
                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

atom

public final SeparationLogicParser.AtomContext atom()
                                             throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

pointer

public final SeparationLogicParser.PointerContext pointer()
                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

selector

public final SeparationLogicParser.SelectorContext selector()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

pure

public final SeparationLogicParser.PureContext pure()
                                             throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

constant

public final SeparationLogicParser.ConstantContext constant()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

predicateCall

public final SeparationLogicParser.PredicateCallContext predicateCall()
                                                               throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

parameter

public final SeparationLogicParser.ParameterContext parameter()
                                                       throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

predicateSymbol

public final SeparationLogicParser.PredicateSymbolContext predicateSymbol()
                                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException