ROSE  0.11.96.11
Parser.h
1 #ifndef ROSE_CommandLine_Parser_H
2 #define ROSE_CommandLine_Parser_H
3 
4 #include <Rose/Color.h>
5 
6 namespace Rose {
7 namespace CommandLine {
8 
17 ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParser(const std::string &purpose, const std::string &description);
18 
31 ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParserStage(const std::string &purpose, const std::string &description);
32 
86 
93  unsigned int threads;
95  std::string smtSolver;
109  : threads(0), smtSolver("none"), errorIfDisabled(true) {}
110 };
111 
119 ROSE_DLL_API extern GenericSwitchArgs genericSwitchArgs;
120 
131 ROSE_DLL_API void insertBooleanSwitch(Sawyer::CommandLine::SwitchGroup&, const std::string &switchName,
132  bool &storageLocation, const std::string &documentation);
133 
134 } // namespace
135 } // namespace
136 
137 #endif
Rose::CommandLine::GenericSwitchArgs::colorization
Color::Colorization colorization
Controls colorized output.
Definition: Parser.h:106
Sawyer::CommandLine::Parser
The parser for a program command line.
Definition: util/Sawyer/CommandLine.h:2756
Rose::CommandLine::genericSwitchArgs
ROSE_DLL_API GenericSwitchArgs genericSwitchArgs
Global location for parsed generic command-line switches.
Rose::CommandLine::createEmptyParserStage
ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParserStage(const std::string &purpose, const std::string &description)
Empty command-line parser suitable for use with other parsers.
Rose::Color::Colorization
Control colored command output.
Definition: Color.h:40
Rose::CommandLine::GenericSwitchArgs::threads
unsigned int threads
Number of threads analyses should use.
Definition: Parser.h:93
Rose::CommandLine::createEmptyParser
ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParser(const std::string &purpose, const std::string &description)
Empty command-line parser.
Rose::CommandLine::GenericSwitchArgs::errorIfDisabled
bool errorIfDisabled
Controls behavior of a tool when disabled.
Definition: Parser.h:99
Rose
Main namespace for the ROSE library.
Definition: BinaryTutorial.dox:3
Rose::CommandLine::insertBooleanSwitch
ROSE_DLL_API void insertBooleanSwitch(Sawyer::CommandLine::SwitchGroup &, const std::string &switchName, bool &storageLocation, const std::string &documentation)
Convenience for for adding Boolean switches.
Rose::CommandLine::GenericSwitchArgs::smtSolver
std::string smtSolver
Name of SMT solver interface.
Definition: Parser.h:95
Rose::CommandLine::GenericSwitchArgs
Type for storing generic switch arguments.
Definition: Parser.h:92
Rose::CommandLine::genericSwitches
ROSE_DLL_API Sawyer::CommandLine::SwitchGroup genericSwitches()
Generic command-line components.
Sawyer::CommandLine::SwitchGroup
A collection of related switch declarations.
Definition: util/Sawyer/CommandLine.h:2569