org.jmlspecs.jml4.fspv
Class SimplTranslator

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryVisitor
      org.jmlspecs.jml4.fspv.SimplTranslator

public class SimplTranslator
extends TheoryVisitor

Constructor Summary

SimplTranslator()

Method Summary

java.lang.Object	accept(Theory theory)
java.lang.Object	accept(TheoryAssignmentStatement a)
java.lang.Object	accept(TheoryBinaryExpression e)
java.lang.Object	accept(TheoryBindStatement theoryBindStatement)
java.lang.Object	accept(TheoryConditionalStatement c)
java.lang.Object	accept(TheoryLemma lemma)
java.lang.Object	accept(TheoryLiteral theoryLiteral)
java.lang.Object	accept(TheoryLocalDeclarationBlockStatement local)
java.lang.Object	accept(TheoryOperator theoryOperator)
java.lang.Object	accept(TheoryQuantifiedExpression theoryQuantifiedExpression)
java.lang.Object	accept(TheoryTempVariableReference theoryTempVariableReference)
java.lang.Object	accept(TheoryVariable variable)
java.lang.Object	accept(TheoryVariableReference theoryVariableReference)
java.lang.Object	accept(TheoryWhileStatement w)

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

accept, accept, accept, accept, accept, accept, accept, accept, accept, accept, accept, accept

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplTranslator

public SimplTranslator()

Method Detail

accept

public java.lang.Object accept(Theory theory)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryLemma lemma)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryLocalDeclarationBlockStatement local)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryVariable variable)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryConditionalStatement c)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryWhileStatement w)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryBindStatement theoryBindStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryAssignmentStatement a)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryBinaryExpression e)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryLiteral theoryLiteral)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryVariableReference theoryVariableReference)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryTempVariableReference theoryTempVariableReference)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryOperator theoryOperator)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryQuantifiedExpression theoryQuantifiedExpression)

Overrides:

accept in class TheoryVisitor