ROSE  0.9.10.91
Public Types | Public Member Functions | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders Class Reference

Description

Expand unrecognized terms to placholder variables.

When parsing a symbolic expression, any unrecognized variable names such as "foo" will be replaced with a new symbolic variable such as "v48722" and a record of the substitution is saved in this object. The same name is always substituted with the same placeholder.

Definition at line 323 of file BinarySymbolicExprParser.h.

#include <BinarySymbolicExprParser.h>

Inheritance diagram for Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders:
Collaboration graph
[legend]

Public Types

typedef Sawyer::SharedPointer< TermPlaceholdersPtr
 Shared-ownership pointer. More...
 
typedef Sawyer::Container::BiMap< std::string, SymbolicExpr::PtrNameToVarMap
 Mapping between term names and placeholder variables. More...
 
- Public Types inherited from Rose::BinaryAnalysis::SymbolicExprParser::AtomExpansion
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

const NameToVarMapmap () const
 Mapping between terms and variables. More...
 
SymbolicExpr::Ptr operator() (const SymbolicExprParser::Token &) ROSE_OVERRIDE
 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...
 

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...
 

Member Typedef Documentation

Shared-ownership pointer.

See Shared ownership.

Definition at line 326 of file BinarySymbolicExprParser.h.

Mapping between term names and placeholder variables.

Definition at line 329 of file BinarySymbolicExprParser.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders::instance ( )
static

Allocating constructor.

const NameToVarMap& Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders::map ( ) const
inline

Mapping between terms and variables.

Definition at line 342 of file BinarySymbolicExprParser.h.

SymbolicExpr::Ptr Rose::BinaryAnalysis::SymbolicExprParser::TermPlaceholders::operator() ( const SymbolicExprParser::Token name)
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.

Implements Rose::BinaryAnalysis::SymbolicExprParser::AtomExpansion.


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