assertion.h

#pragma once
 
#include <memory>
#include <vector>
 
#include <fdr/error.h>
#include <fdr/tasks/progress_reporter.h>
 
namespace FDR
{
class Canceller;
class Session;
 
namespace Assertions
{
class Counterexample;
class Progress;
 
class Assertion
{
public:
    virtual ~Assertion();
 
    Assertion(const Assertion& assertion) = delete;
    Assertion& operator=(const Assertion& assertion) = delete;
 
    void execute(Canceller* canceller);
 
    const std::vector<std::shared_ptr<Counterexample>>& counterexamples() const;
 
    bool passed() const;
 
    std::shared_ptr<Progress> progress() const;
 
    std::string to_string() const;
 
    TaskId root_task_id() const;
 
protected:
    Assertion();
 
    friend struct AssertionFactory;
    friend Session;
 
    struct Data;
    std::shared_ptr<Data> data;
};
 
}  // end Assertions
}  // end FDR