de.rwth.i2.attestor.seplog

Class SeparationLogicParser.PureContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

de.rwth.i2.attestor.seplog.SeparationLogicParser.PureContext

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.PureContext
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
PureContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method and Description
List<SeparationLogicParser.ConstantContext>	constant()
SeparationLogicParser.ConstantContext	constant(int i)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
org.antlr.v4.runtime.tree.TerminalNode	EQ()
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<SeparationLogicParser.VariableContext>	variable()
SeparationLogicParser.VariableContext	variable(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

PureContext

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

Method Detail

EQ

public org.antlr.v4.runtime.tree.TerminalNode EQ()

variable

public List<SeparationLogicParser.VariableContext> variable()

variable

public SeparationLogicParser.VariableContext variable(int i)

constant

public List<SeparationLogicParser.ConstantContext> constant()

constant

public SeparationLogicParser.ConstantContext constant(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