From 784de38fe0e07d827d6abf3f85ca34f441768a1c Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 5 Jan 2024 21:05:07 +0000
Subject: Add commonSubtype()

---
 .../compiler/types/CommonSubtypeTests.java         | 52 ++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/types/CommonSubtypeTests.java

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/types/CommonSubtypeTests.java b/src/test/java/org/shedlang/compiler/types/CommonSubtypeTests.java
new file mode 100644
index 00000000..9095ca07
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/types/CommonSubtypeTests.java
@@ -0,0 +1,52 @@
+package org.shedlang.compiler.types;
+
+import org.junit.jupiter.api.Test;
+
+import java.util.List;
+
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class CommonSubtypeTests {
+    @Test
+    public void commonSubtypeOfNoTypesIsTop() {
+        var result = Types.commonSubtype(List.of());
+
+        assertThat(result, equalTo(Types.TOP));
+    }
+
+    @Test
+    public void commonSubtypeOfSingleTypeIsThatType() {
+        var result = Types.commonSubtype(List.of(Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSubtypeOfRepeatedTypeIsThatType() {
+        var result = Types.commonSubtype(List.of(Types.INT, Types.INT, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSubtypeOfUnrelatedTypesIsBottom() {
+        var result = Types.commonSubtype(List.of(Types.INT, Types.STRING));
+
+        assertThat(result, equalTo(Types.BOTTOM));
+    }
+
+    @Test
+    public void commonSubtypeOfTopAndOtherTypeIsOtherType() {
+        var result = Types.commonSubtype(List.of(Types.TOP, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSubtypeOfOtherTypeAndTopIsOtherType() {
+        var result = Types.commonSubtype(List.of(Types.INT, Types.TOP));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+}
-- 
cgit v1.2.3