@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/classes/mapConstraints1.txt

@@ -0,0 +1,495 @@
+===
+classes/mapConstraints1.pkl
+===
+
+import "pkl:test"
+
+class Numbers {
+  xs: Map<String, Int>
+  ys: Map<String(!isEmpty), Int(this < 0)>
+  zs: Map<String(!isEmpty), Int(this < 0)>(length >= 5)
+}
+
+class Numbers2 {
+  ys: Map(every((key, value) -> key is String(!isEmpty) && value is Int(this < 0)))
+}
+
+res1 = new Numbers {
+  xs = Map("one", 1, "two", 2, "three", 3)
+  ys = Map("-one", -1, "-two", -2, "-three", -3)
+  zs = Map("-one", -1, "-two", -2, "-three", -3, "-four", -4, "-five", -5)
+}
+
+res1b = new Numbers2 {
+  ys = Map("-one", -1, "-two", -2, "-three", -3)
+}
+
+res2 = test.catch(() ->
+  new Numbers {
+    xs = "numbers"
+  }.xs
+)
+
+res3 = test.catch(() ->
+  new Numbers {
+    xs = Map("one", "one")
+  }.xs
+)
+
+res4 = test.catch(() ->
+  new Numbers {
+    xs = Map(1, 1)
+  }.xs
+)
+
+res5 = test.catch(() ->
+  new Numbers {
+    ys = Map("one", 1, "two", 2, "three", 3)
+  }.ys
+)
+
+res5b = test.catch(() ->
+  new Numbers2 {
+    ys = Map("one", 1, "two", 2, "three", 3)
+  }.ys
+)
+
+res6 = test.catch(() ->
+  new Numbers {
+    ys = Map("", -1, "-two", -2, "-three", -3)
+  }.ys
+)
+
+res6b = test.catch(() ->
+  new Numbers2 {
+    ys = Map("", -1, "-two", -2, "-three", -3)
+  }.ys
+)
+
+res7 = test.catch(() ->
+  new Numbers {
+    zs = Map("-one", -1, "-two", -2, "-three", -3)
+  }.zs
+)
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (logicalNotExpr
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (comparisonExpr
+                  (thisExpr)
+                  (intLiteralExpr)))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (constrainedType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (logicalNotExpr
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (constrainedType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (comparisonExpr
+                    (thisExpr)
+                    (intLiteralExpr)))))
+            (comparisonExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr)))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList
+                    (typedIdentifier
+                      (identifier))
+                    (typedIdentifier
+                      (identifier)))
+                  (logicalAndExpr
+                    (typeTestExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (constrainedType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (logicalNotExpr
+                          (unqualifiedAccessExpr
+                            (identifier)))))
+                    (typeTestExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (constrainedType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (comparisonExpr
+                          (thisExpr)
+                          (intLiteralExpr)))))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr))))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr)))))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unaryMinusExpr
+                (intLiteralExpr))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart)))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr)
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr)))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr)
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr)))))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr))
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (unaryMinusExpr
+                        (intLiteralExpr)))))))
+            (identifier)))))))

package/test/corpus/snippetTests/classes/nullableTypes.txt

@@ -0,0 +1,187 @@
+===
+classes/nullableTypes.pkl
+===
+
+import "pkl:test"
+
+class X {
+  a: String?
+  b: List<String?>
+  c: List<String>?
+  d: List<String?>?
+}
+
+res1 = new X {
+  a = "a"
+  b = List("b")
+  c = List("c")
+  d = List("d")
+}
+
+res2 = new X {
+  a = null
+  b = List(null)
+  c = null
+  d = List(null)
+}
+
+res3 = test.catch(() ->
+  new X {
+    b = null
+  }.b
+)
+
+res4 = test.catch(() ->
+  new X {
+    c = List(null)
+  }.c
+)
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (nullableType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (nullableType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (nullableType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (nullableType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier))
+              (typeArgumentList
+                (nullableType
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart)))))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (nullLiteralExpr))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (nullLiteralExpr))))
+        (objectProperty
+          (identifier)
+          (nullLiteralExpr))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (nullLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (nullLiteralExpr))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (nullLiteralExpr))))))
+            (identifier)))))))