ROSE  0.9.10.54
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.

Definition at line 99 of file roseSupport/CommandLine.h.

#include <CommandLine.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...
 

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


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