Parser.h

#ifndef ROSE_CommandLine_Parser_H
#define ROSE_CommandLine_Parser_H
 
#include <Rose/Color.h>
 
namespace Rose {
namespace CommandLine {
 
ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParser(const std::string &purpose, const std::string &description);
 
ROSE_DLL_API Sawyer::CommandLine::Parser createEmptyParserStage(const std::string &purpose, const std::string &description);
 
ROSE_DLL_API Sawyer::CommandLine::SwitchGroup genericSwitches();
 
struct GenericSwitchArgs {
    unsigned int threads;                               
    std::string smtSolver;                              
    bool errorIfDisabled;                               
    Color::Colorization colorization;                   
    GenericSwitchArgs()
        : threads(0), smtSolver("none"), errorIfDisabled(true) {}
};
 
ROSE_DLL_API extern GenericSwitchArgs genericSwitchArgs;
 
ROSE_DLL_API void insertBooleanSwitch(Sawyer::CommandLine::SwitchGroup&, const std::string &switchName,
                                      bool &storageLocation, const std::string &documentation);
 
} // namespace
} // namespace
 
#endif