reference_manager.h 10 KB

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