ROSE 0.11.145.147
Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::FeasiblePath::Expression Struct Reference

Description

Expression to be evaluated.

If the expression is a string, then the string is parsed to create a symbolic expression, substituting registers and memory from a supplied semantic state.

If the expression is an expression tree, then the expression is used directly.

Definition at line 71 of file FeasiblePath.h.

#include <Rose/BinaryAnalysis/FeasiblePath.h>

Collaboration diagram for Rose::BinaryAnalysis::FeasiblePath::Expression:
Collaboration graph
[legend]

Public Member Functions

 Expression (const std::string &parsable)
 
 Expression (const SymbolicExpressionPtr &expr)
 
void print (std::ostream &) const
 

Public Attributes

AddressIntervalSet location
 Location where constraint applies.
 
std::string parsable
 String to be parsed as an expression.
 
SymbolicExpressionPtr expr
 Symbolic expression.
 

Constructor & Destructor Documentation

◆ Expression() [1/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( )
inline

Definition at line 76 of file FeasiblePath.h.

◆ Expression() [2/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( const std::string &  parsable)
inline

Definition at line 77 of file FeasiblePath.h.

◆ Expression() [3/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( const SymbolicExpressionPtr expr)
inline

Definition at line 78 of file FeasiblePath.h.

Member Data Documentation

◆ location

AddressIntervalSet Rose::BinaryAnalysis::FeasiblePath::Expression::location

Location where constraint applies.

Empty implies end-of-path.

Definition at line 72 of file FeasiblePath.h.

◆ parsable

std::string Rose::BinaryAnalysis::FeasiblePath::Expression::parsable

String to be parsed as an expression.

Definition at line 73 of file FeasiblePath.h.

◆ expr

SymbolicExpressionPtr Rose::BinaryAnalysis::FeasiblePath::Expression::expr

Symbolic expression.

Definition at line 74 of file FeasiblePath.h.


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