Upgrade Core and Blaze

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

CMakeLists.txt

@@ -32,6 +32,7 @@ if(CODEGEN_INSTALL)
 endif()
 
 find_package(Core REQUIRED)
+find_package(Blaze REQUIRED)
 
 # Don't force downstream consumers on it
 if(PROJECT_IS_TOP_LEVEL)

DEPENDENCIES

@@ -1,2 +1,3 @@
 vendorpull https://github.com/sourcemeta/vendorpull 1dcbac42809cf87cb5b045106b863e17ad84ba02
-core https://github.com/sourcemeta/core b6640a840bf149edca223c9129a71d64474e12fc
+core https://github.com/sourcemeta/core c43332629d71475f44d212f140effbf0a46c1492
+blaze https://github.com/sourcemeta/blaze b97dc7b6dca47917f40ff465efa5e068e16e8534

Makefile

@@ -28,6 +28,10 @@ compile: .always
 		--component sourcemeta_core
 	$(CMAKE) --install ./build --prefix ./build/dist --config $(PRESET) --verbose \
 		--component sourcemeta_core_dev
+	$(CMAKE) --install ./build --prefix ./build/dist --config $(PRESET) --verbose \
+		--component sourcemeta_blaze
+	$(CMAKE) --install ./build --prefix ./build/dist --config $(PRESET) --verbose \
+		--component sourcemeta_blaze_dev
 	$(CMAKE) --install ./build --prefix ./build/dist --config $(PRESET) --verbose \
 		--component sourcemeta_codegen
 	$(CMAKE) --install ./build --prefix ./build/dist --config $(PRESET) --verbose \

cmake/FindBlaze.cmake

@@ -0,0 +1,12 @@
+if(NOT Blaze_FOUND)
+  if(CODEGEN_INSTALL)
+    set(SOURCEMETA_BLAZE_INSTALL ON CACHE BOOL "enable installation")
+  else()
+    set(SOURCEMETA_BLAZE_INSTALL OFF CACHE BOOL "disable installation")
+  endif()
+
+
+  add_subdirectory("${PROJECT_SOURCE_DIR}/vendor/blaze")
+  include(Sourcemeta)
+  set(Blaze_FOUND ON)
+endif()

config.cmake.in

@@ -9,7 +9,8 @@ if(NOT CODEGEN_COMPONENTS)
 endif()
 
 include(CMakeFindDependencyMacro)
-find_dependency(Core COMPONENTS regex json jsonschema alterschema)
+find_dependency(Core COMPONENTS regex json jsonschema)
+find_dependency(Blaze COMPONENTS alterschema)
 
 foreach(component ${CODEGEN_COMPONENTS})
   if(component STREQUAL "ir")

src/generator/include/sourcemeta/codegen/generator_typescript.h

@@ -29,6 +29,7 @@ class SOURCEMETA_CODEGEN_GENERATOR_EXPORT TypeScript {
   auto operator()(const IRReference &entry) -> void;
   auto operator()(const IRTuple &entry) -> void;
   auto operator()(const IRUnion &entry) -> void;
+  auto operator()(const IRIntersection &entry) -> void;
 
 private:
 // Exporting symbols that depends on the standard C++ library is considered

src/generator/typescript.cc

@@ -287,4 +287,20 @@ auto TypeScript::operator()(const IRUnion &entry) -> void {
   this->output << ";\n";
 }
 
+auto TypeScript::operator()(const IRIntersection &entry) -> void {
+  this->output << "export type "
+               << mangle(this->prefix, entry.pointer, entry.symbol, this->cache)
+               << " =\n";
+
+  const char *separator{""};
+  for (const auto &value : entry.values) {
+    this->output << separator << "  "
+                 << mangle(this->prefix, value.pointer, value.symbol,
+                           this->cache);
+    separator = " &\n";
+  }
+
+  this->output << ";\n";
+}
+
 } // namespace sourcemeta::codegen

src/ir/CMakeLists.txt

@@ -12,4 +12,4 @@ target_link_libraries(sourcemeta_codegen_ir PUBLIC
 target_link_libraries(sourcemeta_codegen_ir PUBLIC
   sourcemeta::core::jsonschema)
 target_link_libraries(sourcemeta_codegen_ir PRIVATE
-  sourcemeta::core::alterschema)
+  sourcemeta::blaze::alterschema)

src/ir/include/sourcemeta/codegen/ir.h

@@ -56,6 +56,11 @@ struct IRUnion : IRType {
   std::vector<IRType> values;
 };
 
+/// @ingroup ir
+struct IRIntersection : IRType {
+  std::vector<IRType> values;
+};
+
 /// @ingroup ir
 struct IRObjectValue : IRType {
   bool required;
@@ -99,8 +104,8 @@ struct IRReference : IRType {
 
 /// @ingroup ir
 using IREntity =
-    std::variant<IRObject, IRScalar, IREnumeration, IRUnion, IRArray, IRTuple,
-                 IRImpossible, IRAny, IRReference>;
+    std::variant<IRObject, IRScalar, IREnumeration, IRUnion, IRIntersection,
+                 IRArray, IRTuple, IRImpossible, IRAny, IRReference>;
 
 /// @ingroup ir
 using IRResult = std::vector<IREntity>;

src/ir/ir.cc

@@ -1,5 +1,5 @@
+#include <sourcemeta/blaze/alterschema.h>
 #include <sourcemeta/codegen/ir.h>
-#include <sourcemeta/core/alterschema.h>
 
 #include <algorithm>     // std::ranges::sort
 #include <cassert>       // assert
@@ -9,6 +9,29 @@
 
 namespace sourcemeta::codegen {
 
+static auto
+is_validation_only_location(const sourcemeta::core::WeakPointer &pointer)
+    -> bool {
+  static const std::unordered_set<std::string_view> validation_only_keywords{
+      "propertyNames", "contains"};
+  static const std::unordered_set<std::string_view> container_keywords{
+      "properties", "patternProperties", "$defs", "definitions"};
+  for (std::size_t index = 0; index < pointer.size(); ++index) {
+    const auto &token{pointer.at(index)};
+    if (!token.is_property() ||
+        !validation_only_keywords.contains(token.to_property())) {
+      continue;
+    }
+
+    if (index == 0 || !pointer.at(index - 1).is_property() ||
+        !container_keywords.contains(pointer.at(index - 1).to_property())) {
+      return true;
+    }
+  }
+
+  return false;
+}
+
 auto compile(const sourcemeta::core::JSON &input,
              const sourcemeta::core::SchemaWalker &walker,
              const sourcemeta::core::SchemaResolver &resolver,
@@ -25,9 +48,9 @@ auto compile(const sourcemeta::core::JSON &input,
   // (2) Canonicalize the schema for easier analysis
   // --------------------------------------------------------------------------
 
-  sourcemeta::core::SchemaTransformer canonicalizer;
-  sourcemeta::core::add(canonicalizer,
-                        sourcemeta::core::AlterSchemaMode::Canonicalizer);
+  sourcemeta::blaze::SchemaTransformer canonicalizer;
+  sourcemeta::blaze::add(canonicalizer,
+                         sourcemeta::blaze::AlterSchemaMode::Canonicalizer);
   [[maybe_unused]] const auto canonicalized{canonicalizer.apply(
       schema, walker, resolver,
       [](const auto &, const auto, const auto, const auto &,
@@ -67,6 +90,12 @@ auto compile(const sourcemeta::core::JSON &input,
       continue;
     }
 
+    // Skip subschemas under validation-only keywords that do not contribute
+    // to the type structure
+    if (is_validation_only_location(location.pointer)) {
+      continue;
+    }
+
     const auto &subschema{sourcemeta::core::get(schema, location.pointer)};
     result.push_back(compiler(schema, frame, location, resolver, subschema));
   }