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

Packages that use ClockException
de.cau.cs.kieler.krep.compiler.ceq Implementation of clocked equations. 
de.cau.cs.kieler.krep.compiler.lustre Implementation of arbitrary Lustre equations. 
 

Uses of ClockException in de.cau.cs.kieler.krep.compiler.ceq
 

Constructors in de.cau.cs.kieler.krep.compiler.ceq that throw ClockException
ScadeProgram(InputStream in)
          parse input stream which is expected to be a Scade textual file.
 

Uses of ClockException in de.cau.cs.kieler.krep.compiler.lustre
 

Methods in de.cau.cs.kieler.krep.compiler.lustre that throw ClockException
 ClockList BinOpExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList CurrentExpression.inferClock(HashMap<String,Variable> env)
           
abstract  ClockList Expression.inferClock(HashMap<String,Variable> vars)
          Compute clock on which this expression runs.
 ClockList IfExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList InitExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList NotExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList NumberExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList PreExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList VarAccessExpression.inferClock(HashMap<String,Variable> env)
           
 ClockList WhenExpression.inferClock(HashMap<String,Variable> env)
           
 void ClockList.removeClock()
          remove outermost clock.
 

Constructors in de.cau.cs.kieler.krep.compiler.lustre that throw ClockException
Lustre(InputStream in)
          parse input stream which is expected to be a Lustre file.