Uses of Class
de.cau.cs.kieler.krep.compiler.ceq.Program

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)