ExecutionManager.h

#ifndef ROSE_BinaryAnalysis_Concolic_ExecutionManager_H
#define ROSE_BinaryAnalysis_Concolic_ExecutionManager_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>

#include <boost/noncopyable.hpp>
#include <Sawyer/SharedObject.h>
#include <vector>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

class ExecutionManager: boost::noncopyable, public Sawyer::SharedObject {
public:
    typedef Sawyer::SharedPointer<ExecutionManager> Ptr;

private:
    DatabasePtr database_;

protected:
    // Subclasses should implement allocating constructors
    explicit ExecutionManager(const DatabasePtr &db);

public:
    virtual ~ExecutionManager();

    DatabasePtr database() const;

    virtual std::vector<TestCaseId> pendingConcreteResults(size_t n = UNLIMITED);
    TestCaseId pendingConcreteResult() /*final*/;
    virtual void insertConcreteResults(const TestCasePtr&, const ConcreteExecutorResult &details);

    virtual std::vector<TestCaseId> pendingConcolicResults(size_t n = UNLIMITED);
    TestCaseId pendingConcolicResult() /*final*/;
    virtual void insertConcolicResults(const TestCasePtr &original, const std::vector<TestCasePtr> &newCases);

    virtual bool isFinished() const;

    virtual void run() = 0;
};

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

#endif
#endif