de.rwth.i2.attestor.seplog

Class SeparationLogicParser.HeapHeadContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

de.rwth.i2.attestor.seplog.SeparationLogicParser.HeapHeadContext

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree

Enclosing class:

SeparationLogicParser

public static class SeparationLogicParser.HeapHeadContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

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

children, exception, start, stop

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

EMPTY, invokingState, parent

Constructor Summary

Constructors

Constructor and Description
HeapHeadContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method and Description
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
SeparationLogicParser.PredicateSymbolContext	predicateSymbol()
List<SeparationLogicParser.VariableDeclarationContext>	variableDeclaration()
SeparationLogicParser.VariableDeclarationContext	variableDeclaration(int i)

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

addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

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

accept, depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class java.lang.Object

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

Constructor Detail

HeapHeadContext

public HeapHeadContext(org.antlr.v4.runtime.ParserRuleContext parent,
                       int invokingState)

Method Detail

predicateSymbol

public SeparationLogicParser.PredicateSymbolContext predicateSymbol()

variableDeclaration

public List<SeparationLogicParser.VariableDeclarationContext> variableDeclaration()

variableDeclaration

public SeparationLogicParser.VariableDeclarationContext variableDeclaration(int i)

getRuleIndex

public int getRuleIndex()

Overrides:

getRuleIndex in class org.antlr.v4.runtime.RuleContext

enterRule

public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

enterRule in class org.antlr.v4.runtime.ParserRuleContext

exitRule

public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

exitRule in class org.antlr.v4.runtime.ParserRuleContext