Description
Formatter for symbolic values.
Definition at line 120 of file SymbolicSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/SymbolicSemantics.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::Formatter:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::Formatter:
Public Attributes | |
| SymbolicExpression::Formatter | expr_formatter |
Additional Inherited Members | |
 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 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 Data Documentation
◆ expr_formatter
| SymbolicExpression::Formatter Rose::BinaryAnalysis::InstructionSemantics::SymbolicSemantics::Formatter::expr_formatter |
Definition at line 122 of file SymbolicSemantics.h.
The documentation for this class was generated from the following file:
