public static class KeYParser.One_sort_declContext
extends org.antlr.v4.runtime.ParserRuleContext
Modifier and Type | Field and Description |
---|---|
org.antlr.v4.runtime.Token |
doc |
KeYParser.Extends_sortsContext |
sortExt |
KeYParser.Simple_ident_dots_comma_listContext |
sortIds |
KeYParser.Oneof_sortsContext |
sortOneOf |
Constructor and Description |
---|
One_sort_declContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method and Description |
---|---|
org.antlr.v4.runtime.tree.TerminalNode |
ABSTRACT() |
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
org.antlr.v4.runtime.tree.TerminalNode |
DOC_COMMENT() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
KeYParser.Extends_sortsContext |
extends_sorts() |
org.antlr.v4.runtime.tree.TerminalNode |
EXTENDS() |
org.antlr.v4.runtime.tree.TerminalNode |
GENERIC() |
int |
getRuleIndex() |
KeYParser.Oneof_sortsContext |
oneof_sorts() |
org.antlr.v4.runtime.tree.TerminalNode |
ONEOF() |
org.antlr.v4.runtime.tree.TerminalNode |
PROXY() |
org.antlr.v4.runtime.tree.TerminalNode |
SEMI() |
KeYParser.Simple_ident_dots_comma_listContext |
simple_ident_dots_comma_list() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public org.antlr.v4.runtime.Token doc
public KeYParser.Simple_ident_dots_comma_listContext sortIds
public KeYParser.Oneof_sortsContext sortOneOf
public KeYParser.Extends_sortsContext sortExt
public One_sort_declContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode GENERIC()
public org.antlr.v4.runtime.tree.TerminalNode SEMI()
public org.antlr.v4.runtime.tree.TerminalNode PROXY()
public KeYParser.Simple_ident_dots_comma_listContext simple_ident_dots_comma_list()
public org.antlr.v4.runtime.tree.TerminalNode DOC_COMMENT()
public org.antlr.v4.runtime.tree.TerminalNode ONEOF()
public org.antlr.v4.runtime.tree.TerminalNode EXTENDS()
public org.antlr.v4.runtime.tree.TerminalNode ABSTRACT()
public KeYParser.Oneof_sortsContext oneof_sorts()
public KeYParser.Extends_sortsContext extends_sorts()
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.