Class 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SsaForm

        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)
    • 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()