org.jmlspecs.jml4.fspv.simpl.ast
Class SimplBlockStatement

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplBlockStatement

public class SimplBlockStatement
extends SimplStatement

Field Summary

SimplStatement[]

statements

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

SKIP

Constructor Summary

SimplBlockStatement(SimplStatement[] statements)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

statements

public final SimplStatement[] statements

Constructor Detail

SimplBlockStatement

public SimplBlockStatement(SimplStatement[] statements)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object