Public Types | Static Public Member Functions | Protected Member Functions | List of all members
Rose::BinaryAnalysis::SmtSolverValidator Class Reference


Validates SMT solver name from command-line.

This is a Sawyer command-line switch action that validates the "--smt-solver=NAME" command-line switch value and also handles the case when NAME is "list". When NAME is "list" a list of all known SMT solvers is shows on standard output along with an indication of whether that solver is available, then exit(0) is called.

Definition at line 45 of file SmtCommandLine.h.

#include <Rose/BinaryAnalysis/SmtCommandLine.h>

Inheritance diagram for Rose::BinaryAnalysis::SmtSolverValidator:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SmtSolverValidator:
Collaboration graph

Public Types

typedef Sawyer::SharedPointer< SmtSolverValidatorPtr
- Public Types inherited from Sawyer::CommandLine::SwitchAction
typedef SharedPointer< SwitchActionPtr
 Reference counting pointer for this class. More...

Static Public Member Functions

static Ptr instance ()

Protected Member Functions

void operator() (const Sawyer::CommandLine::ParserResult &)

Additional Inherited Members

- Public Member Functions inherited from Sawyer::CommandLine::SwitchAction
void run (const ParserResult &parserResult)
 Runs the action. More...
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 SharedObject (const SharedObject &)
 Copy constructor. More...
virtual ~SharedObject ()
 Virtual destructor. More...
SharedObjectoperator= (const SharedObject &)
 Assignment. More...

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