public static class JmlParser.ClauseContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
ClauseContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public ClauseContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public JmlParser.Ensures_clauseContext ensures_clause()
public JmlParser.Requires_clauseContext requires_clause()
public JmlParser.Measured_by_clauseContext measured_by_clause()
public JmlParser.Captures_clauseContext captures_clause()
public JmlParser.Diverges_clauseContext diverges_clause()
public JmlParser.Working_space_clauseContext working_space_clause()
public JmlParser.Duration_clauseContext duration_clause()
public JmlParser.When_clauseContext when_clause()
public JmlParser.Assignable_clauseContext assignable_clause()
public JmlParser.Accessible_clauseContext accessible_clause()
public JmlParser.Signals_clauseContext signals_clause()
public JmlParser.Signals_only_clauseContext signals_only_clause()
public JmlParser.Variant_functionContext variant_function()
public JmlParser.Name_clauseContext name_clause()
public JmlParser.Breaks_clauseContext breaks_clause()
public JmlParser.Continues_clauseContext continues_clause()
public JmlParser.Returns_clauseContext returns_clause()
public JmlParser.Separates_clauseContext separates_clause()
public JmlParser.Determines_clauseContext determines_clause()
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.