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

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.CfgBlock

public class CfgBlock
extends java.lang.Object

Field Summary

java.lang.String

blockId

Constructor Summary

CfgBlock(java.lang.String blockId, CfgStatement stmt, IncarnationMap incarnationMap)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
void	addAssume(CfgExpression pred)
IncarnationMap	getIncarnationMap()
CfgStatement	stmt()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

blockId

public final java.lang.String blockId

Constructor Detail

CfgBlock

public CfgBlock(java.lang.String blockId,
                CfgStatement stmt,
                IncarnationMap incarnationMap)

Method Detail

stmt

public CfgStatement stmt()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public VC accept(WlpVisitor visitor,
                 VC N)

getIncarnationMap

public IncarnationMap getIncarnationMap()

addAssume

public void addAssume(CfgExpression pred)