@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,86 +0,0 @@
-===
-classes/constraints13.pkl
-===
-
-import "pkl:test"
-
-const local isOddLengthOfBirds = (it: Listing<Bird>) -> it.length.isOdd
-
-class Bird
-
-class MyTest {
-  birds: Listing(isOddLengthOfBirds) = new {
-    1
-    2
-    3
-  }
-}
-
-res = test.catch(() -> new MyTest {}.birds)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (modifier)
-    (modifier)
-    (identifier)
-    (functionLiteralExpr
-      (parameterList
-        (typedIdentifier
-          (identifier)
-          (typeAnnotation
-            (declaredType
-              (qualifiedIdentifier
-                (identifier))
-              (typeArgumentList
-                (declaredType
-                  (qualifiedIdentifier
-                    (identifier))))))))
-      (qualifiedAccessExpr
-        (qualifiedAccessExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (identifier))
-        (identifier))))
-  (clazz
-    (identifier))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (unqualifiedAccessExpr
-              (identifier))))
-        (newExpr
-          (objectBody
-            (objectElement
-              (intLiteralExpr))
-            (objectElement
-              (intLiteralExpr))
-            (objectElement
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody))
-            (identifier)))))))

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

@@ -1,39 +0,0 @@
-===
-classes/constraints14.pkl
-===
-
-amends ".../input-helper/classes/MyClass.pkl"
-
-myClass {
-  emails {
-    "foo@bar.com"
-  }
-}
-
-others {
-  import(".../input-helper/classes/myClass1.pkl")
-}
-
----
-
-(module
-  (moduleHeader
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectProperty
-        (identifier)
-        (objectBody
-          (objectElement
-            (slStringLiteralExpr
-              (slStringLiteralPart)))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectElement
-        (importExpr
-          (stringConstant
-            (slStringLiteralPart)))))))

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

@@ -1,69 +0,0 @@
-===
-classes/constraints2.pkl
-===
-
-import "pkl:test"
-
-class Person {
-  age: Int(this > 0)
-}
-
-res1 = new Person {
-  age = 30
-}
-
-res2 = test.catch(() ->
-  new Person {
-    age = -30
-  }.age
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (thisExpr)
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (unaryMinusExpr
-                    (intLiteralExpr)))))
-            (identifier)))))))

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

@@ -1,97 +0,0 @@
-===
-classes/constraints3.pkl
-===
-
-import "pkl:test"
-
-class Person {
-  address: Address(street.endsWith("St."))
-}
-
-class Address {
-  street: String
-}
-
-res1 = new Person {
-  address {
-    street = "Hampton St."
-  }
-}
-
-res2 = test.catch(() ->
-  new Person {
-    address {
-      street = "Garlic Blvd."
-    }
-  }.address
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (objectBody
-                    (objectProperty
-                      (identifier)
-                      (slStringLiteralExpr
-                        (slStringLiteralPart)))))))
-            (identifier)))))))

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

@@ -1,86 +0,0 @@
-===
-classes/constraints4.pkl
-===
-
-import "pkl:test"
-
-class Gauge {
-  min: Int
-  max: Int(this >= min)
-}
-
-res1 = new Gauge {
-  min = 4
-  max = 6
-}
-
-res2 = test.catch(() ->
-  new Gauge {
-    min = 4
-    max = 3
-  }.max
-)
-
-
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (thisExpr)
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))
-                (objectProperty
-                  (identifier)
-                  (intLiteralExpr))))
-            (identifier)))))))

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

@@ -1,71 +0,0 @@
-===
-classes/constraints5.pkl
-===
-
-class Gauge {
-  min: Int
-  max: Int(this >= min)
-}
-
-res1 = new Gauge {
-  min = 4
-  max = 6
-}
-
-res2 = new Gauge {
-  min = 4
-  max = 3
-}
-
-
-
-
----
-
-(module
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (thisExpr)
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))
-        (objectProperty
-          (identifier)
-          (intLiteralExpr))))))

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

@@ -1,85 +0,0 @@
-===
-classes/constraints6.pkl
-===
-
-import "pkl:test"
-
-class X {
-  y: Int(abs < 100)
-}
-
-res1 = new X {
-  y = 99
-}
-
-res2 = new X {
-  y = -99
-}
-
-res3 = test.catch(() ->
-  new X {
-    y = -100
-  }.y
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (clazz
-    (identifier)
-    (classBody
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (comparisonExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (intLiteralExpr)))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (unaryMinusExpr
-            (intLiteralExpr))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (unaryMinusExpr
-                    (intLiteralExpr)))))
-            (identifier)))))))

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

@@ -1,148 +0,0 @@
-===
-classes/constraints7.pkl
-===
-
-import "pkl:test"
-
-const function add(x, y) = x + y
-
-class X {
-  function subtract(x, y) = x - y
-  y: Y(multiply(subtract(add(5, 4), 3), 2) == z)
-}
-
-class Y {
-  function multiply(x, y) = x * y
-  z: Int
-}
-
-res1 = new X {
-  y {
-    z = 12
-  }
-}
-
-res2 = test.catch(() ->
-  new X {
-    y {
-      z = 13
-    }
-  }.y
-)
-
----
-
-(module
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classMethod
-    (methodHeader
-      (modifier)
-      (identifier)
-      (parameterList
-        (typedIdentifier
-          (identifier))
-        (typedIdentifier
-          (identifier))))
-    (additiveExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (unqualifiedAccessExpr
-        (identifier))))
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))
-            (typedIdentifier
-              (identifier))))
-        (additiveExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (constrainedType
-            (declaredType
-              (qualifiedIdentifier
-                (identifier)))
-            (equalityExpr
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier)
-                    (argumentList
-                      (unqualifiedAccessExpr
-                        (identifier)
-                        (argumentList
-                          (intLiteralExpr)
-                          (intLiteralExpr)))
-                      (intLiteralExpr)))
-                  (intLiteralExpr)))
-              (unqualifiedAccessExpr
-                (identifier))))))))
-  (clazz
-    (identifier)
-    (classBody
-      (classMethod
-        (methodHeader
-          (identifier)
-          (parameterList
-            (typedIdentifier
-              (identifier))
-            (typedIdentifier
-              (identifier))))
-        (multiplicativeExpr
-          (unqualifiedAccessExpr
-            (identifier))
-          (unqualifiedAccessExpr
-            (identifier))))
-      (classProperty
-        (identifier)
-        (typeAnnotation
-          (declaredType
-            (qualifiedIdentifier
-              (identifier)))))))
-  (classProperty
-    (identifier)
-    (newExpr
-      (declaredType
-        (qualifiedIdentifier
-          (identifier)))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (objectBody
-            (objectProperty
-              (identifier)
-              (intLiteralExpr)))))))
-  (classProperty
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (functionLiteralExpr
-          (parameterList)
-          (qualifiedAccessExpr
-            (newExpr
-              (declaredType
-                (qualifiedIdentifier
-                  (identifier)))
-              (objectBody
-                (objectProperty
-                  (identifier)
-                  (objectBody
-                    (objectProperty
-                      (identifier)
-                      (intLiteralExpr))))))
-            (identifier)))))))