de.cau.cs.kieler.dataflow.codegen
Class LustreGenerator
java.lang.Object
org.eclipse.core.commands.common.EventManager
org.eclipse.core.commands.AbstractHandler
de.cau.cs.kieler.dataflow.codegen.LustreGenerator
- All Implemented Interfaces:
- IHandler, IHandler2
public class LustreGenerator
- extends AbstractHandler
- implements IHandler
Generate Lustre code from Dataflow diagram.
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LustreGenerator
public LustreGenerator()
execute
public Object execute(ExecutionEvent event)
throws ExecutionException
-
- Specified by:
execute
in interface IHandler
- Throws:
ExecutionException
generateLus
public String generateLus()
- Transforms the Dataflow model into a Lustre description. Each box that contains sub boxes is
becomes one node. Types are inferred by assuming that standard Lustre identifiers like + are
the corresponding basic nodes in the dataflow diagram. On the highest level, each unconnected
port is considered to be a global input or output.
- Returns:
- a Lustre drescription of the dataflow model.