Class SsaForm
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.coverage.SsaForm
-
public final class SsaForm extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor 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)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
Method Detail
-
newEmpty
public static SsaForm newEmpty()
-
newForm
public static SsaForm newForm(java.util.List<ru.ispras.microtesk.translator.nml.coverage.Block> blocks)
-
getEntryPoint
public ru.ispras.microtesk.translator.nml.coverage.Block getEntryPoint()
-
getExitPoints
public java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> getExitPoints()
-
getBlocks
public java.util.Collection<ru.ispras.microtesk.translator.nml.coverage.Block> getBlocks()
-
-