Merger.h

#ifndef ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Merger_H
#define ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Merger_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS
 
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace InstructionSemantics {
namespace BaseSemantics {
 
//                                      Merging states
 
class Merger: public Sawyer::SharedObject {
public:
    typedef MergerPtr Ptr;
 
private:
    bool memoryAddressesMayAlias_;
    bool memoryMergeDebugging_;
 
protected:
    Merger();
 
public:
    ~Merger();
 
    static Ptr instance();
 
    bool memoryAddressesMayAlias() const { return memoryAddressesMayAlias_; }
    void memoryAddressesMayAlias(bool b) { memoryAddressesMayAlias_ = b; }
    bool memoryMergeDebugging() const { return memoryMergeDebugging_; }
    void memoryMergeDebugging(bool b) { memoryMergeDebugging_ = b; }
};
 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif