public static class KeYParser.Attribute_complexContext extends KeYParser.AttributeContext
Modifier and Type | Field and Description |
---|---|
KeYParser.Bracket_termContext |
heap |
KeYParser.Simple_identContext |
id |
KeYParser.SortIdContext |
sort |
Constructor and Description |
---|
Attribute_complexContext(KeYParser.AttributeContext ctx) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
org.antlr.v4.runtime.tree.TerminalNode |
AT() |
KeYParser.Bracket_termContext |
bracket_term() |
KeYParser.CallContext |
call() |
org.antlr.v4.runtime.tree.TerminalNode |
DOT() |
org.antlr.v4.runtime.tree.TerminalNode |
DOUBLECOLON() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
LPAREN() |
org.antlr.v4.runtime.tree.TerminalNode |
RPAREN() |
KeYParser.Simple_identContext |
simple_ident() |
KeYParser.SortIdContext |
sortId() |
copyFrom, getRuleIndex
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.SortIdContext sort
public KeYParser.Simple_identContext id
public KeYParser.Bracket_termContext heap
public Attribute_complexContext(KeYParser.AttributeContext ctx)
public org.antlr.v4.runtime.tree.TerminalNode DOT()
public org.antlr.v4.runtime.tree.TerminalNode LPAREN()
public org.antlr.v4.runtime.tree.TerminalNode DOUBLECOLON()
public org.antlr.v4.runtime.tree.TerminalNode RPAREN()
public KeYParser.SortIdContext sortId()
public KeYParser.Simple_identContext simple_ident()
public KeYParser.CallContext call()
public org.antlr.v4.runtime.tree.TerminalNode AT()
public KeYParser.Bracket_termContext bracket_term()
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
enterRule
in class org.antlr.v4.runtime.ParserRuleContext
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
exitRule
in class org.antlr.v4.runtime.ParserRuleContext
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
accept
in interface org.antlr.v4.runtime.tree.ParseTree
accept
in class org.antlr.v4.runtime.RuleContext
Copyright © 2003-2019 The KeY-Project.