device_connected_event + test

Signed-off-by: Gabriele Ghio <gabriele.ghio@secomind.com>

Author: shinnokdisengir

lib/astarte/core/generators/triggers/simple_events/device_connected_event.ex

@@ -0,0 +1,67 @@
+#
+# This file is part of Astarte.
+#
+# Copyright 2025 SECO Mind Srl
+#
+# 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.
+#
+
+defmodule Astarte.Core.Generators.Triggers.SimpleEvents.DeviceConnectedEvent do
+  @moduledoc """
+  This module provides generators for Astarte Trigger Simple Event DeviceConnectedEvent struct.
+  """
+  use ExUnitProperties
+
+  import Astarte.Generators.Utilities.ParamsGen
+
+  alias Astarte.Core.Triggers.SimpleEvents.DeviceConnectedEvent
+
+  alias Astarte.Common.Generators.Ip, as: IpGenerator
+  alias Astarte.Utilities.Map, as: MapUtilities
+
+  @spec device_connected_event() :: StreamData.t(DeviceConnectedEvent.t())
+  @spec device_connected_event(keyword :: keyword()) :: StreamData.t(DeviceConnectedEvent.t())
+  def device_connected_event(params \\ []) do
+    params gen all device_ip_address <- device_ip_address(),
+                   params: params do
+      %DeviceConnectedEvent{
+        device_ip_address: device_ip_address
+      }
+    end
+  end
+
+  @doc """
+  Convert this struct/stream to changes
+  """
+  @spec to_changes(DeviceConnectedEvent.t()) :: StreamData.t(map())
+  def to_changes(data) when not is_struct(data, StreamData),
+    do: data |> constant() |> to_changes()
+
+  @spec to_changes(StreamData.t(DeviceConnectedEvent.t())) :: StreamData.t(map())
+  def to_changes(gen) do
+    gen all %DeviceConnectedEvent{
+              device_ip_address: device_ip_address
+            } <- gen do
+      %{
+        device_ip_address: device_ip_address
+      }
+      |> MapUtilities.clean()
+    end
+  end
+
+  defp device_ip_address,
+    do:
+      IpGenerator.ip(:ipv4)
+      |> map(&Tuple.to_list/1)
+      |> map(&Enum.join(&1, "."))
+end

test/astarte/core/generators/triggers/simple_events/device_connected_event_test.exs

@@ -0,0 +1,68 @@
+#
+# This file is part of Astarte.
+#
+# Copyright 2025 SECO Mind Srl
+#
+# 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.
+#
+
+defmodule Astarte.Core.Generators.Triggers.SimpleEvents.DeviceConnectedEventTest do
+  use ExUnit.Case, async: true
+  use ExUnitProperties
+
+  alias Astarte.Core.Triggers.SimpleEvents.DeviceConnectedEvent
+
+  alias Astarte.Core.Generators.Triggers.SimpleEvents.DeviceConnectedEvent,
+    as: DeviceConnectedEventGenerator
+
+  @moduletag :trigger
+  @moduletag :simple_event
+  @moduletag :device_connected_event
+
+  @doc false
+  describe "triggers device_connected_event generator" do
+    @describetag :success
+    @describetag :ut
+    property "generates valid device_connected_event" do
+      check all device_connected_event <- DeviceConnectedEventGenerator.device_connected_event() do
+        assert %DeviceConnectedEvent{} = device_connected_event
+      end
+    end
+
+    property "device_connected_event generates valid ip address ipv4" do
+      check all %DeviceConnectedEvent{
+                  device_ip_address: device_ip_address
+                } <- DeviceConnectedEventGenerator.device_connected_event(),
+                ipv4_address = String.to_charlist(device_ip_address) do
+        assert {:ok, _} = :inet.parse_ipv4_address(ipv4_address)
+      end
+    end
+
+    property "generates valid changes using to_changes (gen)" do
+      gen_device_connected_event_changes =
+        DeviceConnectedEventGenerator.device_connected_event()
+        |> DeviceConnectedEventGenerator.to_changes()
+
+      check all changes <- gen_device_connected_event_changes do
+        assert is_map(changes)
+      end
+    end
+
+    property "generates valid changes using to_changes (struct)" do
+      check all device_connected_event <- DeviceConnectedEventGenerator.device_connected_event(),
+                changes <- DeviceConnectedEventGenerator.to_changes(device_connected_event) do
+        assert is_map(changes)
+      end
+    end
+  end
+end