Class BranchExecution

  • All Implemented Interfaces:
    ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>

    public final class BranchExecution
    extends java.lang.Object
    implements ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
    BranchExecution represents a single execution of a branch instruction.
    • Constructor Summary

      Constructors 
      Constructor Description
      BranchExecution()  
      BranchExecution​(boolean conditionalBranch)
      Constructs a branch execution;
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      BranchExecution clone()  
      java.util.Map<java.lang.Integer,​java.lang.Integer> getPostBlocks()  
      java.util.Map<java.lang.Integer,​java.lang.Integer> getPostSlots()  
      java.util.Map<java.lang.Integer,​java.lang.Integer> getPreBlocks()  
      java.util.Map<java.lang.Integer,​java.lang.Integer> getPreSlots()  
      boolean hasValue()  
      void init()  
      void next()  
      void setPostBlocks​(java.util.Map<java.lang.Integer,​java.lang.Integer> postBlocks)  
      void setPostSlots​(java.util.Map<java.lang.Integer,​java.lang.Integer> postSlots)  
      void setPreBlocks​(java.util.Map<java.lang.Integer,​java.lang.Integer> preBlocks)  
      void setPreSlots​(java.util.Map<java.lang.Integer,​java.lang.Integer> preSlots)  
      void stop()  
      java.lang.String toString()  
      java.lang.Boolean value()  
      • Methods inherited from class java.lang.Object

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

      • BranchExecution

        public BranchExecution​(boolean conditionalBranch)
        Constructs a branch execution;
        Parameters:
        conditionalBranch - the flag that indicates if the branch is conditional or not.
      • BranchExecution

        public BranchExecution()
    • Method Detail

      • getPreBlocks

        public java.util.Map<java.lang.Integer,​java.lang.Integer> getPreBlocks()
      • setPreBlocks

        public void setPreBlocks​(java.util.Map<java.lang.Integer,​java.lang.Integer> preBlocks)
      • getPostBlocks

        public java.util.Map<java.lang.Integer,​java.lang.Integer> getPostBlocks()
      • setPostBlocks

        public void setPostBlocks​(java.util.Map<java.lang.Integer,​java.lang.Integer> postBlocks)
      • getPreSlots

        public java.util.Map<java.lang.Integer,​java.lang.Integer> getPreSlots()
      • setPreSlots

        public void setPreSlots​(java.util.Map<java.lang.Integer,​java.lang.Integer> preSlots)
      • getPostSlots

        public java.util.Map<java.lang.Integer,​java.lang.Integer> getPostSlots()
      • setPostSlots

        public void setPostSlots​(java.util.Map<java.lang.Integer,​java.lang.Integer> postSlots)
      • init

        public void init()
        Specified by:
        init in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
      • hasValue

        public boolean hasValue()
        Specified by:
        hasValue in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
      • value

        public java.lang.Boolean value()
        Specified by:
        value in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
      • next

        public void next()
        Specified by:
        next in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
      • stop

        public void stop()
        Specified by:
        stop in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • clone

        public BranchExecution clone()
        Specified by:
        clone in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
        Overrides:
        clone in class java.lang.Object