Sort enum arrays for deterministic JSON

SoarGroup · Jan 9, 2025 · 764fcbd · 764fcbd
1 parent 8ee94e8
commit 764fcbd
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/main/java/edu/umich/soar/visualsoar/files/datamapjson/Vertex.java b/src/main/java/edu/umich/soar/visualsoar/files/datamapjson/Vertex.java
@@ -3,6 +3,7 @@
 import com.fasterxml.jackson.databind.annotation.JsonDeserialize;
 import com.fasterxml.jackson.databind.annotation.JsonPOJOBuilder;
 
+import java.util.Arrays;
 import java.util.Objects;
 
 @JsonDeserialize(builder = Vertex.Builder.class)
@@ -43,7 +44,12 @@ enum VertexType {
     this.comment = comment;
     this.foreignDMPath = foreignDMPath;
     this.foreignVertex = foreignVertex;
-    this.enumChoices = enumChoices;
+    if (enumChoices != null) {
+      this.enumChoices = Arrays.copyOf(enumChoices, enumChoices.length);
+      Arrays.sort(this.enumChoices);
+    } else {
+      this.enumChoices = null;
+    }
     this.min = min;
     this.max = max;