Added generate_concept_requirements config option (#237)

tests/t00074/.clang-uml

@@ -0,0 +1,10 @@
+diagrams:
+  t00074_class:
+    type: class
+    glob:
+      - t00074.cc
+    generate_concept_requirements: false
+    include:
+      namespaces:
+        - clanguml::t00074
+    using_namespace: clanguml::t00074

tests/t00074/t00074.cc

@@ -0,0 +1,16 @@
+namespace clanguml {
+namespace t00074 {
+template <typename T>
+concept fruit_c = requires(T t) {
+                      T{};
+                      t.get_name();
+                  };
+
+template <typename T>
+concept apple_c = fruit_c<T> && requires(T t) { t.get_sweetness(); };
+
+template <typename T>
+concept orange_c = fruit_c<T> && requires(T t) { t.get_bitterness(); };
+
+}
+}

tests/t00074/test_case.h

@@ -0,0 +1,91 @@
+/**
+ * tests/t00074/test_case.h
+ *
+ * Copyright (c) 2021-2024 Bartek Kryza <bkryza@gmail.com>
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+TEST_CASE("t00074", "[test-case][class]")
+{
+    auto [config, db] = load_config("t00074");
+
+    auto diagram = config.diagrams["t00074_class"];
+
+    REQUIRE(diagram->name == "t00074_class");
+
+    auto model = generate_class_diagram(*db, diagram);
+
+    REQUIRE(model->name() == "t00074_class");
+
+    {
+        auto src = generate_class_puml(diagram, *model);
+        AliasMatcher _A(src);
+
+        REQUIRE_THAT(src, StartsWith("@startuml"));
+        REQUIRE_THAT(src, EndsWith("@enduml\n"));
+
+        REQUIRE_THAT(src, IsConcept(_A("fruit_c<T>")));
+        REQUIRE_THAT(src, IsConcept(_A("apple_c<T>")));
+        REQUIRE_THAT(src, IsConcept(_A("orange_c<T>")));
+
+        REQUIRE_THAT(
+            src, IsConstraint(_A("apple_c<T>"), _A("fruit_c<T>"), "T"));
+        REQUIRE_THAT(
+            src, IsConstraint(_A("orange_c<T>"), _A("fruit_c<T>"), "T"));
+
+        REQUIRE_THAT(
+            src, !IsConceptRequirement(_A("apple_c<T>"), "t.get_sweetness()"));
+        REQUIRE_THAT(src,
+            !IsConceptRequirement(_A("orange_c<T>"), "t.get_bitterness()"));
+
+        save_puml(config.output_directory(), diagram->name + ".puml", src);
+    }
+
+    {
+        auto j = generate_class_json(diagram, *model);
+
+        using namespace json;
+
+        REQUIRE(IsConcept(j, "fruit_c<T>"));
+        REQUIRE(IsConcept(j, "apple_c<T>"));
+        REQUIRE(IsConcept(j, "orange_c<T>"));
+
+        save_json(config.output_directory(), diagram->name + ".json", j);
+    }
+
+    {
+        auto src = generate_class_mermaid(diagram, *model);
+
+        mermaid::AliasMatcher _A(src);
+        using mermaid::IsConcept;
+        using mermaid::IsConceptRequirement;
+        using mermaid::IsConstraint;
+
+        REQUIRE_THAT(src, IsConcept(_A("fruit_c<T>")));
+        REQUIRE_THAT(src, IsConcept(_A("apple_c<T>")));
+        REQUIRE_THAT(src, IsConcept(_A("orange_c<T>")));
+
+        REQUIRE_THAT(
+            src, IsConstraint(_A("apple_c<T>"), _A("fruit_c<T>"), "T"));
+        REQUIRE_THAT(
+            src, IsConstraint(_A("orange_c<T>"), _A("fruit_c<T>"), "T"));
+
+        REQUIRE_THAT(
+            src, !IsConceptRequirement(_A("apple_c<T>"), "t.get_sweetness()"));
+        REQUIRE_THAT(
+            src, !IsConceptRequirement(_A("apple_c<T>"), "t.get_bitterness()"));
+
+        save_mermaid(config.output_directory(), diagram->name + ".mmd", src);
+    }
+}

tests/test_cases.cc

@@ -415,6 +415,9 @@ using namespace clanguml::test::matchers;
 #include "t00072/test_case.h"
 #endif
 #include "t00073/test_case.h"
+#if defined(ENABLE_CXX_STD_20_TEST_CASES)
+#include "t00074/test_case.h"
+#endif
 
 ///
 /// Sequence diagram tests

tests/test_cases.yaml

@@ -216,6 +216,9 @@ test_cases:
     - name: t00073
       title: Class diagram for template overload pattern
       description:
+    - name: t00074
+      title: Test case for rendering concepts without requirements
+      description:
   Sequence diagrams:
     - name: t20001
       title: Basic sequence diagram test case