de.rwth.i2.attestor.seplog

Class SeparationLogicParser.SidRuleContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

de.rwth.i2.attestor.seplog.SeparationLogicParser.SidRuleContext

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.SidRuleContext
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
SidRuleContext(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()
List<org.antlr.v4.runtime.tree.TerminalNode>	RULEDELIM()
org.antlr.v4.runtime.tree.TerminalNode	RULEDELIM(int i)
List<SeparationLogicParser.SidRuleBodyContext>	sidRuleBody()
SeparationLogicParser.SidRuleBodyContext	sidRuleBody(int i)
SeparationLogicParser.SidRuleHeadContext	sidRuleHead()

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

SidRuleContext

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

Method Detail

sidRuleHead

public SeparationLogicParser.SidRuleHeadContext sidRuleHead()

RULEDELIM

public List<org.antlr.v4.runtime.tree.TerminalNode> RULEDELIM()

RULEDELIM

public org.antlr.v4.runtime.tree.TerminalNode RULEDELIM(int i)

sidRuleBody

public List<SeparationLogicParser.SidRuleBodyContext> sidRuleBody()

sidRuleBody

public SeparationLogicParser.SidRuleBodyContext sidRuleBody(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