public static class JmlParser.Classlevel_elementContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor and Description |
---|
Classlevel_elementContext(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 Classlevel_elementContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public JmlParser.Class_invariantContext class_invariant()
public JmlParser.Method_specificationContext method_specification()
public JmlParser.Method_declarationContext method_declaration()
public JmlParser.Field_declarationContext field_declaration()
public JmlParser.Represents_clauseContext represents_clause()
public JmlParser.History_constraintContext history_constraint()
public JmlParser.Initially_clauseContext initially_clause()
public JmlParser.Class_axiomContext class_axiom()
public JmlParser.Monitors_for_clauseContext monitors_for_clause()
public JmlParser.Readable_if_clauseContext readable_if_clause()
public JmlParser.Writable_if_clauseContext writable_if_clause()
public JmlParser.Datagroup_clauseContext datagroup_clause()
public JmlParser.Set_statementContext set_statement()
public JmlParser.Nowarn_pragmaContext nowarn_pragma()
public JmlParser.Accessible_clauseContext accessible_clause()
public JmlParser.Assert_statementContext assert_statement()
public JmlParser.Assume_statementContext assume_statement()
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.