MemoryTime.h

#ifndef ROSE_BinaryAnalysis_Concolic_Callback_MemoryTime_H
#define ROSE_BinaryAnalysis_Concolic_Callback_MemoryTime_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace Callback {

class MemoryTime: public SharedMemoryCallback {
public:
    using Ptr = MemoryTimePtr;

private:
    SymbolicExpression::Ptr prevRead_;                  // value previously read by this callback

protected:
    explicit MemoryTime(const std::string &name);       // for factories
    MemoryTime(const AddressInterval &where, const std::string &name);
public:
    ~MemoryTime();

public:
    static Ptr instance(const AddressInterval &where);

    static Ptr factory();

public:
    virtual SharedMemoryCallbackPtr instanceFromFactory(const AddressInterval&, const Yaml::Node &config) const override;
    virtual void handlePreSharedMemory(SharedMemoryContext&) override;
    virtual void playback(SharedMemoryContext&) override;
};

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

#endif
#endif