de.cau.cs.kieler.krep.compiler.exceptions
Class ClockException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by de.cau.cs.kieler.core.KielerException
              extended by 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 yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
ClockException(Expression ctxt, ClockList expc, ClockList act)
           
ClockException(String messsage)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClockException

public ClockException(Expression ctxt,
                      ClockList expc,
                      ClockList act)
Parameters:
ctxt - Expression in which the error occurs
expc - clock list expected for this expression
act - clock list inferred for the expression

ClockException

public ClockException(String messsage)
Parameters:
messsage - message that describes the clock failure
Method Detail

toString

public String toString()
Overrides:
toString in class Throwable