Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 20.1
edited by cmot
on 2014/06/10 17:18
Change comment: There is no comment for this version
To version 12.1
edited by cmot
on 2014/06/10 14:40
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -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,62 +55,8 @@
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 +== Examples ==
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.
61 -
62 -|=(((
63 -Common Transformation IDs
64 -)))|=(((
65 -More Transformation IDs
66 -)))
67 -|(((
68 -Here are the most common ones:
69 -
70 -|=(((
71 -Transformation ID
72 -)))|=(((
73 -Description
74 -)))
75 -|(((
76 -REFERENCE
77 -)))|(((
78 -Expand reference states
79 -)))
80 -|(((
81 -EXTENDED
82 -)))|(((
83 -All extended SCCharts transformations resulting in a Core SCChart
84 -)))
85 -|(((
86 -CORE
87 -)))|(((
88 -All core SCCharts transformations resulting in a Normalized SCChart
89 -)))
90 -|(((
91 -SCGRAPH
92 -)))|(((
93 -Transform to an SCG
94 -)))
95 -|(% colspan="1" %)(% colspan="1" %)
96 -(((
97 -CODEGENERATION
98 -)))|(% colspan="1" %)(% colspan="1" %)
99 -(((
100 -Generate C code
101 -)))
102 -)))|(((
103 -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:
104 -
105 -[[image:attach:TRANSFORMATIONIDs.jpg]]
106 -)))
107 -
108 -
109 -
110 -
111 -
112 -== Example Calls ==
113 -
114 114  === Example 1 ===
115 115  
116 116  [[image:attach:KiCoConsole2.jpg]]
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470949
1 +9470938
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470949/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470938/KIELER Compiler Console