JML

org.multijava.mjc
Interface MjcVisitor

All Known Subinterfaces:
JmlVisitor, RacVisitor
All Known Implementing Classes:
DesugarSpec, JmlAbstractVisitor, JmlRacGenerator, JmlVisitorNI, MjcPrettyPrinter, RacAbstractVisitor, RacPrettyPrinter, TransMethod.SpecCaseCollector

public interface MjcVisitor

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


Method Summary
 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 a while 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 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
 

Method Detail

visitCompilationUnit

public void visitCompilationUnit(JCompilationUnit self)
visits a compilation unit


visitClassDeclaration

public void visitClassDeclaration(JClassDeclaration self)
visits a class declaration


visitInterfaceDeclaration

public void visitInterfaceDeclaration(JInterfaceDeclaration self)
visits an interface declaration


visitGenericFunctionDecl

public void visitGenericFunctionDecl(MJGenericFunctionDecl self)
visits a generic function anchor


visitFieldDeclaration

public void visitFieldDeclaration(JFieldDeclaration self)
visits a field declaration


visitMethodDeclaration

public void visitMethodDeclaration(JMethodDeclaration self)
visits a method declaration


visitInitializerDeclaration

public void visitInitializerDeclaration(JInitializerDeclaration self)
visits an initializer declaration


visitTopLevelMethodDeclaration

public void visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)
visits an external method declaration


visitConstructorDeclaration

public void visitConstructorDeclaration(JConstructorDeclaration self)
visits a constructor declaration


visitAssertStatement

public void visitAssertStatement(JAssertStatement self)
Visits a while statement.


visitWhileStatement

public void visitWhileStatement(JWhileStatement self)
visits a while statement


visitVariableDeclarationStatement

public void visitVariableDeclarationStatement(JVariableDeclarationStatement self)
visits a variable declaration statement


visitVariableDefinition

public void visitVariableDefinition(JVariableDefinition self)
visits a variable declaration statement


visitTryCatchStatement

public void visitTryCatchStatement(JTryCatchStatement self)
visits a try-catch statement


visitTryFinallyStatement

public void visitTryFinallyStatement(JTryFinallyStatement self)
visits a try-finally statement


visitThrowStatement

public void visitThrowStatement(JThrowStatement self)
visits a throw statement


visitSynchronizedStatement

public void visitSynchronizedStatement(JSynchronizedStatement self)
visits a synchronized statement


visitSwitchStatement

public void visitSwitchStatement(JSwitchStatement self)
visits a switch statement


visitReturnStatement

public void visitReturnStatement(JReturnStatement self)
visits a return statement


visitLabeledStatement

public void visitLabeledStatement(JLabeledStatement self)
visits a labeled statement


visitIfStatement

public void visitIfStatement(JIfStatement self)
visits a if statement


visitForStatement

public void visitForStatement(JForStatement self)
visits a for statement


visitCompoundStatement

public void visitCompoundStatement(JCompoundStatement self)
visits a compound statement


visitExpressionStatement

public void visitExpressionStatement(JExpressionStatement self)
visits an expression statement


visitExpressionListStatement

public void visitExpressionListStatement(JExpressionListStatement self)
visits an expression list statement


visitEmptyStatement

public void visitEmptyStatement(JEmptyStatement self)
visits a empty statement


visitDoStatement

public void visitDoStatement(JDoStatement self)
visits a do statement


visitContinueStatement

public void visitContinueStatement(JContinueStatement self)
visits a continue statement


visitBreakStatement

public void visitBreakStatement(JBreakStatement self)
visits a break statement


visitBlockStatement

public void visitBlockStatement(JBlock self)
visits an expression statement


visitConstructorBlock

public void visitConstructorBlock(JConstructorBlock self)
visits a constructor block


visitClassBlock

public void visitClassBlock(JClassBlock self)
visits a class block (initializer)


visitTypeDeclarationStatement

public void visitTypeDeclarationStatement(JTypeDeclarationStatement self)
visits a type declaration statement


visitUnaryExpression

public void visitUnaryExpression(JUnaryExpression self)
visits an unary expression


visitTypeNameExpression

public void visitTypeNameExpression(JTypeNameExpression self)
visits a type name expression


visitThisExpression

public void visitThisExpression(JThisExpression self)
visits a this expression


visitSuperExpression

public void visitSuperExpression(JSuperExpression self)
visits a super expression


visitShiftExpression

public void visitShiftExpression(JShiftExpression self)
visits a shift expression


visitRelationalExpression

public void visitRelationalExpression(JRelationalExpression self)
visits a shift expressiona


visitPrefixExpression

public void visitPrefixExpression(JPrefixExpression self)
visits a prefix expression


visitPostfixExpression

public void visitPostfixExpression(JPostfixExpression self)
visits a postfix expression


