org.jmlspecs.jml4.fspv.theory.ast
Class TheoryStatement

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

Direct Known Subclasses:

TheoryBlock, TheoryExpression, TheoryReturnStatement, TheorySkipStatement, TheoryVariableDeclaration, TheoryWhileStatement

public abstract class TheoryStatement
extends TheoryNode

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Constructor Summary

TheoryStatement(ASTNode base, Theory theory)

Method Summary

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString, traverse

Methods inherited from class java.lang.Object

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

Constructor Detail

TheoryStatement

public TheoryStatement(ASTNode base,
                       Theory theory)