ROSE  0.11.145.0
Public Member Functions | Protected Types | Protected Attributes | List of all members
Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::Formatter Class Reference

Description

Formatter that renames variables on the fly.

When this formatter is used, named variables are renamed using lower numbers. This is useful for human-readable output because variable names tend to get very large (like "v904885611").

Definition at line 51 of file PartialSymbolicSemantics.h.

#include <Rose/BinaryAnalysis/InstructionSemantics/PartialSymbolicSemantics.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::Formatter:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::Formatter:
Collaboration graph
[legend]

Public Member Functions

uint64_t rename (uint64_t orig_name)
 
- Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter
 Formatter ()
 Default formatter. More...
 
 Formatter (const std::string &)
 Format for indentation. More...
 
RegisterDictionaryPtr registerDictionary () const
 Property: Register dictionary. More...
 
void registerDictionary (const RegisterDictionaryPtr &)
 Property: Register dictionary. More...
 
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 Types

typedef std::map< uint64_t, uint64_t > Map
 

Protected Attributes

Map renames
 
size_t next_name
 
- Protected Attributes inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter
RegisterDictionaryPtr regdict
 
bool suppress_initial_values = false
 
std::string line_prefix
 
std::string indentation_suffix = " "
 
bool show_latest_writers = true
 
bool show_properties = true
 

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