org.jmlspecs.jml4.fspv.theory
Class TheoryVisitor

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

Direct Known Subclasses:

PrestateDecorator, SideEffectHandler, SimplTranslator

public class TheoryVisitor
extends java.lang.Object

Author:

karabot

Constructor Summary

TheoryVisitor()

Method Summary

java.lang.Object	accept(Theory theory)
java.lang.Object	accept(TheoryAssignmentExpression theoryAssignmentExpression)
java.lang.Object	accept(TheoryAssignmentStatement theoryAssignmentStatement)
java.lang.Object	accept(TheoryBinaryExpression theoryBinaryExpression)
java.lang.Object	accept(TheoryBindStatement theoryBindStatement)
java.lang.Object	accept(TheoryBlockStatement theoryBlockStatement)
java.lang.Object	accept(TheoryConditionalStatement theoryConditionalStatement)
java.lang.Object	accept(TheoryExpression theoryExpression)
java.lang.Object	accept(TheoryInvariantExpression theoryInvariantExpression)
java.lang.Object	accept(TheoryLemma lemma)
java.lang.Object	accept(TheoryLiteral theoryLiteral)
java.lang.Object	accept(TheoryLocalDeclarationBlockStatement theoryLocalDeclarationBlockStatement)
java.lang.Object	accept(TheoryLoopAnnotationsExpression theoryLoopAnnotationsExpression)
java.lang.Object	accept(TheoryOldExpression theoryOldExpression)
java.lang.Object	accept(TheoryOperator theoryOperator)
java.lang.Object	accept(TheoryPostfixExpression theoryPostfixExpression)
java.lang.Object	accept(TheoryPrefixExpression theoryPrefixExpression)
java.lang.Object	accept(TheoryQuantifiedExpression theoryQuantifiedExpression)
java.lang.Object	accept(TheoryStatement theoryStatement)
java.lang.Object	accept(TheoryTempVariableReference theoryTempVariableReference)
java.lang.Object	accept(TheoryType theoryType)
java.lang.Object	accept(TheoryUnaryExpression theoryUnaryExpression)
java.lang.Object	accept(TheoryVariable theoryVariable)
java.lang.Object	accept(TheoryVariableReference theoryVariableReference)
java.lang.Object	accept(TheoryVariantExpression theoryVariantExpression)
java.lang.Object	accept(TheoryWhileStatement theoryWhileStatement)

Methods inherited from class java.lang.Object

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

Constructor Detail

TheoryVisitor

public TheoryVisitor()

Method Detail

accept

public java.lang.Object accept(Theory theory)

accept

public java.lang.Object accept(TheoryLemma lemma)

accept

public java.lang.Object accept(TheoryType theoryType)

accept

public java.lang.Object accept(TheoryVariable theoryVariable)

accept

public java.lang.Object accept(TheoryAssignmentStatement theoryAssignmentStatement)

accept

public java.lang.Object accept(TheoryConditionalStatement theoryConditionalStatement)

accept

public java.lang.Object accept(TheoryWhileStatement theoryWhileStatement)

accept

public java.lang.Object accept(TheoryBlockStatement theoryBlockStatement)

accept

public java.lang.Object accept(TheoryLocalDeclarationBlockStatement theoryLocalDeclarationBlockStatement)

accept

public java.lang.Object accept(TheoryBindStatement theoryBindStatement)

accept

public java.lang.Object accept(TheoryStatement theoryStatement)

accept

public java.lang.Object accept(TheoryBinaryExpression theoryBinaryExpression)

accept

public java.lang.Object accept(TheoryLiteral theoryLiteral)

accept

public java.lang.Object accept(TheoryUnaryExpression theoryUnaryExpression)

accept

public java.lang.Object accept(TheoryVariableReference theoryVariableReference)

accept

public java.lang.Object accept(TheoryExpression theoryExpression)

accept

public java.lang.Object accept(TheoryOperator theoryOperator)

accept

public java.lang.Object accept(TheoryAssignmentExpression theoryAssignmentExpression)

accept

public java.lang.Object accept(TheoryPostfixExpression theoryPostfixExpression)

accept

public java.lang.Object accept(TheoryPrefixExpression theoryPrefixExpression)

accept

public java.lang.Object accept(TheoryTempVariableReference theoryTempVariableReference)

accept

public java.lang.Object accept(TheoryOldExpression theoryOldExpression)

accept

public java.lang.Object accept(TheoryLoopAnnotationsExpression theoryLoopAnnotationsExpression)

accept

public java.lang.Object accept(TheoryVariantExpression theoryVariantExpression)

accept

public java.lang.Object accept(TheoryInvariantExpression theoryInvariantExpression)

accept

public java.lang.Object accept(TheoryQuantifiedExpression theoryQuantifiedExpression)