Description
Format for printing things.
Some semantic domains may want to pass some additional information to print methods on a per-call basis. This base class provides something they can subclass to do that. A reference is passed to all print() methods for semantic objects.
Definition at line 19 of file Formatter.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/Formatter.h>
Public Member Functions | |
| 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 | |
| RegisterDictionaryPtr | regdict |
| bool | suppress_initial_values = false |
| std::string | line_prefix |
| std::string | indentation_suffix = " " |
| bool | show_latest_writers = true |
| bool | show_properties = true |
Constructor & Destructor Documentation
| Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter::Formatter | ( | ) |
Default formatter.
Using a default formatter is the same as using no formatter at all.
|
explicit |
Format for indentation.
Formatter that indents every line according to the given prefix.
Member Function Documentation
| RegisterDictionaryPtr Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter::registerDictionary | ( | ) | const |
Property: Register dictionary.
The register dictionary which is used for printing register names.
| void Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter::registerDictionary | ( | const RegisterDictionaryPtr & | ) |
Property: Register dictionary.
The register dictionary which is used for printing register names.
|
inline |
Whether register initial values should be suppressed.
If a register's value has a comment that is equal to the register name with "_0" appended, then that value is assumed to be the register's initial value.
Definition at line 53 of file Formatter.h.
|
inline |
Whether register initial values should be suppressed.
If a register's value has a comment that is equal to the register name with "_0" appended, then that value is assumed to be the register's initial value.
Definition at line 54 of file Formatter.h.
Referenced by clear_suppress_initial_values().
|
inline |
Whether register initial values should be suppressed.
If a register's value has a comment that is equal to the register name with "_0" appended, then that value is assumed to be the register's initial value.
Definition at line 55 of file Formatter.h.
References set_suppress_initial_values().
|
inline |
The string to print at the start of each line.
This only applies to objects that occupy more than one line.
Definition at line 60 of file Formatter.h.
|
inline |
The string to print at the start of each line.
This only applies to objects that occupy more than one line.
Definition at line 61 of file Formatter.h.
The documentation for this class was generated from the following file:
