Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 3.1
edited by cmot
on 2014/06/09 18:48
Change comment: There is no comment for this version
To version 4.1
edited by cmot
on 2014/06/09 18:58
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,1 +1,15 @@
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 +
3 +
1 1  [[image:attach:KiCoConsole1.jpg]]
5 +
6 +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:
7 +
8 +{{{java -jar KielerCompiler.jar <host>:<port> [Options] <transformationID_1> .. <transformationID_n>}}}
9 +
10 +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:
11 +
12 +* -f <filename> : Use a specific input file (and not the console)
13 +* -o <filename> : Use a specific output file (and not the console)
14 +* -v : Use verbose compilation, more error messages
15 +* -s: Use strict mode compilation (only apply selected transformations)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470918
1 +9470920
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470918/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470920/KIELER Compiler Console