org.jmlspecs.checker
Class JmlVisitorNI

java.lang.Object
  org.jmlspecs.checker.JmlVisitorNI

All Implemented Interfaces:

JmlVisitor, MjcVisitor

Direct Known Subclasses:

JmlAccumSubclassingInfo, SpecWriter

public class JmlVisitorNI

extends Object

implements JmlVisitor

Implementation of Visitor Design Pattern for KJC. Suggested from: Max R. Andersen(max@cs.auc.dk) !CONVERT! use open classes

Constructor Summary

JmlVisitorNI()

 

Method Summary
protected  void	imp(String method, Object self)
void	visitAddExpression(JAddExpression self)           visits an add expression
void	visitArrayAccessExpression(JArrayAccessExpression self)           visits an array access expression
void	visitArrayDimsAndInit(JArrayDimsAndInits self)           visits an array dimension and initialization expression
void	visitArrayInitializer(JArrayInitializer self)           visits an array initializer expression
void	visitArrayLengthExpression(JArrayLengthExpression self)           visits an array length expression
void	visitAssertStatement(JAssertStatement self)           Visits the given assert statement.
void	visitAssignmentExpression(JAssignmentExpression self)           visits an assignment expression
void	visitBitwiseExpression(JBitwiseExpression self)           visits a compound assignment expression
void	visitBlockStatement(JBlock self)           visits an expression statement
void	visitBooleanLiteral(JBooleanLiteral self)           visits a boolean literal
void	visitBreakStatement(JBreakStatement self)           visits a break statement
void	visitCastExpression(JCastExpression self)           visits a cast expression
void	visitCatchClause(JCatchClause self)           visits a catch clause
void	visitCharLiteral(JCharLiteral self)           visits a character literal
void	visitClassBlock(JClassBlock self)           visits a class block (initializer)
void	visitClassDeclaration(JClassDeclaration self)           visits a class declaration
void	visitClassExpression(JClassExpression self)           visits a class expression
void	visitClassOrGFImport(JClassOrGFImport self)           visits a class import declaration
void	visitCompilationUnit(JCompilationUnit self)           visits a compilation unit
void	visitCompoundAssignmentExpression(JCompoundAssignmentExpression self)           visits a compound expression
void	visitCompoundStatement(JCompoundStatement self)           visits a compound statement
void	visitConditionalAndExpression(JConditionalAndExpression self)           visits a boolean AND expression
void	visitConditionalExpression(JConditionalExpression self)           visits a conditional expression
void	visitConditionalOrExpression(JConditionalOrExpression self)           visits a boolean OR expression
void	visitConstructorBlock(JConstructorBlock self)           visits a constructor block
void	visitConstructorDeclaration(JConstructorDeclaration self)           visits a constructor declaration
void	visitContinueStatement(JContinueStatement self)           visits a continue statement
void	visitDivideExpression(JDivideExpression self)           visits a divide expression
void	visitDoStatement(JDoStatement self)           visits a do statement
void	visitEmptyStatement(JEmptyStatement self)           visits a empty statement
void	visitEqualityExpression(JEqualityExpression self)           visits an equality expression
void	visitExplicitConstructorInvocation(JExplicitConstructorInvocation self)           visits an explicit constructor invocation
void	visitExpressionListStatement(JExpressionListStatement self)           visits an expression list statement
void	visitExpressionStatement(JExpressionStatement self)           visits an expression statement
void	visitFieldDeclaration(JFieldDeclaration self)           visits a field declaration
void	visitFieldExpression(JClassFieldExpression self)           visits a field expression
void	visitFormalParameters(JFormalParameter self)           visits a formal parameter
void	visitForStatement(JForStatement self)           visits a for statement
void	visitGenericFunctionDecl(MJGenericFunctionDecl self)           visits a generic function anchor
void	visitIfStatement(JIfStatement self)           visits a if statement
void	visitInitializerDeclaration(JInitializerDeclaration self)           visits an initializer declaration
void	visitInstanceofExpression(JInstanceofExpression self)           visits an instanceof expression
void	visitInterfaceDeclaration(JInterfaceDeclaration self)           visits an interface declaration
void	visitJmlAbruptSpecBody(JmlAbruptSpecBody self)
void	visitJmlAbruptSpecCase(JmlAbruptSpecCase self)
void	visitJmlAccessibleClause(JmlAccessibleClause self)
void	visitJmlAssertStatement(JmlAssertStatement self)
void	visitJmlAssignableClause(JmlAssignableClause self)
void	visitJmlAssignmentStatement(JmlAssignmentStatement self)
void	visitJmlAssumeStatement(JmlAssumeStatement self)
void	visitJmlAxiom(JmlAxiom self)
void	visitJmlBehaviorSpec(JmlBehaviorSpec self)
void	visitJmlBreaksClause(JmlBreaksClause self)
void	visitJmlCallableClause(JmlCallableClause self)
void	visitJmlCapturesClause(JmlCapturesClause self)
void	visitJmlClassBlock(JmlClassBlock self)
void	visitJmlClassDeclaration(JmlClassDeclaration self)
void	visitJmlClassOrGFImport(JmlClassOrGFImport self)
void	visitJmlCodeContract(JmlCodeContract self)
void	visitJmlCompilationUnit(JmlCompilationUnit self)
void	visitJmlConstraint(JmlConstraint self)
void	visitJmlConstructorDeclaration(JmlConstructorDeclaration self)
void	visitJmlConstructorName(JmlConstructorName self)
void	visitJmlContinuesClause(JmlContinuesClause self)
void	visitJmlDebugStatement(JmlDebugStatement self)
void	visitJmlDeclaration(JmlDeclaration self)
void	visitJmlDivergesClause(JmlDivergesClause self)
void	visitJmlDurationClause(JmlDurationClause self)
void	visitJmlDurationExpression(JmlDurationExpression self)
void	visitJmlElemTypeExpression(JmlElemTypeExpression self)
void	visitJmlEnsuresClause(JmlEnsuresClause self)
void	visitJmlExample(JmlExample self)
void	visitJmlExceptionalBehaviorSpec(JmlExceptionalBehaviorSpec self)
void	visitJmlExceptionalExample(JmlExceptionalExample self)
void	visitJmlExceptionalSpecBody(JmlExceptionalSpecBody self)
void	visitJmlExceptionalSpecCase(JmlExceptionalSpecCase self)
void	visitJmlExpression(JmlExpression self)
void	visitJmlExtendingSpecification(JmlExtendingSpecification self)
void	visitJmlFieldDeclaration(JmlFieldDeclaration self)
void	visitJmlForAllVarDecl(JmlForAllVarDecl self)
void	visitJmlFormalParameter(JmlFormalParameter self)
void	visitJmlFreshExpression(JmlFreshExpression self)
void	visitJmlGeneralSpecCase(JmlGeneralSpecCase self)
void	visitJmlGenericSpecBody(JmlGenericSpecBody self)
void	visitJmlGenericSpecCase(JmlGenericSpecCase self)
void	visitJmlGuardedStatement(JmlGuardedStatement self)
void	visitJmlHenceByStatement(JmlHenceByStatement self)
void	visitJmlInformalExpression(JmlInformalExpression self)
void	visitJmlInformalStoreRef(JmlInformalStoreRef self)
void	visitJmlInGroupClause(JmlInGroupClause self)
void	visitJmlInitiallyVarAssertion(JmlInitiallyVarAssertion self)
void	visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)
void	visitJmlInvariant(JmlInvariant self)
void	visitJmlInvariantForExpression(JmlInvariantForExpression self)
void	visitJmlInvariantStatement(JmlInvariantStatement self)
void	visitJmlIsInitializedExpression(JmlIsInitializedExpression self)
void	visitJmlLabelExpression(JmlLabelExpression self)
void	visitJmlLetVarDecl(JmlLetVarDecl self)
void	visitJmlLockSetExpression(JmlLockSetExpression self)
void	visitJmlLoopInvariant(JmlLoopInvariant self)
void	visitJmlLoopStatement(JmlLoopStatement self)
void	visitJmlMapsIntoClause(JmlMapsIntoClause self)
void	visitJmlMaxExpression(JmlMaxExpression self)
void	visitJmlMeasuredClause(JmlMeasuredClause self)
void	visitJmlMethodDeclaration(JmlMethodDeclaration self)
void	visitJmlMethodName(JmlMethodName self)
void	visitJmlMethodNameList(JmlMethodNameList self)
void	visitJmlMethodSpecification(JmlMethodSpecification self)
void	visitJmlModelProgram(JmlModelProgram self)
void	visitJmlMonitorsForVarAssertion(JmlMonitorsForVarAssertion self)
void	visitJmlName(JmlName self)
void	visitJmlNode(JmlNode self)
void	visitJmlNondetChoiceStatement(JmlNondetChoiceStatement self)
void	visitJmlNondetIfStatement(JmlNondetIfStatement self)
void	visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
void	visitJmlNormalBehaviorSpec(JmlNormalBehaviorSpec self)
void	visitJmlNormalExample(JmlNormalExample self)
void	visitJmlNormalSpecBody(JmlNormalSpecBody self)
void	visitJmlNormalSpecCase(JmlNormalSpecCase self)
void	visitJmlNotAssignedExpression(JmlNotAssignedExpression self)
void	visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
void	visitJmlOldExpression(JmlOldExpression self)
void	visitJmlOnlyAccessedExpression(JmlOnlyAccessedExpression self)
void	visitJmlOnlyAssignedExpression(JmlOnlyAssignedExpression self)
void	visitJmlOnlyCalledExpression(JmlOnlyCalledExpression self)
void	visitJmlOnlyCapturedExpression(JmlOnlyCapturedExpression self)
void	visitJmlPackageImport(JmlPackageImport self)
void	visitJmlPredicate(JmlPredicate self)
void	visitJmlPredicateKeyword(JmlPredicateKeyword self)
void	visitJmlPreExpression(JmlPreExpression self)
void	visitJmlReachExpression(JmlReachExpression self)
void	visitJmlReadableIfVarAssertion(JmlReadableIfVarAssertion self)
void	visitJmlRedundantSpec(JmlRedundantSpec self)
void	visitJmlRefinePrefix(JmlRefinePrefix self)
void	visitJmlRelationalExpression(JmlRelationalExpression self)
void	visitJmlRepresentsDecl(JmlRepresentsDecl self)
void	visitJmlRequiresClause(JmlRequiresClause self)
void	visitJmlResultExpression(JmlResultExpression self)
void	visitJmlReturnsClause(JmlReturnsClause self)
void	visitJmlSetComprehension(JmlSetComprehension self)
void	visitJmlSetStatement(JmlSetStatement self)
void	visitJmlSignalsClause(JmlSignalsClause self)
void	visitJmlSignalsOnlyClause(JmlSignalsOnlyClause self)
void	visitJmlSpaceExpression(JmlSpaceExpression self)
void	visitJmlSpecBody(JmlSpecBody self)
void	visitJmlSpecExpression(JmlSpecExpression self)
void	visitJmlSpecification(JmlSpecification self)
void	visitJmlSpecQuantifiedExpression(JmlSpecQuantifiedExpression self)
void	visitJmlSpecStatement(JmlSpecStatement self)
void	visitJmlSpecVarDecl(JmlSpecVarDecl self)
void	visitJmlStoreRef(JmlStoreRef self)
void	visitJmlStoreRefExpression(JmlStoreRefExpression self)
void	visitJmlStoreRefKeyword(JmlStoreRefKeyword self)
void	visitJmlTypeExpression(JmlTypeExpression self)
void	visitJmlTypeOfExpression(JmlTypeOfExpression self)
void	visitJmlUnreachableStatement(JmlUnreachableStatement self)
void	visitJmlVariableDefinition(JmlVariableDefinition self)
void	visitJmlVariantFunction(JmlVariantFunction self)
void	visitJmlWhenClause(JmlWhenClause self)
void	visitJmlWorkingSpaceClause(JmlWorkingSpaceClause self)
void	visitJmlWorkingSpaceExpression(JmlWorkingSpaceExpression self)
void	visitJmlWritableIfVarAssertion(JmlWritableIfVarAssertion self)
void	visitLabeledStatement(JLabeledStatement self)           visits a labeled statement
void	visitLocalVariableExpression(JLocalVariableExpression self)           visits a local variable expression
void	visitMathModeExpression(MJMathModeExpression self)           visits a math mode expression
void	visitMethodCallExpression(JMethodCallExpression self)           visits a method call expression
void	visitMethodDeclaration(JMethodDeclaration self)           visits a method declaration
void	visitMinusExpression(JMinusExpression self)           visits a minus expression
void	visitModuloExpression(JModuloExpression self)           visits a modulo division expression
void	visitMultExpression(JMultExpression self)           visits a multiplication expression
void	visitNameExpression(JNameExpression self)           visits a name expression
void	visitNewAnonymousClassExpression(JNewAnonymousClassExpression self)           visits an object allocator expression for an anonymous class
void	visitNewArrayExpression(JNewArrayExpression self)           visits an array allocator expression
void	visitNewObjectExpression(JNewObjectExpression self)           visits an object allocator expression
void	visitNullLiteral(JNullLiteral self)           visits a null literal
void	visitOrdinalLiteral(JOrdinalLiteral self)           prints an ordinal literal
void	visitPackageImport(JPackageImport self)           visits a package import declaration
void	visitPackageName(JPackageName self)           visits a package name declaration
void	visitParenthesedExpression(JParenthesedExpression self)           visits a parenthesed expression
void	visitPostfixExpression(JPostfixExpression self)           visits a postfix expression
void	visitPrefixExpression(JPrefixExpression self)           visits a prefix expression
void	visitRealLiteral(JRealLiteral self)           prints a real literal
void	visitRelationalExpression(JRelationalExpression self)           visits a shift expressiona
void	visitReturnStatement(JReturnStatement self)           visits a return statement
void	visitShiftExpression(JShiftExpression self)           visits a shift expression
void	visitStringLiteral(JStringLiteral self)           visits a string literal
void	visitSuperExpression(JSuperExpression self)           visits a super expression
void	visitSwitchGroup(JSwitchGroup self)           visits a switch group
void	visitSwitchLabel(JSwitchLabel self)           visits a switch label
void	visitSwitchStatement(JSwitchStatement self)           visits a switch statement
void	visitSynchronizedStatement(JSynchronizedStatement self)           visits a synchronized statement
void	visitThisExpression(JThisExpression self)           visits a this expression
void	visitThrowStatement(JThrowStatement self)           visits a throw statement
void	visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)           visits an external method declaration
void	visitTryCatchStatement(JTryCatchStatement self)           visits a try-catch statement
void	visitTryFinallyStatement(JTryFinallyStatement self)           visits a try-finally statement
void	visitTypeDeclarationStatement(JTypeDeclarationStatement self)           visits a type declaration statement
void	visitTypeNameExpression(JTypeNameExpression self)           visits a type name expression
void	visitUnaryExpression(JUnaryExpression self)           visits an unary expression
void	visitUnaryPromoteExpression(JUnaryPromote self)           visits a cast expression
void	visitVariableDeclarationStatement(JVariableDeclarationStatement self)           visits a variable declaration statement
void	visitVariableDefinition(JVariableDefinition self)           visits a variable declaration statement
void	visitWarnExpression(MJWarnExpression self)           visits a warn expression
void	visitWhileStatement(JWhileStatement self)           visits a while statement

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

