org.jmlspecs.jml4.esc.gc
Class Ast2SugaredVisitor

java.lang.Object
  org.eclipse.jdt.internal.compiler.ASTVisitor
      org.jmlspecs.jml4.esc.gc.Ast2SugaredVisitor

public class Ast2SugaredVisitor
extends ASTVisitor

Constructor Summary

Ast2SugaredVisitor(AbstractMethodDeclaration method)

Method Summary

SugaredExpression	getInvariant(Expression invariant)
SugaredStatement	getResult()
SugaredMethodSpecification	getSpec(JmlAbstractMethodDeclaration method)
java.lang.String	toString()
boolean	visit(AllocationExpression allocationExpression, BlockScope scope)
boolean	visit(AND_AND_Expression and_and_Expression, BlockScope scope)
boolean	visit(ArrayAllocationExpression arrayAlloc, BlockScope scope)
boolean	visit(ArrayReference arrayReference, BlockScope scope)
boolean	visit(AssertStatement assertStatement, BlockScope scope)
boolean	visit(Assignment assignment, BlockScope scope)
boolean	visit(BinaryExpression binaryExpression, BlockScope scope)
boolean	visit(Block block, BlockScope scope)
boolean	visit(BreakStatement breakStatement, BlockScope scope)
boolean	visit(CompoundAssignment assignment, BlockScope scope)
boolean	visit(ConditionalExpression condExpression, BlockScope scope)
boolean	visit(ContinueStatement continueStatement, BlockScope scope)
boolean	visit(EmptyStatement empty, BlockScope scope)
boolean	visit(EqualExpression eqExpr, BlockScope scope)
boolean	visit(FalseLiteral falseLiteral, BlockScope scope)
boolean	visit(FieldReference fieldRef, BlockScope scope)
boolean	visit(IfStatement ifStatement, BlockScope scope)
boolean	visit(IntLiteral intConst, BlockScope scope)
boolean	visit(JmlAssertStatement assertStatement, BlockScope scope)
boolean	visit(JmlAssumeStatement assumeStatement, BlockScope scope)
boolean	visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)
boolean	visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)
boolean	visit(JmlQuantifiedExpression quantExpr, BlockScope scope)
boolean	visit(JmlResultReference resRef, BlockScope scope)
boolean	visit(JmlWhileStatement whileStatement, BlockScope scope)
boolean	visit(LabeledStatement labeledStatement, BlockScope scope)
boolean	visit(LocalDeclaration localDeclaration, BlockScope scope)
boolean	visit(MessageSend messageSend, BlockScope scope)
boolean	visit(OR_OR_Expression or_or_Expression, BlockScope scope)
boolean	visit(PostfixExpression postfixExpr, BlockScope scope)
boolean	visit(PrefixExpression prefixExpr, BlockScope scope)
boolean	visit(QualifiedNameReference var, BlockScope scope)
boolean	visit(ReturnStatement retStmt, BlockScope scope)
boolean	visit(SingleNameReference var, BlockScope scope)
boolean	visit(ThisReference thisReference, BlockScope scope)
boolean	visit(TrueLiteral trueLiteral, BlockScope scope)
boolean	visit(UnaryExpression unaryExpression, BlockScope scope)
boolean	visit(WhileStatement whileStatement, BlockScope 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, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

Ast2SugaredVisitor

public Ast2SugaredVisitor(AbstractMethodDeclaration method)

Method Detail

getResult

public SugaredStatement getResult()

visit

public boolean visit(JmlAssumeStatement assumeStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(AssertStatement assertStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(Assignment assignment,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(CompoundAssignment assignment,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(PrefixExpression prefixExpr,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(PostfixExpression postfixExpr,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(IntLiteral intConst,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(FalseLiteral falseLiteral,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ArrayReference arrayReference,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(SingleNameReference var,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ThisReference thisReference,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(QualifiedNameReference var,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(FieldReference fieldRef,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(TrueLiteral trueLiteral,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(UnaryExpression unaryExpression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(BinaryExpression binaryExpression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(OR_OR_Expression or_or_Expression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(AND_AND_Expression and_and_Expression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(EqualExpression eqExpr,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ConditionalExpression condExpression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(LocalDeclaration localDeclaration,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ArrayAllocationExpression arrayAlloc,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(IfStatement ifStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlWhileStatement whileStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(WhileStatement whileStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(LabeledStatement labeledStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(BreakStatement breakStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ContinueStatement continueStatement,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlLoopInvariant jmlLoopInvariant,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlLoopVariant jmlLoopVariant,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(Block block,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(EmptyStatement empty,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlQuantifiedExpression quantExpr,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(ReturnStatement retStmt,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(JmlResultReference resRef,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

visit

public boolean visit(MessageSend messageSend,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor

getSpec

public SugaredMethodSpecification getSpec(JmlAbstractMethodDeclaration method)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getInvariant

public SugaredExpression getInvariant(Expression invariant)

visit

public boolean visit(AllocationExpression allocationExpression,
                     BlockScope scope)

Overrides:

visit in class ASTVisitor