Description
Helps printing multidomain values by allowing the user to specify a name for each subdomain.
Definition at line 63 of file MultiSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/MultiSemantics.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::Formatter:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::MultiSemantics::Formatter:
Public Attributes | |
| std::vector< std::string > | subdomain_names |
Additional Inherited Members | |
 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 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:
