Upgrade Core and Blaze (#24)

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

Author: jviotti

.github/workflows/ci.yml

@@ -120,6 +120,12 @@ jobs:
       - run: >
           cmake --install ./build --prefix ./build/dist --config Release --verbose
           --component sourcemeta_core_dev
+      - run: >
+          cmake --install ./build --prefix ./build/dist --config Release --verbose
+          --component sourcemeta_blaze
+      - run: >
+          cmake --install ./build --prefix ./build/dist --config Release --verbose
+          --component sourcemeta_blaze_dev
       - run: >
           cmake --install ./build --prefix ./build/dist --config Release --verbose
           --component sourcemeta_codegen

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,11 @@
+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>;