From 4b88193205d2b681cb77b136ec3b858b58b42ede Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 16 Jul 2023 11:42:49 +0100 Subject: Add basic test for TypeCheckerContext::define() --- .../typechecker/TypeCheckerContextTests.java | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java new file mode 100644 index 00000000..650f23d5 --- /dev/null +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java @@ -0,0 +1,28 @@ +package org.shedlang.compiler.typechecker; + +import org.junit.jupiter.api.Test; +import org.shedlang.compiler.sources.Sources; +import org.shedlang.compiler.types.Types; +import org.shedlang.compiler.util.P; + +import java.util.Map; + +import static org.zwobble.precisely.AssertThat.assertThat; +import static org.zwobble.precisely.Matchers.equalTo; +import static org.zwobble.precisely.Matchers.isOptionalOf; + +public class TypeCheckerContextTests { + @Test + public void givenVariableIsUndefinedWhenVariableIsDefinedThenVariableHasTypeSet() { + var context = TypeCheckerContext.EMPTY + .enterNamespace(P.map( + Map.entry("x", TypeCheckerContext.undefined()), + Map.entry("y", TypeCheckerContext.undefined()) + )); + + context = context.define("x", Types.STRING, Sources.NULL); + var result = context.runtimeLookup("x"); + + assertThat(result.value(), isOptionalOf(equalTo(TypeCheckerContext.defined(Types.STRING)))); + } +} -- cgit v1.2.3