org.jmlspecs.jml4.fspv.phases
Class SimplTranslationOld

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

public class SimplTranslationOld
extends TheoryVisitor

Field Summary

java.lang.String

thy

Constructor Summary

SimplTranslationOld()

Method Summary

java.util.Stack	getStack()
void	setStack(java.util.Stack stack)
boolean	visit(Theory theory)
boolean	visit(TheoryArgument theoryArgument)
boolean	visit(TheoryAssignment theoryAssignment)
boolean	visit(TheoryBlock theoryBlock)
boolean	visit(TheoryBooleanLiteral theoryBooleanLiteral)
boolean	visit(TheoryCompoundAssignment theoryAssignment)
boolean	visit(TheoryConstructorDeclaration theoryConstructorDeclaration)
boolean	visit(TheoryFieldDeclaration theoryFieldDeclaration)
boolean	visit(TheoryIntLiteral theoryIntLiteral)
boolean	visit(TheoryLocalDeclaration theoryLocalDeclaration)
boolean	visit(TheoryMethodDeclaration theoryMethodDeclaration)
boolean	visit(TheoryPostfixExpression theoryAssignment)
boolean	visit(TheorySingleNameReference theorySingleNameReference)

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

thy

public java.lang.String thy

Constructor Detail

SimplTranslationOld

public SimplTranslationOld()

Method Detail

visit

public boolean visit(Theory theory)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryFieldDeclaration theoryFieldDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryConstructorDeclaration theoryConstructorDeclaration)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryMethodDeclaration theoryMethodDeclaration)

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(TheoryBlock theoryBlock)

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(TheoryPostfixExpression theoryAssignment)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryIntLiteral theoryIntLiteral)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheoryBooleanLiteral theoryBooleanLiteral)

Overrides:

visit in class TheoryVisitor

visit

public boolean visit(TheorySingleNameReference theorySingleNameReference)

Overrides:

visit in class TheoryVisitor

setStack

public void setStack(java.util.Stack stack)

getStack

public java.util.Stack getStack()