|
||||||||||
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.klp | Klp instructions. |
de.cau.cs.kieler.krep.compiler.parser |
Uses of Variable in de.cau.cs.kieler.krep.compiler.ceq |
---|
Methods in de.cau.cs.kieler.krep.compiler.ceq that return Variable | |
---|---|
Variable |
Program.getTemp(String prefix,
Type type)
|
Variable |
Expression.getVar(String n)
Generate new variable. |
Variable |
Program.getVar(String n)
Generate new variable. |
Variable |
Expression.getVar(String n,
Variable.Kind k,
Type t)
Generate new, unique variable. |
Variable |
Program.getVar(String n,
Variable.Kind kind,
Type type)
Generate new, unique variable. |
Methods in de.cau.cs.kieler.krep.compiler.ceq that return types with arguments of type Variable | |
---|---|
List<Variable> |
BinOpExpression.getDeps()
|
List<Variable> |
ConstExpression.getDeps()
|
List<Variable> |
Equation.getDeps()
compute List of all variables, on which current value the expression depends. |
abstract List<Variable> |
Expression.getDeps()
compute List of all variables, on which current value the expression depends. |
List<Variable> |
IfExpression.getDeps()
|
List<Variable> |
NotExpression.getDeps()
|
List<Variable> |
VarAccessExpression.getDeps()
|
LinkedList<Variable> |
Automaton.getInputs()
Get all inputs for the automaton. |
LinkedList<Variable> |
Program.getInputs()
|
LinkedList<Variable> |
State.getInputs()
|
protected LinkedList<Variable> |
Program.getLocals()
|
LinkedList<Variable> |
Automaton.getOutputs()
Get all output signals for the automaton. |
LinkedList<Variable> |
Program.getOutputs()
|
LinkedList<Variable> |
State.getOutputs()
|
protected HashMap<String,Variable> |
Program.getVars()
|
Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable | |
---|---|
void |
Program.addInput(Variable v)
|
void |
Program.addLocal(Variable v)
|
void |
Program.addOutput(Variable v)
|
void |
Program.addVar(String n,
Variable variable)
Add additional variable to the program. |
void |
Program.addVar(Variable v)
|
void |
ScadeProgram.addVar(Variable v)
|
LinkedList<AbstractInstruction> |
BinOpExpression.toKlp(Variable r)
|
LinkedList<AbstractInstruction> |
ConstExpression.toKlp(Variable r)
|
abstract LinkedList<AbstractInstruction> |
Expression.toKlp(Variable to)
compute instructions to execute this expression on the KLP. |
LinkedList<AbstractInstruction> |
IfExpression.toKlp(Variable r)
|
LinkedList<AbstractInstruction> |
NotExpression.toKlp(Variable r)
|
LinkedList<AbstractInstruction> |
VarAccessExpression.toKlp(Variable to)
|
Method parameters in de.cau.cs.kieler.krep.compiler.ceq with type arguments of type Variable | |
---|---|
void |
ScadeProgram.add(LinkedList<Variable> vars)
|
void |
Scope.add(LinkedList<Variable> vars)
|
void |
State.add(LinkedList<Variable> vars)
|
LinkedList<Equation> |
Equation.flatten(HashMap<String,Variable> vars)
Replace complex expressions in the init expression and introduce auxiliary equations if necessary. |
Expression |
BinOpExpression.flatten(String name,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
|
Expression |
ConstExpression.flatten(String name,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
|
abstract Expression |
Expression.flatten(String n,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
extract sub-expressions from operations. |
Expression |
IfExpression.flatten(String name,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
|
Expression |
NotExpression.flatten(String name,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
|
Expression |
VarAccessExpression.flatten(String name,
HashMap<String,Variable> vars,
LinkedList<Expression> es)
|
void |
Automaton.replace(HashMap<String,Variable> equiv)
Replace a Variable by another, equivalent variable. |
void |
Program.replace(HashMap<String,Variable> equiv)
|
void |
State.replace(HashMap<String,Variable> equiv)
|
void |
Transition.replace(HashMap<String,Variable> equiv)
|
void |
BinOpExpression.replaceVar(HashMap<String,Variable> equiv)
|
void |
ConstExpression.replaceVar(HashMap<String,Variable> equiv)
|
void |
Equation.replaceVar(HashMap<String,Variable> equiv)
|
abstract void |
Expression.replaceVar(HashMap<String,Variable> equiv)
Replace a variable by another one. |
void |
IfExpression.replaceVar(HashMap<String,Variable> equiv)
|
void |
NotExpression.replaceVar(HashMap<String,Variable> equiv)
|
void |
VarAccessExpression.replaceVar(HashMap<String,Variable> equiv)
|
protected void |
Program.setInputs(LinkedList<Variable> i)
|
protected void |
Program.setLocals(LinkedList<Variable> loc)
|
protected void |
Program.setOutputs(LinkedList<Variable> outs)
|
protected void |
Program.setVars(HashMap<String,Variable> v)
|
LinkedList<AbstractInstruction> |
Equation.toKlp(boolean useClocks,
String scope,
HashMap<String,Variable> vars)
generate KLP code to compute this equation. |
Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable | |
---|---|
VarAccessExpression(Variable v,
boolean previous,
Program p)
generate new Variable access. |
Uses of Variable in de.cau.cs.kieler.krep.compiler.klp |
---|
Constructors in de.cau.cs.kieler.krep.compiler.klp with parameters of type Variable | |
---|---|
BinOpInstruction(Variable toVar,
RegAccess read1,
RegAccess read2,
Operator operator)
|
|
IBinOpInstruction(Variable toVar,
RegAccess read,
int c,
Operator operator)
|
|
IMovInstruction(Variable toVar,
boolean val)
move boolean value to register. |
|
IMovInstruction(Variable toVar,
int val)
move integer value to register. |
|
MovInstruction(Variable toReg,
RegAccess fromReg)
|
|
RegAccess(Variable v,
boolean isPre)
|
Uses of Variable in de.cau.cs.kieler.krep.compiler.parser |
---|
Methods in de.cau.cs.kieler.krep.compiler.parser that return Variable | |
---|---|
Variable |
scadeParser.var()
|
Methods in de.cau.cs.kieler.krep.compiler.parser that return types with arguments of type Variable | |
---|---|
LinkedList<Variable> |
scadeParser.local_block()
|
LinkedList<Variable> |
scadeParser.params(Variable.Kind io)
|
LinkedList<Variable> |
scadeParser.signal_block()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |