Public Types | Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExprParser::AtomExpansion Class Referenceabstract


Virtual base class for expanding atoms.

Definition at line 223 of file BinarySymbolicExprParser.h.

#include <BinarySymbolicExprParser.h>

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

Public Types

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

Public Member Functions

virtual SymbolicExpr::Ptr operator() (const Token &name)=0
 Operator to expand the symbol 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...

Member Typedef Documentation

Shared-ownership pointer to an AtomExpansion.

See Shared ownership.

Definition at line 226 of file BinarySymbolicExprParser.h.

Member Function Documentation

virtual SymbolicExpr::Ptr Rose::BinaryAnalysis::SymbolicExprParser::AtomExpansion::operator() ( const Token name)
pure virtual

Operator to expand the symbol into an expression tree.

The width in bits is either the width specified in square brackets for the 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.

Implemented in Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders, Rose::BinaryAnalysis::SymbolicExprParser::RegisterSubstituter, and Rose::BinaryAnalysis::SymbolicExprParser::RegisterToValue.

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