de.cau.cs.kieler.krep.compiler.lustre
Class ClockList

java.lang.Object
  extended by 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 yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
ClockList()
           
 
Method Summary
 void addClock(String clock)
           
 ClockList clone()
           
 boolean equals(Object o)
           
 String getClock()
           
 int hashCode()
           
 boolean isBase()
           
 void removeClock()
          remove outermost clock.
 String toString()
           
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClockList

public ClockList()
Method Detail

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