Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 25.1
edited by cmot
on 2014/06/10 18:19
Change comment: There is no comment for this version
To version 23.1
edited by cmot
on 2014/06/10 17:37
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,7 +16,7 @@
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  
... ... @@ -40,15 +40,15 @@
40 40  
41 41  Alternatively (after you configured the port) you can start the KiCo TCP Server via command line:
42 42  
43 -{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>] [-d]}}}
43 +{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>]}}}
44 44  
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". The option -d or ~-~-debug enables the debug mode with verbose debug output messages.
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 47  
48 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:
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"]] 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  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470957
1 +9470954
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470957/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470954/KIELER Compiler Console