T
- The return type of the visit operation. Use Void
for
operations with no return type.public class JmlParserBaseVisitor<T> extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> implements JmlParserVisitor<T>
JmlParserVisitor
,
which can be extended to create a visitor which only needs to handle a subset
of the available methods.Constructor and Description |
---|
JmlParserBaseVisitor() |
aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal
public T visitClasslevel_comments(JmlParser.Classlevel_commentsContext ctx)
JmlParser.classlevel_comments()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClasslevel_comments
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClasslevel_comment(JmlParser.Classlevel_commentContext ctx)
JmlParser.classlevel_comment()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClasslevel_comment
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClasslevel_element0(JmlParser.Classlevel_element0Context ctx)
JmlParser.classlevel_element0()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClasslevel_element0
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClasslevel_element(JmlParser.Classlevel_elementContext ctx)
JmlParser.classlevel_element()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClasslevel_element
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMethodlevel_comment(JmlParser.Methodlevel_commentContext ctx)
JmlParser.methodlevel_comment()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMethodlevel_comment
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMethodlevel_element(JmlParser.Methodlevel_elementContext ctx)
JmlParser.methodlevel_element()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMethodlevel_element
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitModifiers(JmlParser.ModifiersContext ctx)
JmlParser.modifiers()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitModifiers
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitModifier(JmlParser.ModifierContext ctx)
JmlParser.modifier()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitModifier
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClass_axiom(JmlParser.Class_axiomContext ctx)
JmlParser.class_axiom()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClass_axiom
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInitially_clause(JmlParser.Initially_clauseContext ctx)
JmlParser.initially_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInitially_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClass_invariant(JmlParser.Class_invariantContext ctx)
JmlParser.class_invariant()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClass_invariant
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMethod_specification(JmlParser.Method_specificationContext ctx)
JmlParser.method_specification()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMethod_specification
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAlso_keyword(JmlParser.Also_keywordContext ctx)
JmlParser.also_keyword()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAlso_keyword
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSpec_case(JmlParser.Spec_caseContext ctx)
JmlParser.spec_case()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSpec_case
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSpec_body(JmlParser.Spec_bodyContext ctx)
JmlParser.spec_body()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSpec_body
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClauseEOF(JmlParser.ClauseEOFContext ctx)
JmlParser.clauseEOF()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClauseEOF
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitClause(JmlParser.ClauseContext ctx)
JmlParser.clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitClause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitTargetHeap(JmlParser.TargetHeapContext ctx)
JmlParser.targetHeap()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTargetHeap
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitEnsures_clause(JmlParser.Ensures_clauseContext ctx)
JmlParser.ensures_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitEnsures_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitRequires_clause(JmlParser.Requires_clauseContext ctx)
JmlParser.requires_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRequires_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMeasured_by_clause(JmlParser.Measured_by_clauseContext ctx)
JmlParser.measured_by_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMeasured_by_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitCaptures_clause(JmlParser.Captures_clauseContext ctx)
JmlParser.captures_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCaptures_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDiverges_clause(JmlParser.Diverges_clauseContext ctx)
JmlParser.diverges_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDiverges_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitWorking_space_clause(JmlParser.Working_space_clauseContext ctx)
JmlParser.working_space_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitWorking_space_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDuration_clause(JmlParser.Duration_clauseContext ctx)
JmlParser.duration_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDuration_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitWhen_clause(JmlParser.When_clauseContext ctx)
JmlParser.when_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitWhen_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAccessible_clause(JmlParser.Accessible_clauseContext ctx)
JmlParser.accessible_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAccessible_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAssignable_clause(JmlParser.Assignable_clauseContext ctx)
JmlParser.assignable_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAssignable_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitRepresents_clause(JmlParser.Represents_clauseContext ctx)
JmlParser.represents_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRepresents_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSeparates_clause(JmlParser.Separates_clauseContext ctx)
JmlParser.separates_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSeparates_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLoop_separates_clause(JmlParser.Loop_separates_clauseContext ctx)
JmlParser.loop_separates_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLoop_separates_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInfflowspeclist(JmlParser.InfflowspeclistContext ctx)
JmlParser.infflowspeclist()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInfflowspeclist
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDetermines_clause(JmlParser.Determines_clauseContext ctx)
JmlParser.determines_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDetermines_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLoop_determines_clause(JmlParser.Loop_determines_clauseContext ctx)
JmlParser.loop_determines_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLoop_determines_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSignals_clause(JmlParser.Signals_clauseContext ctx)
JmlParser.signals_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSignals_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSignals_only_clause(JmlParser.Signals_only_clauseContext ctx)
JmlParser.signals_only_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSignals_only_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBreaks_clause(JmlParser.Breaks_clauseContext ctx)
JmlParser.breaks_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBreaks_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitContinues_clause(JmlParser.Continues_clauseContext ctx)
JmlParser.continues_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitContinues_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitReturns_clause(JmlParser.Returns_clauseContext ctx)
JmlParser.returns_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitReturns_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitName_clause(JmlParser.Name_clauseContext ctx)
JmlParser.name_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitName_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitField_declaration(JmlParser.Field_declarationContext ctx)
JmlParser.field_declaration()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitField_declaration
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMethod_declaration(JmlParser.Method_declarationContext ctx)
JmlParser.method_declaration()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMethod_declaration
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMethod_body(JmlParser.Method_bodyContext ctx)
JmlParser.method_body()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMethod_body
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitParam_list(JmlParser.Param_listContext ctx)
JmlParser.param_list()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitParam_list
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitParam_decl(JmlParser.Param_declContext ctx)
JmlParser.param_decl()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitParam_decl
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitHistory_constraint(JmlParser.History_constraintContext ctx)
JmlParser.history_constraint()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitHistory_constraint
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDatagroup_clause(JmlParser.Datagroup_clauseContext ctx)
JmlParser.datagroup_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDatagroup_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMonitors_for_clause(JmlParser.Monitors_for_clauseContext ctx)
JmlParser.monitors_for_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMonitors_for_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitReadable_if_clause(JmlParser.Readable_if_clauseContext ctx)
JmlParser.readable_if_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitReadable_if_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitWritable_if_clause(JmlParser.Writable_if_clauseContext ctx)
JmlParser.writable_if_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitWritable_if_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitIn_group_clause(JmlParser.In_group_clauseContext ctx)
JmlParser.in_group_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitIn_group_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMaps_into_clause(JmlParser.Maps_into_clauseContext ctx)
JmlParser.maps_into_clause()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMaps_into_clause
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitNowarn_pragma(JmlParser.Nowarn_pragmaContext ctx)
JmlParser.nowarn_pragma()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNowarn_pragma
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDebug_statement(JmlParser.Debug_statementContext ctx)
JmlParser.debug_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDebug_statement
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSet_statement(JmlParser.Set_statementContext ctx)
JmlParser.set_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSet_statement
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMerge_point_statement(JmlParser.Merge_point_statementContext ctx)
JmlParser.merge_point_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMerge_point_statement
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLoop_specification(JmlParser.Loop_specificationContext ctx)
JmlParser.loop_specification()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLoop_specification
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLoop_invariant(JmlParser.Loop_invariantContext ctx)
JmlParser.loop_invariant()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLoop_invariant
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitVariant_function(JmlParser.Variant_functionContext ctx)
JmlParser.variant_function()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVariant_function
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAssume_statement(JmlParser.Assume_statementContext ctx)
JmlParser.assume_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAssume_statement
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInitialiser(JmlParser.InitialiserContext ctx)
JmlParser.initialiser()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInitialiser
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBlock_specification(JmlParser.Block_specificationContext ctx)
JmlParser.block_specification()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBlock_specification
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBlock_loop_specification(JmlParser.Block_loop_specificationContext ctx)
JmlParser.block_loop_specification()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBlock_loop_specification
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLoop_contract_keyword(JmlParser.Loop_contract_keywordContext ctx)
JmlParser.loop_contract_keyword()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLoop_contract_keyword
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAssert_statement(JmlParser.Assert_statementContext ctx)
JmlParser.assert_statement()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAssert_statement
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMergeparamsspec(JmlParser.MergeparamsspecContext ctx)
JmlParser.mergeparamsspec()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMergeparamsspec
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitTermexpression(JmlParser.TermexpressionContext ctx)
JmlParser.termexpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTermexpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStoreRefUnion(JmlParser.StoreRefUnionContext ctx)
JmlParser.storeRefUnion()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStoreRefUnion
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStoreRefList(JmlParser.StoreRefListContext ctx)
JmlParser.storeRefList()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStoreRefList
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStoreRefIntersect(JmlParser.StoreRefIntersectContext ctx)
JmlParser.storeRefIntersect()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStoreRefIntersect
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStoreref(JmlParser.StorerefContext ctx)
JmlParser.storeref()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStoreref
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitCreateLocset(JmlParser.CreateLocsetContext ctx)
JmlParser.createLocset()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCreateLocset
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitExprList(JmlParser.ExprListContext ctx)
JmlParser.exprList()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExprList
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStoreRefExpr(JmlParser.StoreRefExprContext ctx)
JmlParser.storeRefExpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStoreRefExpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPredornot(JmlParser.PredornotContext ctx)
JmlParser.predornot()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPredornot
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPredicate(JmlParser.PredicateContext ctx)
JmlParser.predicate()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPredicate
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitExpressionEOF(JmlParser.ExpressionEOFContext ctx)
JmlParser.expressionEOF()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExpressionEOF
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitExpression(JmlParser.ExpressionContext ctx)
JmlParser.expression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitConditionalexpr(JmlParser.ConditionalexprContext ctx)
JmlParser.conditionalexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitConditionalexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitEquivalenceexpr(JmlParser.EquivalenceexprContext ctx)
JmlParser.equivalenceexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitEquivalenceexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitImpliesexpr(JmlParser.ImpliesexprContext ctx)
JmlParser.impliesexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitImpliesexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitImpliesforwardexpr(JmlParser.ImpliesforwardexprContext ctx)
JmlParser.impliesforwardexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitImpliesforwardexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLogicalorexpr(JmlParser.LogicalorexprContext ctx)
JmlParser.logicalorexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLogicalorexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitLogicalandexpr(JmlParser.LogicalandexprContext ctx)
JmlParser.logicalandexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitLogicalandexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInclusiveorexpr(JmlParser.InclusiveorexprContext ctx)
JmlParser.inclusiveorexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInclusiveorexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitExclusiveorexpr(JmlParser.ExclusiveorexprContext ctx)
JmlParser.exclusiveorexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExclusiveorexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAndexpr(JmlParser.AndexprContext ctx)
JmlParser.andexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAndexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitEqualityexpr(JmlParser.EqualityexprContext ctx)
JmlParser.equalityexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitEqualityexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitRelationalexpr(JmlParser.RelationalexprContext ctx)
JmlParser.relationalexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRelationalexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSt_expr(JmlParser.St_exprContext ctx)
JmlParser.st_expr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSt_expr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInstance_of(JmlParser.Instance_ofContext ctx)
JmlParser.instance_of()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInstance_of
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitRelational_chain(JmlParser.Relational_chainContext ctx)
JmlParser.relational_chain()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRelational_chain
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitRelational_lockset(JmlParser.Relational_locksetContext ctx)
JmlParser.relational_lockset()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitRelational_lockset
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitShiftexpr(JmlParser.ShiftexprContext ctx)
JmlParser.shiftexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitShiftexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitAdditiveexpr(JmlParser.AdditiveexprContext ctx)
JmlParser.additiveexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAdditiveexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMultexpr(JmlParser.MultexprContext ctx)
JmlParser.multexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMultexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitUnaryexpr(JmlParser.UnaryexprContext ctx)
JmlParser.unaryexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnaryexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitCastexpr(JmlParser.CastexprContext ctx)
JmlParser.castexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCastexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitUnaryexprnotplusminus(JmlParser.UnaryexprnotplusminusContext ctx)
JmlParser.unaryexprnotplusminus()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnaryexprnotplusminus
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPostfixexpr(JmlParser.PostfixexprContext ctx)
JmlParser.postfixexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPostfixexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryexpr(JmlParser.PrimaryexprContext ctx)
JmlParser.primaryexpr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryexpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitThis_(JmlParser.This_Context ctx)
JmlParser.this_()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitThis_
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitIdent(JmlParser.IdentContext ctx)
JmlParser.ident()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitIdent
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInv(JmlParser.InvContext ctx)
JmlParser.inv()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInv
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitTrue_(JmlParser.True_Context ctx)
JmlParser.true_()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTrue_
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitFalse_(JmlParser.False_Context ctx)
JmlParser.false_()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFalse_
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitNull_(JmlParser.Null_Context ctx)
JmlParser.null_()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNull_
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitTransactionUpdated(JmlParser.TransactionUpdatedContext ctx)
JmlParser.transactionUpdated()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTransactionUpdated
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySuffixAccess(JmlParser.PrimarySuffixAccessContext ctx)
primarySuffixAccess
labeled alternative in JmlParser.primarysuffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySuffixAccess
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySuffixCall(JmlParser.PrimarySuffixCallContext ctx)
primarySuffixCall
labeled alternative in JmlParser.primarysuffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySuffixCall
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySuffixArray(JmlParser.PrimarySuffixArrayContext ctx)
primarySuffixArray
labeled alternative in JmlParser.primarysuffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySuffixArray
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitNew_expr(JmlParser.New_exprContext ctx)
JmlParser.new_expr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNew_expr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitArray_dimensions(JmlParser.Array_dimensionsContext ctx)
JmlParser.array_dimensions()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArray_dimensions
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitArray_dimension(JmlParser.Array_dimensionContext ctx)
JmlParser.array_dimension()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArray_dimension
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitArray_initializer(JmlParser.Array_initializerContext ctx)
JmlParser.array_initializer()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitArray_initializer
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitExpressionlist(JmlParser.ExpressionlistContext ctx)
JmlParser.expressionlist()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExpressionlist
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitConstant(JmlParser.ConstantContext ctx)
JmlParser.constant()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitConstant
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitJavaliteral(JmlParser.JavaliteralContext ctx)
JmlParser.javaliteral()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitJavaliteral
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitStringliteral(JmlParser.StringliteralContext ctx)
JmlParser.stringliteral()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitStringliteral
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitCharliteral(JmlParser.CharliteralContext ctx)
JmlParser.charliteral()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitCharliteral
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitIntegerliteral(JmlParser.IntegerliteralContext ctx)
JmlParser.integerliteral()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitIntegerliteral
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryResult(JmlParser.PrimaryResultContext ctx)
primaryResult
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryResult
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryException(JmlParser.PrimaryExceptionContext ctx)
primaryException
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryException
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore1(JmlParser.Pignore1Context ctx)
pignore1
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore1
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore2(JmlParser.Pignore2Context ctx)
pignore2
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore2
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore3(JmlParser.Pignore3Context ctx)
pignore3
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore3
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore4(JmlParser.Pignore4Context ctx)
pignore4
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore4
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore5(JmlParser.Pignore5Context ctx)
pignore5
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore5
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore6(JmlParser.Pignore6Context ctx)
pignore6
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore6
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPignore7(JmlParser.Pignore7Context ctx)
pignore7
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPignore7
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryBackup(JmlParser.PrimaryBackupContext ctx)
primaryBackup
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryBackup
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryPermission(JmlParser.PrimaryPermissionContext ctx)
primaryPermission
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryPermission
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryNNE(JmlParser.PrimaryNNEContext ctx)
primaryNNE
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryNNE
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryInformalDesc(JmlParser.PrimaryInformalDescContext ctx)
primaryInformalDesc
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryInformalDesc
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryMapEmpty(JmlParser.PrimaryMapEmptyContext ctx)
primaryMapEmpty
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryMapEmpty
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryMapExpr(JmlParser.PrimaryMapExprContext ctx)
primaryMapExpr
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryMapExpr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySeq2Map(JmlParser.PrimarySeq2MapContext ctx)
primarySeq2Map
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySeq2Map
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryNotMod(JmlParser.PrimaryNotModContext ctx)
primaryNotMod
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryNotMod
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryNotAssigned(JmlParser.PrimaryNotAssignedContext ctx)
primaryNotAssigned
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryNotAssigned
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryFresh(JmlParser.PrimaryFreshContext ctx)
primaryFresh
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryFresh
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryReach(JmlParser.PrimaryReachContext ctx)
primaryReach
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryReach
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryReachLocs(JmlParser.PrimaryReachLocsContext ctx)
primaryReachLocs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryReachLocs
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryDuration(JmlParser.PrimaryDurationContext ctx)
primaryDuration
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryDuration
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySpace(JmlParser.PrimarySpaceContext ctx)
primarySpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySpace
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryWorksingSpace(JmlParser.PrimaryWorksingSpaceContext ctx)
primaryWorksingSpace
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryWorksingSpace
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryParen(JmlParser.PrimaryParenContext ctx)
primaryParen
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryParen
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryTypeOf(JmlParser.PrimaryTypeOfContext ctx)
primaryTypeOf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryTypeOf
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryElemtype(JmlParser.PrimaryElemtypeContext ctx)
primaryElemtype
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryElemtype
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimayTypeSpec(JmlParser.PrimayTypeSpecContext ctx)
primayTypeSpec
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimayTypeSpec
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryLockset(JmlParser.PrimaryLocksetContext ctx)
primaryLockset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryLockset
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryIsInitialised(JmlParser.PrimaryIsInitialisedContext ctx)
primaryIsInitialised
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryIsInitialised
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryInvFor(JmlParser.PrimaryInvForContext ctx)
primaryInvFor
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryInvFor
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryStaticInv(JmlParser.PrimaryStaticInvContext ctx)
primaryStaticInv
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryStaticInv
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryLblNeg(JmlParser.PrimaryLblNegContext ctx)
primaryLblNeg
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryLblNeg
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryLblPos(JmlParser.PrimaryLblPosContext ctx)
primaryLblPos
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryLblPos
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryIndex(JmlParser.PrimaryIndexContext ctx)
primaryIndex
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryIndex
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryValues(JmlParser.PrimaryValuesContext ctx)
primaryValues
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryValues
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryStringEq(JmlParser.PrimaryStringEqContext ctx)
primaryStringEq
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryStringEq
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryEmptySet(JmlParser.PrimaryEmptySetContext ctx)
primaryEmptySet
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryEmptySet
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryStoreRef(JmlParser.PrimaryStoreRefContext ctx)
primaryStoreRef
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryStoreRef
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryCreateLocset(JmlParser.PrimaryCreateLocsetContext ctx)
primaryCreateLocset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryCreateLocset
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryCreateLocsetSingleton(JmlParser.PrimaryCreateLocsetSingletonContext ctx)
primaryCreateLocsetSingleton
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryCreateLocsetSingleton
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryUnion(JmlParser.PrimaryUnionContext ctx)
primaryUnion
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryUnion
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryIntersect(JmlParser.PrimaryIntersectContext ctx)
primaryIntersect
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryIntersect
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySetMinux(JmlParser.PrimarySetMinuxContext ctx)
primarySetMinux
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySetMinux
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryAllFields(JmlParser.PrimaryAllFieldsContext ctx)
primaryAllFields
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryAllFields
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryAllObj(JmlParser.PrimaryAllObjContext ctx)
primaryAllObj
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryAllObj
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryUnionInf(JmlParser.PrimaryUnionInfContext ctx)
primaryUnionInf
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryUnionInf
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryDisjoint(JmlParser.PrimaryDisjointContext ctx)
primaryDisjoint
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryDisjoint
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimarySubset(JmlParser.PrimarySubsetContext ctx)
primarySubset
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimarySubset
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryNewElemsfrehs(JmlParser.PrimaryNewElemsfrehsContext ctx)
primaryNewElemsfrehs
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryNewElemsfrehs
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitPrimaryignore10(JmlParser.Primaryignore10Context ctx)
primaryignore10
labeled alternative in JmlParser.jmlprimary()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitPrimaryignore10
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitFieldarrayaccess(JmlParser.FieldarrayaccessContext ctx)
JmlParser.fieldarrayaccess()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFieldarrayaccess
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitFieldarrayaccess_suffix(JmlParser.Fieldarrayaccess_suffixContext ctx)
JmlParser.fieldarrayaccess_suffix()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFieldarrayaccess_suffix
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSuper_(JmlParser.Super_Context ctx)
JmlParser.super_()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSuper_
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceEmpty(JmlParser.SequenceEmptyContext ctx)
sequenceEmpty
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceEmpty
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceIgnore1(JmlParser.SequenceIgnore1Context ctx)
sequenceIgnore1
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceIgnore1
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceCreate(JmlParser.SequenceCreateContext ctx)
sequenceCreate
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceCreate
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceSub(JmlParser.SequenceSubContext ctx)
sequenceSub
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceSub
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceReverse(JmlParser.SequenceReverseContext ctx)
sequenceReverse
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceReverse
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceReplace(JmlParser.SequenceReplaceContext ctx)
sequenceReplace
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceReplace
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSequenceFuncs(JmlParser.SequenceFuncsContext ctx)
sequenceFuncs
labeled alternative in JmlParser.sequence()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSequenceFuncs
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitMapExpression(JmlParser.MapExpressionContext ctx)
JmlParser.mapExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitMapExpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitQuantifier(JmlParser.QuantifierContext ctx)
JmlParser.quantifier()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitQuantifier
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitInfinite_union_expr(JmlParser.Infinite_union_exprContext ctx)
JmlParser.infinite_union_expr()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitInfinite_union_expr
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSpecquantifiedexpression(JmlParser.SpecquantifiedexpressionContext ctx)
JmlParser.specquantifiedexpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSpecquantifiedexpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitOldexpression(JmlParser.OldexpressionContext ctx)
JmlParser.oldexpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOldexpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBeforeexpression(JmlParser.BeforeexpressionContext ctx)
JmlParser.beforeexpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBeforeexpression
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBsumterm(JmlParser.BsumtermContext ctx)
JmlParser.bsumterm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBsumterm
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitSeqdefterm(JmlParser.SeqdeftermContext ctx)
JmlParser.seqdefterm()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitSeqdefterm
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitQuantifiedvardecls(JmlParser.QuantifiedvardeclsContext ctx)
JmlParser.quantifiedvardecls()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitQuantifiedvardecls
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBoundvarmodifiers(JmlParser.BoundvarmodifiersContext ctx)
JmlParser.boundvarmodifiers()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBoundvarmodifiers
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitTypespec(JmlParser.TypespecContext ctx)
JmlParser.typespec()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitTypespec
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitDims(JmlParser.DimsContext ctx)
JmlParser.dims()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitDims
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitType(JmlParser.TypeContext ctx)
JmlParser.type()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitType
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitReferencetype(JmlParser.ReferencetypeContext ctx)
JmlParser.referencetype()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitReferencetype
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitBuiltintype(JmlParser.BuiltintypeContext ctx)
JmlParser.builtintype()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBuiltintype
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitName(JmlParser.NameContext ctx)
JmlParser.name()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitName
in interface JmlParserVisitor<T>
ctx
- the parse treepublic T visitQuantifiedvariabledeclarator(JmlParser.QuantifiedvariabledeclaratorContext ctx)
JmlParser.quantifiedvariabledeclarator()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitQuantifiedvariabledeclarator
in interface JmlParserVisitor<T>
ctx
- the parse treeCopyright © 2003-2019 The KeY-Project.