Package de.cau.cs.kieler.krep.compiler.ceq

Implementation of clocked equations.

See:
          Description

Interface Summary
Scope Scope of a program.
 

Class Summary
Automaton Implement automaton as part of clocked equations.
BinOpExpression CEQ binary operations, this includes comparison, arithmetic and logical operators.
ConstExpression Constant, can either be an integer number or a boolean.
Equation A clocked equation, consisting of a name, a initial expression, a runtime expression, and a clock.
Expression Abstract superclass for all ceq Expressions.
IfExpression Conditional: if e1 then e2 else e3.
KlpProgram Klp assembler, extends a program by the compiler from CEQs into actual klp assembler.
NotExpression A boolean not.
Program CEQ program, eg, a set of CEQ equation and Safe State Machines plus information on inputs and outputs.
ScadeProgram Representation of a Scade program, this extends a ceq program by a parser for Scade files.
State A state in a Safe State Machine, consisting of a name, a flag whether this is an initial state, and outgoing transitions.
Transition A transition in an Safe State Machine, consisting of a trigger and a target state.
VarAccessExpression A Variable access in ceq.
Variable A Variable declaration in CEQ.
 

Enum Summary
Variable.Kind  
 

Package de.cau.cs.kieler.krep.compiler.ceq Description

Implementation of clocked equations. Clocked equations are implemented as manually designed classes, where each class contains code to generate assembler from it. Maybe this should be converted into an ecore model and use xpand to generate assembler code.