JmlVisitorNI

public JmlVisitorNI()

imp

protected void imp(String method,
                   Object self)

visitJmlAbruptSpecBody

public void visitJmlAbruptSpecBody(JmlAbruptSpecBody self)

Specified by:

visitJmlAbruptSpecBody in interface JmlVisitor

visitJmlAbruptSpecCase

public void visitJmlAbruptSpecCase(JmlAbruptSpecCase self)

Specified by:

visitJmlAbruptSpecCase in interface JmlVisitor

visitJmlAccessibleClause

public void visitJmlAccessibleClause(JmlAccessibleClause self)

Specified by:

visitJmlAccessibleClause in interface JmlVisitor

visitJmlAssertStatement

public void visitJmlAssertStatement(JmlAssertStatement self)

Specified by:

visitJmlAssertStatement in interface JmlVisitor

visitJmlAssignableClause

public void visitJmlAssignableClause(JmlAssignableClause self)

Specified by:

visitJmlAssignableClause in interface JmlVisitor

visitJmlAssumeStatement

public void visitJmlAssumeStatement(JmlAssumeStatement self)

Specified by:

visitJmlAssumeStatement in interface JmlVisitor

visitJmlAxiom

public void visitJmlAxiom(JmlAxiom self)

Specified by:

visitJmlAxiom in interface JmlVisitor

visitJmlBehaviorSpec

public void visitJmlBehaviorSpec(JmlBehaviorSpec self)

Specified by:

visitJmlBehaviorSpec in interface JmlVisitor

visitJmlBreaksClause

public void visitJmlBreaksClause(JmlBreaksClause self)

Specified by:

visitJmlBreaksClause in interface JmlVisitor

visitJmlCallableClause

public void visitJmlCallableClause(JmlCallableClause self)

Specified by:

visitJmlCallableClause in interface JmlVisitor

visitJmlCapturesClause

public void visitJmlCapturesClause(JmlCapturesClause self)

Specified by:

visitJmlCapturesClause in interface JmlVisitor

visitJmlClassBlock

public void visitJmlClassBlock(JmlClassBlock self)

Specified by:

visitJmlClassBlock in interface JmlVisitor

visitJmlClassDeclaration

public void visitJmlClassDeclaration(JmlClassDeclaration self)

Specified by:

visitJmlClassDeclaration in interface JmlVisitor

visitJmlClassOrGFImport

public void visitJmlClassOrGFImport(JmlClassOrGFImport self)

Specified by:

visitJmlClassOrGFImport in interface JmlVisitor

visitJmlCodeContract

public void visitJmlCodeContract(JmlCodeContract self)

Specified by:

visitJmlCodeContract in interface JmlVisitor

visitJmlCompilationUnit

public void visitJmlCompilationUnit(JmlCompilationUnit self)

Specified by:

visitJmlCompilationUnit in interface JmlVisitor

visitJmlConstraint

public void visitJmlConstraint(JmlConstraint self)

Specified by:

visitJmlConstraint in interface JmlVisitor

visitJmlConstructorDeclaration

public void visitJmlConstructorDeclaration(JmlConstructorDeclaration self)

Specified by:

visitJmlConstructorDeclaration in interface JmlVisitor

visitJmlConstructorName

public void visitJmlConstructorName(JmlConstructorName self)

Specified by:

visitJmlConstructorName in interface JmlVisitor

visitJmlContinuesClause

public void visitJmlContinuesClause(JmlContinuesClause self)

Specified by:

visitJmlContinuesClause in interface JmlVisitor

visitJmlDeclaration

public void visitJmlDeclaration(JmlDeclaration self)

