I386Linux/TracingResult.h

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

#include <Rose/BinaryAnalysis/Concolic/ConcreteResult.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace I386Linux {

class TracingResult: public Concolic::ConcreteResult {
    using Super = Concolic::ConcreteResult;

public:
    using Ptr = TracingResultPtr;

private:
    int exitStatus_;                                    // as returned by wait
    AddressSet executedVas_;

protected:
    TracingResult();
    TracingResult(double rank, const AddressSet &executedVas);
public:
    ~TracingResult();

public:
    static Ptr instance(double rank, const AddressSet &executedVas);

    int exitStatus() const;
    void exitStatus(int);
    const AddressSet& executedVas() const;
    AddressSet& executedVas();
private:
    friend class boost::serialization::access;

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

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

#endif
#endif