Package ru.ispras.microtesk.test
Class ConcreteSequence
- java.lang.Object
-
- ru.ispras.microtesk.test.ConcreteSequence
-
public final class ConcreteSequence extends java.lang.Object
TheConcreteSequence
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).
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ConcreteSequence.Builder
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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()
static ConcreteSequence
newConcreteSequence(Section section, java.util.List<ConcreteCall> concreteCalls)
protected void
setAllocationAddresses(long start, long end)
void
setSelfChecks(java.util.List<SelfCheck> selfChecks)
protected void
setTitle(java.lang.String value)
-
-
-
Method Detail
-
newConcreteSequence
public static ConcreteSequence newConcreteSequence(Section section, java.util.List<ConcreteCall> concreteCalls)
-
getSection
public Section getSection()
-
getAll
public java.util.List<ConcreteCall> getAll()
-
getPrologue
public java.util.List<ConcreteCall> getPrologue()
-
getBody
public java.util.List<ConcreteCall> getBody()
-
isEmpty
public boolean isEmpty()
-
getInstructionCount
public int getInstructionCount()
-
getTitle
protected java.lang.String getTitle()
-
setTitle
protected void setTitle(java.lang.String value)
-
isAllocated
protected boolean isAllocated()
-
setAllocationAddresses
protected void setAllocationAddresses(long start, long end)
-
getStartAddress
protected long getStartAddress()
-
getEndAddress
protected long getEndAddress()
-
setSelfChecks
public void setSelfChecks(java.util.List<SelfCheck> selfChecks)
-
getSelfChecks
public java.util.List<SelfCheck> getSelfChecks()
-
-