#pragma once

#include <jvalidate/constraint/visitor.h>
#include <jvalidate/enum.h>
#include <jvalidate/forward.h>

namespace jvalidate::constraint {
class Constraint {
public:
  virtual ~Constraint() = default;
  virtual Status accept(ConstraintVisitor const & visitor) const = 0;
};

template <typename CRTP> class SimpleConstraint : public Constraint {
public:
  Status accept(ConstraintVisitor const & visitor) const final {
    return visitor.visit(*static_cast<CRTP const *>(this));
  }
};

template <typename CRTP> class ExtensionConstraint : public Constraint {
public:
  Status accept(ConstraintVisitor const & visitor) const final {
    if (auto * ptr = dynamic_cast<ExtensionConstraintVisitor<CRTP> const *>(&visitor)) {
      return ptr->visit(*static_cast<CRTP const *>(this));
    }
    return Status::Noop;
  }
};
}