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


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 128 of file roseSupport/CommandLine.h.

#include <CommandLine.h>

Collaboration diagram for Rose::CommandLine::GenericSwitchArgs:
Collaboration graph

Public Attributes

unsigned int threads
 Number of threads analyses should use. More...
std::string smtSolver
 Name of SMT solver interface. More...

Member Data Documentation

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 129 of file roseSupport/CommandLine.h.

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 131 of file roseSupport/CommandLine.h.

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