TestSuite.h

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

#include <Sawyer/SharedObject.h>
#include <Sawyer/SharedPointer.h>
#include <string>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

class TestSuite: public Sawyer::SharedObject, public Sawyer::SharedFromThis<TestSuite> {
public:
    typedef Sawyer::SharedPointer<TestSuite> Ptr;

private:
    mutable SAWYER_THREAD_TRAITS::Mutex mutex_;         // protects the following data members
    std::string name_;                                  // unique and non-empty within a database
    std::string timestamp_;                             // time of creation

protected:
    TestSuite();

public:
    ~TestSuite();

    static Ptr instance(const std::string &name = "");

    std::string name() const;                           // value return is intentional for thread safety
    void name(const std::string&);
    std::string printableName(const DatabasePtr &db = DatabasePtr());

    std::string timestamp() const;
    void timestamp(const std::string&);
};

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

#endif
#endif