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 and Description |
---|
BranchExecution() |
BranchExecution(boolean conditionalBranch)
Constructs a branch execution;
|
Modifier and Type | Method and 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() |
public BranchExecution(boolean conditionalBranch)
conditionalBranch
- the flag that indicates if the branch is conditional or not.public BranchExecution()
public java.util.Map<java.lang.Integer,java.lang.Integer> getPreBlocks()
public void setPreBlocks(java.util.Map<java.lang.Integer,java.lang.Integer> preBlocks)
public java.util.Map<java.lang.Integer,java.lang.Integer> getPostBlocks()
public void setPostBlocks(java.util.Map<java.lang.Integer,java.lang.Integer> postBlocks)
public java.util.Map<java.lang.Integer,java.lang.Integer> getPreSlots()
public void setPreSlots(java.util.Map<java.lang.Integer,java.lang.Integer> preSlots)
public java.util.Map<java.lang.Integer,java.lang.Integer> getPostSlots()
public void setPostSlots(java.util.Map<java.lang.Integer,java.lang.Integer> postSlots)
public void init()
init
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
public boolean hasValue()
hasValue
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
public java.lang.Boolean value()
value
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
public void next()
next
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
public void stop()
stop
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
public java.lang.String toString()
toString
in class java.lang.Object
public BranchExecution clone()
clone
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
clone
in class java.lang.Object