public static class KeYParser.VarexpIdContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
VarexpIdContext(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) |
org.antlr.v4.runtime.tree.TerminalNode |
APPLY_UPDATE_ON_RIGID() |
org.antlr.v4.runtime.tree.TerminalNode |
CONTAINS_ASSIGNMENT() |
org.antlr.v4.runtime.tree.TerminalNode |
DIFFERENT() |
org.antlr.v4.runtime.tree.TerminalNode |
DIFFERENTFIELDS() |
org.antlr.v4.runtime.tree.TerminalNode |
DISJOINTMODULONULL() |
org.antlr.v4.runtime.tree.TerminalNode |
DROP_EFFECTLESS_ELEMENTARIES() |
org.antlr.v4.runtime.tree.TerminalNode |
DROP_EFFECTLESS_STORES() |
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
ENUM_CONST() |
org.antlr.v4.runtime.tree.TerminalNode |
EQUAL_UNIQUE() |
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
org.antlr.v4.runtime.tree.TerminalNode |
FIELDTYPE() |
org.antlr.v4.runtime.tree.TerminalNode |
FINAL() |
org.antlr.v4.runtime.tree.TerminalNode |
FREELABELIN() |
org.antlr.v4.runtime.tree.TerminalNode |
GET_FREE_INVARIANT() |
org.antlr.v4.runtime.tree.TerminalNode |
GET_INVARIANT() |
org.antlr.v4.runtime.tree.TerminalNode |
GET_VARIANT() |
int |
getRuleIndex() |
org.antlr.v4.runtime.tree.TerminalNode |
HAS_ELEMENTARY_SORT() |
org.antlr.v4.runtime.tree.TerminalNode |
HAS_INVARIANT() |
org.antlr.v4.runtime.tree.TerminalNode |
HASLABEL() |
org.antlr.v4.runtime.tree.TerminalNode |
HASSORT() |
org.antlr.v4.runtime.tree.TerminalNode |
HASSUBFORMULAS() |
org.antlr.v4.runtime.tree.TerminalNode |
IS_ABSTRACT_OR_INTERFACE() |
org.antlr.v4.runtime.tree.TerminalNode |
IS_LABELED() |
org.antlr.v4.runtime.tree.TerminalNode |
ISARRAY() |
org.antlr.v4.runtime.tree.TerminalNode |
ISARRAYLENGTH() |
org.antlr.v4.runtime.tree.TerminalNode |
ISCONSTANT() |
org.antlr.v4.runtime.tree.TerminalNode |
ISENUMTYPE() |
org.antlr.v4.runtime.tree.TerminalNode |
ISLOCALVARIABLE() |
org.antlr.v4.runtime.tree.TerminalNode |
ISOBSERVER() |
org.antlr.v4.runtime.tree.TerminalNode |
ISREFERENCE() |
org.antlr.v4.runtime.tree.TerminalNode |
ISREFERENCEARRAY() |
org.antlr.v4.runtime.tree.TerminalNode |
ISSTATICFIELD() |
org.antlr.v4.runtime.tree.TerminalNode |
ISSUBTYPE() |
org.antlr.v4.runtime.tree.TerminalNode |
ISTHISREFERENCE() |
org.antlr.v4.runtime.tree.TerminalNode |
MAXEXPANDMETHOD() |
org.antlr.v4.runtime.tree.TerminalNode |
METADISJOINT() |
org.antlr.v4.runtime.tree.TerminalNode |
NEW_DEPENDING_ON() |
org.antlr.v4.runtime.tree.TerminalNode |
NEW_TYPE_OF() |
org.antlr.v4.runtime.tree.TerminalNode |
NEW() |
org.antlr.v4.runtime.tree.TerminalNode |
NEWLABEL() |
org.antlr.v4.runtime.tree.TerminalNode |
NOTFREEIN() |
org.antlr.v4.runtime.tree.TerminalNode |
SAME_OBSERVER() |
org.antlr.v4.runtime.tree.TerminalNode |
SAME() |
org.antlr.v4.runtime.tree.TerminalNode |
SIMPLIFY_IF_THEN_ELSE_UPDATE() |
org.antlr.v4.runtime.tree.TerminalNode |
STATIC() |
org.antlr.v4.runtime.tree.TerminalNode |
STATICMETHODREFERENCE() |
org.antlr.v4.runtime.tree.TerminalNode |
STORE_STMT_IN() |
org.antlr.v4.runtime.tree.TerminalNode |
STORE_TERM_IN() |
org.antlr.v4.runtime.tree.TerminalNode |
STRICT() |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public VarexpIdContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public org.antlr.v4.runtime.tree.TerminalNode APPLY_UPDATE_ON_RIGID()
public org.antlr.v4.runtime.tree.TerminalNode SAME_OBSERVER()
public org.antlr.v4.runtime.tree.TerminalNode DROP_EFFECTLESS_ELEMENTARIES()
public org.antlr.v4.runtime.tree.TerminalNode DROP_EFFECTLESS_STORES()
public org.antlr.v4.runtime.tree.TerminalNode DIFFERENTFIELDS()
public org.antlr.v4.runtime.tree.TerminalNode SIMPLIFY_IF_THEN_ELSE_UPDATE()
public org.antlr.v4.runtime.tree.TerminalNode CONTAINS_ASSIGNMENT()
public org.antlr.v4.runtime.tree.TerminalNode ISENUMTYPE()
public org.antlr.v4.runtime.tree.TerminalNode ISTHISREFERENCE()
public org.antlr.v4.runtime.tree.TerminalNode STATICMETHODREFERENCE()
public org.antlr.v4.runtime.tree.TerminalNode ISREFERENCEARRAY()
public org.antlr.v4.runtime.tree.TerminalNode ISARRAY()
public org.antlr.v4.runtime.tree.TerminalNode ISARRAYLENGTH()
public org.antlr.v4.runtime.tree.TerminalNode IS_ABSTRACT_OR_INTERFACE()
public org.antlr.v4.runtime.tree.TerminalNode ENUM_CONST()
public org.antlr.v4.runtime.tree.TerminalNode FINAL()
public org.antlr.v4.runtime.tree.TerminalNode STATIC()
public org.antlr.v4.runtime.tree.TerminalNode ISLOCALVARIABLE()
public org.antlr.v4.runtime.tree.TerminalNode ISOBSERVER()
public org.antlr.v4.runtime.tree.TerminalNode DIFFERENT()
public org.antlr.v4.runtime.tree.TerminalNode METADISJOINT()
public org.antlr.v4.runtime.tree.TerminalNode EQUAL_UNIQUE()
public org.antlr.v4.runtime.tree.TerminalNode FREELABELIN()
public org.antlr.v4.runtime.tree.TerminalNode ISCONSTANT()
public org.antlr.v4.runtime.tree.TerminalNode HASLABEL()
public org.antlr.v4.runtime.tree.TerminalNode ISSTATICFIELD()
public org.antlr.v4.runtime.tree.TerminalNode HASSUBFORMULAS()
public org.antlr.v4.runtime.tree.TerminalNode FIELDTYPE()
public org.antlr.v4.runtime.tree.TerminalNode NEW()
public org.antlr.v4.runtime.tree.TerminalNode NEW_TYPE_OF()
public org.antlr.v4.runtime.tree.TerminalNode NEW_DEPENDING_ON()
public org.antlr.v4.runtime.tree.TerminalNode HAS_ELEMENTARY_SORT()
public org.antlr.v4.runtime.tree.TerminalNode SAME()
public org.antlr.v4.runtime.tree.TerminalNode ISSUBTYPE()
public org.antlr.v4.runtime.tree.TerminalNode STRICT()
public org.antlr.v4.runtime.tree.TerminalNode DISJOINTMODULONULL()
public org.antlr.v4.runtime.tree.TerminalNode NOTFREEIN()
public org.antlr.v4.runtime.tree.TerminalNode HASSORT()
public org.antlr.v4.runtime.tree.TerminalNode NEWLABEL()
public org.antlr.v4.runtime.tree.TerminalNode ISREFERENCE()
public org.antlr.v4.runtime.tree.TerminalNode MAXEXPANDMETHOD()
public org.antlr.v4.runtime.tree.TerminalNode STORE_TERM_IN()
public org.antlr.v4.runtime.tree.TerminalNode STORE_STMT_IN()
public org.antlr.v4.runtime.tree.TerminalNode HAS_INVARIANT()
public org.antlr.v4.runtime.tree.TerminalNode GET_INVARIANT()
public org.antlr.v4.runtime.tree.TerminalNode GET_FREE_INVARIANT()
public org.antlr.v4.runtime.tree.TerminalNode GET_VARIANT()
public org.antlr.v4.runtime.tree.TerminalNode IS_LABELED()
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.