org.jmlspecs.jml4.fspv.theory
Class TheoryStatement

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

Direct Known Subclasses:

TheoryAssignmentStatement, TheoryBindStatement, TheoryBlockStatement, TheoryConditionalStatement, TheoryWhileStatement

public class TheoryStatement
extends java.lang.Object

Author:

karabot

Field Summary

static TheoryStatement[]

EMPTY

Constructor Summary

TheoryStatement()

Method Summary

java.lang.Object

visit(TheoryVisitor theoryVisitor)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final TheoryStatement[] EMPTY

Constructor Detail

TheoryStatement

public TheoryStatement()

Method Detail

visit

public java.lang.Object visit(TheoryVisitor theoryVisitor)