Specified by:

visitJmlDeclaration in interface JmlVisitor

visitJmlDivergesClause

public void visitJmlDivergesClause(JmlDivergesClause self)

Specified by:

visitJmlDivergesClause in interface JmlVisitor

visitJmlDebugStatement

public void visitJmlDebugStatement(JmlDebugStatement self)

Specified by:

visitJmlDebugStatement in interface JmlVisitor

visitJmlDurationClause

public void visitJmlDurationClause(JmlDurationClause self)

Specified by:

visitJmlDurationClause in interface JmlVisitor

visitJmlDurationExpression

public void visitJmlDurationExpression(JmlDurationExpression self)

Specified by:

visitJmlDurationExpression in interface JmlVisitor

visitJmlElemTypeExpression

public void visitJmlElemTypeExpression(JmlElemTypeExpression self)

Specified by:

visitJmlElemTypeExpression in interface JmlVisitor

visitJmlEnsuresClause

public void visitJmlEnsuresClause(JmlEnsuresClause self)

Specified by:

visitJmlEnsuresClause in interface JmlVisitor

visitJmlExample

public void visitJmlExample(JmlExample self)

Specified by:

visitJmlExample in interface JmlVisitor

visitJmlExceptionalBehaviorSpec

public void visitJmlExceptionalBehaviorSpec(JmlExceptionalBehaviorSpec self)

Specified by:

visitJmlExceptionalBehaviorSpec in interface JmlVisitor

visitJmlExceptionalExample

public void visitJmlExceptionalExample(JmlExceptionalExample self)

Specified by:

visitJmlExceptionalExample in interface JmlVisitor

visitJmlExceptionalSpecBody

public void visitJmlExceptionalSpecBody(JmlExceptionalSpecBody self)

Specified by:

visitJmlExceptionalSpecBody in interface JmlVisitor

visitJmlExceptionalSpecCase

public void visitJmlExceptionalSpecCase(JmlExceptionalSpecCase self)

Specified by:

visitJmlExceptionalSpecCase in interface JmlVisitor

visitJmlExpression

public void visitJmlExpression(JmlExpression self)

Specified by:

visitJmlExpression in interface JmlVisitor

visitJmlExtendingSpecification

public void visitJmlExtendingSpecification(JmlExtendingSpecification self)

Specified by:

visitJmlExtendingSpecification in interface JmlVisitor

visitJmlFieldDeclaration

public void visitJmlFieldDeclaration(JmlFieldDeclaration self)

Specified by:

visitJmlFieldDeclaration in interface JmlVisitor

visitJmlForAllVarDecl

public void visitJmlForAllVarDecl(JmlForAllVarDecl self)

Specified by:

visitJmlForAllVarDecl in interface JmlVisitor

visitJmlFormalParameter

public void visitJmlFormalParameter(JmlFormalParameter self)

Specified by:

visitJmlFormalParameter in interface JmlVisitor

visitJmlFreshExpression

public void visitJmlFreshExpression(JmlFreshExpression self)

Specified by:

visitJmlFreshExpression in interface JmlVisitor

visitJmlGeneralSpecCase

public void visitJmlGeneralSpecCase(JmlGeneralSpecCase self)

Specified by:

visitJmlGeneralSpecCase in interface JmlVisitor

visitJmlGenericSpecBody

public void visitJmlGenericSpecBody(JmlGenericSpecBody self)

Specified by:

visitJmlGenericSpecBody in interface JmlVisitor

visitJmlGenericSpecCase

public void visitJmlGenericSpecCase(JmlGenericSpecCase self)

Specified by:

visitJmlGenericSpecCase in interface JmlVisitor

visitJmlGuardedStatement

public void visitJmlGuardedStatement(JmlGuardedStatement self)

Specified by:

visitJmlGuardedStatement in interface JmlVisitor

visitJmlHenceByStatement

public void visitJmlHenceByStatement(JmlHenceByStatement self)

Specified by:

visitJmlHenceByStatement in interface JmlVisitor

visitJmlInGroupClause

public void visitJmlInGroupClause(JmlInGroupClause self)

Specified by:

visitJmlInGroupClause in interface JmlVisitor

visitJmlInformalExpression

public void visitJmlInformalExpression(JmlInformalExpression self)

Specified by:

visitJmlInformalExpression in interface JmlVisitor

visitJmlInformalStoreRef

public void visitJmlInformalStoreRef(JmlInformalStoreRef self)

Specified by:

visitJmlInformalStoreRef in interface JmlVisitor

visitJmlInitiallyVarAssertion

public void visitJmlInitiallyVarAssertion(JmlInitiallyVarAssertion self)

Specified by:

visitJmlInitiallyVarAssertion in interface JmlVisitor

visitJmlInterfaceDeclaration

public void visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)

Specified by:

visitJmlInterfaceDeclaration in interface JmlVisitor

visitJmlInvariant

public void visitJmlInvariant(JmlInvariant self)

Specified by:

visitJmlInvariant in interface JmlVisitor

visitJmlInvariantForExpression

public void visitJmlInvariantForExpression(JmlInvariantForExpression self)

Specified by:

visitJmlInvariantForExpression in interface JmlVisitor

visitJmlInvariantStatement

public void visitJmlInvariantStatement(JmlInvariantStatement self)

Specified by:

visitJmlInvariantStatement in interface JmlVisitor

visitJmlIsInitializedExpression

public void visitJmlIsInitializedExpression(JmlIsInitializedExpression self)

Specified by:

visitJmlIsInitializedExpression in interface JmlVisitor

visitJmlLabelExpression

public void visitJmlLabelExpression(JmlLabelExpression self)

Specified by:

visitJmlLabelExpression in interface JmlVisitor

visitJmlLetVarDecl

public void visitJmlLetVarDecl(JmlLetVarDecl self)

Specified by:

visitJmlLetVarDecl in interface JmlVisitor

visitJmlLockSetExpression

public void visitJmlLockSetExpression(JmlLockSetExpression self)

Specified by:

visitJmlLockSetExpression in interface JmlVisitor

visitJmlLoopInvariant

public void visitJmlLoopInvariant(JmlLoopInvariant self)

Specified by:

visitJmlLoopInvariant in interface JmlVisitor

visitJmlLoopStatement

public void visitJmlLoopStatement(JmlLoopStatement self)

Specified by:

visitJmlLoopStatement in interface JmlVisitor

visitJmlMapsIntoClause

public void visitJmlMapsIntoClause(JmlMapsIntoClause self)

Specified by:

visitJmlMapsIntoClause in interface JmlVisitor

visitJmlMaxExpression

public void visitJmlMaxExpression(JmlMaxExpression self)

Specified by:

visitJmlMaxExpression in interface JmlVisitor

visitJmlMeasuredClause

public void visitJmlMeasuredClause(JmlMeasuredClause self)

Specified by:

visitJmlMeasuredClause in interface JmlVisitor

visitJmlMethodDeclaration

public void visitJmlMethodDeclaration(JmlMethodDeclaration self)

Specified by:

visitJmlMethodDeclaration in interface JmlVisitor

visitJmlMethodName

public void visitJmlMethodName(JmlMethodName self)

Specified by:

visitJmlMethodName in interface JmlVisitor

visitJmlMethodNameList

public void visitJmlMethodNameList(JmlMethodNameList self)

Specified by:

visitJmlMethodNameList in interface JmlVisitor

visitJmlMethodSpecification

public void visitJmlMethodSpecification(JmlMethodSpecification self)

Specified by:

visitJmlMethodSpecification in interface JmlVisitor

visitJmlModelProgram

public void visitJmlModelProgram(JmlModelProgram self)

Specified by:

visitJmlModelProgram in interface JmlVisitor

visitJmlMonitorsForVarAssertion

public void visitJmlMonitorsForVarAssertion(JmlMonitorsForVarAssertion self)

Specified by:

visitJmlMonitorsForVarAssertion in interface JmlVisitor

visitJmlName

public void visitJmlName(JmlName self)

Specified by:

visitJmlName in interface JmlVisitor

visitJmlNode

public void visitJmlNode(JmlNode self)

Specified by:

visitJmlNode in interface JmlVisitor

visitJmlNonNullElementsExpression

public void visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)

Specified by:

visitJmlNonNullElementsExpression in interface JmlVisitor

visitJmlAssignmentStatement

public void visitJmlAssignmentStatement(JmlAssignmentStatement self)

Specified by:

visitJmlAssignmentStatement in interface JmlVisitor

visitJmlNondetChoiceStatement

public void visitJmlNondetChoiceStatement(JmlNondetChoiceStatement self)

Specified by:

visitJmlNondetChoiceStatement in interface JmlVisitor

visitJmlNondetIfStatement

public void visitJmlNondetIfStatement(JmlNondetIfStatement self)

Specified by:

visitJmlNondetIfStatement in interface JmlVisitor

visitJmlNormalBehaviorSpec

public void visitJmlNormalBehaviorSpec(JmlNormalBehaviorSpec self)

Specified by:

visitJmlNormalBehaviorSpec in interface JmlVisitor

visitJmlNormalExample

public void visitJmlNormalExample(JmlNormalExample self)

Specified by:

visitJmlNormalExample in interface JmlVisitor

visitJmlNormalSpecBody

public void visitJmlNormalSpecBody(JmlNormalSpecBody self)

Specified by:

visitJmlNormalSpecBody in interface JmlVisitor

visitJmlNormalSpecCase

public void visitJmlNormalSpecCase(JmlNormalSpecCase self)

Specified by:

visitJmlNormalSpecCase in interface JmlVisitor

visitJmlNotAssignedExpression

public void visitJmlNotAssignedExpression(JmlNotAssignedExpression self)

Specified by:

visitJmlNotAssignedExpression in interface JmlVisitor

visitJmlNotModifiedExpression

public void visitJmlNotModifiedExpression(JmlNotModifiedExpression self)

Specified by:

visitJmlNotModifiedExpression in interface JmlVisitor

visitJmlOnlyAccessedExpression

public void visitJmlOnlyAccessedExpression(JmlOnlyAccessedExpression self)

Specified by:

visitJmlOnlyAccessedExpression in interface JmlVisitor

visitJmlOnlyAssignedExpression

public void visitJmlOnlyAssignedExpression(JmlOnlyAssignedExpression self)

Specified by:

visitJmlOnlyAssignedExpression in interface JmlVisitor

visitJmlOnlyCalledExpression

public void visitJmlOnlyCalledExpression(JmlOnlyCalledExpression self)

Specified by:

visitJmlOnlyCalledExpression in interface JmlVisitor

visitJmlOnlyCapturedExpression

public void visitJmlOnlyCapturedExpression(JmlOnlyCapturedExpression self)

Specified by:

visitJmlOnlyCapturedExpression in interface JmlVisitor

visitJmlOldExpression

public void visitJmlOldExpression(JmlOldExpression self)

Specified by:

visitJmlOldExpression in interface JmlVisitor

visitJmlPackageImport

public void visitJmlPackageImport(JmlPackageImport self)

Specified by:

visitJmlPackageImport in interface JmlVisitor

visitJmlPredicate

public void visitJmlPredicate(JmlPredicate self)

Specified by:

visitJmlPredicate in interface JmlVisitor

visitJmlPredicateKeyword

public void visitJmlPredicateKeyword(JmlPredicateKeyword self)

Specified by:

visitJmlPredicateKeyword in interface JmlVisitor

visitJmlPreExpression

public void visitJmlPreExpression(JmlPreExpression self)

Specified by:

visitJmlPreExpression in interface JmlVisitor

visitJmlReachExpression

public void visitJmlReachExpression(JmlReachExpression self)

Specified by:

visitJmlReachExpression in interface JmlVisitor

visitJmlReadableIfVarAssertion

public void visitJmlReadableIfVarAssertion(JmlReadableIfVarAssertion self)

Specified by:

visitJmlReadableIfVarAssertion in interface JmlVisitor

visitJmlWritableIfVarAssertion

public void visitJmlWritableIfVarAssertion(JmlWritableIfVarAssertion self)

Specified by:

visitJmlWritableIfVarAssertion in interface JmlVisitor

visitJmlRedundantSpec

public void visitJmlRedundantSpec(JmlRedundantSpec self)

Specified by:

visitJmlRedundantSpec in interface JmlVisitor

visitJmlRefinePrefix

public void visitJmlRefinePrefix(JmlRefinePrefix self)

Specified by:

visitJmlRefinePrefix in interface JmlVisitor

visitJmlRelationalExpression

public void visitJmlRelationalExpression(JmlRelationalExpression self)

Specified by:

visitJmlRelationalExpression in interface JmlVisitor

