@apple/tree-sitter-pkl 0.17.0 → 0.18.0

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

@@ -0,0 +1,103 @@
+===
+classes/constraints8.pkl
+===
+
+import "pkl:test"
+
+const function isGreaterThan(n) = (x) -> x > n
+
+class X {
+  a: Int(isGreaterThan(5))
+  b: Int(isGreaterThan(10))
+}
+
+res1 = new X {
+  a = 6
+  b = 11
+}
+
+res2 = test.catch(() ->
+  new X {
+    a = 5
+  }.a
+)
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))))
+    (functionLiteralExpr
+      (parameterList
+        (typedIdentifier
+          (identifier)))
+      (comparisonExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))))))
+  (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))))
+            (identifier)))))))

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

@@ -0,0 +1,92 @@
+===
+classes/constraints9.pkl
+===
+
+import "pkl:test"
+
+class X {
+  a: Int("not a boolean")
+  b: Int((x) -> "not a boolean")
+}
+
+res1 = test.catch(() ->
+  new X {
+    a = 1
+  }.a
+)
+
+res2 = test.catch(() ->
+  new X {
+    b = 1
+  }.b
+)
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (slStringLiteralExpr
+              (slStringLiteralPart)))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (constrainedType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))
+            (functionLiteralExpr
+              (parameterList
+                (typedIdentifier
+                  (identifier)))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr))))
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr))))
+            (identifier)))))))

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

@@ -0,0 +1,216 @@
+===
+classes/constraintsLambdaThis.pkl
+===
+
+res1: String(List(1).map((it) -> this).single.length == 3) = "abc"
+res2: String(List(1).map((it) -> List(2).map((it) -> this)).single.single.length == 3) = "abc"
+
+res3: String(List(1).map((it) -> length).single == 3) = "abc"
+res4: String(List(1).map((it) -> List(2).map((it) -> length)).single.single == 3) = "abc"
+
+res5: String(List(1).map((it) -> getClass()).single == String) = "abc"
+res6: String(List(1).map((it) -> List(2).map((it) -> getClass())).single.single == String) = "abc"
+---
+
+(module
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)))
+                (identifier)
+                (argumentList
+                  (functionLiteralExpr
+                    (parameterList
+                      (typedIdentifier
+                        (identifier)))
+                    (thisExpr))))
+              (identifier))
+            (identifier))
+          (intLiteralExpr))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)))
+                  (identifier)
+                  (argumentList
+                    (functionLiteralExpr
+                      (parameterList
+                        (typedIdentifier
+                          (identifier)))
+                      (qualifiedAccessExpr
+                        (unqualifiedAccessExpr
+                          (identifier)
+                          (argumentList
+                            (intLiteralExpr)))
+                        (identifier)
+                        (argumentList
+                          (functionLiteralExpr
+                            (parameterList
+                              (typedIdentifier
+                                (identifier)))
+                            (thisExpr)))))))
+                (identifier))
+              (identifier))
+            (identifier))
+          (intLiteralExpr))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)))
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList
+                    (typedIdentifier
+                      (identifier)))
+                  (unqualifiedAccessExpr
+                    (identifier)))))
+            (identifier))
+          (intLiteralExpr))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)))
+                (identifier)
+                (argumentList
+                  (functionLiteralExpr
+                    (parameterList
+                      (typedIdentifier
+                        (identifier)))
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (intLiteralExpr)))
+                      (identifier)
+                      (argumentList
+                        (functionLiteralExpr
+                          (parameterList
+                            (typedIdentifier
+                              (identifier)))
+                          (unqualifiedAccessExpr
+                            (identifier))))))))
+              (identifier))
+            (identifier))
+          (intLiteralExpr))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)))
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList
+                    (typedIdentifier
+                      (identifier)))
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList)))))
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (equalityExpr
+          (qualifiedAccessExpr
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)))
+                (identifier)
+                (argumentList
+                  (functionLiteralExpr
+                    (parameterList
+                      (typedIdentifier
+                        (identifier)))
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier)
+                        (argumentList
+                          (intLiteralExpr)))
+                      (identifier)
+                      (argumentList
+                        (functionLiteralExpr
+                          (parameterList
+                            (typedIdentifier
+                              (identifier)))
+                          (unqualifiedAccessExpr
+                            (identifier)
+                            (argumentList))))))))
+              (identifier))
+            (identifier))
+          (unqualifiedAccessExpr
+            (identifier)))))
+    (slStringLiteralExpr
+      (slStringLiteralPart))))

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

@@ -0,0 +1,123 @@
+===
+classes/equality.pkl
+===
+
+res1 = Int == Int
+res2 = Int == Float
+res3 = Int == 3.getClass()
+res4 = 3.getClass() == 4.getClass()
+res5 = Person == Person
+res6 = Person == Person2
+
+res7 = Int != Int
+res8 = Int != Float
+res9 = Int != 3.getClass()
+res10 = 3.getClass() != 4.getClass()
+res11 = Person != Person
+res12 = Person != Person2
+
+class Person
+class Person2
+---
+
+(module
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))
+      (qualifiedAccessExpr
+        (intLiteralExpr)
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (equalityExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (clazz
+    (identifier))
+  (clazz
+    (identifier)))

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

@@ -0,0 +1,12 @@
+===
+classes/externalClass.pkl
+===
+
+external class Foo
+
+---
+
+(module
+  (clazz
+    (modifier)
+    (identifier)))

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

@@ -0,0 +1,18 @@
+===
+classes/externalFunction.pkl
+===
+
+class Foo {
+  external function bar()
+}
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList))))))

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

@@ -0,0 +1,20 @@
+===
+classes/externalProperty.pkl
+===
+
+class Foo {
+  external bar: String
+}
+---
+
+(module
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))))))

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

@@ -0,0 +1,77 @@
+===
+classes/functions1.pkl
+===
+
+local const a = 1
+const b = 2
+
+class X {
+  local c = 3
+  d = 4
+  function compute() = a * b * c * d
+}
+
+res1 = new X {}.compute()
+
+res2 = new X { d = 5 }.compute()
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (modifier)
+    (identifier)
+    (intLiteralExpr))
+  (classProperty
+    (modifier)
+    (identifier)
+    (intLiteralExpr))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (modifier)
+        (identifier)
+        (intLiteralExpr))
+      (classProperty
+        (identifier)
+        (intLiteralExpr))
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList))
+        (multiplicativeExpr
+          (multiplicativeExpr
+            (multiplicativeExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)))
+            (unqualifiedAccessExpr
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (intLiteralExpr))))
+      (identifier)
+      (argumentList))))

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

@@ -0,0 +1,56 @@
+===
+classes/functions2.pkl
+===
+
+a = 1
+
+class X {
+  a = 2
+  function compute() = a
+}
+
+res1 = new X {}.compute()
+
+res2 = new X { a = 3 }.compute()
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (intLiteralExpr))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (intLiteralExpr))
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList))
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody
+          (objectProperty
+            (identifier)
+            (intLiteralExpr))))
+      (identifier)
+      (argumentList))))