de.rwth.i2.attestor.phases.communication

Class InputSettings

java.lang.Object

de.rwth.i2.attestor.phases.communication.InputSettings

public class InputSettings
extends Object

All global communication regarding input files.

Author:

Christoph, Christina

Field Summary

Fields

Modifier and Type	Field and Description
URL	initialStatesURL The url to the default empty initial state.

Constructor Summary

Constructors

Constructor and Description
InputSettings()

Method Summary

Modifier and Type	Method and Description
void	addContractFile(String name) Adds the provided name to the list of contract files to consider for this run
void	addPredefinedGrammar(String name, String renameFileLocation) Adds a new predefined grammar (including its field maps) to the list of utilised grammars.
void	addUserDefinedGrammarName(String userDefinedGrammarName) Sets the name of the file containing the user-defined graph grammar underlying the analysis.
String	getClassName()
String	getClasspath()
ArrayList<String>	getContractFileNames() Returns the filenames of the user defined contracts to use
List<String>	getGrammarLocations()
URL	getInitialStatesURL()
String	getInputLocation()
String	getInputName()
String	getMethodName()
String	getName()
String	getPathToContracts() Returns the path to the files containing user defined contracts
String	getPathToSettingsFile()
String	getRenamingLocation(String predefinedGrammar)
String	getScenario()
String	getSpecificationDescription()
ArrayList<String>	getUsedPredefinedGrammars()
boolean	hasUserDefinedGrammar() Returns the name of the file containing the user-defined graph grammar underlying the analysis.
void	setClassName(String className) Sets the name of the class that should be analyzed.
void	setClasspath(String classpath) Sets the path to the classes that are analyzed.
void	setDefaultPath(String path) Sets the default path to search for all possible user defined input files.
void	setInitialStatesURL(URL resource)
void	setInputName(String inputName) Sets the name of the file holding the initial state.
void	setMethodName(String methodName) Sets the name of the method that should be analyzed.
void	setName(String name)
void	setPathToContracts(String pathToContracts) Sets the path to the files containing user defined contracts
void	setPathToGrammar(String pathToGrammar) Sets the path to the file containing the graph grammar underlying the analysis.
void	setPathToInput(String pathToInput) Sets the path to the file holding the initial state.
void	setPathToSettingsFile(String pathToSettingsFile)
void	setRootPath(String rootPath) prepends the rootPath to all user-defined paths.
void	setScenario(String scenario)
void	setSpecificationDescription(String specificationDescription)

Methods inherited from class java.lang.Object

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

Field Detail

initialStatesURL

public URL initialStatesURL

The url to the default empty initial state.

Constructor Detail

InputSettings

public InputSettings()

Method Detail

getName

public String getName()

setName

public void setName(String name)

getScenario

public String getScenario()

setScenario

public void setScenario(String scenario)

setSpecificationDescription

public void setSpecificationDescription(String specificationDescription)

getSpecificationDescription

public String getSpecificationDescription()

getPathToSettingsFile

public String getPathToSettingsFile()

setPathToSettingsFile

public void setPathToSettingsFile(String pathToSettingsFile)

getClasspath

public String getClasspath()

Returns:

The path to the classes that are analyzed.

setClasspath

public void setClasspath(String classpath)

Sets the path to the classes that are analyzed.

Parameters:

classpath - The path to the classes that are analyzed.

getClassName

public String getClassName()

Returns:

The name of the class that is analyzed.

setClassName

public void setClassName(String className)

Sets the name of the class that should be analyzed.

Parameters:

className - The classes' name.

getMethodName

public String getMethodName()

Returns:

The name of the method that should be analyzed.

setMethodName

public void setMethodName(String methodName)

Sets the name of the method that should be analyzed.

Parameters:

methodName - The name of the method to analyze.

getInitialStatesURL

public URL getInitialStatesURL()

setInitialStatesURL

public void setInitialStatesURL(URL resource)

getInputName

public String getInputName()

setInputName

public void setInputName(String inputName)

Sets the name of the file holding the initial state.

Parameters:

inputName - The name of the file holding the initial state.

setPathToInput

public void setPathToInput(String pathToInput)

Sets the path to the file holding the initial state.

Parameters:

pathToInput - The directory that containsSubsumingState the file holding the initial state.

getInputLocation

public String getInputLocation()

Returns:

The fully qualified path to the file holding the initial state.

setPathToGrammar

public void setPathToGrammar(String pathToGrammar)

Sets the path to the file containing the graph grammar underlying the analysis.

Parameters:

pathToGrammar - The path to the file containing the graph grammar.

addUserDefinedGrammarName

public void addUserDefinedGrammarName(String userDefinedGrammarName)

Sets the name of the file containing the user-defined graph grammar underlying the analysis.

Parameters:

userDefinedGrammarName - The name of the file containing the graph grammar.

hasUserDefinedGrammar

public boolean hasUserDefinedGrammar()

Returns the name of the file containing the user-defined graph grammar underlying the analysis.

Returns:

the location of the userDefinedGrammar

getGrammarLocations

public List<String> getGrammarLocations()

Returns:

The fully qualified paths to the files holding the graph grammar underlying the analysis.

addPredefinedGrammar

public void addPredefinedGrammar(String name,
                                 String renameFileLocation)

Adds a new predefined grammar (including its field maps) to the list of utilised grammars. If no predefined grammar is set so far, the necessary list and map is created.

Parameters:

name, - the name of the predefined grammar

renameFileLocation, - the location of the file defining the map from fields of the predefined grammar to those of the analysed data structure.

getUsedPredefinedGrammars

public ArrayList<String> getUsedPredefinedGrammars()

getRenamingLocation

public String getRenamingLocation(String predefinedGrammar)

getPathToContracts

public String getPathToContracts()

Returns the path to the files containing user defined contracts

Returns:

the location of the user defined contracts

setPathToContracts

public void setPathToContracts(String pathToContracts)

Sets the path to the files containing user defined contracts

addContractFile

public void addContractFile(String name)

Adds the provided name to the list of contract files to consider for this run

Parameters:

name - the filename

getContractFileNames

public ArrayList<String> getContractFileNames()

Returns the filenames of the user defined contracts to use

Returns:

a list containing the filenames

setDefaultPath

public void setDefaultPath(String path)

Sets the default path to search for all possible user defined input files. Should be called first, so that all paths can be overwritten

Parameters:

path - The default path.

setRootPath

public void setRootPath(String rootPath)

prepends the rootPath to all user-defined paths. Has to be called after these paths have been set

Parameters:

rootPath - a path prefix which should be applied to all user defined paths