Add test to ensure no duplicated DeviceType keys

app/src/test/java/nodomain/freeyourgadget/gadgetbridge/model/DeviceTypeTest.java

@@ -0,0 +1,40 @@
+/*  Copyright (C) 2023 José Rebelo
+
+    This file is part of Gadgetbridge.
+
+    Gadgetbridge is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Affero General Public License as published
+    by the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    Gadgetbridge is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Affero General Public License for more details.
+
+    You should have received a copy of the GNU Affero General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
+package nodomain.freeyourgadget.gadgetbridge.model;
+
+import org.junit.Assert;
+import org.junit.Test;
+
+import java.util.Arrays;
+import java.util.HashSet;
+import java.util.List;
+import java.util.Set;
+import java.util.stream.Collectors;
+
+public class DeviceTypeTest {
+    @Test
+    public void ensureNoDuplicateKeys() {
+        final Set<Integer> knownKeys = new HashSet<>();
+
+        final List<Integer> duplicateKeys = Arrays.stream(DeviceType.values())
+                .map(DeviceType::getKey)
+                .filter(k -> !knownKeys.add(k))
+                .collect(Collectors.toList());
+
+        Assert.assertTrue("There are duplicated device keys: " + duplicateKeys, duplicateKeys.isEmpty());
+    }
+}