public final class SsaForm
extends java.lang.Object
Constructor and Description |
---|
SsaForm(ru.ispras.microtesk.translator.nml.coverage.Block entry,
ru.ispras.microtesk.translator.nml.coverage.Block exit,
java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> blocks) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> |
getBlocks() |
ru.ispras.microtesk.translator.nml.coverage.Block |
getEntryPoint() |
java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> |
getExitPoints() |
static SsaForm |
newEmpty() |
static SsaForm |
newForm(java.util.List<ru.ispras.microtesk.translator.nml.coverage.Block> blocks) |
public SsaForm(ru.ispras.microtesk.translator.nml.coverage.Block entry, ru.ispras.microtesk.translator.nml.coverage.Block exit, java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> blocks)
public static SsaForm newEmpty()
public static SsaForm newForm(java.util.List<ru.ispras.microtesk.translator.nml.coverage.Block> blocks)
public ru.ispras.microtesk.translator.nml.coverage.Block getEntryPoint()
public java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> getExitPoints()
public java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> getBlocks()