Last modified by cmot on 2023/09/11 16:16

From version 4.1
edited by cmot
on 2014/06/09 18:58
Change comment: There is no comment for this version
To version 2.1
edited by cmot
on 2014/06/09 18:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,15 +1,0 @@
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 -
4 -[[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 -9470920
1 +9470916
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470920/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470916/KIELER Compiler Console