public class SettingsFileReader extends Object
| Constructor and Description |
|---|
SettingsFileReader(String file)
Creates a SettingsFileReader to parse a JSON file.
|
| Modifier and Type | Method and Description |
|---|---|
void |
getInputSettings(InputSettings input)
Populates all input communication from the parsed communication file.
|
void |
getMCSettings(ModelCheckingSettings mc)
Populates the model checking communication with the input from the parsed communication file.
|
void |
getOptionSettings(Options options)
Populates all option communication from the parsed communication file.
|
void |
getOutputSettings(OutputSettings output)
Populates all output communication from the parsed communication file.
|
public SettingsFileReader(String file)
file - A JSON file that containsSubsumingState communication.public void getInputSettings(InputSettings input)
input - All input communication.public void getOptionSettings(Options options)
options - The options object to populate.public void getOutputSettings(OutputSettings output)
output - All output communication.public void getMCSettings(ModelCheckingSettings mc)
mc - all model checking communicationCopyright © 2018. All rights reserved.