ROSE  0.11.98.0
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
Color::Colorization colorization
Controls colorized output.
Definition: Parser.h:106
Control colored command output.
Definition: Color.h:40
ROSE_DLL_API Sawyer::CommandLine::SwitchGroup genericSwitches()
Generic command-line components.
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.
A collection of related switch declarations.
Type for storing generic switch arguments.
Definition: Parser.h:92
Main namespace for the ROSE library.
The parser for a program command line.
unsigned int threads
Number of threads analyses should use.
Definition: Parser.h:93
ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParser(const std::string &purpose, const std::string &description)
Empty command-line parser.
ROSE_DLL_API void insertBooleanSwitch(Sawyer::CommandLine::SwitchGroup &, const std::string &switchName, bool &storageLocation, const std::string &documentation)
Convenience for for adding Boolean switches.
bool errorIfDisabled
Controls behavior of a tool when disabled.
Definition: Parser.h:99
ROSE_DLL_API GenericSwitchArgs genericSwitchArgs
Global location for parsed generic command-line switches.
std::string smtSolver
Name of SMT solver interface.
Definition: Parser.h:95