provider instance specification DSL — minor, patch and tmf versions

Add minor_version, patch_version and tmf_version to the specification
do DSL section. Nil values are stripped before create_specification so
unset fields fall back to Specification resource defaults.

Author: matt-beanland

lib/diffo/provider/components/instance/extension/verifiers/verify_specification.ex

@@ -3,33 +3,80 @@
 # SPDX-License-Identifier: MIT
 
 defmodule Diffo.Provider.Instance.Extension.Verifiers.VerifySpecification do
-  @moduledoc "Verifies that the specification id is a valid UUID4"
+  @moduledoc "Verifies that the specification DSL values satisfy the Specification resource's attribute constraints"
   use Spark.Dsl.Verifier
 
   alias Spark.Dsl.Verifier
   alias Spark.Error.DslError
 
+  # Fields validated against Specification attribute constraints (id handled separately)
+  @spec_fields [:name, :type, :major_version, :minor_version, :patch_version, :tmf_version, :description, :category]
+
   @impl true
   def verify(dsl_state) do
     resource = Verifier.get_persisted(dsl_state, :module)
+
+    errors = check_id(dsl_state, resource) ++ check_attributes(dsl_state, resource)
+
+    case errors do
+      [] -> :ok
+      errors -> {:error, errors}
+    end
+  end
+
+  defp check_id(dsl_state, resource) do
     spec_id = Verifier.get_option(dsl_state, [:structure, :specification], :id)
 
-    errors =
-      if spec_id && !Diffo.Uuid.uuid4?(spec_id) do
-        [
-          DslError.exception(
-            module: resource,
-            path: [:structure, :specification, :id],
-            message: "specification: id must be a valid UUID4"
-          )
-        ]
+    if spec_id && !Diffo.Uuid.uuid4?(spec_id) do
+      [DslError.exception(
+        module: resource,
+        path: [:structure, :specification, :id],
+        message: "specification: id must be a valid UUID4"
+      )]
+    else
+      []
+    end
+  end
+
+  defp check_attributes(dsl_state, resource) do
+    spec_attrs =
+      Ash.Resource.Info.attributes(Diffo.Provider.Specification)
+      |> Map.new(&{&1.name, &1})
+
+    Enum.flat_map(@spec_fields, fn field ->
+      value = Verifier.get_option(dsl_state, [:structure, :specification], field)
+      attr = Map.get(spec_attrs, field)
+
+      if not is_nil(value) && not is_nil(attr) do
+        case Ash.Type.apply_constraints(attr.type, value, attr.constraints) do
+          {:ok, _} ->
+            []
+
+          {:error, errors} ->
+            [DslError.exception(
+              module: resource,
+              path: [:structure, :specification, field],
+              message: "specification: #{field} - #{format_errors(errors)}"
+            )]
+        end
       else
         []
       end
+    end)
+  end
 
-    case errors do
-      [] -> :ok
-      errors -> {:error, errors}
+  defp format_errors(errors) when is_list(errors) do
+    if Keyword.keyword?(errors) do
+      format_error(errors)
+    else
+      errors |> Enum.map(&format_error/1) |> Enum.join(", ")
     end
   end
+
+  defp format_error(kwlist) do
+    {message, bindings} = Keyword.pop(kwlist, :message, "invalid value")
+    Enum.reduce(bindings, message, fn {key, val}, msg ->
+      String.replace(msg, "%{#{key}}", to_string(val))
+    end)
+  end
 end

test/instance_extension/verifier_test.exs

@@ -31,6 +31,105 @@ defmodule Diffo.InstanceExtension.VerifierTest do
         end
       )
     end
+
+    test "name not matching camelCase pattern warns DslError on compilation" do
+      Util.assert_compile_time_warning(
+        Spark.Error.DslError,
+        "specification: name",
+        fn ->
+          defmodule InvalidSpecName do
+            alias Diffo.Provider.BaseInstance
+            use Ash.Resource, fragments: [BaseInstance], domain: Diffo.Test.Servo
+
+            resource do
+              description "resource with non-camelCase specification name"
+            end
+
+            structure do
+              specification do
+                id "cd29956f-6c68-44cc-bf54-705eb8d2f754"
+                name "not camel case"
+              end
+            end
+          end
+        end
+      )
+    end
+
+    test "type not in allowed set warns DslError on compilation" do
+      Util.assert_compile_time_warning(
+        Spark.Error.DslError,
+        "specification: type",
+        fn ->
+          defmodule InvalidSpecType do
+            alias Diffo.Provider.BaseInstance
+            use Ash.Resource, fragments: [BaseInstance], domain: Diffo.Test.Servo
+
+            resource do
+              description "resource with invalid specification type"
+            end
+
+            structure do
+              specification do
+                id "cd29956f-6c68-44cc-bf54-705eb8d2f754"
+                name "invalid"
+                type :badType
+              end
+            end
+          end
+        end
+      )
+    end
+
+    test "negative major_version warns DslError on compilation" do
+      Util.assert_compile_time_warning(
+        Spark.Error.DslError,
+        "specification: major_version",
+        fn ->
+          defmodule InvalidSpecMajorVersion do
+            alias Diffo.Provider.BaseInstance
+            use Ash.Resource, fragments: [BaseInstance], domain: Diffo.Test.Servo
+
+            resource do
+              description "resource with negative major_version"
+            end
+
+            structure do
+              specification do
+                id "cd29956f-6c68-44cc-bf54-705eb8d2f754"
+                name "invalid"
+                major_version -1
+              end
+            end
+          end
+        end
+      )
+    end
+
+    test "tmf_version below minimum warns DslError on compilation" do
+      Util.assert_compile_time_warning(
+        Spark.Error.DslError,
+        "specification: tmf_version",
+        fn ->
+          defmodule InvalidSpecTmfVersion do
+            alias Diffo.Provider.BaseInstance
+            use Ash.Resource, fragments: [BaseInstance], domain: Diffo.Test.Servo
+
+            resource do
+              description "resource with tmf_version below minimum"
+            end
+
+            structure do
+              specification do
+                id "cd29956f-6c68-44cc-bf54-705eb8d2f754"
+                name "invalid"
+                tmf_version 0
+              end
+            end
+          end
+        end
+      )
+    end
   end
 
   describe "characteristics verifier" do

test/type/value_test.exs

@@ -33,8 +33,6 @@ defmodule Diffo.Type.ValueTest do
                Ash.Type.cast_input(Value, value, Value.subtype_constraints())
     end
 
-    @tag bugged: "raw Dynamic struct cast_input requires Value wrapper"
-    @tag :skip
     test "cast_input dynamic" do
       value = %Dynamic{type: Patch, value: %Patch{aEnd: 1, zEnd: 42}}