Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 11.1
edited by cmot
on 2014/06/10 11:48
Change comment: There is no comment for this version
To version 7.1
edited by cmot
on 2014/06/09 19:33
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,36 +1,14 @@
1 -[[image:attach:KiCoConsole1.jpg]]
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.
2 2  
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 -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"]] 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.
9 -
10 -
11 -
12 12  {{toc/}}
13 13  
14 -
7 +== Using the KielerCompiler from Console:
8 +[[image:attach:KiCoConsole1.jpg]] ==
15 15  
16 -== Enable the TCP Server ==
10 +The KIELER Compiler Console is a pure Java program that together with a KIELER RCA allows to call the KIELER Compiler from the console. 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:
17 17  
18 -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.
19 -
20 -[[image:attach:KiCoConsole0.jpg]]
21 -
22 -=== Non-GUI TCP Server ===
23 -
24 -Alternatively (after you configured the port) you can start the KiCo TCP Server via command line:
25 -
26 -{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>]}}}
27 -
28 -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".
29 -
30 -== Using the KielerCompiler from Console ==
31 -
32 -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:
33 -
34 34  {{{java -jar KielerCompiler.jar &#x3c;host&#x3e;:&#x3c;port&#x3e; [Options] &#x3c;transformationID_1&#x3e; .. &#x3c;transformationID_n&#x3e;}}}
35 35  
36 36  In the above screenshot you see the KielerCompiler options when calling with no/too few parameters. The host or the port are mandatory parameters. By default the port **5555** is used and the default host is **localhost**. If you secify the port you do not need to specify localhost, if you specify the host you do not need to specify 5555. The following options are available:
... ... @@ -40,10 +40,14 @@
40 40  * -v : Use verbose compilation, more error messages
41 41  * -s: Use strict mode compilation (only apply selected transformations)
42 42  
43 -== Examples ==
21 +== Enable the TCP Server: ==
44 44  
45 -=== Example 1 ===
23 +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 shwon 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  
25 +[[image:attach:KiCoConsole0.jpg]]
26 +
27 +== Example 1: ==
28 +
47 47  [[image:attach:KiCoConsole2.jpg]]
48 48  
49 49  When calling the KielerCompiler with the ABORT transformation and console output.
... ... @@ -50,14 +50,14 @@
50 50  
51 51  
52 52  
53 -=== Example 2
54 -[[image:attach:KiCoConsole3.jpg]] ===
35 +== Example 2:
36 +[[image:attach:KiCoConsole3.jpg]] ==
55 55  
56 56  Using the KielerCompiler with CODEGENERATION transformation and a specific output file.
57 57  
58 58  
59 59  
60 -=== Example 3
61 -[[image:attach:KiCoConsole4.jpg]] ===
42 +== Example 3:
43 +[[image:attach:KiCoConsole4.jpg]] ==
62 62  
63 -Using the KielerCompiler with a non exisiting transformation which generates an error message.
45 +Using the KielerCompiler with a non exsiting transformation which generates an error message.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470936
1 +9470925
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470936/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470925/KIELER Compiler Console