visitParenthesedExpression

public void visitParenthesedExpression(JParenthesedExpression self)
visits a parenthesed expression


visitNewObjectExpression

public void visitNewObjectExpression(JNewObjectExpression self)
visits an object allocator expression


visitNewAnonymousClassExpression

public void visitNewAnonymousClassExpression(JNewAnonymousClassExpression self)
visits an object allocator expression for an anonymous class


visitNewArrayExpression

public void visitNewArrayExpression(JNewArrayExpression self)
visits an array allocator expression


visitNameExpression

public void visitNameExpression(JNameExpression self)
visits a name expression


visitAddExpression

public void visitAddExpression(JAddExpression self)
visits an add expression


visitConditionalAndExpression

public void visitConditionalAndExpression(JConditionalAndExpression self)
visits a boolean AND expression


visitConditionalOrExpression

public void visitConditionalOrExpression(JConditionalOrExpression self)
visits a boolean OR expression


visitDivideExpression

public void visitDivideExpression(JDivideExpression self)
visits a divide expression


visitMinusExpression

public void visitMinusExpression(JMinusExpression self)
visits a minus expression


visitModuloExpression

public void visitModuloExpression(JModuloExpression self)
visits a modulo division expression


visitMultExpression

public void visitMultExpression(JMultExpression self)
visits a multiplication expression


visitMethodCallExpression

public void visitMethodCallExpression(JMethodCallExpression self)
visits a method call expression


visitLocalVariableExpression

public void visitLocalVariableExpression(JLocalVariableExpression self)
visits a local variable expression


visitInstanceofExpression

public void visitInstanceofExpression(JInstanceofExpression self)
visits an instanceof expression


visitEqualityExpression

public void visitEqualityExpression(JEqualityExpression self)
visits an equality expression


visitConditionalExpression

public void visitConditionalExpression(JConditionalExpression self)
visits a conditional expression


visitCompoundAssignmentExpression

public void visitCompoundAssignmentExpression(JCompoundAssignmentExpression self)
visits a compound expression


visitFieldExpression

public void visitFieldExpression(JClassFieldExpression self)
visits a field expression


visitClassExpression

public void visitClassExpression(JClassExpression self)
visits a class expression


visitCastExpression

public void visitCastExpression(JCastExpression self)
visits a cast expression


visitUnaryPromoteExpression

public void visitUnaryPromoteExpression(JUnaryPromote self)
visits a cast expression


visitBitwiseExpression

public void visitBitwiseExpression(JBitwiseExpression self)
visits a compound assignment expression


visitAssignmentExpression

public void visitAssignmentExpression(JAssignmentExpression self)
visits an assignment expression


visitArrayLengthExpression

public void visitArrayLengthExpression(JArrayLengthExpression self)
visits an array length expression


visitArrayAccessExpression

public void visitArrayAccessExpression(JArrayAccessExpression self)
visits an array access expression


visitWarnExpression

public void visitWarnExpression(MJWarnExpression self)
visits a warn expression


visitMathModeExpression

public void visitMathModeExpression(MJMathModeExpression self)
visits a math mode expression


visitSwitchLabel

public void visitSwitchLabel(JSwitchLabel self)
visits a switch label


visitSwitchGroup

public void visitSwitchGroup(JSwitchGroup self)
visits a switch group


visitCatchClause

public void visitCatchClause(JCatchClause self)
visits a catch clause


visitBooleanLiteral

public void visitBooleanLiteral(JBooleanLiteral self)
visits a boolean literal


visitCharLiteral

public void visitCharLiteral(JCharLiteral self)
visits a character literal


visitOrdinalLiteral

public void visitOrdinalLiteral(JOrdinalLiteral self)
prints an ordinal literal


visitRealLiteral

public void visitRealLiteral(JRealLiteral self)
prints a real literal


visitStringLiteral

public void visitStringLiteral(JStringLiteral self)
visits a string literal


visitNullLiteral

public void visitNullLiteral(JNullLiteral self)
visits a null literal


visitPackageName

public void visitPackageName(JPackageName self)
visits a package name declaration


visitPackageImport

public void visitPackageImport(JPackageImport self)
visits a package import declaration


visitClassOrGFImport

public void visitClassOrGFImport(JClassOrGFImport self)
visits a class import declaration


visitFormalParameters

public void visitFormalParameters(JFormalParameter self)
visits a formal parameter


visitExplicitConstructorInvocation

public void visitExplicitConstructorInvocation(JExplicitConstructorInvocation self)
visits an explicit constructor invocation


visitArrayInitializer

public void visitArrayInitializer(JArrayInitializer self)
visits an array initializer expression


visitArrayDimsAndInit

public void visitArrayDimsAndInit(JArrayDimsAndInits self)
visits an array dimension and initialization expression


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.