reference_manager.h 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299
  1. #pragma once
  2. #include <functional>
  3. #include <map>
  4. #include <set>
  5. #include <unordered_map>
  6. #include <jvalidate/detail/anchor.h>
  7. #include <jvalidate/detail/dynamic_reference_context.h>
  8. #include <jvalidate/detail/expect.h>
  9. #include <jvalidate/detail/on_block_exit.h>
  10. #include <jvalidate/detail/out.h>
  11. #include <jvalidate/detail/parser_context.h>
  12. #include <jvalidate/detail/pointer.h>
  13. #include <jvalidate/detail/reference.h>
  14. #include <jvalidate/detail/reference_cache.h>
  15. #include <jvalidate/detail/vocabulary.h>
  16. #include <jvalidate/document_cache.h>
  17. #include <jvalidate/enum.h>
  18. #include <jvalidate/forward.h>
  19. #include <jvalidate/uri.h>
  20. #include <unordered_set>
  21. namespace jvalidate::detail {
  22. template <Adapter A> class ReferenceManager {
  23. public:
  24. using Keywords = std::unordered_map<std::string_view, std::set<schema::Wraps>>;
  25. private:
  26. static inline std::map<std::string_view, schema::Version> const g_schema_ids{
  27. {"json-schema.org/draft-03/schema", schema::Version::Draft03},
  28. {"json-schema.org/draft-04/schema", schema::Version::Draft04},
  29. {"json-schema.org/draft-06/schema", schema::Version::Draft06},
  30. {"json-schema.org/draft-07/schema", schema::Version::Draft07},
  31. {"json-schema.org/draft/2019-09/schema", schema::Version::Draft2019_09},
  32. {"json-schema.org/draft/2020-12/schema", schema::Version::Draft2020_12},
  33. };
  34. ConstraintFactory<A> const & constraints_;
  35. DocumentCache<A> & external_;
  36. ReferenceCache references_;
  37. std::map<schema::Version, Vocabulary<A>> vocabularies_;
  38. std::map<URI, Vocabulary<A>> user_vocabularies_;
  39. std::map<RootReference, A> roots_;
  40. std::map<URI, std::map<Anchor, Reference>> dynamic_anchors_;
  41. DynamicReferenceContext active_dynamic_anchors_;
  42. public:
  43. ReferenceManager(DocumentCache<A> & external, A const & root, schema::Version version,
  44. ConstraintFactory<A> const & constraints)
  45. : external_(external), constraints_(constraints), roots_{{{}, root}} {
  46. prime(root, {}, &vocab(version));
  47. }
  48. Vocabulary<A> const & vocab(schema::Version version) {
  49. if (not vocabularies_.contains(version)) {
  50. vocabularies_.emplace(version, constraints_.keywords(version));
  51. }
  52. return vocabularies_.at(version);
  53. }
  54. Vocabulary<A> const & vocab(URI schema) {
  55. if (auto it = g_schema_ids.find(schema.resource()); it != g_schema_ids.end()) {
  56. return vocab(it->second);
  57. }
  58. if (auto it = user_vocabularies_.find(schema); it != user_vocabularies_.end()) {
  59. return it->second;
  60. }
  61. std::optional<A> external = external_.try_load(schema);
  62. EXPECT_M(external.has_value(), "Unable to load external meta-schema " << schema);
  63. EXPECT_M(external->type() == adapter::Type::Object, "meta-schema must be an object");
  64. auto metaschema = external->as_object();
  65. EXPECT_M(metaschema.contains("$schema"), "meta-schema must reference an");
  66. // Initialize first to prevent recursion
  67. Vocabulary<A> & parent = user_vocabularies_[schema];
  68. parent = vocab(URI(metaschema["$schema"].as_string()));
  69. if (metaschema.contains("$vocabulary")) {
  70. parent.restrict(extract_keywords(metaschema["$vocabulary"].as_object()));
  71. }
  72. return parent;
  73. }
  74. auto dynamic_scope(Reference const & ref) {
  75. URI const uri =
  76. ref.pointer().empty() ? ref.uri() : references_.relative_to_nearest_anchor(ref).uri();
  77. return active_dynamic_anchors_.scope(uri, dynamic_anchors_[uri]);
  78. }
  79. std::optional<A> load(Reference const & ref, schema::Version version) {
  80. if (auto it = roots_.find(ref.root()); it != roots_.end()) {
  81. return ref.pointer().walk(it->second);
  82. }
  83. std::optional<A> external = external_.try_load(ref.uri());
  84. if (not external) {
  85. return std::nullopt;
  86. }
  87. // TODO(samjaffe): Change Versions if needed...
  88. references_.emplace(ref.uri());
  89. prime(*external, ref, &vocab(version));
  90. // May have a sub-id that we map to
  91. if (auto it = roots_.find(ref.root()); it != roots_.end()) {
  92. return ref.pointer().walk(it->second);
  93. }
  94. // Will get called if the external schema does not declare a root document id?
  95. return ref.pointer().walk(*external);
  96. }
  97. Reference canonicalize(Reference const & ref, Reference const & parent,
  98. inout<bool> dynamic_reference) {
  99. URI const uri = [this, &ref, &parent]() {
  100. if (ref.uri().empty() && parent.uri().empty()) {
  101. return references_.actual_parent_uri(parent);
  102. }
  103. URI uri = ref.uri().empty() ? parent.uri() : ref.uri();
  104. if (not uri.is_rootless()) {
  105. return uri;
  106. }
  107. URI base = references_.actual_parent_uri(parent);
  108. EXPECT_M(base.resource().rfind('/') != std::string::npos,
  109. "Unable to deduce root for relative uri " << uri << " (" << base << ")");
  110. if (not uri.is_relative()) {
  111. return base.root() / uri;
  112. }
  113. if (auto br = base.resource(), ur = uri.resource();
  114. br.ends_with(ur) && br[br.size() - ur.size() - 1] == '/') {
  115. return base;
  116. }
  117. return base.parent() / uri;
  118. }();
  119. URI const dyn_uri = ref.uri().empty() ? ref.uri() : uri;
  120. if (std::optional dynref = dynamic(dyn_uri, ref, dynamic_reference)) {
  121. return *dynref;
  122. }
  123. dynamic_reference = dynamic_reference || active_dynamic_anchors_.empty();
  124. // Relative URI, not in the HEREDOC (or we set an $id)
  125. if (ref.uri().empty() and ref.anchor().empty()) {
  126. return Reference(references_.relative_to_nearest_anchor(parent).root(), ref.pointer());
  127. }
  128. return Reference(uri, ref.anchor(), ref.pointer());
  129. }
  130. private:
  131. std::optional<Reference> dynamic(URI const & uri, Reference const & ref,
  132. inout<bool> dynamic_reference) {
  133. bool const anchor_is_dynamic = active_dynamic_anchors_.contains(ref.anchor());
  134. if (not dynamic_reference) {
  135. // A normal $ref to an $anchor that matches a $dynamicAnchor breaks the
  136. // dynamic recursion pattern. This requires that we are not looking for a
  137. // subschema of the anchor AND that we are not targetting an anchor in a
  138. // different root document.
  139. dynamic_reference = (anchor_is_dynamic && ref.uri().empty() && ref.pointer().empty());
  140. return std::nullopt;
  141. }
  142. OnBlockExit scope;
  143. if (not ref.uri().empty() && anchor_is_dynamic) {
  144. // Register the scope of this (potential) $dynamicAnchor BEFORE we attempt
  145. // to enter the reference, in case we end up pointing to an otherwise
  146. // suppressed $dynamicAnchor in a higher scope.
  147. scope = dynamic_scope(Reference(uri));
  148. }
  149. return active_dynamic_anchors_.lookup(uri, ref.anchor());
  150. }
  151. void prime(Adapter auto const & json, Reference where, Vocabulary<A> const * vocab) {
  152. if (json.type() != adapter::Type::Object) {
  153. return;
  154. }
  155. canonicalize(where, vocab->version(), json);
  156. auto schema = json.as_object();
  157. if (schema.contains("$schema")) {
  158. vocab = &this->vocab(URI(schema["$schema"].as_string()));
  159. }
  160. for (auto const & [key, value] : schema) {
  161. if (not vocab->is_keyword(key)) {
  162. continue;
  163. }
  164. switch (value.type()) {
  165. case adapter::Type::Array: {
  166. size_t index = 0;
  167. for (auto const & elem : value.as_array()) {
  168. prime(elem, where / key / index, vocab);
  169. ++index;
  170. }
  171. break;
  172. }
  173. case adapter::Type::Object:
  174. if (not vocab->is_property_keyword(key)) {
  175. prime(value, where / key, vocab);
  176. break;
  177. }
  178. for (auto const & [prop, elem] : value.as_object()) {
  179. prime(elem, where / key / prop, vocab);
  180. }
  181. default:
  182. break;
  183. }
  184. }
  185. }
  186. void canonicalize(Reference & where, schema::Version version, A const & json) {
  187. std::string const id = version <= schema::Version::Draft04 ? "id" : "$id";
  188. auto const schema = json.as_object();
  189. RootReference root = where.root();
  190. if (schema.contains(id)) {
  191. root = RootReference(schema[id].as_string());
  192. if (root.uri().empty()) {
  193. root = RootReference(where.uri(), root.anchor());
  194. } else if (not root.uri().is_rootless() || where.uri().empty()) {
  195. // By definition - rootless URIs cannot be relative
  196. } else if (root.uri().is_relative()) {
  197. root = RootReference(where.uri().parent() / root.uri(), root.anchor());
  198. } else {
  199. root = RootReference(where.uri().root() / root.uri(), root.anchor());
  200. }
  201. roots_.emplace(root, json);
  202. where = references_.emplace(where, root);
  203. }
  204. // $anchor and its related keywords were introduced in Draft 2019-09
  205. if (version < schema::Version::Draft2019_09) {
  206. return;
  207. }
  208. if (schema.contains("$anchor")) {
  209. root = RootReference(root.uri(), Anchor(schema["$anchor"].as_string()));
  210. roots_.emplace(root, json);
  211. where = references_.emplace(where, root);
  212. }
  213. if (version == schema::Version::Draft2019_09 && schema.contains("$recursiveAnchor") &&
  214. schema["$recursiveAnchor"].as_boolean()) {
  215. Anchor anchor;
  216. root = RootReference(root.uri(), anchor);
  217. roots_.emplace(root, json);
  218. where = references_.emplace(where, root);
  219. if (Reference & dynamic = dynamic_anchors_[root.uri()][anchor];
  220. dynamic == Reference() || where < dynamic) {
  221. dynamic = where;
  222. }
  223. }
  224. if (schema.contains("$dynamicAnchor") && version > schema::Version::Draft2019_09) {
  225. Anchor anchor(schema["$dynamicAnchor"].as_string());
  226. root = RootReference(root.uri(), anchor);
  227. roots_.emplace(root, json);
  228. where = references_.emplace(where, root);
  229. if (Reference & dynamic = dynamic_anchors_[root.uri()][anchor];
  230. dynamic == Reference() || where < dynamic) {
  231. dynamic = where;
  232. }
  233. }
  234. }
  235. std::unordered_set<std::string> extract_keywords(ObjectAdapter auto const & vocabularies) const {
  236. std::unordered_set<std::string> keywords;
  237. for (auto [vocab, enabled] : vocabularies) {
  238. if (not enabled.as_boolean()) {
  239. continue;
  240. }
  241. vocab.replace(vocab.find("/vocab/"), 7, "/meta/");
  242. auto vocab_object = external_.try_load(URI(vocab));
  243. for (auto const & [keyword, _] : vocab_object->as_object()["properties"].as_object()) {
  244. keywords.insert(keyword);
  245. }
  246. }
  247. return keywords;
  248. }
  249. };
  250. }