| ... |
... |
@@ -5,7 +5,7 @@ |
| 5 |
5 |
1. Enable the TCP Server in the KIELER RCA and |
| 6 |
6 |
1. Download the [[KielerCompilerConsole>>url:http://git.rtsys.informatik.uni-kiel.de:7990/projects/KIELER/repos/semantics/browse/standalone/KielerCompiler.jar?at=1c807c15f863b699d96d97038501663608d0f2bf&raw||shape="rect"]] as a runnable Java JAR archive and run it. |
| 7 |
7 |
|
| 8 |
|
-In the following we give a short quick start guide and describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the command line: |
|
8 |
+In the following we describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the console. |
| 9 |
9 |
|
| 10 |
10 |
|
| 11 |
11 |
|
| ... |
... |
@@ -55,19 +55,11 @@ |
| 55 |
55 |
* -v : Use verbose compilation, more error messages |
| 56 |
56 |
* -s: Use strict mode compilation (only apply selected transformations) |
| 57 |
57 |
|
| 58 |
|
-== Transformation IDs == |
|
58 |
+== Common Transformation IDs == |
| 59 |
59 |
|
| 60 |
|
-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. |
|
60 |
+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. Here are the most common ones: |
| 61 |
61 |
|
| 62 |
62 |
|=((( |
| 63 |
|
-Common Transformation IDs |
| 64 |
|
-)))|=((( |
| 65 |
|
-More Transformation IDs |
| 66 |
|
-))) |
| 67 |
|
-|((( |
| 68 |
|
-Here are the most common ones: |
| 69 |
|
- |
| 70 |
|
-|=((( |
| 71 |
71 |
Transformation ID |
| 72 |
72 |
)))|=((( |
| 73 |
73 |
Description |
| ... |
... |
@@ -82,28 +82,32 @@ |
| 82 |
82 |
)))|((( |
| 83 |
83 |
All extended SCCharts transformations resulting in a Core SCChart |
| 84 |
84 |
))) |
| 85 |
|
-|((( |
|
77 |
+|(% colspan="1" %)(% colspan="1" %) |
|
78 |
+((( |
| 86 |
86 |
CORE |
| 87 |
|
-)))|((( |
|
80 |
+)))|(% colspan="1" %)(% colspan="1" %) |
|
81 |
+((( |
| 88 |
88 |
All core SCCharts transformations resulting in a Normalized SCChart |
| 89 |
89 |
))) |
| 90 |
|
-|((( |
|
84 |
+|(% colspan="1" %)(% colspan="1" %) |
|
85 |
+((( |
| 91 |
91 |
SCGRAPH |
| 92 |
|
-)))|((( |
|
87 |
+)))|(% colspan="1" %)(% colspan="1" %) |
|
88 |
+((( |
| 93 |
93 |
Transform to an SCG |
| 94 |
94 |
))) |
| 95 |
|
-)))|((( |
| 96 |
|
-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 woll show up if you place and hold the mouse over the transformation node as shown below: |
| 97 |
|
- |
| 98 |
|
-[[image:attach:TRANSFORMATIONIDs.jpg]] |
|
91 |
+|(% colspan="1" %)(% colspan="1" %) |
|
92 |
+((( |
|
93 |
+CODEGENERATION |
|
94 |
+)))|(% colspan="1" %)(% colspan="1" %) |
|
95 |
+((( |
|
96 |
+Generate C Code |
| 99 |
99 |
))) |
| 100 |
100 |
|
| 101 |
101 |
|
| 102 |
102 |
|
| 103 |
|
- |
|
101 |
+== Examples == |
| 104 |
104 |
|
| 105 |
|
-== Example Calls == |
| 106 |
|
- |
| 107 |
107 |
=== Example 1 === |
| 108 |
108 |
|
| 109 |
109 |
[[image:attach:KiCoConsole2.jpg]] |