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