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() |
protected long |
getStartAddress() |
protected java.lang.String |
getTitle() |
protected boolean |
isAllocated() |
boolean |
isEmpty() |
protected void |
setAllocationAddresses(long start,
long end) |
protected void |
setTitle(java.lang.String value) |
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()