From 4c0a26032280424c48ba364ea1f738b164cb064c Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 10 Dec 2024 23:37:02 +0000
Subject: Require consistency in positionality of struct fields

---
 .../parser/ParserStructDefinitionTests.java        | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java b/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
index 4f0698ad..f3538ecf 100644
--- a/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/parser/ParserStructDefinitionTests.java
@@ -1,8 +1,10 @@
 package org.shedlang.compiler.parser;
 
 import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.parser.errors.InconsistentStructFieldsError;
 import org.shedlang.compiler.types.Visibility;
 
+import static org.junit.jupiter.api.Assertions.assertThrows;
 import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.*;
 import static org.shedlang.compiler.parser.ParserTesting.parseString;
 import static org.zwobble.precisely.AssertThat.assertThat;
@@ -75,6 +77,43 @@ public class ParserStructDefinitionTests {
         );
     }
 
+    @Test
+    public void canParseStructWithPositionalFieldFollowedByNonPositionalFields() {
+        var source = """
+            struct X(name: String, accessLevel: AccessLevel) {}
+        """;
+
+        var node = parseString(source, Parser::parseNamespaceStatement);
+
+        assertThat(
+            node,
+            isUntypedStructDefinitionNode()
+                .withName("X")
+                .withFields(isSequence(
+                    isUntypedStructFieldDefinitionNode()
+                        .withName("name")
+                        .withType(isUntypedTypeLevelReferenceNode("String"))
+                        .withIsPositional(true),
+                    isUntypedStructFieldDefinitionNode()
+                        .withName("accessLevel")
+                        .withType(isUntypedTypeLevelReferenceNode("AccessLevel"))
+                        .withIsPositional(true)
+                ))
+        );
+    }
+
+    @Test
+    public void mixOfPositionalAndNonPositionalFieldsIsNotAllowed() {
+        var source = """
+            struct X(name: String, .accessLevel: AccessLevel) {}
+        """;
+
+        assertThrows(
+            InconsistentStructFieldsError.class,
+            () -> parseString(source, Parser::parseNamespaceStatement)
+        );
+    }
+
     @Test
     public void defaultVisibilityIsPrivate() {
         var source = "struct X() {}";
-- 
cgit v1.2.3