org.jmlspecs.jml4.fspv
Class SideEffectHandler

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

public class SideEffectHandler
extends TheoryVisitor

Constructor Summary

SideEffectHandler()

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(TheoryBlockStatement theoryBlockStatement)
java.lang.Object	accept(TheoryConditionalStatement theoryConditionalStatement)
java.lang.Object	accept(TheoryExpression theoryExpression)
java.lang.Object	accept(TheoryLemma lemma)
java.lang.Object	accept(TheoryLiteral theoryLiteral)
java.lang.Object	accept(TheoryLocalDeclarationBlockStatement theoryLocalDeclarationBlockStatement)
java.lang.Object	accept(TheoryOperator theoryOperator)
java.lang.Object	accept(TheoryPostfixExpression theoryPostfixExpression)
java.lang.Object	accept(TheoryPrefixExpression theoryPrefixExpression)
java.lang.Object	accept(TheoryStatement theoryStatement)
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(TheoryWhileStatement theoryWhileStatement)

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

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

SideEffectHandler

public SideEffectHandler()

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(TheoryVariable theoryVariable)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryBlockStatement theoryBlockStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryLocalDeclarationBlockStatement theoryLocalDeclarationBlockStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryAssignmentStatement theoryAssignmentStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryConditionalStatement theoryConditionalStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryWhileStatement theoryWhileStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryAssignmentExpression theoryAssignmentExpression)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryPostfixExpression theoryPostfixExpression)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryPrefixExpression theoryPrefixExpression)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryBinaryExpression theoryBinaryExpression)

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(TheoryUnaryExpression theoryUnaryExpression)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryExpression theoryExpression)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryStatement theoryStatement)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryOperator theoryOperator)

Overrides:

accept in class TheoryVisitor

accept

public java.lang.Object accept(TheoryType theoryType)

Overrides:

accept in class TheoryVisitor