| ... |
... |
@@ -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 describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the console. |
|
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: |
| 9 |
9 |
|
| 10 |
10 |
|
| 11 |
11 |
|
| ... |
... |
@@ -55,11 +55,19 @@ |
| 55 |
55 |
* -v : Use verbose compilation, more error messages |
| 56 |
56 |
* -s: Use strict mode compilation (only apply selected transformations) |
| 57 |
57 |
|
| 58 |
|
-== Common Transformation IDs == |
|
58 |
+== 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. Here are the most common ones: |
|
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. |
| 61 |
61 |
|
| 62 |
62 |
|=((( |
|
63 |
+Common Transformation IDs |
|
64 |
+)))|=((( |
|
65 |
+More Transformation IDs |
|
66 |
+))) |
|
67 |
+|((( |
|
68 |
+Here are the most common ones: |
|
69 |
+ |
|
70 |
+|=((( |
| 63 |
63 |
Transformation ID |
| 64 |
64 |
)))|=((( |
| 65 |
65 |
Description |
| ... |
... |
@@ -74,30 +74,26 @@ |
| 74 |
74 |
)))|((( |
| 75 |
75 |
All extended SCCharts transformations resulting in a Core SCChart |
| 76 |
76 |
))) |
| 77 |
|
-|(% colspan="1" %)(% colspan="1" %) |
| 78 |
|
-((( |
|
85 |
+|((( |
| 79 |
79 |
CORE |
| 80 |
|
-)))|(% colspan="1" %)(% colspan="1" %) |
| 81 |
|
-((( |
|
87 |
+)))|((( |
| 82 |
82 |
All core SCCharts transformations resulting in a Normalized SCChart |
| 83 |
83 |
))) |
| 84 |
|
-|(% colspan="1" %)(% colspan="1" %) |
| 85 |
|
-((( |
|
90 |
+|((( |
| 86 |
86 |
SCGRAPH |
| 87 |
|
-)))|(% colspan="1" %)(% colspan="1" %) |
| 88 |
|
-((( |
|
92 |
+)))|((( |
| 89 |
89 |
Transform to an SCG |
| 90 |
90 |
))) |
| 91 |
|
-|(% colspan="1" %)(% colspan="1" %) |
| 92 |
|
-((( |
| 93 |
|
-CODEGENERATION |
| 94 |
|
-)))|(% colspan="1" %)(% colspan="1" %) |
| 95 |
|
-((( |
| 96 |
|
-Generate C Code |
|
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]] |
| 97 |
97 |
))) |
| 98 |
98 |
|
| 99 |
99 |
|
| 100 |
100 |
|
|
103 |
+ |
|
104 |
+ |
| 101 |
101 |
== Example Calls == |
| 102 |
102 |
|
| 103 |
103 |
=== Example 1 === |