public static class KeYParser.ModifiersContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
KeYParser.String_valueContext |
dname |
KeYParser.String_valueContext |
htext |
KeYParser.RulesetsContext |
rs |
Constructor and Description |
---|
ModifiersContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
DISPLAYNAME() |
org.antlr.v4.runtime.tree.TerminalNode |
DISPLAYNAME(int i) |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
int |
getRuleIndex() |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
HELPTEXT() |
org.antlr.v4.runtime.tree.TerminalNode |
HELPTEXT(int i) |
java.util.List<org.antlr.v4.runtime.tree.TerminalNode> |
NONINTERACTIVE() |
org.antlr.v4.runtime.tree.TerminalNode |
NONINTERACTIVE(int i) |
java.util.List<KeYParser.RulesetsContext> |
rulesets() |
KeYParser.RulesetsContext |
rulesets(int i) |
java.util.List<KeYParser.String_valueContext> |
string_value() |
KeYParser.String_valueContext |
string_value(int i) |
java.util.List<KeYParser.TriggersContext> |
triggers() |
KeYParser.TriggersContext |
triggers(int i) |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public KeYParser.RulesetsContext rs
public KeYParser.String_valueContext dname
public KeYParser.String_valueContext htext
public ModifiersContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> NONINTERACTIVE()
public org.antlr.v4.runtime.tree.TerminalNode NONINTERACTIVE(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> DISPLAYNAME()
public org.antlr.v4.runtime.tree.TerminalNode DISPLAYNAME(int i)
public java.util.List<org.antlr.v4.runtime.tree.TerminalNode> HELPTEXT()
public org.antlr.v4.runtime.tree.TerminalNode HELPTEXT(int i)
public java.util.List<KeYParser.TriggersContext> triggers()
public KeYParser.TriggersContext triggers(int i)
public java.util.List<KeYParser.RulesetsContext> rulesets()
public KeYParser.RulesetsContext rulesets(int i)
public java.util.List<KeYParser.String_valueContext> string_value()
public KeYParser.String_valueContext string_value(int i)
public int getRuleIndex()
getRuleIndex
in class org.antlr.v4.runtime.RuleContext
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.