From 9716e0f30b5db95b0fa7ca54908ec5fbf9f1e088 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Tue, 16 Jun 2026 21:36:49 +0100 Subject: Implement full namespace name resolution --- .../typechecker/NamespaceNameResolutionTests.java | 45 ++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 src/test/java/org/zwobble/hobgoblin/compiler/typechecker/NamespaceNameResolutionTests.java (limited to 'src/test/java/org/zwobble') diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/NamespaceNameResolutionTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/NamespaceNameResolutionTests.java new file mode 100644 index 0000000..7929e7d --- /dev/null +++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/NamespaceNameResolutionTests.java @@ -0,0 +1,45 @@ +package org.zwobble.hobgoblin.compiler.typechecker; + +import org.junit.jupiter.api.Test; +import org.zwobble.hobgoblin.compiler.types.NamespaceName; + +import java.util.Optional; + +import static org.zwobble.hobgoblin.compiler.typechecker.NamespaceNameResolution.resolveNamespaceName; +import static org.zwobble.precisely.AssertThat.assertThat; +import static org.zwobble.precisely.Matchers.equalTo; + +public class NamespaceNameResolutionTests { + @Test + public void whenAncestorDepthIsEmptyThenImportedNamespaceIsUsedAsAbsoluteName() { + var current = NamespaceName.of("a", "b"); + var importedAncestorDepth = Optional.empty(); + var importedNamespaceName = NamespaceName.of("x", "y"); + + var result = resolveNamespaceName(current, importedAncestorDepth, importedNamespaceName); + + assertThat(result, equalTo(NamespaceName.of("x", "y"))); + } + + @Test + public void whenAncestorDepthIsZeroThenImportedNamespaceIsJoinedToCurrentNamespace() { + var current = NamespaceName.of("a", "b"); + var importedAncestorDepth = Optional.of(0); + var importedNamespaceName = NamespaceName.of("x", "y"); + + var result = resolveNamespaceName(current, importedAncestorDepth, importedNamespaceName); + + assertThat(result, equalTo(NamespaceName.of("a", "b", "x", "y"))); + } + + @Test + public void whenAncestorDepthIsGreaterThanZeroThenThatManyPartsAreStrippedOffCurrentNamespaceBeforeJoining() { + var current = NamespaceName.of("a", "b", "c"); + var importedAncestorDepth = Optional.of(2); + var importedNamespaceName = NamespaceName.of("x", "y"); + + var result = resolveNamespaceName(current, importedAncestorDepth, importedNamespaceName); + + assertThat(result, equalTo(NamespaceName.of("a", "x", "y"))); + } +} -- cgit v1.2.3