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. |