From ecbe7b4a85c23ba0520d5ff6e2682efd889848e9 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 16 Jul 2023 18:01:21 +0100 Subject: Check that the variable is not already defined --- .../compiler/typechecker/TypeCheckerContextTests.java | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (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 index f8529083..2be22340 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerContextTests.java @@ -3,6 +3,7 @@ package org.shedlang.compiler.typechecker; import org.junit.jupiter.api.Test; import org.shedlang.compiler.sources.Sources; import org.shedlang.compiler.typechecker.errors.UnknownVariableError; +import org.shedlang.compiler.typechecker.errors.VariableIsAlreadyDefinedError; import org.shedlang.compiler.types.Types; import org.shedlang.compiler.util.P; @@ -42,4 +43,19 @@ public class TypeCheckerContextTests { assertThat(error.variableName(), equalTo("x")); } + + @Test + public void givenVariableIsDefinedWhenVariableIsDefinedThenErrorIsThrown() { + var context = TypeCheckerContext.EMPTY + .enterNamespace(P.map( + Map.entry("x", TypeCheckerContext.defined(Types.STRING)) + )); + + var error = assertThrows( + VariableIsAlreadyDefinedError.class, + () -> context.define("x", Types.STRING, Sources.NULL) + ); + + assertThat(error.variableName(), equalTo("x")); + } } -- cgit v1.2.3