|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.krep.evalbench.trace.Trace
public class Trace
A trace is a set of ticks, which contains input and output valuations.
Constructor Summary | |
---|---|
Trace(IAssembler asm)
read trace from a file. |
|
Trace(LinkedList<Tick> ts)
Generate new Trace from a list of ticks. |
Method Summary | |
---|---|
void |
add(IO io,
Signal s)
add signal to the last tick of the trace. |
void |
add(Tick t)
add an additional tick to the end of the trace. |
HashMap<String,Integer> |
getIndex()
|
int |
getPos()
|
Tick |
getTick()
|
ArrayList<Tick> |
getTicks()
|
String |
getWCRT()
|
boolean |
hasNext()
|
boolean |
isValid()
|
Tick |
next()
activate the next tick. |
LinkedList<String[]> |
printTicks()
|
void |
remove()
|
void |
reset()
Reset the trace counter to the start of the tick. |
void |
setIndex(HashMap<String,Integer> idx)
|
void |
setOutput(Tick output)
set the value of the output signal in the current tick. |
void |
setTicks(ArrayList<Tick> ts)
|
int |
size()
|
void |
snapshot()
save the current value of all outputs as a reference. |
void |
startTick()
generate new Tick from scratch. |
String |
toString()
|
void |
validate()
check for the whole trace, that the outputs match the reference outputs. |
boolean |
validateCurrent()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Trace(IAssembler asm)
asm
- the assembler program that is tested by this tracepublic Trace(LinkedList<Tick> ts)
ts
- ticks of the traceMethod Detail |
---|
public HashMap<String,Integer> getIndex()
public void setIndex(HashMap<String,Integer> idx)
idx
- mapping for all signals in the trace to their index.public void setTicks(ArrayList<Tick> ts)
ts
- all ticks of the current trace.public ArrayList<Tick> getTicks()
public void add(IO io, Signal s)
io
- indicate whether this is an input or outputs
- the additional signalpublic void startTick()
public void reset()
public int getPos()
public int size()
public void remove()
remove
in interface Iterator<Tick>
public boolean hasNext()
hasNext
in interface Iterator<Tick>
public LinkedList<String[]> printTicks()
public void setOutput(Tick output)
output
- tick which outputs are readpublic Tick getTick()
public final Tick next()
next
in interface Iterator<Tick>
public boolean validateCurrent()
public void validate()
public boolean isValid()
public String toString()
toString
in class Object
public String getWCRT()
public void snapshot()
public void add(Tick t)
t
- the additional tick
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |