|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.krep.editors.rif.RifTrace
public class RifTrace
Constructor Summary | |
---|---|
RifTrace(Trace t)
|
Method Summary | |
---|---|
RifTick |
current()
Returns the current tick of the trace, without switching to the next tick. |
Set<String> |
getOutputs()
|
int |
getRemaining()
|
Set<String> |
getSignals()
Take all signals that are defined by the trace, either input or output. |
boolean |
hasNext()
|
RifTick |
next()
Activate and return the next tick of the trace, or null if no further tick exists. |
void |
remove()
|
void |
reset()
Reset the trace, ie, set initial tick as current. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RifTrace(Trace t)
Method Detail |
---|
public RifTick current()
current
in interface ITrace
public int getRemaining()
getRemaining
in interface ITrace
public boolean hasNext()
hasNext
in interface ITrace
hasNext
in interface Iterator<ITick>
public RifTick next()
next
in interface ITrace
next
in interface Iterator<ITick>
public void reset()
reset
in interface ITrace
public Set<String> getSignals()
getSignals
in interface ITrace
public Set<String> getOutputs()
getOutputs
in interface ITrace
public void remove()
remove
in interface Iterator<ITick>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |