Public Types | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
Rose::BinaryAnalysis::SymbolicExprParser::OperatorExpansion Class Referenceabstract


Virtual base class for expanding operators.

Definition at line 232 of file BinarySymbolicExprParser.h.

#include <BinarySymbolicExprParser.h>

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExprParser::OperatorExpansion:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExprParser::OperatorExpansion:
Collaboration graph

Public Types

typedef Sawyer::SharedPointer
< OperatorExpansion
 Shared-ownership pointer to an OperatorExpansion. More...
- Public Types inherited from Rose::BinaryAnalysis::SymbolicExprParser::Expansion
typedef Sawyer::SharedPointer
< Expansion
 Shared-ownership pointer to an Expansion. More...

Public Member Functions

virtual SymbolicExpr::Ptr operator() (const Token &name, const SymbolicExpr::Nodes &operands)=0
 Operator to expand a list into an expression tree. More...
- Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExprParser::Expansion
const std::string & title () const
 Property: Title to use for documentation.
void title (const std::string &s)
 Property: Title to use for documentation.
const std::string & docString () const
 Property: Documentation string. More...
void docString (const std::string &s)
 Property: Documentation string. 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...

Protected Member Functions

 OperatorExpansion (const SmtSolverPtr &solver)

Protected Attributes

SmtSolverPtr solver

Member Typedef Documentation

Shared-ownership pointer to an OperatorExpansion.

See Shared ownership.

Definition at line 242 of file BinarySymbolicExprParser.h.

Member Function Documentation

virtual SymbolicExpr::Ptr Rose::BinaryAnalysis::SymbolicExprParser::OperatorExpansion::operator() ( const Token name,
const SymbolicExpr::Nodes &  operands 
pure virtual

Operator to expand a list into an expression tree.

The width in bits is either the width specified in square brackets for the function symbol, or zero. Functors are all called for each symbol, and the first one to return non-null is the one that's used to generate the symbolic expression.

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