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