@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,495 +0,0 @@
-===
-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

@@ -1,187 +0,0 @@
-===
-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)))))))