ROSE
0.11.96.11
|
Type for storing generic switch arguments.
For instance, the "--threads=N" switch takes an integer that should be stored somewhere.
See also, genericSwitchArgs.
#include <Parser.h>
Public Attributes | |
unsigned int | threads |
Number of threads analyses should use. More... | |
std::string | smtSolver |
Name of SMT solver interface. More... | |
bool | errorIfDisabled |
Controls behavior of a tool when disabled. More... | |
Color::Colorization | colorization |
Controls colorized output. | |
unsigned int Rose::CommandLine::GenericSwitchArgs::threads |
std::string Rose::CommandLine::GenericSwitchArgs::smtSolver |
bool Rose::CommandLine::GenericSwitchArgs::errorIfDisabled |
Controls behavior of a tool when disabled.
If true (the default) and a tool's primary feature set is disabled (such as when ROSE is compiled with too old a compiler or without the necessary supporting software packages), then the tool should emit an error message and exit with a failure status. When this data member is false, then the tool will silently exit with success, which is useful during "make check" or similar testing.