@apple/tree-sitter-pkl 0.19.0 → 0.21.0

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

@@ -1,312 +0,0 @@
-===
-classes/setConstraints1.pkl
-===
-
-import "pkl:test"
-
-class Numbers {
-  xs: Set<Int>
-  ys: Set<Int(this < 0)>
-  zs: Set<Int(this < 0)>(length >= 5)
-}
-
-class Numbers2 {
-  ys: Set(every((it) -> it is Int(this < 0)))
-}
-
-res1 = new Numbers {
-  xs = Set(1, 2, 3)
-  ys = Set(-1, -2, -3)
-  zs = Set(-1, -2, -3, -4, -5)
-}
-
-res1b = new Numbers2 {
-  ys = Set(-1, -2, -3)
-}
-
-res2 = test.catch(() ->
-  new Numbers {
-    xs = "one"
-  }.xs
-)
-
-res3 = test.catch(() ->
-  new Numbers {
-    xs = Set("one")
-  }.xs
-)
-
-res4 = test.catch(() ->
-  new Numbers {
-    ys = Set(1, 2, 3)
-  }.ys
-)
-
-res4b = test.catch(() ->
-  new Numbers2 {
-    ys = Set(1, 2, 3)
-  }.ys
-)
-
-res5 = test.catch(() ->
-  new Numbers {
-    zs = Set(-1, -2, -3)
-  }.zs
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (constrainedType
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))
-                (comparisonExpr
-                  (thisExpr)
-                  (intLiteralExpr)))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (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)))
-                  (typeTestExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (constrainedType
-                      (declaredType
-                        (qualifiedIdentifier
-                          (identifier)))
-                      (comparisonExpr
-                        (thisExpr)
-                        (intLiteralExpr))))))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (intLiteralExpr)
-              (intLiteralExpr)
-              (intLiteralExpr))))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr)))))
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unqualifiedAccessExpr
-            (identifier)
-            (argumentList
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (unaryMinusExpr
-                (intLiteralExpr))
-              (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)))))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (intLiteralExpr)
-                      (intLiteralExpr)
-                      (intLiteralExpr))))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (intLiteralExpr)
-                      (intLiteralExpr)
-                      (intLiteralExpr))))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (unaryMinusExpr
-                        (intLiteralExpr))
-                      (unaryMinusExpr
-                        (intLiteralExpr))
-                      (unaryMinusExpr
-                        (intLiteralExpr)))))))
-            (identifier)))))))

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

@@ -1,317 +0,0 @@
-===
-classes/supercalls.pkl
-===
-
-open class One {
-  prefix = ""
-  function say(msg) = prefix + msg
-  function sameMethod() = 1
-  sameProp = "a"
-}
-
-open class Two extends One {
-  pigeon = super.say("Pigeon")
-  function barnOwl() = super.say("Barn Owl")
-  function say2(msg) = super.say(msg) + super.say(msg)
-  function sameMethod() = 2 + super.sameMethod()
-  sameProp = super.sameProp + "b"
-}
-
-class Three extends Two {
-  pigeonBarnOwl = super.pigeon + super.barnOwl()
-  function barnOwlPigeon() = super.barnOwl() + super.pigeon
-  parrot = super.say("Parrot")
-  function sameMethod() = 3 + super.sameMethod()
-  sameProp = super.sameProp + "c"
-}
-
-local two = new Two {}
-local three = new Three {}
-
-res1 = two.pigeon
-res2 = two.barnOwl()
-res3 = two.say2("Parrot")
-
-res4 = three.pigeonBarnOwl
-res5 = three.barnOwlPigeon()
-res6 = three.parrot
-
-local two2 = new Two { prefix = "Oh " }
-local three2 = new Three { prefix = "Oh " }
-
-res7 = two2.pigeon
-res8 = two2.barnOwl()
-res9 = two2.say2("Parrot")
-
-res10 = three2.pigeonBarnOwl
-res11 = three2.barnOwlPigeon()
-res12 = three2.parrot
-res13 = three2.sameMethod()
-res14 = three2.sameProp
-
----
-
-(module
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (slStringLiteralExpr))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (additiveExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (clazz
-    (modifier)
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (superAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (superAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))))
-        (additiveExpr
-          (superAccessExpr
-            (identifier)
-            (argumentList
-              (unqualifiedAccessExpr
-                (identifier))))
-          (superAccessExpr
-            (identifier)
-            (argumentList
-              (unqualifiedAccessExpr
-                (identifier))))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (additiveExpr
-          (intLiteralExpr)
-          (superAccessExpr
-            (identifier)
-            (argumentList))))
-      (classProperty
-        (identifier)
-        (additiveExpr
-          (superAccessExpr
-            (identifier))
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (additiveExpr
-          (superAccessExpr
-            (identifier))
-          (superAccessExpr
-            (identifier)
-            (argumentList))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (additiveExpr
-          (superAccessExpr
-            (identifier)
-            (argumentList))
-          (superAccessExpr
-            (identifier))))
-      (classProperty
-        (identifier)
-        (superAccessExpr
-          (identifier)
-          (argumentList
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (additiveExpr
-          (intLiteralExpr)
-          (superAccessExpr
-            (identifier)
-            (argumentList))))
-      (classProperty
-        (identifier)
-        (additiveExpr
-          (superAccessExpr
-            (identifier))
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (slStringLiteralExpr
-          (slStringLiteralPart)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList)))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier))))