| ... |
... |
@@ -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) |