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


Virtual base class for expanding atoms.

Definition at line 247 of file SymbolicExpressionParser.h.

#include <Rose/BinaryAnalysis/SymbolicExpressionParser.h>

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

Public Types

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

Public Member Functions

virtual SymbolicExpression::Ptr immediateExpansion (const Token &name)=0
 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...
SharedObjectoperator= (const SharedObject &)
 Assignment. More...

Member Typedef Documentation

Shared-ownership pointer to an AtomExpansion.

See Shared ownership.

Definition at line 250 of file SymbolicExpressionParser.h.

Member Function Documentation

virtual SymbolicExpression::Ptr Rose::BinaryAnalysis::SymbolicExpressionParser::AtomExpansion::immediateExpansion ( const Token name)
pure virtual

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.

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

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