org.jmlspecs.eclipse.jdt.internal.esc2
Class JdtAst2EscjAstVisitor

java.lang.Object
  org.jmlspecs.eclipse.jdt.internal.esc2.PrintVisitor
      org.jmlspecs.eclipse.jdt.internal.esc2.JdtAst2EscjAstVisitor

Deprecated. because it is very unlikely that we will try to map between JML4 and ESC/Java2 ASTs.

public class JdtAst2EscjAstVisitor
extends PrintVisitor

Author:

karabot

Field Summary

javafe.ast.CompilationUnit

cu Deprecated.

Constructor Summary

JdtAst2EscjAstVisitor()
Deprecated.

Method Summary

void	endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
void	endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
void	endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope) Deprecated.
void	endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
void	endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
void	endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope) Deprecated.
void	endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Deprecated.
void	endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope) Deprecated.
boolean	visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	visit(ConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	visit(ExplicitConstructorCall explicitConstructor, BlockScope scope) Deprecated.
boolean	visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	visit(TypeDeclaration localTypeDeclaration, BlockScope scope) Deprecated.
boolean	visit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Deprecated.
boolean	visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope) Deprecated.

Methods inherited from class org.jmlspecs.eclipse.jdt.internal.esc2.PrintVisitor

acceptProblem, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

cu

public javafe.ast.CompilationUnit cu

Deprecated.

Constructor Detail

JdtAst2EscjAstVisitor

public JdtAst2EscjAstVisitor()

Deprecated.

Method Detail

visit

public boolean visit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration localTypeDeclaration,
                     BlockScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(TypeDeclaration localTypeDeclaration,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration memberTypeDeclaration,
                     ClassScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(TypeDeclaration memberTypeDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ExplicitConstructorCall explicitConstructor,
                     BlockScope scope)

Deprecated.

Overrides:

visit in class PrintVisitor

endVisit

public void endVisit(ExplicitConstructorCall explicitConstructor,
                     BlockScope scope)

Deprecated.