- java.lang.Object
-
- org.antlr.v4.runtime.RuleContext
-
- org.antlr.v4.runtime.ParserRuleContext
-
- de.uka.ilkd.key.speclang.njml.JmlParser.ReferencetypeContext
-
-
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 |
ReferencetypeContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
-
Method Summary
-
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
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
Copyright © 2003-2019 The KeY-Project.