Description

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 47 of file SmtCommandLine.h.

#include <Rose/BinaryAnalysis/SmtCommandLine.h>

Inheritance diagram for Rose::BinaryAnalysis::SmtSolverValidator:

[legend]

Collaboration diagram for Rose::BinaryAnalysis::SmtSolverValidator:

[legend]

Public Types
typedef Sawyer::SharedPointer< SmtSolverValidator >	Ptr

Public Types inherited from Sawyer::CommandLine::SwitchAction
typedef SharedPointer< SwitchAction >	Ptr
	Reference counting pointer for this class.

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.

Public Member Functions inherited from Sawyer::SharedObject
	SharedObject ()
	Default constructor.

	SharedObject (const SharedObject &)
	Copy constructor.

virtual	~SharedObject ()
	Virtual destructor.

SharedObject &	operator= (const SharedObject &)
	Assignment.

Member Typedef Documentation

◆ Ptr

typedef Sawyer::SharedPointer<SmtSolverValidator> Rose::BinaryAnalysis::SmtSolverValidator::Ptr

Definition at line 51 of file SmtCommandLine.h.

Constructor & Destructor Documentation

◆ SmtSolverValidator()

Rose::BinaryAnalysis::SmtSolverValidator::SmtSolverValidator ( )

inlineprotected

Definition at line 49 of file SmtCommandLine.h.

Member Function Documentation

◆ instance()

static Ptr Rose::BinaryAnalysis::SmtSolverValidator::instance ( )

inlinestatic

Definition at line 52 of file SmtCommandLine.h.

◆ operator()()

void Rose::BinaryAnalysis::SmtSolverValidator::operator() ( const Sawyer::CommandLine::ParserResult & )

protectedvirtual

Implements Sawyer::CommandLine::SwitchAction.

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

SmtCommandLine.h

Description

Public Types

Static Public Member Functions

Protected Member Functions