JML

org.jmlspecs.checker
Class JmlVisitorNI

java.lang.Object
  extended byorg.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()
Method Detail

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

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.