|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Program | |
---|---|
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 Program in de.cau.cs.kieler.krep.compiler.ceq |
---|
Subclasses of Program in de.cau.cs.kieler.krep.compiler.ceq | |
---|---|
class |
KlpProgram
Klp assembler, extends a program by the compiler from CEQs into actual klp assembler. |
class |
ScadeProgram
Representation of a Scade program, this extends a ceq program by a parser for Scade files. |
Methods in de.cau.cs.kieler.krep.compiler.ceq that return Program | |
---|---|
Program |
ScadeProgram.getCEQ()
Transform Lustre program into simplified ceq. |
Program |
Expression.getProg()
|
Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Program | |
---|---|
protected void |
Expression.setProg(Program p)
|
Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Program | |
---|---|
BinOpExpression(String name,
Expression expr1,
Expression expr2,
Operator operator,
Program p)
Generate binary operator. |
|
ConstExpression(String name,
boolean value,
Program p)
new boolean constant. |
|
ConstExpression(String name,
int value,
Program p)
new integer constant. |
|
Expression(String n,
Program p)
Generate new named expression, the actual expression is defined by the actual subclass. |
|
IfExpression(String name,
Expression e1,
Expression e2,
Expression e3,
Program p)
Generate new expression if e1 then e2 else e3. |
|
KlpProgram(String name,
Program p)
Generate a new program from an existing one. |
|
NotExpression(String name,
Expression e,
Program p)
|
|
Program(String n,
Program p)
generate program from an existing one. |
|
VarAccessExpression(Variable v,
boolean previous,
Program p)
generate new Variable access. |
Uses of Program in de.cau.cs.kieler.krep.compiler.lustre |
---|
Methods in de.cau.cs.kieler.krep.compiler.lustre that return Program | |
---|---|
Program |
Lustre.getCEQ()
Transform Lustre program into simplified ceq. |
Methods in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Program | |
---|---|
Equation |
BinOpExpression.declock(String basename,
int stage,
String clock,
LinkedList<Equation> aux,
Program prog)
|
Equation |
CurrentExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
abstract Equation |
Expression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
remove all clock operators inside. |
Equation |
IfExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
InitExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NotExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NumberExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
PreExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
VarAccessExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
WhenExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |