Formatter.h

#ifndef ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Formatter_H
#define ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Formatter_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS
 
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h>
#include <Rose/BinaryAnalysis/BasicTypes.h>
 
#include <string>
 
namespace Rose {
namespace BinaryAnalysis {
namespace InstructionSemantics {
namespace BaseSemantics {
 
class Formatter {
protected:
    RegisterDictionaryPtr regdict;
    bool suppress_initial_values = false;
    std::string line_prefix;
    std::string indentation_suffix = "  ";
    bool show_latest_writers = true;
    bool show_properties = true;
 
public:
    virtual ~Formatter();
 
    Formatter();
 
    explicit Formatter(const std::string&);
 
    RegisterDictionaryPtr registerDictionary() const;
    void registerDictionary(const RegisterDictionaryPtr&);
    bool get_suppress_initial_values() const { return suppress_initial_values; }
    void set_suppress_initial_values(bool b=true) { suppress_initial_values=b; }
    void clear_suppress_initial_values() { set_suppress_initial_values(false); }
    std::string get_line_prefix() const { return line_prefix; }
    void set_line_prefix(const std::string &s) { line_prefix = s; }
    std::string get_indentation_suffix() const { return indentation_suffix; }
    void set_indentation_suffix(const std::string &s) { indentation_suffix = s; }
    bool get_show_latest_writers() const { return show_latest_writers; }
    void set_show_latest_writers(bool b=true) { show_latest_writers = b; }
    void clear_show_latest_writers() { show_latest_writers = false; }
    bool get_show_properties() const { return show_properties; }
    void set_show_properties(bool b=true) { show_properties = b; }
    void clear_show_properties() { show_properties = false; }
};
class Formatter {…};
 
class Indent {
private:
    Formatter &fmt;
    std::string old_line_prefix;
public:
    Indent(Formatter &fmt): fmt(fmt) {
        old_line_prefix = fmt.get_line_prefix();
        fmt.set_line_prefix(old_line_prefix + fmt.get_indentation_suffix());
    }
    ~Indent() {
        fmt.set_line_prefix(old_line_prefix);
    }
};
class Indent {…};
 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif