Class StatementCondition


  • public final class StatementCondition
    extends Statement
    • Nested Class Summary

      • Nested classes/interfaces inherited from class ru.ispras.microtesk.translator.nml.ir.primitive.Statement

        Statement.Kind
    • Constructor Summary

      Constructors 
      Constructor Description
      StatementCondition​(java.util.List<ru.ispras.fortress.util.Pair<Expr,​java.util.List<Statement>>> blocks)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ru.ispras.fortress.util.Pair<Expr,​java.util.List<Statement>> getBlock​(int index)  
      int getBlockCount()  
      • Methods inherited from class ru.ispras.microtesk.translator.nml.ir.primitive.Statement

        getKind
      • Methods inherited from class java.lang.Object

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

      • StatementCondition

        public StatementCondition​(java.util.List<ru.ispras.fortress.util.Pair<Expr,​java.util.List<Statement>>> blocks)
    • Method Detail

      • getBlockCount

        public int getBlockCount()
      • getBlock

        public ru.ispras.fortress.util.Pair<Expr,​java.util.List<Statement>> getBlock​(int index)