de.cau.cs.kieler.krep.compiler.lustre
Class ClockList
java.lang.Object
de.cau.cs.kieler.krep.compiler.lustre.ClockList
- All Implemented Interfaces:
- Cloneable
public class ClockList
- extends Object
- implements Cloneable
List of clocks according to Lustre clock calculus.
- Rating

- (2010-02-05) review by cmot, msp, tam
ClockList
public ClockList()
addClock
public void addClock(String clock)
- Parameters:
clock
- additional clock
removeClock
public void removeClock()
throws ClockException
- remove outermost clock.
- Throws:
ClockException
- if no clock can be removed
getClock
public String getClock()
- Returns:
- actual clock that is used
clone
public ClockList clone()
- Overrides:
clone
in class Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
equals
public boolean equals(Object o)
- Overrides:
equals
in class Object
- Parameters:
o
- list of clocks to compare to
- Returns:
- true if both lists are syntactically identical
toString
public String toString()
- Overrides:
toString
in class Object
isBase
public boolean isBase()
- Returns:
- true if the clocklist is empty, ie, it runs on the base clock