Class BranchExecution
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.branch.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()
-
-
-
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 interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
-
hasValue
public boolean hasValue()
- Specified by:
hasValue
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
-
value
public java.lang.Boolean value()
- Specified by:
value
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
-
next
public void next()
- Specified by:
next
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
-
stop
public void stop()
- Specified by:
stop
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
clone
public BranchExecution clone()
- Specified by:
clone
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.lang.Boolean>
- Overrides:
clone
in classjava.lang.Object
-
-