@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/generators/predicateMembersMapping.txt

@@ -0,0 +1,474 @@
+===
+generators/predicateMembersMapping.pkl
+===
+
+import "pkl:test"
+
+hidden people = new Mapping {
+  ["Pigeon"] { name = "Pigeon"; age = 42 }
+  ["Barn Owl"] { name = "Barn Owl"; age = 21 }
+  ["Parrot"] { name = "Parrot"; age = 33 }
+}
+
+res1 = (people) {
+  [[name == "Barn Owl"]] {
+    age = 99
+  }
+}
+
+res2 = (people) {
+  [[name.contains("w") || name.contains("e")]] {
+    age = 99
+  }
+}
+
+res3 = (people) {
+  [[true]] {
+    age = 99
+  }
+}
+
+res4 = (people) {
+  [[false]] {
+    age = 99
+  }
+}
+
+res5 = new {
+  barnOwl = "Barn Owl"
+  new {
+    result = (people) {
+      [[name == barnOwl]] {
+        age = 99
+      }
+    }
+  }
+}
+
+res6 = (people) {
+  [[(people) { [[name == "Barn Owl"]] { age = 99 } }.toMap().values.find((it) -> it.age == 99).name == name]] {
+    age = 55
+  }
+}
+
+res7 = (people) {
+  ["Albatross"] = new { name = "Albatross"; age = 4 }
+  [[name == "Albatross"]] { age = 9 }
+}
+
+res8 = (people) {
+  [[name == "Albatross"]] { age = 9 }
+  ["Albatross"] = new { name = "Albatross"; age = 4 }
+}
+
+res9 = test.catch(() -> (people) {
+  ["Pigeon"] { age = 4 }
+  [[name == "Pigeon"]] { age = 9 }
+})
+
+res10 = test.catch(() -> (people) {
+  [[name.startsWith("P")]] { age = 4 }
+  [[name == "Pigeon"]] { age = 9 }
+})
+
+res11 = (people) {
+  for (_name in List("Pigeon", "Parrot")) {
+    [[name == _name]] { age = 99 }
+  }
+}
+
+res12 = (people) {
+  when (10.isOdd) {
+    [[name == "Pigeon"]] { age = 99 }
+  }
+
+  when (10.isEven) {
+    [[name == "Pigeon"]] { age = 122 }
+  }
+}
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))
+            (objectProperty
+              (identifier)
+              (intLiteralExpr))))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))
+            (objectProperty
+              (identifier)
+              (intLiteralExpr))))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (equalityExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (logicalOrExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart))))
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (trueLiteralExpr)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (falseLiteralExpr)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectElement
+          (newExpr
+            (objectBody
+              (objectProperty
+                (identifier)
+                (amendExpr
+                  (parenthesizedExpr
+                    (unqualifiedAccessExpr
+                      (identifier)))
+                  (objectBody
+                    (memberPredicate
+                      (equalityExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (unqualifiedAccessExpr
+                          (identifier)))
+                      (objectBody
+                        (objectProperty
+                          (identifier)
+                          (intLiteralExpr)))))))))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (equalityExpr
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (qualifiedAccessExpr
+                    (amendExpr
+                      (parenthesizedExpr
+                        (unqualifiedAccessExpr
+                          (identifier)))
+                      (objectBody
+                        (memberPredicate
+                          (equalityExpr
+                            (unqualifiedAccessExpr
+                              (identifier))
+                            (slStringLiteralExpr
+                              (slStringLiteralPart)))
+                          (objectBody
+                            (objectProperty
+                              (identifier)
+                              (intLiteralExpr))))))
+                    (identifier)
+                    (argumentList))
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (functionLiteralExpr
+                    (parameterList
+                      (typedIdentifier
+                        (identifier)))
+                    (equalityExpr
+                      (qualifiedAccessExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (identifier))
+                      (intLiteralExpr)))))
+              (identifier))
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (newExpr
+            (objectBody
+              (objectProperty
+                (identifier)
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))
+              (objectProperty
+                (identifier)
+                (intLiteralExpr)))))
+        (memberPredicate
+          (equalityExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (equalityExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr))))
+        (objectEntry
+          (slStringLiteralExpr
+            (slStringLiteralPart))
+          (newExpr
+            (objectBody
+              (objectProperty
+                (identifier)
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))
+              (objectProperty
+                (identifier)
+                (intLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (intLiteralExpr))))
+              (memberPredicate
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (intLiteralExpr))))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)))
+            (objectBody
+              (memberPredicate
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (identifier)
+                  (argumentList
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (intLiteralExpr))))
+              (memberPredicate
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (intLiteralExpr))))))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (forGenerator
+          (typedIdentifier
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectBody
+            (memberPredicate
+              (equalityExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr)))))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (qualifiedAccessExpr
+            (intLiteralExpr)
+            (identifier))
+          (objectBody
+            (memberPredicate
+              (equalityExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr))))))
+        (whenGenerator
+          (qualifiedAccessExpr
+            (intLiteralExpr)
+            (identifier))
+          (objectBody
+            (memberPredicate
+              (equalityExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr))))))))))

package/test/corpus/snippetTests/generators/predicateMembersThis.txt

@@ -0,0 +1,82 @@
+===
+generators/predicateMembersThis.pkl
+===
+
+hidden pigeon = new { name = "Pigeon" }
+hidden barnOwl = new { name = "Barn Owl" }
+hidden people = new {
+  pigeon
+  barnOwl
+}
+
+res1 = (people) {
+  [[this == pigeon && (() -> this).apply() == pigeon && (let (x = this) x) == pigeon]] = 99
+}
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectElement
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectElement
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (memberPredicate
+          (logicalAndExpr
+            (logicalAndExpr
+              (equalityExpr
+                (thisExpr)
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (equalityExpr
+                (qualifiedAccessExpr
+                  (parenthesizedExpr
+                    (functionLiteralExpr
+                      (parameterList)
+                      (thisExpr)))
+                  (identifier)
+                  (argumentList))
+                (unqualifiedAccessExpr
+                  (identifier))))
+            (equalityExpr
+              (parenthesizedExpr
+                (letExpr
+                  (typedIdentifier
+                    (identifier))
+                  (thisExpr)
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (intLiteralExpr))))))

package/test/corpus/snippetTests/generators/propertyGenerators.txt

@@ -0,0 +1,104 @@
+===
+generators/propertyGenerators.pkl
+===
+
+
+res1 {
+  x = "x"
+  when (1 + 1 == 2) { foo = "foo" }
+  when (1 + 1 == 3) { bar = "bar" }
+  y = "y"
+}
+
+class Person {
+  name: String = "Name"
+  age: Int = 21
+}
+
+res2 = new Person {
+  when (1 + 1 == 2) { name = "Pigeon" }
+  when (1 + 1 == 3) { age = 42 }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (whenGenerator
+        (equalityExpr
+          (additiveExpr
+            (intLiteralExpr)
+            (intLiteralExpr))
+          (intLiteralExpr))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (whenGenerator
+        (equalityExpr
+          (additiveExpr
+            (intLiteralExpr)
+            (intLiteralExpr))
+          (intLiteralExpr))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (objectProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (whenGenerator
+          (equalityExpr
+            (additiveExpr
+              (intLiteralExpr)
+              (intLiteralExpr))
+            (intLiteralExpr))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))
+        (whenGenerator
+          (equalityExpr
+            (additiveExpr
+              (intLiteralExpr)
+              (intLiteralExpr))
+            (intLiteralExpr))
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr))))))))