visitJmlRepresentsDecl

public void visitJmlRepresentsDecl(JmlRepresentsDecl self)

Specified by:

visitJmlRepresentsDecl in interface JmlVisitor

visitJmlRequiresClause

public void visitJmlRequiresClause(JmlRequiresClause self)

Specified by:

visitJmlRequiresClause in interface JmlVisitor

visitJmlResultExpression

public void visitJmlResultExpression(JmlResultExpression self)

Specified by:

visitJmlResultExpression in interface JmlVisitor

visitJmlReturnsClause

public void visitJmlReturnsClause(JmlReturnsClause self)

Specified by:

visitJmlReturnsClause in interface JmlVisitor

visitJmlSetComprehension

public void visitJmlSetComprehension(JmlSetComprehension self)

Specified by:

visitJmlSetComprehension in interface JmlVisitor

visitJmlSetStatement

public void visitJmlSetStatement(JmlSetStatement self)

Specified by:

visitJmlSetStatement in interface JmlVisitor

visitJmlSignalsOnlyClause

public void visitJmlSignalsOnlyClause(JmlSignalsOnlyClause self)

Specified by:

visitJmlSignalsOnlyClause in interface JmlVisitor

visitJmlSignalsClause

public void visitJmlSignalsClause(JmlSignalsClause self)

Specified by:

visitJmlSignalsClause in interface JmlVisitor

visitJmlSpecBody

public void visitJmlSpecBody(JmlSpecBody self)

Specified by:

visitJmlSpecBody in interface JmlVisitor

visitJmlSpaceExpression

public void visitJmlSpaceExpression(JmlSpaceExpression self)

Specified by:

visitJmlSpaceExpression in interface JmlVisitor

visitJmlSpecExpression

public void visitJmlSpecExpression(JmlSpecExpression self)

Specified by:

visitJmlSpecExpression in interface JmlVisitor

visitJmlSpecQuantifiedExpression

public void visitJmlSpecQuantifiedExpression(JmlSpecQuantifiedExpression self)

Specified by:

visitJmlSpecQuantifiedExpression in interface JmlVisitor

visitJmlSpecStatement

public void visitJmlSpecStatement(JmlSpecStatement self)

Specified by:

visitJmlSpecStatement in interface JmlVisitor

visitJmlSpecification

public void visitJmlSpecification(JmlSpecification self)

Specified by:

visitJmlSpecification in interface JmlVisitor

visitJmlSpecVarDecl

public void visitJmlSpecVarDecl(JmlSpecVarDecl self)

Specified by:

visitJmlSpecVarDecl in interface JmlVisitor

visitJmlStoreRef

public void visitJmlStoreRef(JmlStoreRef self)

Specified by:

visitJmlStoreRef in interface JmlVisitor

visitJmlStoreRefExpression

public void visitJmlStoreRefExpression(JmlStoreRefExpression self)

Specified by:

visitJmlStoreRefExpression in interface JmlVisitor

visitJmlStoreRefKeyword

public void visitJmlStoreRefKeyword(JmlStoreRefKeyword self)

Specified by:

visitJmlStoreRefKeyword in interface JmlVisitor

visitJmlTypeExpression

public void visitJmlTypeExpression(JmlTypeExpression self)

Specified by:

visitJmlTypeExpression in interface JmlVisitor

visitJmlTypeOfExpression

public void visitJmlTypeOfExpression(JmlTypeOfExpression self)

Specified by:

visitJmlTypeOfExpression in interface JmlVisitor

visitJmlUnreachableStatement

public void visitJmlUnreachableStatement(JmlUnreachableStatement self)

Specified by:

visitJmlUnreachableStatement in interface JmlVisitor

visitJmlVariantFunction

public void visitJmlVariantFunction(JmlVariantFunction self)

Specified by:

visitJmlVariantFunction in interface JmlVisitor

visitJmlVariableDefinition

public void visitJmlVariableDefinition(JmlVariableDefinition self)

Specified by:

visitJmlVariableDefinition in interface JmlVisitor

visitJmlWhenClause

public void visitJmlWhenClause(JmlWhenClause self)

Specified by:

visitJmlWhenClause in interface JmlVisitor

visitJmlWorkingSpaceClause

public void visitJmlWorkingSpaceClause(JmlWorkingSpaceClause self)

Specified by:

visitJmlWorkingSpaceClause in interface JmlVisitor

visitJmlWorkingSpaceExpression

public void visitJmlWorkingSpaceExpression(JmlWorkingSpaceExpression self)

Specified by:

visitJmlWorkingSpaceExpression in interface JmlVisitor

visitCompilationUnit

public void visitCompilationUnit(JCompilationUnit self)

visits a compilation unit

Specified by:

visitCompilationUnit in interface MjcVisitor

visitClassDeclaration

public void visitClassDeclaration(JClassDeclaration self)

visits a class declaration

Specified by:

visitClassDeclaration in interface MjcVisitor

visitInterfaceDeclaration

public void visitInterfaceDeclaration(JInterfaceDeclaration self)

visits an interface declaration

Specified by:

visitInterfaceDeclaration in interface MjcVisitor

visitGenericFunctionDecl

public void visitGenericFunctionDecl(MJGenericFunctionDecl self)

visits a generic function anchor

Specified by:

visitGenericFunctionDecl in interface MjcVisitor

visitFieldDeclaration

public void visitFieldDeclaration(JFieldDeclaration self)

visits a field declaration

Specified by:

visitFieldDeclaration in interface MjcVisitor

visitMethodDeclaration

public void visitMethodDeclaration(JMethodDeclaration self)

visits a method declaration

Specified by:

visitMethodDeclaration in interface MjcVisitor

visitInitializerDeclaration

public void visitInitializerDeclaration(JInitializerDeclaration self)

visits an initializer declaration

Specified by:

visitInitializerDeclaration in interface MjcVisitor

visitTopLevelMethodDeclaration

public void visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)

visits an external method declaration

Specified by:

visitTopLevelMethodDeclaration in interface MjcVisitor

visitConstructorDeclaration

public void visitConstructorDeclaration(JConstructorDeclaration self)

visits a constructor declaration

Specified by:

visitConstructorDeclaration in interface MjcVisitor

visitAssertStatement

public void visitAssertStatement(JAssertStatement self)

Visits the given assert statement.

Specified by:

visitAssertStatement in interface MjcVisitor

visitWhileStatement

