Path.h

#pragma once
 
#include "Forward.h"
 
#include <optional>
#include <QExplicitlySharedDataPointer>
 
namespace knowSHACL
{
  class Path
  {
    friend class details::DefinitionParser;
    friend class Validator;
    friend class ValidationResults;
  public:
    Path();
    Path(const Path& _rhs);
    Path& operator=(const Path& _rhs);
    ~Path();
    enum class Type
    {
      Predicate,
      Alternative,
      Inverse,
      ZeroOrMore,
      OneOrMore,
      ZeroOrOne,
      PropertyPath //< work around ill-formation of the standard SHACL validator
    };
    Type type() const;
    bool isValid() const;
    knowCore::Uri predicate() const;
    knowCore::UriList alternatives() const;
    std::optional<Path> next() const;
    bool match(const knowCore::Uri&) const;
    bool operator==(const Path& _rhs) const;
  private:
    struct Private;
    QExplicitlySharedDataPointer<Private> d;
  };
}
 
#include <knowCore/Formatter.h>
 
KNOWCORE_CORE_DECLARE_FORMATTER_ENUM(knowSHACL::Path::Type, Predicate, Alternative, Inverse, ZeroOrMore, OneOrMore, ZeroOrOne, PropertyPath)
 
KNOWCORE_CORE_DECLARE_FORMATTER(knowSHACL::Path)
{
  if(p.isValid())
  {
    if(p.next())
    {
      return format_to(ctx.out(), "{} {} {}", p.type(), p.predicate(), *p.next());
    } else {
      return format_to(ctx.out(), "{} {}", p.type(), p.predicate());
    }
  } else {
    return format_to(ctx.out(), "invalid path");
  }
}