ROSE  0.11.96.11
Public Attributes | List of all members
Rose::CommandLine::GenericSwitchArgs Struct Reference

Description

Type for storing generic switch arguments.

For instance, the "--threads=N" switch takes an integer that should be stored somewhere.

See also, genericSwitchArgs.

Definition at line 92 of file Parser.h.

#include <Parser.h>

Collaboration diagram for Rose::CommandLine::GenericSwitchArgs:
Collaboration graph
[legend]

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.
 

Member Data Documentation

◆ threads

unsigned int Rose::CommandLine::GenericSwitchArgs::threads

Number of threads analyses should use.

Zero means use the number of threads that the hardware provides.

Definition at line 93 of file Parser.h.

◆ smtSolver

std::string Rose::CommandLine::GenericSwitchArgs::smtSolver

Name of SMT solver interface.

"list" means show a list and exit. The empty string means no solver is used. Additional switches might be present to override this global solver for specific situations.

Definition at line 95 of file Parser.h.

◆ errorIfDisabled

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.

Definition at line 99 of file Parser.h.


The documentation for this struct was generated from the following file: