MemoryExit.h

#ifndef ROSE_BinaryAnalysis_Concolic_Callback_MemoryExit_H
#define ROSE_BinaryAnalysis_Concolic_Callback_MemoryExit_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>
 
#include <Sawyer/Optional.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace Callback {
 
class MemoryExit: public SharedMemoryCallback {
public:
    using Ptr = MemoryExitPtr;
 
private:
    Sawyer::Optional<uint8_t> status_;
 
protected:
    explicit MemoryExit(const std::string &name);
    MemoryExit(const AddressInterval&, const std::string &name, const Sawyer::Optional<uint8_t> &status);
public:
    ~MemoryExit();
 
public:
    static Ptr instance(const AddressInterval&);
 
    static Ptr instance(const AddressInterval&, const Sawyer::Optional<uint8_t> &status);
 
    static Ptr factory();
 
    const Sawyer::Optional<uint8_t>& status() const;
    void status(const Sawyer::Optional<uint8_t>&);
public:
    virtual SharedMemoryCallbackPtr instanceFromFactory(const AddressInterval&, const Yaml::Node &config) const override;
    virtual void playback(SharedMemoryContext&) override;
    virtual void handlePreSharedMemory(SharedMemoryContext &ctx) override;
};
 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif