|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variable | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.lustre | Implementation of arbitrary Lustre equations. |
de.cau.cs.kieler.krep.compiler.parser |
Uses of Variable in de.cau.cs.kieler.krep.compiler.ceq |
---|
Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable | |
---|---|
Variable(Variable var,
Variable.Kind kind)
Create Variable with the same information as an existing Lustre Variable. |
Uses of Variable in de.cau.cs.kieler.krep.compiler.lustre |
---|
Methods in de.cau.cs.kieler.krep.compiler.lustre that return Variable | |
---|---|
static Variable |
Variable.get(String name)
|
static Variable |
Variable.getTemp(String prefix,
Type type,
String clock)
|
Method parameters in de.cau.cs.kieler.krep.compiler.lustre with type arguments of type Variable | |
---|---|
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 |
Lustre.setInputs(LinkedList<Variable> in)
|
void |
Lustre.setLocals(LinkedList<Variable> loc)
|
void |
Lustre.setOutputs(LinkedList<Variable> out)
|
Constructors in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Variable | |
---|---|
VarAccessExpression(Variable v)
|
Uses of Variable in de.cau.cs.kieler.krep.compiler.parser |
---|
Methods in de.cau.cs.kieler.krep.compiler.parser that return Variable | |
---|---|
Variable |
lustreParser.typedID()
|
Variable |
lustreParser.varDecl()
|
Methods in de.cau.cs.kieler.krep.compiler.parser that return types with arguments of type Variable | |
---|---|
LinkedList<Variable> |
lustreParser.locals()
|
LinkedList<Variable> |
lustreParser.varDeclList()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |