@apple/tree-sitter-pkl 0.16.0 → 0.18.0

package/test/corpus/snippetTests/mappings2/wrongParent.txt

@@ -0,0 +1,334 @@
+===
+mappings2/wrongParent.pkl
+===
+
+import "pkl:test"
+
+class Person {}
+
+res1 = test.catch(() -> (5) { when (false) { [0] = 0 }; ["pigeon"] = true })
+res2 = test.catch(() -> new List { when (false) { [0] = 0 }; ["pigeon"] = true })
+res3 = test.catch(() -> (List()) { when (false) { [0] = 0 }; ["pigeon"] = true })
+res4 = test.catch(() -> new Person { when (false) { [0] = 0 }; ["pigeon"] = true })
+res5 = test.catch(() -> new ValueRenderer { when (false) { [0] = 0 }; ["pigeon"] = true })
+res6 = test.catch(() -> new Listing { when (false) { [0] = 0 }; [0] = true })
+
+res7 = test.catch(() -> (5) { when (false) { [0] = 0 }; ["fr" + "ed"] = true })
+res8 = test.catch(() -> new List { when (false) { [0] = 0 }; ["fr" + "ed"] = true })
+res9 = test.catch(() -> (List()) { when (false) { [0] = 0 }; ["fr" + "ed"] = true })
+res10 = test.catch(() -> new Person { when (false) { [0] = 0 }; ["fr" + "ed"] = true })
+res11 = test.catch(() -> new ValueRenderer { when (false) { [0] = 0 }; ["fr" + "ed"] = true })
+res12 = test.catch(() -> new Listing { when (false) { [0] = 0 }; [0 + 0] = true })
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (intLiteralExpr))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (slStringLiteralExpr
+                  (slStringLiteralPart))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (intLiteralExpr)
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (intLiteralExpr))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (amendExpr
+            (parenthesizedExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (trueLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (newExpr
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (objectBody
+              (whenGenerator
+                (falseLiteralExpr)
+                (objectBody
+                  (objectEntry
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (objectEntry
+                (additiveExpr
+                  (intLiteralExpr)
+                  (intLiteralExpr))
+                (trueLiteralExpr)))))))))

package/test/corpus/snippetTests/methods/methodParameterConstraints1.txt

@@ -0,0 +1,220 @@
+===
+methods/methodParameterConstraints1.pkl
+===
+
+class X {
+  function int(int: Int(isPositive)): Int(isPositive) = int
+  function l(l: List<String(!isEmpty)>): List<String(!isEmpty)> = l
+  function map(map: Map<String(!isEmpty), Int(isPositive)>(!isEmpty)): Map<String(!isEmpty), Int(isPositive)>(!isEmpty) = map
+  function nullable(nullable: String(!isEmpty)?): String(!isEmpty)? = nullable
+}
+
+local x = new X {}
+
+res0 = x.int(3)
+res1 = x.l(List("1", "2"))
+res2 = x.map(Map("1", 1, "2", 2))
+res3 = x.nullable("1")
+res4 = x.nullable(null)
+
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (constrainedType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (unqualifiedAccessExpr
+                    (identifier))))))
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)))))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (constrainedType
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (logicalNotExpr
+                        (unqualifiedAccessExpr
+                          (identifier)))))))))
+          (typeAnnotation
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (constrainedType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (logicalNotExpr
+                    (unqualifiedAccessExpr
+                      (identifier))))))))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (constrainedType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (constrainedType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (logicalNotExpr
+                          (unqualifiedAccessExpr
+                            (identifier))))
+                      (constrainedType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (unqualifiedAccessExpr
+                          (identifier)))))
+                  (logicalNotExpr
+                    (unqualifiedAccessExpr
+                      (identifier)))))))
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (logicalNotExpr
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (unqualifiedAccessExpr
+                      (identifier)))))
+              (logicalNotExpr
+                (unqualifiedAccessExpr
+                  (identifier))))))
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier)
+              (typeAnnotation
+                (nullableType
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (logicalNotExpr
+                      (unqualifiedAccessExpr
+                        (identifier))))))))
+          (typeAnnotation
+            (nullableType
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (logicalNotExpr
+                  (unqualifiedAccessExpr
+                    (identifier)))))))
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr)
+            (slStringLiteralExpr
+              (slStringLiteralPart))
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (nullLiteralExpr)))))