Uses of Class
org.jmlspecs.jml4.esc.gc.lang.simple.SimpleBlock

Packages that use SimpleBlock

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

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

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

SimpleBlock

DesugaringVisitor.visit(SugaredBlock sugared)

Methods in org.jmlspecs.jml4.esc.gc with parameters of type SimpleBlock

CfgBlock

PassifyVisitor.visit(SimpleBlock simpleBlock, IncarnationMap incarnationMap)

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

Fields in org.jmlspecs.jml4.esc.gc.lang.simple declared as SimpleBlock

SimpleBlock[]	SimpleProgram.blocks
static SimpleBlock[]	SimpleBlock.EMPTY

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

SimpleBlock	SimpleProgram.getBlock(java.lang.String blockId)
SimpleBlock[]	SimpleBlock.getParents()
SimpleBlock[]	SimpleProgram.getSortedParentsFirst()

Methods in org.jmlspecs.jml4.esc.gc.lang.simple with parameters of type SimpleBlock

boolean

SimpleBlock.isParentOf(SimpleBlock possibleChild)

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

SimpleProgram(SimpleBlock[] blocks, java.lang.String startName, java.lang.String methodIndicator)

Uses of SimpleBlock in org.jmlspecs.jml4.esc.gc.lang.sugared

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared that return SimpleBlock

SimpleBlock

SugaredBlock.accept(DesugaringVisitor visitor)