Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Before you can use the KielerCompiler.jar from the console, you need to start the KIELER RCA and activate the HTTP Server. After downloading the KIELER SCharts SCA (as descibed in the paragraph before), activate the sever as illustrated in the figure below. This is done using the button at 1. shown in the screenshot below. When pressing it the windows shown at 2. is displayed and allows to enable or disable the server and also to modify the default port of 5555. Whenever the server was enabled and is started, you will see its job running at 3. in the lower region of the KIELER RCA. When you enabled the server in previous runs of the KIELER RCA it will automatically started when you run KIELER again.

...

In order to use the KIELER Compiler from the command line you need to know the ID of the transformations you would like to apply.

Common Transformation IDsMore Transformation IDs

Here are the most common ones:

Transformation IDDescription
REFERENCEExpand reference states
EXTENDEDAll extended SCCharts transformations resulting in a Core SCChart
COREAll core SCCharts transformations resulting in a Normalized SCChart
SCGRAPHTransform to an SCG
CODEGENERATIONGenerate C code

In order to get other transformation IDs you can use the KIELER Compiler Selection View. It will show the transformation ID for each transformation or transformation group as a tooltip text that will show up if you place and hold the mouse over the transformation node as shown below:

Image Modified

 

 

Example Calls

Example 1

When calling the KielerCompiler with the ABORT transformation and console output.

...