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 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);
    }
};

} // namespace
} // namespace
} // namespace
} // namespace

#endif
#endif