@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

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

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