public void visitWhileStatement(JWhileStatement self)

visits a while statement

Specified by:

visitWhileStatement in interface MjcVisitor

visitVariableDeclarationStatement

public void visitVariableDeclarationStatement(JVariableDeclarationStatement self)

visits a variable declaration statement

Specified by:

visitVariableDeclarationStatement in interface MjcVisitor

visitVariableDefinition

public void visitVariableDefinition(JVariableDefinition self)

visits a variable declaration statement

Specified by:

visitVariableDefinition in interface MjcVisitor

visitTryCatchStatement

public void visitTryCatchStatement(JTryCatchStatement self)

visits a try-catch statement

Specified by:

visitTryCatchStatement in interface MjcVisitor

visitTryFinallyStatement

public void visitTryFinallyStatement(JTryFinallyStatement self)

visits a try-finally statement

Specified by:

visitTryFinallyStatement in interface MjcVisitor

visitThrowStatement

public void visitThrowStatement(JThrowStatement self)

visits a throw statement

Specified by:

visitThrowStatement in interface MjcVisitor

visitSynchronizedStatement

public void visitSynchronizedStatement(JSynchronizedStatement self)

visits a synchronized statement

Specified by:

visitSynchronizedStatement in interface MjcVisitor

visitSwitchStatement

public void visitSwitchStatement(JSwitchStatement self)

visits a switch statement

Specified by:

visitSwitchStatement in interface MjcVisitor

visitReturnStatement

public void visitReturnStatement(JReturnStatement self)

visits a return statement

Specified by:

visitReturnStatement in interface MjcVisitor

visitLabeledStatement

public void visitLabeledStatement(JLabeledStatement self)

visits a labeled statement

Specified by:

visitLabeledStatement in interface MjcVisitor

visitIfStatement

public void visitIfStatement(JIfStatement self)

visits a if statement

Specified by:

visitIfStatement in interface MjcVisitor

visitForStatement

public void visitForStatement(JForStatement self)

visits a for statement

Specified by:

visitForStatement in interface MjcVisitor

visitCompoundStatement

public void visitCompoundStatement(JCompoundStatement self)

visits a compound statement

Specified by:

visitCompoundStatement in interface MjcVisitor

visitExpressionStatement

public void visitExpressionStatement(JExpressionStatement self)

visits an expression statement

Specified by:

visitExpressionStatement in interface MjcVisitor

visitExpressionListStatement

public void visitExpressionListStatement(JExpressionListStatement self)

visits an expression list statement

Specified by:

visitExpressionListStatement in interface MjcVisitor

visitEmptyStatement

public void visitEmptyStatement(JEmptyStatement self)

visits a empty statement

Specified by:

visitEmptyStatement in interface MjcVisitor

visitDoStatement

public void visitDoStatement(JDoStatement self)

visits a do statement

Specified by:

visitDoStatement in interface MjcVisitor

visitContinueStatement

public void visitContinueStatement(JContinueStatement self)

visits a continue statement

Specified by:

visitContinueStatement in interface MjcVisitor

visitBreakStatement

public void visitBreakStatement(JBreakStatement self)

visits a break statement

Specified by:

visitBreakStatement in interface MjcVisitor

visitBlockStatement

public void visitBlockStatement(JBlock self)

visits an expression statement

Specified by:

visitBlockStatement in interface MjcVisitor

visitConstructorBlock

public void visitConstructorBlock(JConstructorBlock self)

visits a constructor block

Specified by:

visitConstructorBlock in interface MjcVisitor

visitClassBlock

public void visitClassBlock(JClassBlock self)

visits a class block (initializer)

Specified by:

visitClassBlock in interface MjcVisitor

visitTypeDeclarationStatement

public void visitTypeDeclarationStatement(JTypeDeclarationStatement self)

visits a type declaration statement

Specified by:

visitTypeDeclarationStatement in interface MjcVisitor

visitUnaryExpression

public void visitUnaryExpression(JUnaryExpression self)

visits an unary expression

Specified by:

visitUnaryExpression in interface MjcVisitor

visitTypeNameExpression

public void visitTypeNameExpression(JTypeNameExpression self)

visits a type name expression

Specified by:

visitTypeNameExpression in interface MjcVisitor

visitThisExpression

public void visitThisExpression(JThisExpression self)

visits a this expression

Specified by:

visitThisExpression in interface MjcVisitor

visitSuperExpression

public void visitSuperExpression(JSuperExpression self)

visits a super expression

Specified by:

visitSuperExpression in interface MjcVisitor

visitShiftExpression

public void visitShiftExpression(JShiftExpression self)

visits a shift expression

Specified by:

visitShiftExpression in interface MjcVisitor

visitRelationalExpression

public void visitRelationalExpression(JRelationalExpression self)

visits a shift expressiona

Specified by:

visitRelationalExpression in interface MjcVisitor

visitPrefixExpression

public void visitPrefixExpression(JPrefixExpression self)

visits a prefix expression

Specified by:

visitPrefixExpression in interface MjcVisitor

visitPostfixExpression

public void visitPostfixExpression(JPostfixExpression self)

visits a postfix expression

Specified by:

visitPostfixExpression in interface MjcVisitor

visitParenthesedExpression

public void visitParenthesedExpression(JParenthesedExpression self)

visits a parenthesed expression

Specified by:

visitParenthesedExpression in interface MjcVisitor

visitNewObjectExpression

public void visitNewObjectExpression(JNewObjectExpression self)

visits an object allocator expression

Specified by:

visitNewObjectExpression in interface MjcVisitor

visitNewAnonymousClassExpression

public void visitNewAnonymousClassExpression(JNewAnonymousClassExpression self)

visits an object allocator expression for an anonymous class

Specified by:

visitNewAnonymousClassExpression in interface MjcVisitor

visitNewArrayExpression

public void visitNewArrayExpression(JNewArrayExpression self)

visits an array allocator expression

Specified by:

visitNewArrayExpression in interface MjcVisitor

visitNameExpression

public void visitNameExpression(JNameExpression self)

visits a name expression

Specified by:

visitNameExpression in interface MjcVisitor

visitAddExpression

public void visitAddExpression(JAddExpression self)

visits an add expression

Specified by:

visitAddExpression in interface MjcVisitor

visitConditionalAndExpression

public void visitConditionalAndExpression(JConditionalAndExpression self)

visits a boolean AND expression

Specified by:

