de.rwth.i2.attestor.io.settings

Class SettingsFileReader

java.lang.Object

de.rwth.i2.attestor.io.settings.SettingsFileReader

public class SettingsFileReader
extends Object

Author:

Hannah Arndt, Christoph, Christina

Constructor Summary

Constructors

Constructor and Description
SettingsFileReader(String file) Creates a SettingsFileReader to parse a JSON file.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SettingsFileReader

public SettingsFileReader(String file)

Creates a SettingsFileReader to parse a JSON file.

Parameters:

file - A JSON file that containsSubsumingState communication.

Method Detail

getInputSettings

public void getInputSettings(InputSettings input)

Populates all input communication from the parsed communication file.

Parameters:

input - All input communication.

getOptionSettings

public void getOptionSettings(Options options)

Populates all option communication from the parsed communication file.

Parameters:

options - The options object to populate.

getOutputSettings

public void getOutputSettings(OutputSettings output)

Populates all output communication from the parsed communication file.

Parameters:

output - All output communication.

getMCSettings

public void getMCSettings(ModelCheckingSettings mc)

Populates the model checking communication with the input from the parsed communication file.

Parameters:

mc - all model checking communication