| Package | Description |
|---|---|
| de.rwth.i2.attestor.io.settings | |
| de.rwth.i2.attestor.main.scene |
| Modifier and Type | Method and Description |
|---|---|
void |
SettingsFileReader.getOptionSettings(Options options)
Populates all option communication from the parsed communication file.
|
void |
CommandLineReader.updateOptions(Options options)
Populates all communication that customize how the analysis is performed
with data extracted from the command line arguments.
|
| Modifier and Type | Method and Description |
|---|---|
Options |
DefaultScene.options() |
Options |
Scene.options() |
Copyright © 2018. All rights reserved.