Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 35.1
edited by cmot
on 2014/07/16 13:17
Change comment: There is no comment for this version
To version 40.3
edited by cmot
on 2023/07/11 10:26
Change comment: Renamed from xwiki:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).Kieler Compiler.KIELER Command Line Compiler.WebHome

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -KIELER Compiler Console
1 +KIELER Command Line Compiler
Parent
... ... @@ -1,0 +1,1 @@
1 +KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).Kieler Compiler.WebHome
Content
... ... @@ -25,7 +25,7 @@
25 25  
26 26  == Quick Start Guide (Local Compiler) ==
27 27  
28 -1. Download KIELER RCA from [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/nightly/kieler/>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/files/nightly/kieler/||shape="rect"]] extract it to some location x on your hard drive
28 +1. Download KIELER RCA from [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/nightly/sccharts/>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/files/nightly/sccharts/||shape="rect"]] extract it to some location x on your hard drive
29 29  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"]] ([[alternative Download>>attach:KielerCompiler.jar]]) as a runnable Java JAR archive and save it to some location y on your hard drive
30 30  1. Open console window and change directory to location x, then type:
31 31  
... ... @@ -42,7 +42,7 @@
42 42  
43 43  == Enable the KielerCompiler HTTP Server ==
44 44  
45 -Before you can use the KielerCompiler.jar from the console, you need to start the KIELER RCA and activate the HTTP Server. 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.
45 +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 SCCharts RCA (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.
46 46  
47 47  [[image:attach:KiCoConsole0.jpg]]
48 48  
... ... @@ -76,6 +76,7 @@
76 76  
77 77  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.
78 78  
79 +(% class="wrapped" %)
79 79  |=(((
80 80  Common Transformation IDs
81 81  )))|=(((
... ... @@ -84,6 +84,7 @@
84 84  |(((
85 85  Here are the most common ones:
86 86  
88 +(% class="wrapped" %)
87 87  |=(((
88 88  Transformation ID
89 89  )))|=(((
... ... @@ -117,10 +117,13 @@
117 117  Generate C code
118 118  )))
119 119  )))|(((
122 +(% class="content-wrapper" %)
123 +(((
120 120  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:
121 121  
122 122  [[image:attach:TRANSFORMATIONIDs.jpg]]
123 123  )))
128 +)))
124 124  
125 125  
126 126  
KiCoConsole0.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +190.8 KB
Content
KiCoConsole1.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +73.5 KB
Content
KiCoConsole2.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +52.0 KB
Content
KiCoConsole3.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +34.0 KB
Content
KiCoConsole4.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +63.8 KB
Content
KielerCompiler.jar
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +11.9 KB
Content
TRANSFORMATIONIDs.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +35.2 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471563
1 +9470914
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471563/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470914/KIELER Command Line Compiler