ROSE  0.11.87.0
Public Member Functions | Protected Types | Protected Attributes | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::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 50 of file PartialSymbolicSemantics.h.

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

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

Public Member Functions

uint64_t rename (uint64_t orig_name)
 
- Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Formatter
const RegisterDictionaryget_register_dictionary () const ROSE_DEPRECATED("use registerDictionary property")
 
void set_register_dictionary (const RegisterDictionary *rd) ROSE_DEPRECATED("use registerDictionary property")
 
const RegisterDictionaryregisterDictionary () const
 Property: Register dictionary. More...
 
void registerDictionary (const RegisterDictionary *rd)
 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::InstructionSemantics2::BaseSemantics::Formatter
const 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: