@apple/tree-sitter-pkl 0.17.0 → 0.18.1

package/test/corpus/snippetTests/basic/localTypedObjectMember.txt

@@ -0,0 +1,268 @@
+===
+basic/localTypedObjectMember.pkl
+===
+
+import "pkl:test"
+
+class Foo { x: Int }
+
+foo {
+  local p1: Int = 42
+  local p2: Int = "foo"
+  local p3: List<String> = List("foo", "bar")
+  local p4: List<String> = List("foo", 42)
+  local p6: Foo = new { x = 10 }
+
+  res1 = p1
+  res2 = test.catch(() -> p2)
+  res3 = p3
+  res4 = test.catch(() -> p4)
+  res6 = p6
+
+  local function f1(x: Int): Int = x
+  local function f2(x: Int): String = x
+  local function f3(x: List<String>): Int = x.length
+
+  res7 = f1(42)
+  res8 = test.catch(() -> f1("foo"))
+  res9 = test.catch(() -> f2(42))
+  res10 = f3(List("foo", "bar"))
+  res11 = test.catch(() -> f3(List("foo", 42)))
+}
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))))))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))))))
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr))))
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (newExpr
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (functionLiteralExpr
+              (parameterList)
+              (unqualifiedAccessExpr
+                (identifier))))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (functionLiteralExpr
+              (parameterList)
+              (unqualifiedAccessExpr
+                (identifier))))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (intLiteralExpr))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (functionLiteralExpr
+              (parameterList)
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (functionLiteralExpr
+              (parameterList)
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)))))))
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))
+      (objectProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)
+          (argumentList
+            (functionLiteralExpr
+              (parameterList)
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr))))))))))))

package/test/corpus/snippetTests/basic/map.txt

@@ -0,0 +1,398 @@
+===
+basic/map.pkl
+===
+
+amends "../snippetTest.pkl"
+
+local map1 = Map(1, 1, "two", 2, "three", 3)
+local map2 = Map(30, new Dynamic { name = "Pigeon" }, new Dynamic { name = "Pigeon" }, 30, 1, 1)
+
+facts {
+  ["equality"] {
+    map1 == map1
+    map1 == Map("three", 3, 1, 1, "two", 2)
+    !(map1 == map2)
+  }
+
+  ["inequality"] {
+    map1 != map2
+    !(map1 != map1)
+    !(map1 != Map("three", 3, 1, 1, "two", 2))
+  }
+}
+
+examples {
+  ["construction"] {
+    Map(1, 1, 2, 2, 1, 3, 2, 4)
+    Map(1, 1, 2, 2, 1, "three", 2, "four")
+  }
+
+  ["addition"] {
+    map1 + map1
+    map1 + Map("three", 3, 1, 1, "two", 2)
+    map1 + map2
+    Map() + Map()
+    map1 + Map()
+    Map() + map1
+    Map(1, 11) + Map(1, 1, 2, 2)
+    Map(1, 1, 2, 2) + Map(1, 11)
+  }
+
+  ["subscript"] {
+    map1[1]
+    map1["two"]
+    map1["three"]
+    map2[30]
+    map2[new Dynamic { name = "Pigeon" }]
+    map2[1]
+
+    local map3 = Map(1111, 1, "two", 2, "three", 3, "tree", 4)
+    module.catch(() -> map3["hree"])
+    module.catch(() -> map3["other"])
+    module.catch(() -> map3["1111"])
+    module.catch(() -> map3[11111])
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (newExpr
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))
+        (newExpr
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))
+        (intLiteralExpr)
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)))))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr)))
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr)))
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (subscriptExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr)))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr)
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (intLiteralExpr))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (intLiteralExpr)))))))))))

package/test/corpus/snippetTests/basic/minPklVersion.txt

@@ -0,0 +1,40 @@
+===
+basic/minPklVersion.pkl
+===
+
+examples {
+  ["minPklVersion check"] {
+    Class1 {}
+    Class2 {}
+  }
+}
+
+@ModuleInfo { minPklVersion = "0.8.0" }
+class Class1
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (objectBody))
+          (objectProperty
+            (identifier)
+            (objectBody))))))
+  (clazz
+    (annotation
+      (qualifiedIdentifier
+        (identifier))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))))
+    (identifier)))