de.cau.cs.kieler.krep.compiler.exceptions
Class ClockException
java.lang.Object
java.lang.Throwable
java.lang.Exception
de.cau.cs.kieler.core.KielerException
de.cau.cs.kieler.krep.compiler.exceptions.ClockException
- All Implemented Interfaces:
- Serializable
public class ClockException
- extends KielerException
Exception to indicate an error in the clock calculus.
- See Also:
- Serialized Form
- Rating

- (2010-02-05) review by cmot, msp, tam
ClockException
public ClockException(Expression ctxt,
ClockList expc,
ClockList act)
- Parameters:
ctxt
- Expression in which the error occursexpc
- clock list expected for this expressionact
- clock list inferred for the expression
ClockException
public ClockException(String messsage)
- Parameters:
messsage
- message that describes the clock failure
toString
public String toString()
- Overrides:
toString
in class Throwable