From 04204c8c4fb943b98409678bc47b924629bc6b1b Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 23 Dec 2023 22:40:47 +0000 Subject: Add ConstructedType --- .../compiler/types/ConstructedTypeTests.java | 32 ++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java b/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java new file mode 100644 index 00000000..9b875dce --- /dev/null +++ b/src/test/java/org/shedlang/compiler/types/ConstructedTypeTests.java @@ -0,0 +1,32 @@ +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 ConstructedTypeTests { + @Test + public void descriptionIsNameOfTypePlusArgsInSquareBrackets() { + var structType = new StructType( + NamespaceName.of("Example", "Project"), + "Map" + ); + var constructedType = new ConstructedType<>( + new TypeConstructor<>( + List.of( + TypeParam.forStructType(structType, "K"), + TypeParam.forStructType(structType, "V") + ), + structType + ), + List.of(Types.BOOL, Types.INT) + ); + + var result = constructedType.describe(); + + assertThat(result, equalTo("Map[Bool, Int]")); + } +} -- cgit v1.2.3