visitConditionalAndExpression in interface MjcVisitor

visitConditionalOrExpression

public void visitConditionalOrExpression(JConditionalOrExpression self)

visits a boolean OR expression

Specified by:

visitConditionalOrExpression in interface MjcVisitor

visitDivideExpression

public void visitDivideExpression(JDivideExpression self)

visits a divide expression

Specified by:

visitDivideExpression in interface MjcVisitor

visitMinusExpression

public void visitMinusExpression(JMinusExpression self)

visits a minus expression

Specified by:

visitMinusExpression in interface MjcVisitor

visitModuloExpression

public void visitModuloExpression(JModuloExpression self)

visits a modulo division expression

Specified by:

visitModuloExpression in interface MjcVisitor

visitMultExpression

public void visitMultExpression(JMultExpression self)

visits a multiplication expression

Specified by:

visitMultExpression in interface MjcVisitor

visitMethodCallExpression

public void visitMethodCallExpression(JMethodCallExpression self)

visits a method call expression

Specified by:

visitMethodCallExpression in interface MjcVisitor

visitLocalVariableExpression

public void visitLocalVariableExpression(JLocalVariableExpression self)

visits a local variable expression

Specified by:

visitLocalVariableExpression in interface MjcVisitor

visitInstanceofExpression

public void visitInstanceofExpression(JInstanceofExpression self)

visits an instanceof expression

Specified by:

visitInstanceofExpression in interface MjcVisitor

visitEqualityExpression

public void visitEqualityExpression(JEqualityExpression self)

visits an equality expression

Specified by:

visitEqualityExpression in interface MjcVisitor

visitConditionalExpression

public void visitConditionalExpression(JConditionalExpression self)

visits a conditional expression

Specified by:

visitConditionalExpression in interface MjcVisitor

visitCompoundAssignmentExpression

public void visitCompoundAssignmentExpression(JCompoundAssignmentExpression self)

visits a compound expression

Specified by:

visitCompoundAssignmentExpression in interface MjcVisitor

visitFieldExpression

public void visitFieldExpression(JClassFieldExpression self)

visits a field expression

Specified by:

visitFieldExpression in interface MjcVisitor

visitClassExpression

public void visitClassExpression(JClassExpression self)

visits a class expression

Specified by:

visitClassExpression in interface MjcVisitor

visitCastExpression

public void visitCastExpression(JCastExpression self)

visits a cast expression

Specified by:

visitCastExpression in interface MjcVisitor

visitUnaryPromoteExpression

public void visitUnaryPromoteExpression(JUnaryPromote self)

visits a cast expression

Specified by:

visitUnaryPromoteExpression in interface MjcVisitor

visitBitwiseExpression

public void visitBitwiseExpression(JBitwiseExpression self)

visits a compound assignment expression

Specified by:

visitBitwiseExpression in interface MjcVisitor

visitAssignmentExpression

public void visitAssignmentExpression(JAssignmentExpression self)

visits an assignment expression

Specified by:

visitAssignmentExpression in interface MjcVisitor

visitArrayLengthExpression

public void visitArrayLengthExpression(JArrayLengthExpression self)

visits an array length expression

Specified by:

visitArrayLengthExpression in interface MjcVisitor

visitArrayAccessExpression

public void visitArrayAccessExpression(JArrayAccessExpression self)

visits an array access expression

Specified by:

visitArrayAccessExpression in interface MjcVisitor

visitSwitchLabel

public void visitSwitchLabel(JSwitchLabel self)

visits a switch label

Specified by:

visitSwitchLabel in interface MjcVisitor

visitSwitchGroup

public void visitSwitchGroup(JSwitchGroup self)

visits a switch group

Specified by:

visitSwitchGroup in interface MjcVisitor

visitCatchClause

public void visitCatchClause(JCatchClause self)

visits a catch clause

Specified by:

visitCatchClause in interface MjcVisitor

visitBooleanLiteral

public void visitBooleanLiteral(JBooleanLiteral self)

visits a boolean literal

Specified by:

visitBooleanLiteral in interface MjcVisitor

visitCharLiteral

public void visitCharLiteral(JCharLiteral self)

visits a character literal

Specified by:

visitCharLiteral in interface MjcVisitor

visitOrdinalLiteral

public void visitOrdinalLiteral(JOrdinalLiteral self)

prints an ordinal literal

Specified by:

visitOrdinalLiteral in interface MjcVisitor

visitRealLiteral

public void visitRealLiteral(JRealLiteral self)

prints a real literal

Specified by:

visitRealLiteral in interface MjcVisitor

visitStringLiteral

public void visitStringLiteral(JStringLiteral self)

visits a string literal

Specified by:

visitStringLiteral in interface MjcVisitor

visitNullLiteral

public void visitNullLiteral(JNullLiteral self)

visits a null literal

Specified by:

visitNullLiteral in interface MjcVisitor

visitPackageName

public void visitPackageName(JPackageName self)

visits a package name declaration

Specified by:

visitPackageName in interface MjcVisitor

visitPackageImport

public void visitPackageImport(JPackageImport self)

visits a package import declaration

Specified by:

visitPackageImport in interface MjcVisitor

visitClassOrGFImport

public void visitClassOrGFImport(JClassOrGFImport self)

visits a class import declaration

Specified by:

visitClassOrGFImport in interface MjcVisitor

visitFormalParameters

public void visitFormalParameters(JFormalParameter self)

visits a formal parameter

Specified by:

visitFormalParameters in interface MjcVisitor

visitExplicitConstructorInvocation

public void visitExplicitConstructorInvocation(JExplicitConstructorInvocation self)

visits an explicit constructor invocation

Specified by:

visitExplicitConstructorInvocation in interface MjcVisitor

visitArrayInitializer

public void visitArrayInitializer(JArrayInitializer self)

visits an array initializer expression

Specified by:

visitArrayInitializer in interface MjcVisitor

visitArrayDimsAndInit

public void visitArrayDimsAndInit(JArrayDimsAndInits self)

visits an array dimension and initialization expression

Specified by:

visitArrayDimsAndInit in interface MjcVisitor

visitWarnExpression

public void visitWarnExpression(MJWarnExpression self)

visits a warn expression

Specified by:

visitWarnExpression in interface MjcVisitor

visitMathModeExpression

public void visitMathModeExpression(MJMathModeExpression self)

visits a math mode expression

Specified by:

visitMathModeExpression in interface MjcVisitor