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