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 412 of file SymbolicExpressionParser.h.
#include <Rose/BinaryAnalysis/SymbolicExpressionParser.h>
Public Types | |
| typedef Sawyer::SharedPointer< TermPlaceholders > | Ptr |
| Shared-ownership pointer. More... | |
| typedef Sawyer::Container::BiMap< std::string, SymbolicExpression::Ptr > | NameToVarMap |
| Mapping between term names and placeholder variables. More... | |
 Public Types inherited from Rose::BinaryAnalysis::SymbolicExpressionParser::AtomExpansion | |
| typedef Sawyer::SharedPointer< AtomExpansion > | Ptr |
| Shared-ownership pointer to an AtomExpansion. More... | |
| Public Types inherited from Rose::BinaryAnalysis::SymbolicExpressionParser::Expansion | |
| typedef Sawyer::SharedPointer< Expansion > | Ptr |
| Shared-ownership pointer to an Expansion. More... | |
Public Member Functions | |
| const NameToVarMap & | map () const |
| Mapping between terms and variables. More... | |
| SymbolicExpression::Ptr | immediateExpansion (const SymbolicExpressionParser::Token &) override |
| Expand a parsed atom into some other expression. More... | |
| Public Member Functions inherited from Rose::BinaryAnalysis::SymbolicExpressionParser::Expansion | |
| virtual SymbolicExpression::Ptr | delayedExpansion (const SymbolicExpression::Ptr &src, const SymbolicExpressionParser *) |
| Substitute one expression with another. More... | |
| 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... | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. More... | |
Static Public Member Functions | |
| static Ptr | instance () |
| Allocating constructor. More... | |
Member Typedef Documentation
| typedef Sawyer::SharedPointer<TermPlaceholders> Rose::BinaryAnalysis::SymbolicExpressionParser::TermPlaceholders::Ptr |
Shared-ownership pointer.
See Shared ownership.
Definition at line 415 of file SymbolicExpressionParser.h.
| typedef Sawyer::Container::BiMap<std::string, SymbolicExpression::Ptr> Rose::BinaryAnalysis::SymbolicExpressionParser::TermPlaceholders::NameToVarMap |
Mapping between term names and placeholder variables.
Definition at line 418 of file SymbolicExpressionParser.h.
Member Function Documentation
|
static |
Allocating constructor.
|
inline |
Mapping between terms and variables.
Definition at line 431 of file SymbolicExpressionParser.h.
|
overridevirtual |
Expand a parsed atom into some other expression.
This method takes a token parsed from the input and optionally replaces it with some other expression. For instance, a subclass that recognizes the token "true" would replace it with a single-bit constant 1. If this object does not recognize the token, it should return a null pointer. This phase of expansion occurs immediately during parsing; a second phase may occur later.
Implements Rose::BinaryAnalysis::SymbolicExpressionParser::AtomExpansion.
The documentation for this class was generated from the following file:
