Test message of UnknownNamespaceError

1 files changed, 19 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceErrorTests.java b/src/test/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceErrorTests.java
new file mode 100644
index 00000000..0da7dab2
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/typechecker/errors/UnknownNamespaceErrorTests.java
@@ -0,0 +1,19 @@
+package org.shedlang.compiler.typechecker.errors;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.sources.Sources;
+import org.shedlang.compiler.types.NamespaceName;
+
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class UnknownNamespaceErrorTests {
+    @Test
+    public void messageIncludesUnknownNamespaceName() {
+        var error = new UnknownNamespaceError(NamespaceName.of("A", "B"), Sources.NULL);
+
+        var message = error.getMessage();
+
+        assertThat(message, equalTo("Unknown namespace: A/B"));
+    }
+}