pointer.h 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251
  1. #pragma once
  2. #include <algorithm>
  3. #include <cassert>
  4. #include <charconv>
  5. #include <iostream>
  6. #include <string>
  7. #include <string_view>
  8. #include <system_error>
  9. #include <variant>
  10. #include <vector>
  11. #include <jvalidate/compat/compare.h>
  12. #include <jvalidate/compat/expected.h>
  13. #include <jvalidate/forward.h>
  14. namespace jvalidate::detail {
  15. /**
  16. * @brief A helper struct for use in appending elements to a json Pointer object
  17. * in a way that allows it to be used as a template parameter - similar to how
  18. * ostream allows operator<<(void(*)(ostream&)) to pass in a function callback
  19. * for implementing various iomanip functions as piped (read:fluent) values.
  20. *
  21. * However, the primary usecase for this is in a template context, where I want
  22. * to add 0-or-more path components to a JSON-Pointer of any type, and also want
  23. * to support neighbor Pointers, instead of only child Pointers.
  24. *
  25. * For example, @see ValidationVisitor::visit(constraint::ConditionalConstraint)
  26. * where we use parent to rewind the path back to the owning scope for
  27. * if-then-else processing.
  28. */
  29. struct parent_t {};
  30. constexpr parent_t parent;
  31. class Pointer {
  32. private:
  33. using Token = std::variant<std::string, size_t>;
  34. public:
  35. Pointer() = default;
  36. Pointer(std::vector<Token> const & tokens) : tokens_(tokens) {}
  37. /**
  38. * @brief Parse a JSON-Pointer from a serialized JSON-Pointer-String.
  39. *
  40. * @param path A string representation of the Pointer
  41. *
  42. * @returns A Pointer, if the string is considered valid, else an error
  43. * message describing the problem.
  44. */
  45. static expected<Pointer, std::string> parse(std::string_view path) {
  46. if (path.empty()) {
  47. return Pointer();
  48. }
  49. // JSON-Pointers are required to start with a '/' although we only enforce
  50. // that rule in Reference.
  51. path.remove_prefix(1);
  52. // The rules of JSON-Pointer is that if a token were to contain a '/' as a
  53. // strict character: then that character would be escaped, using the above
  54. // rules. We take advantage of string_view's sliding view to make iteration
  55. // easy.
  56. Pointer rval;
  57. for (size_t p = path.find('/'); p != std::string::npos;
  58. path.remove_prefix(p + 1), p = path.find('/')) {
  59. expected token = parse_token(std::string(path.substr(0, p)));
  60. JVALIDATE_PROPIGATE_UNEXPECTED(token);
  61. rval.tokens_.push_back(*token);
  62. }
  63. expected token = parse_token(std::string(path));
  64. JVALIDATE_PROPIGATE_UNEXPECTED(token);
  65. rval.tokens_.push_back(*token);
  66. return rval;
  67. }
  68. template <typename T>
  69. static expected<T, std::string> parse_integer(std::string_view in, int base = 10) {
  70. T rval = 0;
  71. auto [ptr, ec] = std::from_chars(in.begin(), in.end(), rval, base);
  72. if (ec != std::errc{}) {
  73. return unexpected(std::make_error_code(ec).message());
  74. }
  75. return rval;
  76. }
  77. static expected<Token, std::string> parse_token(std::string in) {
  78. // Best-guess that the input token text represents a numeric value.
  79. // Technically - this could mean that we have an object key that is also
  80. // a number (e.g. the jsonized form of map<int, T>), but we can generally
  81. // assume that we are not going to use those kinds of paths in a reference
  82. // field. Therefore we don't need to include any clever tricks for storage
  83. if (not in.empty() && in.find_first_not_of("0123456789") == std::string::npos) {
  84. return parse_integer<size_t>(in);
  85. }
  86. for (size_t i = 0; i < in.size(); ++i) {
  87. // Allow URL-Escaped characters (%\x\x) to be turned into their
  88. // matching ASCII characters. This allows passing abnormal chars other
  89. // than '/' and '~' to be handled in all contexts.
  90. // TODO(samjaffe): Only do this if enc is hex-like (currently throws?)
  91. if (in[i] == '%') {
  92. if (auto code = parse_integer<char>(std::string_view(in).substr(i + 1, 2), 16)) {
  93. in.replace(i, 3, 1, *code);
  94. } else {
  95. return code.error();
  96. }
  97. } else if (in[i] != '~') {
  98. // Not a special char-sequence, does not need massaging
  99. continue;
  100. }
  101. // In order to properly support '/' inside the property name of an
  102. // object, we must escape it. The designers of the JSON-Pointer RFC
  103. // chose to use '~' as a special signifier. Mapping '~0' to '~', and
  104. // '~1' to '/'.
  105. if (in[i + 1] == '0') {
  106. in.replace(i, 2, 1, '~');
  107. } else if (in[i + 1] == '1') {
  108. in.replace(i, 2, 1, '/');
  109. } else {
  110. // return unexpected("illegal tilde '" + in.substr(i, 2) + "'");
  111. }
  112. }
  113. return in;
  114. }
  115. /**
  116. * @brief Dive into a JSON object throught the entire path of the this object
  117. *
  118. * @param document A JSON Adapter document - confirming to the following spec:
  119. * 1. Is indexable by size_t, returning its own type
  120. * 2. Is indexable by std::string, returning its own type
  121. * 3. Indexing into a null/incorrect json type, or for an absent child is safe
  122. *
  123. * @returns A new JSON Adapter at the pointed to location, or a generic null
  124. * JSON object.
  125. */
  126. auto walk(Adapter auto document) const {
  127. for (auto const & token : tokens_) {
  128. document = std::visit([&document](auto const & next) { return document[next]; }, token);
  129. }
  130. return document;
  131. }
  132. /**
  133. * @brief Fetch the last item in this pointer as a string (for easy
  134. * formatting). This function is used more-or-less exclusively to support the
  135. * improved annotation/error listing concepts described in the article:
  136. * https://json-schema.org/blog/posts/fixing-json-schema-output
  137. */
  138. std::string back() const {
  139. struct {
  140. std::string operator()(std::string const & in) const { return in; }
  141. std::string operator()(size_t in) const { return std::to_string(in); }
  142. } g_as_str;
  143. return tokens_.empty() ? "" : std::visit(g_as_str, tokens_.back());
  144. }
  145. bool empty() const { return tokens_.empty(); }
  146. /**
  147. * @brief Determines if this JSON-Pointer is prefixed by the other
  148. * JSON-Pointer. For example: `"/A/B/C"_jsptr.starts_with("/A/B") == true`
  149. *
  150. * This is an important thing to know when dealing with schemas that use
  151. * Anchors or nest $id tags in a singular document. Consider the schema below:
  152. * @code{.json}
  153. * {
  154. * "$id": "A",
  155. * "$defs": {
  156. * "B": {
  157. * "$anchor": "B"
  158. * "$defs": {
  159. * "C": {
  160. * "$anchor": "C"
  161. * }
  162. * }
  163. * }
  164. * }
  165. * }
  166. * @endcode
  167. *
  168. * How can we deduce that "A#B" and "A#C" are related to one-another as parent
  169. * and child nodes? First we translate them both into absolute (no-anchor)
  170. * forms "A#/$defs/B" and "A#/$defs/B/$defs/C". Visually - these are now
  171. * obviously related - but we need to expose the functionalty to make that
  172. * check happen (that "/$defs/B/$defs/C" starts with "/$defs/B").
  173. */
  174. bool starts_with(Pointer const & other) const {
  175. return other.tokens_.size() <= tokens_.size() &&
  176. std::equal(other.tokens_.begin(), other.tokens_.end(), tokens_.begin());
  177. }
  178. /**
  179. * @brief A corollary function to starts_with, create a "relative"
  180. * JSON-Pointer to some parent. Relative pointers are only partially supported
  181. * (e.g. if you tried to print it it would still emit the leading slash), so
  182. * the standard use case of this function is to either use it when choosing
  183. * a URI or Anchor that is a closer parent:
  184. * `Reference(uri, anchor, ptr.relative_to(other))`
  185. * or immediately concatenating it onto another absolute pointer:
  186. * `abs /= ptr.relative_to(other)`
  187. */
  188. Pointer relative_to(Pointer const & other) const {
  189. assert(starts_with(other));
  190. return Pointer(std::vector(tokens_.begin() + other.tokens_.size(), tokens_.end()));
  191. }
  192. Pointer parent(size_t i = 1) const { return Pointer({tokens_.begin(), tokens_.end() - i}); }
  193. Pointer & operator/=(Pointer const & relative) {
  194. tokens_.insert(tokens_.end(), relative.tokens_.begin(), relative.tokens_.end());
  195. return *this;
  196. }
  197. Pointer operator/(Pointer const & relative) const { return Pointer(*this) /= relative; }
  198. Pointer & operator/=(parent_t) {
  199. tokens_.pop_back();
  200. return *this;
  201. }
  202. Pointer operator/(parent_t) const { return parent(); }
  203. Pointer & operator/=(std::string_view key) {
  204. tokens_.emplace_back(std::string(key));
  205. return *this;
  206. }
  207. Pointer operator/(std::string_view key) const { return Pointer(*this) /= key; }
  208. Pointer & operator/=(size_t index) {
  209. tokens_.emplace_back(index);
  210. return *this;
  211. }
  212. Pointer operator/(size_t index) const { return Pointer(*this) /= index; }
  213. friend std::ostream & operator<<(std::ostream & os, Pointer const & self) {
  214. for (auto const & elem : self.tokens_) {
  215. std::visit([&os](auto const & v) { os << '/' << v; }, elem);
  216. }
  217. return os;
  218. }
  219. auto operator<=>(Pointer const &) const = default;
  220. private:
  221. std::vector<Token> tokens_{};
  222. };
  223. }