ConcreteExecutor.h

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

#include <boost/filesystem.hpp>
#include <rose_isnan.h>
#include <Sawyer/SharedObject.h>
#include <Sawyer/SharedPointer.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

class ConcreteExecutorResult {
private:
    double rank_;
    bool isInteresting_;

public:
    ConcreteExecutorResult()
        : rank_(0.0), isInteresting_(true) {}

    explicit ConcreteExecutorResult(double rank)
        : rank_(rank), isInteresting_(true) {
        ASSERT_forbid(rose_isnan(rank));
    }

    virtual ~ConcreteExecutorResult() {}

    double rank() const { return rank_; }
    void rank(double r) { rank_ = r; }

    bool isInteresting() const { return isInteresting_; }
    void isInteresting(bool b) { isInteresting_ = b; }

private:
    friend class boost::serialization::access;

    template<class S>
    void serialize(S &s, const unsigned /*version*/) {
        s & BOOST_SERIALIZATION_NVP(rank_);
    }
};

class ConcreteExecutor: public Sawyer::SharedObject {
public:
    typedef Sawyer::SharedPointer<ConcreteExecutor> Ptr;

private:
    DatabasePtr db_;

protected:
    // Allocating constructors should be implemente by the non-abstract subclasses.
    explicit ConcreteExecutor(const DatabasePtr&);

public:
    ~ConcreteExecutor();

    DatabasePtr database() const;

    virtual ConcreteExecutorResult* execute(const TestCasePtr&) = 0;

    // FIXME[Robb Matzke 2020-07-14]: This should be in a subclass
    void executionMonitor(const boost::filesystem::path& executorName)
    {
      execmon = executorName;
    }

    // FIXME[Robb Matzke 2020-07-14]: This should be in a subclass
    boost::filesystem::path executionMonitor() const
    {
      return execmon;
    }
private:
    // FIXME[Robb Matzke 2020-07-14]: This should be in a subclass
    boost::filesystem::path execmon; // the execution monitor
};

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

#endif
#endif