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

Summary

Details

Page properties
Content
... ... @@ -1,9 +1,9 @@
1 -[[image:http://rtsys.informatik.uni-kiel.de/confluence/download/attachments/9470914/KiCoConsole1.jpg?version=6&modificationDate=1402352899000&api=v2||class="confluence-link"]]
1 +[[image:attach:KiCoConsole1.jpg]]
2 2  
3 3  The KIELER Compiler Console is a pure Java program that together with a KIELER RCA allows to call the KIELER Compiler from the console. For using the KIELER Compiler Console you need to
4 4  
5 5  1. Enable the TCP Server in the KIELER RCA and
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"]] ([[alternative Download>>attach:KielerCompiler.jar]]) as a runnable Java JAR archive and run it.
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 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  
... ... @@ -16,11 +16,11 @@
16 16  == Quick Start Guide ==
17 17  
18 18  1. Download KIELER RCA from [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/nightly/kieler/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/nightly/kieler/||shape="rect"]] extract it to some location x on your hard drive
19 -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
19 +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 save it to some location y on your hard drive
20 20  1. Open console window and change directory to location x, then type:
21 21  
22 22  
23 -{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit -p 5555 &}}}
23 +{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit -p 5555}}}
24 24  1. Change directory to location y, then type:
25 25  
26 26  
... ... @@ -28,8 +28,6 @@
28 28  where somescchart.sct must be a valid SCChart modeled with the KIELER SCCharts editor. You should find the generated c code in the file somsschart.c. Be sure that somescchart.sct is also located in directory y (or give the full path in "...").
29 29  )))
30 30  
31 -
32 -
33 33  == Enable the TCP Server ==
34 34  
35 35  Before you can use the KielerCompiler.jar from the console, you need to start the KIELER RCA and activate the TCP 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.
... ... @@ -44,11 +44,9 @@
44 44  
45 45  This will start a background process with the KIELER Compiler TCP Server. Optionally you can specify a (new) listening port for the TCP server using "-p <port>" or  "–port <port>",e.g. "-p 5555".
46 46  
47 -
48 -
49 49  == Using the KielerCompiler from Console ==
50 50  
51 -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 start it using java:
47 +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 start it using java:
52 52  
53 53  {{{java -jar KielerCompiler.jar &#x3c;host&#x3e;:&#x3c;port&#x3e; [Options] &#x3c;transformationID_1&#x3e; .. &#x3c;transformationID_n&#x3e;}}}
54 54  
... ... @@ -59,8 +59,6 @@
59 59  * -v : Use verbose compilation, more error messages
60 60  * -s: Use strict mode compilation (only apply selected transformations)
61 61  
62 -
63 -
64 64  == Transformation IDs ==
65 65  
66 66  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.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470956
1 +9470949
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470956/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470949/KIELER Compiler Console