org.jmlspecs.jml4.compiler
Class ReferenceCounterVisitor

java.lang.Object
  org.eclipse.jdt.internal.compiler.ASTVisitor
      org.jmlspecs.jml4.compiler.ReferenceCounterVisitor

public class ReferenceCounterVisitor
extends ASTVisitor

Constructor Summary

ReferenceCounterVisitor(ProblemReporter problemReporter)

Method Summary

void	endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

Methods inherited from class org.eclipse.jdt.internal.compiler.ASTVisitor

acceptProblem, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, 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, 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

Constructor Detail

ReferenceCounterVisitor

public ReferenceCounterVisitor(ProblemReporter problemReporter)

Method Detail

visit

public boolean visit(FieldDeclaration fieldDeclaration,
                     MethodScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(MethodDeclaration methodDeclaration,
                     ClassScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:

visit in class ASTVisitor

endVisit

public void endVisit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:

endVisit in class ASTVisitor

visit

public boolean visit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Overrides:

visit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Overrides:

endVisit in class ASTVisitor