OutputSettings (Attestor 0.4.1 API)

Constructors
Constructor and Description
`OutputSettings()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`String`	`getExportContractsPath()`
`String`	`getExportGrammarPath()`
`String`	`getExportLargeStatesPath()`
`String`	`getExportPath()`
`String`	`getSaveContractsPath()`
`void`	`setExportContractsPath(String exportContractsPath)`
`void`	`setExportGrammarPath(String exportGrammarPath)`
`void`	`setExportLargeStatesPath(String exportLargeStatesPath)`
`void`	`setExportPath(String exportPath)`
`void`	`setRootPath(String rootPath)`
`void`	`setSaveContractsPath(String saveContractsPath)`

public void setRootPath(String rootPath)

public void setExportLargeStatesPath(String exportLargeStatesPath)

public String getExportLargeStatesPath()

public void setExportGrammarPath(String exportGrammarPath)

public void setExportPath(String exportPath)

public void setSaveContractsPath(String saveContractsPath)

public void setExportContractsPath(String exportContractsPath)

public String getExportContractsPath()

Class OutputSettings