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 41 of file PartialSymbolicSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/PartialSymbolicSemantics.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::Formatter:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::PartialSymbolicSemantics::Formatter:
Public Member Functions | |
| uint64_t | rename (uint64_t orig_name) |
 Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter | |
| Formatter () | |
| Default formatter. | |
| Formatter (const std::string &) | |
| Format for indentation. | |
| RegisterDictionaryPtr | registerDictionary () const |
| Property: Register dictionary. | |
| void | registerDictionary (const RegisterDictionaryPtr &) |
| Property: Register dictionary. | |
| bool | get_suppress_initial_values () const |
| Whether register initial values should be suppressed. | |
| void | set_suppress_initial_values (bool b=true) |
| Whether register initial values should be suppressed. | |
| void | clear_suppress_initial_values () |
| Whether register initial values should be suppressed. | |
| std::string | get_line_prefix () const |
| The string to print at the start of each line. | |
| void | set_line_prefix (const std::string &s) |
| The string to print at the start of each line. | |
| 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 |
Member Typedef Documentation
◆ Map
|
protected |
Definition at line 43 of file PartialSymbolicSemantics.h.
Constructor & Destructor Documentation
◆ Formatter()
|
inline |
Definition at line 47 of file PartialSymbolicSemantics.h.
Member Data Documentation
◆ renames
|
protected |
Definition at line 44 of file PartialSymbolicSemantics.h.
◆ next_name
|
protected |
Definition at line 45 of file PartialSymbolicSemantics.h.
The documentation for this class was generated from the following file:
