Package de.cau.cs.kieler.synccharts.codegen.sc

In the codegen package the process of generating code from a SyncChart model is implemented.

See:
          Description

Class Summary
Activator The activator class controls the plug-in life cycle.
Beautifier A utility class to beautify the generated SC-code.
CompareTransitions A simple Class to compare Transitions.
Dependency A dependency is a type which contains two tuples and a type.
Enumerator An enumerator class for enumerating adjacent vertices in a graph.
Graph An implementation of an unweighted, directed graph using an adjacency matrix or an adjacency list for encoding the set of edges.
LineReplacer A class to replace lines by rules in text files.
PriorityOptimizer A class to optimize the priority numbers of a given SC-File.
SCGenerator A simple class to invoke the process of generating SC-Code.
StateAndSignals An implementation of a "triple" with a state, its trigger signals and effect signals.
StatePlusTransition An implementation of a "triple" with a state, its type and one of its transitions.
Tuple<T,V> A simple implementation of a tuple type.
WorkflowGenerator The WorkflowGenerator starts the Xpand process of generating code.
 

Package de.cau.cs.kieler.synccharts.codegen.sc Description

In the codegen package the process of generating code from a SyncChart model is implemented. There are some additional features to beautify the generated code and to optimize the priority numbers in the generated code.