de.cau.cs.kieler.krep.editors.rif
Class RifTrace

java.lang.Object
  extended by de.cau.cs.kieler.krep.editors.rif.RifTrace
All Implemented Interfaces:
ITrace, Iterator<ITick>

public class RifTrace
extends Object
implements ITrace

Rating red

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

RifTrace

public RifTrace(Trace t)
Method Detail

current

public RifTick current()
Returns the current tick of the trace, without switching to the next tick.

Specified by:
current in interface ITrace
Returns:
the current tick

getRemaining

public int getRemaining()

Specified by:
getRemaining in interface ITrace
Returns:
number of remaining ticks

hasNext

public boolean hasNext()

Specified by:
hasNext in interface ITrace
Specified by:
hasNext in interface Iterator<ITick>
Returns:
true if the trace has another tick

next

public RifTick next()
Activate and return the next tick of the trace, or null if no further tick exists.

Specified by:
next in interface ITrace
Specified by:
next in interface Iterator<ITick>
Returns:
the next tick in the list

reset

public void reset()
Reset the trace, ie, set initial tick as current.

Specified by:
reset in interface ITrace

getSignals

public Set<String> getSignals()
Take all signals that are defined by the trace, either input or output.

Specified by:
getSignals in interface ITrace
Returns:
all signals that all defined by the trace

getOutputs

public Set<String> getOutputs()

Specified by:
getOutputs in interface ITrace

remove

public void remove()

Specified by:
remove in interface Iterator<ITick>