| ... |
... |
@@ -52,7 +52,7 @@ |
| 52 |
52 |
|
| 53 |
53 |
{{{java -jar KielerCompiler.jar <host>:<port> [Options] <transformationID_1> .. <transformationID_n>}}} |
| 54 |
54 |
|
| 55 |
|
-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 specify 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: |
|
55 |
+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: |
| 56 |
56 |
|
| 57 |
57 |
* -f <filename> : Use a specific input file for the main model (and not the console) |
| 58 |
58 |
* -i <filename> : Include additional input files that are referenced by the main model, note that the order for using multiple -i options is important: Use the order -i file1 -i file2 if file1 has references to file2 but file2 has NO references to file1! |