ROSE  0.9.11.115
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 58 of file BinaryFeasiblePath.h.

#include <BinaryFeasiblePath.h>

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

Public Member Functions

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

Public Attributes

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

Member Data Documentation

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

Location where constraint applies.

Empty implies end-of-path.

Definition at line 59 of file BinaryFeasiblePath.h.

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

String to be parsed as an expression.

Definition at line 60 of file BinaryFeasiblePath.h.

SymbolicExpr::Ptr Rose::BinaryAnalysis::FeasiblePath::Expression::expr

Symbolic expression.

Definition at line 61 of file BinaryFeasiblePath.h.


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