de.rwth.i2.attestor.io.settings

Class CommandLineReader

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.io.settings.CommandLineReader

public class CommandLineReader
extends SceneObject

Author:

Hannah Arndt, Christoph, Christina

Constructor Summary

Constructors

Constructor and Description
CommandLineReader(SceneObject sceneObject)

Method Summary

Modifier and Type	Method and Description
void	getInputSettings(InputSettings settings) Populates all communication that customize which input files are loaded with data extracted from the command line arguments.
void	getMCSettings(ModelCheckingSettings mcSettings) Populates all communication that customize if and how model checking is performed.
void	getOutputSettings(OutputSettings outputSettings) Populates all communication that customize how state spaces are exported with data extracted from the command line arguments.
String	getParsingError()
String	getPathToSettingsFile()
String	getRootPath()
boolean	hasRootPath()
boolean	hasSettingsFile()
boolean	loadSettings(String[] args) Attempts to parse the provided command line arguments and checks whether they specify the specification.
void	printHelp()
void	setupCLI() Initializes the specification of the command line interface.
void	updateOptions(Options options) Populates all communication that customize how the analysis is performed with data extracted from the command line arguments.

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

CommandLineReader

public CommandLineReader(SceneObject sceneObject)

Method Detail

setupCLI

public void setupCLI()

Initializes the specification of the command line interface. This method should always be called first.

loadSettings

public boolean loadSettings(String[] args)

Attempts to parse the provided command line arguments and checks whether they specify the specification.

Parameters:

args - The command line arguments.

Returns:

true if and only if the provided command line arguments specify the specification.

getParsingError

public String getParsingError()

printHelp

public void printHelp()

hasSettingsFile

public boolean hasSettingsFile()

Returns:

true if and only if a communication file has been provided in the command line arguments.

getPathToSettingsFile

public String getPathToSettingsFile()

Returns:

The path to the communication file provided in the command line arguments.

hasRootPath

public boolean hasRootPath()

Returns:

true if and only if a root path has been provided

getRootPath

public String getRootPath()

Returns:

The specified root path

getOutputSettings

public void getOutputSettings(OutputSettings outputSettings)

Populates all communication that customize how state spaces are exported with data extracted from the command line arguments.

Parameters:

outputSettings - All output communication.

updateOptions

public void updateOptions(Options options)

Populates all communication that customize how the analysis is performed with data extracted from the command line arguments.

Parameters:

options - All options.

getInputSettings

public void getInputSettings(InputSettings settings)

Populates all communication that customize which input files are loaded with data extracted from the command line arguments.

Parameters:

settings - All input communication.

getMCSettings

public void getMCSettings(ModelCheckingSettings mcSettings)

Populates all communication that customize if and how model checking is performed.

Parameters:

mcSettings - All communication.