org.jmlspecs.jml4.fspv.phases
Class SimplTranslation

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryVisitor
      org.jmlspecs.jml4.fspv.phases.SimplTranslation

public class SimplTranslation
extends TheoryVisitor

Field Summary

SimplTheory

thy

Constructor Summary

SimplTranslation()

Method Summary

boolean	visit(Theory theory)
boolean	visit(TheoryAllocationExpression theoryAllocationExpression)
boolean	visit(TheoryArgument theoryArgument)
boolean	visit(TheoryAssignment theoryAssignment)
boolean	visit(TheoryBinaryExpression theoryBinaryExpression)
boolean	visit(TheoryBlock theoryBlock)
boolean	visit(TheoryBooleanLiteral theoryBooleanLiteral)
boolean	visit(TheoryCompoundAssignment theoryAssignment)
boolean	visit(TheoryConstructorDeclaration theoryConstructorDeclaration)
boolean	visit(TheoryEqualExpression theoryEqualExpression)
boolean	visit(TheoryFieldDeclaration theoryFieldDeclaration)
boolean	visit(TheoryFieldReference theoryFieldReference)
boolean	visit(TheoryIntLiteral theoryIntLiteral)
boolean	visit(TheoryLocalDeclaration theoryLocalDeclaration)
boolean	visit(TheoryLocalDeclarationStatement theoryLocalDeclaration) Statements ********************************
boolean	visit(TheoryMessageSend theoryMessageSend)
boolean	visit(TheoryMethodDeclaration theoryMethodDeclaration)
boolean	visit(TheoryNullLiteral theoryNullLiteral)
boolean	visit(TheoryOldExpression theoryOldExpression)
boolean	visit(TheoryPostfixExpression theoryPostfixAssignment)
boolean	visit(TheoryResultReference theoryResultReference)
boolean	visit(TheoryReturnStatement theoryReturnStatement)
boolean	visit(TheorySingleNameReference theorySingleNameReference) Expressions *******************************
boolean	visit(TheoryWhileStatement theoryWhileStatement)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryVisitor

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

Methods inherited from class java.lang.Object

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

Field Detail

thy

public SimplTheory thy

Constructor Detail

SimplTranslation

public SimplTranslation()

Method Detail

visit

public boolean visit(Theory theory)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryMethodDeclaration theoryMethodDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryConstructorDeclaration theoryConstructorDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryArgument theoryArgument)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryLocalDeclaration theoryLocalDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryFieldDeclaration theoryFieldDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryLocalDeclarationStatement theoryLocalDeclaration)

Statements ********************************

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryAssignment theoryAssignment)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryCompoundAssignment theoryAssignment)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryWhileStatement theoryWhileStatement)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryBlock theoryBlock)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheorySingleNameReference theorySingleNameReference)

Expressions *******************************

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryBooleanLiteral theoryBooleanLiteral)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryFieldReference theoryFieldReference)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryBinaryExpression theoryBinaryExpression)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryEqualExpression theoryEqualExpression)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryPostfixExpression theoryPostfixAssignment)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryOldExpression theoryOldExpression)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryResultReference theoryResultReference)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryAllocationExpression theoryAllocationExpression)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryIntLiteral theoryIntLiteral)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryNullLiteral theoryNullLiteral)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryMessageSend theoryMessageSend)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryReturnStatement theoryReturnStatement)

Overrides:

visit in class TheoryVisitor