ROSE  0.9.9.139
Public Attributes | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Formatter Class Reference

Description

Formatter for symbolic values.

Definition at line 114 of file SymbolicSemantics2.h.

#include <SymbolicSemantics2.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Formatter:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Formatter:
Collaboration graph
[legend]

Public Attributes

SymbolicExpr::Formatter expr_formatter
 

Additional Inherited Members

- Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Formatter
RegisterDictionaryget_register_dictionary () const
 The register dictionary which is used for printing register names.
 
void set_register_dictionary (RegisterDictionary *rd)
 The register dictionary which is used for printing register names.
 
bool get_suppress_initial_values () const
 Whether register initial values should be suppressed. More...
 
void set_suppress_initial_values (bool b=true)
 Whether register initial values should be suppressed. More...
 
void clear_suppress_initial_values ()
 Whether register initial values should be suppressed. More...
 
std::string get_line_prefix () const
 The string to print at the start of each line. More...
 
void set_line_prefix (const std::string &s)
 The string to print at the start of each line. More...
 
std::string get_indentation_suffix () const
 Indentation string appended to the line prefix for multi-level, multi-line outputs.
 
void set_indentation_suffix (const std::string &s)
 Indentation string appended to the line prefix for multi-level, multi-line outputs.
 
bool get_show_latest_writers () const
 Whether to show latest writer information for register and memory states.
 
void set_show_latest_writers (bool b=true)
 Whether to show latest writer information for register and memory states.
 
void clear_show_latest_writers ()
 Whether to show latest writer information for register and memory states.
 
bool get_show_properties () const
 Whether to show register properties.
 
void set_show_properties (bool b=true)
 Whether to show register properties.
 
void clear_show_properties ()
 Whether to show register properties.
 
- Protected Attributes inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Formatter
RegisterDictionaryregdict
 
bool suppress_initial_values
 
std::string line_prefix
 
std::string indentation_suffix
 
bool show_latest_writers
 
bool show_properties
 

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