From 84ba9ce1f41dbd5ed3135ac8d808ee0c8c5b3996 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 31 Dec 2023 11:37:03 +0000
Subject: Add tests for common supertypes

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

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.java b/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.java
new file mode 100644
index 00000000..c407408a
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.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 CommonSupertypeTests {
+    @Test
+    public void commonSupertypeOfNoTypesIsBottom() {
+        var result = Types.commonSupertype(List.of());
+
+        assertThat(result, equalTo(Types.BOTTOM));
+    }
+
+    @Test
+    public void commonSupertypeOfSingleTypeIsThatType() {
+        var result = Types.commonSupertype(List.of(Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfRepeatedTypeIsThatType() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.INT, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfUnrelatedTypesIsTop() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.STRING));
+
+        assertThat(result, equalTo(Types.TOP));
+    }
+
+    @Test
+    public void commonSupertypeOfBottomAndOtherTypeIsOtherType() {
+        var result = Types.commonSupertype(List.of(Types.BOTTOM, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfOtherTypeAndBottomIsOtherType() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.BOTTOM));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+}
-- 
cgit v1.2.3