de.rwth.i2.attestor.phases.communication

Class InputSettings

java.lang.Object

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

All Implemented Interfaces:

HeapConfigurationRenaming

public class InputSettings
extends Object
implements HeapConfigurationRenaming

All global communication regarding input files.

Author:

Christoph, Christina

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	addInitialHeapFile(String initialHeapFile)
void	addInitialSymbolicHeapFile(String initialSymbolicHeapFile)
void	addPredefinedGrammarName(String name)
void	addSelectorRenaming(String typeName, String from, String to)
void	addTypeRenaming(String from, String to)
void	addUserDefinedGrammarFile(String userDefinedGrammarFile)
void	addUserDefinedInductivePredicatesFile(String userDefinedInductivePredicatesFile)
String	getClassName()
String	getClasspath()
Collection<String>	getContractFileNames() Returns the filenames of the user defined contracts to use
String	getDescription()
List<String>	getInitialHeapFiles()
List<String>	getInitialSymbolicHeapFiles()
String	getMethodName()
Collection<String>	getPredefinedGrammarNames()
String	getRootPath()
String	getSelectorRenaming(String typeName, String selector)
String	getTypeRenaming(String typeName)
Collection<String>	getUserDefinedGrammarFiles()
Collection<String>	getUserDefinedInductivePredicatesFiles()
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	setDescription(String description)
void	setMethodName(String methodName) Sets the name of the method that should be analyzed.
void	setRootPath(String rootPath)

Methods inherited from class java.lang.Object

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

Constructor Detail

InputSettings

public InputSettings()

Method Detail

getRootPath

public String getRootPath()

addPredefinedGrammarName

public void addPredefinedGrammarName(String name)

getPredefinedGrammarNames

public Collection<String> getPredefinedGrammarNames()

addTypeRenaming

public void addTypeRenaming(String from,
                            String to)

addSelectorRenaming

public void addSelectorRenaming(String typeName,
                                String from,
                                String to)

getTypeRenaming

public String getTypeRenaming(String typeName)

Specified by:

getTypeRenaming in interface HeapConfigurationRenaming

getSelectorRenaming

public String getSelectorRenaming(String typeName,
                                  String selector)

Specified by:

getSelectorRenaming in interface HeapConfigurationRenaming

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.

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 Collection<String> getContractFileNames()

Returns the filenames of the user defined contracts to use

Returns:

a list containing the filenames

setRootPath

public void setRootPath(String rootPath)

Parameters:

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

getDescription

public String getDescription()

setDescription

public void setDescription(String description)

addUserDefinedInductivePredicatesFile

public void addUserDefinedInductivePredicatesFile(String userDefinedInductivePredicatesFile)

getUserDefinedInductivePredicatesFiles

public Collection<String> getUserDefinedInductivePredicatesFiles()

addUserDefinedGrammarFile

public void addUserDefinedGrammarFile(String userDefinedGrammarFile)

getUserDefinedGrammarFiles

public Collection<String> getUserDefinedGrammarFiles()

addInitialHeapFile

public void addInitialHeapFile(String initialHeapFile)

getInitialHeapFiles

public List<String> getInitialHeapFiles()

addInitialSymbolicHeapFile

public void addInitialSymbolicHeapFile(String initialSymbolicHeapFile)

getInitialSymbolicHeapFiles

public List<String> getInitialSymbolicHeapFiles()