@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,65 +0,0 @@
-===
-classes/class3.pkl
-===
-
-class Person {
-  name: String
-  age: Int
-  friends: List<Person>
-  address: String
-}
-
-person = new Person {
-  name = "Pigeon"
-  address_ = "Howdy St."
-}
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))
-            (typeArgumentList
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart)))))))

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

@@ -1,58 +0,0 @@
-===
-classes/class4.pkl
-===
-
-import "pkl:test"
-
-class Person {
-  foo = 1
-  function bar() = 2
-}
-
-res1 = test.catch(() -> Person.foo)
-res2 = test.catch(() -> Person.bar())
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (intLiteralExpr))
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList))
-        (intLiteralExpr))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (identifier)
-            (argumentList)))))))

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

@@ -1,141 +0,0 @@
-===
-classes/constraints1.pkl
-===
-
-import "pkl:test"
-
-class Person {
-  name: String(length.isBetween(10, 20))
-}
-
-class Person2 {
-  alternativeNames: Listing<String>(!isEmpty)
-}
-
-res1 = new Person {
-  name = "Linda Forth"
-}
-
-res2 = test.catch(() ->
-  new Person {
-    name = "Pigeon"
-  }.name
-)
-
-res3: Person2 = new {
-  alternativeNames = new {
-    "Parrot"
-  }
-}
-
-res4 = test.catch(() ->
-  new Person2 {
-    alternativeNames {}
-  }.alternativeNames
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList
-                (intLiteralExpr)
-                (intLiteralExpr))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier)))))
-            (logicalNotExpr
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (slStringLiteralExpr
-                    (slStringLiteralPart)))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (typeAnnotation
-      (declaredType
-        (qualifiedIdentifier
-          (identifier))))
-    (newExpr
-      (objectBody
-        (objectProperty
-          (identifier)
-          (newExpr
-            (objectBody
-              (objectElement
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (objectBody))))
-            (identifier)))))))

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

@@ -1,201 +0,0 @@
-===
-classes/constraints11.pkl
-===
-
-import "pkl:test"
-
-abstract class Base {
-  x: Int = 1
-  y: Int(this > x) = 2
-  yy: Int(isValid1) = 2
-  yyy: Int(isValid2) = 2
-
-  local isValid1 = (n) -> n > x
-  hidden isValid2 = (n) -> n > x
-}
-
-class Derived extends Base
-
-res1 = new Derived {}
-
-res2 = (res1) {
-  y = 3
-  yy = 3
-  yyy = 3
-}
-
-res3 = (res2) {
-  x = 2
-}
-
-res4 = test.catch(() -> (res3) { y = 0 }.y)
-res5 = test.catch(() -> (res3) { yy = 0 }.yy)
-res6 = test.catch(() -> (res3) { yyy = 0 }.yyy)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (thisExpr)
-              (unqualifiedAccessExpr
-                (identifier)))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (modifier)
-        (identifier)
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)))
-          (comparisonExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (unqualifiedAccessExpr
-              (identifier)))))
-      (classProperty
-        (modifier)
-        (identifier)
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)))
-          (comparisonExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (unqualifiedAccessExpr
-              (identifier)))))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier)))))))

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

@@ -1,204 +0,0 @@
-===
-classes/constraints12.pkl
-===
-
-import "pkl:test"
-
-abstract class Base {
-  x: Int = 1
-}
-
-class Derived extends Base {
-  y: Int(this > super.x) = 2
-
-  yy: Int(isValid1) = 2
-  yyy: Int(isValid2) = 2
-
-  local isValid1 = (n) -> n > x
-  hidden isValid2 = (n) -> n > x
-}
-
-res1 = new Derived {}
-
-res2 = (res1) {
-  y = 3
-  yy = 3
-  yyy = 3
-}
-
-res3 = (res2) {
-  x = 2
-}
-
-res4 = test.catch(() -> (res3) { y = 0 }.y)
-res5 = test.catch(() -> (res3) { yy = 0 }.yy)
-res6 = test.catch(() -> (res3) { yyy = 0 }.yyy)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (modifier)
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier))))
-        (intLiteralExpr))))
-  (clazz
-    (identifier)      (classExtendsClause
-      (qualifiedIdentifier
-        (identifier)))
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (thisExpr)
-              (superAccessExpr
-                (identifier)))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier))))
-        (intLiteralExpr))
-      (classProperty
-        (modifier)
-        (identifier)
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)))
-          (comparisonExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (unqualifiedAccessExpr
-              (identifier)))))
-      (classProperty
-        (modifier)
-        (identifier)
-        (functionLiteralExpr
-          (parameterList
-            (typedIdentifier
-              (identifier)))
-          (comparisonExpr
-            (unqualifiedAccessExpr
-              (identifier))
-            (unqualifiedAccessExpr
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody)))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (unqualifiedAccessExpr
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (amendExpr
-              (parenthesizedExpr
-                (unqualifiedAccessExpr
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier)))))))