org.jmlspecs.jml4.rac
Class ResolutionNullifier

java.lang.Object
  org.eclipse.jdt.internal.compiler.ASTVisitor
      org.jmlspecs.jml4.rac.DefaultRacAstVisitor
          org.jmlspecs.jml4.rac.ResolutionNullifier

All Implemented Interfaces:

JavaAstVisitor, JmlAstVisitor, RacAstVisitor

public class ResolutionNullifier
extends DefaultRacAstVisitor

A visitor to nullify various resolutions such as type binding done on JML AST nodes.

Author:

Amritam Sarcar

Constructor Summary

ResolutionNullifier()

Method Summary

boolean	visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	visit(JmlMethodDeclaration meth, ClassScope scope)
boolean	visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope) Allocation of an anonymous Type.
boolean	visit(SwitchStatement switchStatement, BlockScope scope) A statement involving switch-case block.

Methods inherited from class org.jmlspecs.jml4.rac.DefaultRacAstVisitor

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

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, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, 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

Methods inherited from interface org.jmlspecs.jml4.rac.JmlAstVisitor

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

Constructor Detail

ResolutionNullifier

public ResolutionNullifier()

Method Detail

visit

public boolean visit(QualifiedAllocationExpression qualifiedAllocationExpression,
                     BlockScope scope)

Description copied from interface: JavaAstVisitor

Allocation of an anonymous Type. Examples include:

 new Object() { ... }
 

Specified by:

visit in interface JavaAstVisitor

Overrides:

visit in class DefaultRacAstVisitor

visit

public boolean visit(SwitchStatement switchStatement,
                     BlockScope scope)

Description copied from interface: JavaAstVisitor

A statement involving switch-case block. Examples include:

  switch (i) {
        case 0: ...
                        break;
        ...
        default: ...
  }
  

In this example, switch(i) { ... } is a Switch Statement

Specified by:

visit in interface JavaAstVisitor

Overrides:

visit in class DefaultRacAstVisitor

visit

public boolean visit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Specified by:

visit in interface JmlAstVisitor

Overrides:

visit in class DefaultRacAstVisitor

See Also:

ConstructorDeclaration

visit

public boolean visit(JmlMethodDeclaration meth,
                     ClassScope scope)

Specified by:

visit in interface JmlAstVisitor

Overrides:

visit in class DefaultRacAstVisitor

See Also:

MethodDeclaration