public final class ConcreteSequence
extends java.lang.Object
ConcreteSequence
class describes a test sequence, a symbolic test program (or a part
of a test program) that consists of concrete calls which can be simulated on the microprocessor
model or dumped to textual representation (assembler code). The sequence is split into tree
parts: (1) prologue that holds the initialization code and (2) body that holds the main code
(test case).Modifier and Type | Class and Description |
---|---|
static class |
ConcreteSequence.Builder |
Modifier and Type | Method and Description |
---|---|
java.util.List<ConcreteCall> |
getAll() |
java.util.List<ConcreteCall> |
getBody() |
protected long |
getEndAddress() |
int |
getInstructionCount() |
java.util.List<ConcreteCall> |
getPrologue() |
Section |
getSection() |
java.util.List<SelfCheck> |
getSelfChecks() |
protected long |
getStartAddress() |
protected java.lang.String |
getTitle() |
protected boolean |
isAllocated() |
boolean |
isEmpty() |
protected void |
setAllocationAddresses(long start,
long end) |
void |
setSelfChecks(java.util.List<SelfCheck> selfChecks) |
protected void |
setTitle(java.lang.String value) |
public Section getSection()
public java.util.List<ConcreteCall> getAll()
public java.util.List<ConcreteCall> getPrologue()
public java.util.List<ConcreteCall> getBody()
public boolean isEmpty()
public int getInstructionCount()
protected java.lang.String getTitle()
protected void setTitle(java.lang.String value)
protected boolean isAllocated()
protected void setAllocationAddresses(long start, long end)
protected long getStartAddress()
protected long getEndAddress()
public void setSelfChecks(java.util.List<SelfCheck> selfChecks)
public java.util.List<SelfCheck> getSelfChecks()