org.jmlspecs.jml4.esc.gc.lang
Class CfgStatementBlock

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.CfgStatement
      org.jmlspecs.jml4.esc.gc.lang.CfgStatementBlock

public class CfgStatementBlock
extends CfgStatement

Field Summary

CfgVarDecl[]	boundVarDecls
CfgStatement	stmt

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

EMPTY, sourceStart

Constructor Summary

CfgStatementBlock(CfgStatement stmt, CfgVarDecl[] boundVarDecls)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

unfold, unfold

Methods inherited from class java.lang.Object

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

Field Detail

stmt

public final CfgStatement stmt

boundVarDecls

public final CfgVarDecl[] boundVarDecls

Constructor Detail

CfgStatementBlock

public CfgStatementBlock(CfgStatement stmt,
                         CfgVarDecl[] boundVarDecls)

Method Detail

accept

public VC accept(WlpVisitor visitor,
                 VC N)

Specified by:

accept in class CfgStatement

toString

public java.lang.String toString()

Specified by:

toString in class CfgStatement