org.jmlspecs.jml4.fspv.theory
Class TheoryConditionalStatement

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryStatement
      org.jmlspecs.jml4.fspv.theory.TheoryConditionalStatement

public class TheoryConditionalStatement
extends TheoryStatement

Author:

karabot

Field Summary

TheoryExpression	condition
TheoryBlockStatement	elseBlock
TheoryBlockStatement	thenBlock

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryStatement

EMPTY

Constructor Summary

TheoryConditionalStatement(TheoryExpression condition, TheoryBlockStatement thenBlock, TheoryBlockStatement elseBlock)

Method Summary

java.lang.Object

visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

condition

public final TheoryExpression condition

thenBlock

public final TheoryBlockStatement thenBlock

elseBlock

public final TheoryBlockStatement elseBlock

Constructor Detail

TheoryConditionalStatement

public TheoryConditionalStatement(TheoryExpression condition,
                                  TheoryBlockStatement thenBlock,
                                  TheoryBlockStatement elseBlock)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryStatement