public final class TestSequence
extends java.lang.Object
TestSequence
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 |
TestSequence.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() |
boolean |
isEmpty() |
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 long getStartAddress()
protected long getEndAddress()