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

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

public class TheoryBlock
extends TheoryStatement

Field Summary

TheoryStatement[]

statements

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

base, enclosingTheory

Constructor Summary

TheoryBlock(ASTNode base, Theory theory, TheoryStatement[] statements)

Method Summary

void	traverse(TheoryVisitor visitor)

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

toString

Methods inherited from class java.lang.Object

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

Field Detail

statements

public final TheoryStatement[] statements

Constructor Detail

TheoryBlock

public TheoryBlock(ASTNode base,
                   Theory theory,
                   TheoryStatement[] statements)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode