validatable.h

Go to the documentation of this file.

 
#include "elementa/license.inc"
#include "elementa/checks.inc"
 
#ifndef ELEMENTA_PATTERNS_VALIDATABLE_H
#define ELEMENTA_PATTERNS_VALIDATABLE_H
 
#include <atomic>
#include "elementa/base/exceptions.h"
 
 
namespace elementa
{
 
namespace patterns
{
 
/* ***************************************************************************
 
    Base class: Validatable
    Macro declarations:     ELE_CLASS_VALIDATABLE
    
*******************************************************************************/
 
#define ELE_CLASS_VALIDATABLE virtual public elementa::patterns::Validatable
 
 
class Validatable
{
 public:
 
 
    bool valid(void) const noexcept { return(valid_); }
 
 
    virtual void checkValid(const std::string & place = "") const
        { if (!valid_) 
            ELE_CODE_INVSTATE(place.empty() ? 
                                "Unspecified operation requested on "
                                "an invalid object" :
                                place); }
 
 protected:  // Avoids to create objects directly from Undefinable.
 
    Validatable(bool initvalid = false) noexcept: valid_{initvalid} {}
 
 
    Validatable(const Validatable & oth) { copyFrom(oth); }
 
 
    Validatable & operator=(const Validatable & oth) 
        { if (this != &oth) copyFrom(oth); return(*this); }
 
    // Move constructor and assignment are not deleted: they will fall back to
    // the normal copy ones.        
        
    virtual ~Validatable(void) = default;
    
    void setValid(bool defval = true) noexcept { valid_ = defval; }
 
    void setInvalid(void) noexcept { valid_ = false; }
 
 private:
 
    alignas(16) std::atomic<bool> valid_;
    void copyFrom(const Validatable & oth)  
        { valid_ = (oth.valid_ ? true : false); }
 
    void moveFrom(Validatable && oth)   
        { copyFrom(oth); oth.valid_ = false; }
};
 
 // Validatable
 
 
} // end patterns namespace
 
} // end elementa namespace
 
 
#endif