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

Packages that use CfgBlock

org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.gc.lang
org.jmlspecs.jml4.esc.gc.lang.simple
org.jmlspecs.jml4.esc.vc

Uses of CfgBlock in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc that return CfgBlock

CfgBlock

PassifyVisitor.visit(SimpleBlock simpleBlock, IncarnationMap incarnationMap)

Uses of CfgBlock in org.jmlspecs.jml4.esc.gc.lang

Fields in org.jmlspecs.jml4.esc.gc.lang declared as CfgBlock

CfgBlock[]

GcProgram.blocks

Constructors in org.jmlspecs.jml4.esc.gc.lang with parameters of type CfgBlock

GcProgram(CfgBlock[] blocks, java.lang.String startName, IncarnationMap incMap, java.lang.String methodIndicator)

Uses of CfgBlock in org.jmlspecs.jml4.esc.gc.lang.simple

Methods in org.jmlspecs.jml4.esc.gc.lang.simple that return CfgBlock

CfgBlock

SimpleBlock.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)

Uses of CfgBlock in org.jmlspecs.jml4.esc.vc

Methods in org.jmlspecs.jml4.esc.vc with parameters of type CfgBlock

VC	WlpVisitor.visit(CfgBlock cfgBlock, VC N)