![]() |
lingua-franca 0.10.1
Lingua Franca code generator
|
Class for storing configuration settings pertaining to the RTI. More...
Public Member Functions | |
| Path | getDirectory () |
| Return the directory to create on the remote host. | |
| String | getHost () |
| Return the host on which the RTI process is to be spawned. | |
| int | getPort () |
| Return the port on which to connect to the RTI process. | |
| String | getRtiBinPath (FileConfig fileConfig) |
| Return the path to the RTI binary on the remote host. | |
| String | getUser () |
| Return the username used to gain access to the host where the RTI is to be spawned. | |
| RtiConfig () | |
| Construct a new RTI configuration with all options set to their defaults. | |
| void | setDirectory (Path directory) |
| Set the directory to create on the remote host. | |
| void | setHost (String host) |
| Set the host on which the RTI process is to be spawned. | |
| void | setPort (int port) |
| Set the port on which to connect to the RTI process. | |
| void | setUser (String user) |
| Set the username used to gain access to the host where the RTI is to be spawned. | |
Class for storing configuration settings pertaining to the RTI.
| org.lflang.federated.launcher.RtiConfig.RtiConfig | ( | ) |
Construct a new RTI configuration with all options set to their defaults.
| Path org.lflang.federated.launcher.RtiConfig.getDirectory | ( | ) |
Return the directory to create on the remote host.
| String org.lflang.federated.launcher.RtiConfig.getHost | ( | ) |
Return the host on which the RTI process is to be spawned.
| int org.lflang.federated.launcher.RtiConfig.getPort | ( | ) |
Return the port on which to connect to the RTI process.
| String org.lflang.federated.launcher.RtiConfig.getRtiBinPath | ( | FileConfig | fileConfig | ) |
Return the path to the RTI binary on the remote host.
| String org.lflang.federated.launcher.RtiConfig.getUser | ( | ) |
Return the username used to gain access to the host where the RTI is to be spawned.
| void org.lflang.federated.launcher.RtiConfig.setDirectory | ( | Path | directory | ) |
Set the directory to create on the remote host.
| void org.lflang.federated.launcher.RtiConfig.setHost | ( | String | host | ) |
Set the host on which the RTI process is to be spawned.
| void org.lflang.federated.launcher.RtiConfig.setPort | ( | int | port | ) |
Set the port on which to connect to the RTI process.
| void org.lflang.federated.launcher.RtiConfig.setUser | ( | String | user | ) |
Set the username used to gain access to the host where the RTI is to be spawned.