From c6005eba5727e711516ccc17fa64cf153a602260 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Mon, 3 Mar 2025 18:40:55 +0000 Subject: Compile typed native type declaration node into Shid --- .../ShidCodeGenNativeTypeDeclarationTests.java | 33 ++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java new file mode 100644 index 00000000..6a4070c5 --- /dev/null +++ b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java @@ -0,0 +1,33 @@ +package org.shedlang.compiler.shid; + +import org.junit.jupiter.api.Test; +import org.shedlang.compiler.ast.typed.TypedNativeTypeDeclarationNode; +import org.shedlang.compiler.shid.instructions.ShidDeclareNativeType; +import org.shedlang.compiler.types.NamespaceName; +import org.shedlang.compiler.types.Types; + +import static org.shedlang.compiler.shid.instructions.ShidMatchers.isShidLocalStore; +import static org.zwobble.precisely.AssertThat.assertThat; +import static org.zwobble.precisely.Matchers.*; + +public class ShidCodeGenNativeTypeDeclarationTests { + @Test + public void nativeTypeDeclarationIsCompiledToDeclareNativeTypeInstruction() { + var nativeType = Types.nativeType(NamespaceName.of("Example", "Project"), "Array"); + var node = TypedNativeTypeDeclarationNode.builder() + .withType(nativeType) + .build(); + var context = ShidCodeGen.Context.EMPTY + .addShedVal("Array"); + + var result = ShidCodeGen.compileNamespaceStatement(node, context); + + assertThat(result.instructions(), isSequence( + instanceOf( + ShidDeclareNativeType.class, + has("type", x -> x.type(), equalTo(nativeType)) + ), + isShidLocalStore("Array__0") + )); + } +} -- cgit v1.2.3