org.jmlspecs.jml4.fspv.theory
Class TheoryLocalDeclarationBlockStatement

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

public class TheoryLocalDeclarationBlockStatement
extends TheoryBlockStatement

Field Summary

TheoryVariable

variable

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

EMPTY_BLOCK, statements

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

EMPTY

Constructor Summary

TheoryLocalDeclarationBlockStatement(TheoryVariable variable, TheoryStatement[] statements)

Method Summary

java.lang.Object

visit(TheoryVisitor visitor)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.TheoryBlockStatement

Merge, size, statementAt, toString

Methods inherited from class java.lang.Object

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

Field Detail

variable

public final TheoryVariable variable

Constructor Detail

TheoryLocalDeclarationBlockStatement

public TheoryLocalDeclarationBlockStatement(TheoryVariable variable,
                                            TheoryStatement[] statements)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryBlockStatement