@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/annotation/deprecated1.txt

@@ -0,0 +1,385 @@
+===
+annotation/deprecated1.pkl
+===
+
+open module deprecated1
+
+function f1(n) = n * 1000 + 1
+
+@Deprecated
+function f2(n) = n * 1000 + 2
+
+class A {
+  @Deprecated
+  function f(n) = n * 1000 + 101
+}
+
+open class B {
+  function f1(n) = n * 1000 + 201
+  @Deprecated
+  function f2(n) = n * 1000 + 202
+}
+
+class C extends B {
+  @Deprecated
+  function f1(n) = n * 1000 + 301
+}
+
+res1 = f1(100)
+res1b = List(1, 2, 3).map((n) -> f1(n))
+
+res2 = f2(200)
+res2b = List(4, 5, 6).map((n) -> f2(n))
+
+res3 = new A {}.f(300)
+res3b = List(7, 8, 9).map((n) -> new A {}.f(n))
+
+res4 = new B {}.f1(400)
+res4b = List(10, 11, 12).map((n) -> new B {}.f1(n))
+
+res5 = new B {}.f2(500)
+res5b = List(13, 14, 15).map((n) -> new B {}.f2(n))
+
+res6 = new C {}.f1(600)
+res6b = List(16, 17, 18).map((n) -> new C {}.f1(n))
+
+res7 = new C {}.f2(700)
+res7b = List(19, 20, 21).map((n) -> new C {}.f2(n))
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (modifier)
+      (qualifiedIdentifier
+        (identifier))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))))
+    (additiveExpr
+      (multiplicativeExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))
+      (intLiteralExpr)))
+  (classMethod
+    (annotation
+      (qualifiedIdentifier
+        (identifier)))
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))))
+    (additiveExpr
+      (multiplicativeExpr
+        (unqualifiedAccessExpr
+          (identifier))
+        (intLiteralExpr))
+      (intLiteralExpr)))
+  (clazz
+    (identifier)
+    (classBody
+      (classMethod
+        (annotation
+          (qualifiedIdentifier
+            (identifier)))
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (multiplicativeExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (intLiteralExpr))
+          (intLiteralExpr)))))
+  (clazz
+    (modifier)
+    (identifier)
+    (classBody
+      (classMethod
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (multiplicativeExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (intLiteralExpr))
+          (intLiteralExpr)))
+      (classMethod
+        (annotation
+          (qualifiedIdentifier
+            (identifier)))
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (multiplicativeExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (intLiteralExpr))
+          (intLiteralExpr)))))
+  (clazz
+    (identifier)      (classExtendsClause
+      (qualifiedIdentifier
+        (identifier)))
+    (classBody
+      (classMethod
+        (annotation
+          (qualifiedIdentifier
+            (identifier)))
+        (methodHeader
+          (identifier)
+          (parameterList
+            (typedIdentifier
+              (identifier))))
+        (additiveExpr
+          (multiplicativeExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (intLiteralExpr))
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (newExpr
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (objectBody))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier)))))))))

package/test/corpus/snippetTests/annotation/deprecated2.txt

@@ -0,0 +1,99 @@
+===
+annotation/deprecated2.pkl
+===
+
+module deprecated2
+
+extends "deprecated1.pkl"
+
+@Deprecated
+function f1(n) = -1 * (n * 1000 + 1)
+
+res1 = f1(800)
+res1b = List(22, 23, 24).map((n) -> f1(n))
+
+res2 = f2(900)
+res2b = List(25, 26, 27).map((n) -> f2(n))
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (qualifiedIdentifier
+        (identifier)))
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classMethod
+    (annotation
+      (qualifiedIdentifier
+        (identifier)))
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier))))
+    (multiplicativeExpr
+      (unaryMinusExpr
+        (intLiteralExpr))
+      (parenthesizedExpr
+        (additiveExpr
+          (multiplicativeExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (intLiteralExpr))
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier)))))))))

package/test/corpus/snippetTests/annotation/deprecated3.txt

@@ -0,0 +1,155 @@
+===
+annotation/deprecated3.pkl
+===
+
+module deprecated3
+
+import "deprecated1.pkl"
+import "deprecated2.pkl"
+
+res1 = deprecated1.f1(1000)
+res1b = List(28, 29, 30).map((n) -> deprecated1.f1(n))
+
+res2 = deprecated1.f2(1100)
+res2b = List(31, 32, 33).map((n) -> deprecated1.f2(n))
+
+res3 = deprecated2.f1(1200)
+res3b = List(34, 35, 36).map((n) -> deprecated2.f1(n))
+
+res4 = deprecated2.f2(1300)
+res4b = List(37, 38, 39).map((n) -> deprecated2.f2(n))
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (qualifiedIdentifier
+        (identifier))))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier)
+        (argumentList
+          (intLiteralExpr)
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList
+            (typedIdentifier
+              (identifier)))
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList
+              (unqualifiedAccessExpr
+                (identifier)))))))))

package/test/corpus/snippetTests/annotation/deprecatedNoRepeatedWarnings.txt

@@ -0,0 +1,58 @@
+===
+annotation/deprecatedNoRepeatedWarnings.pkl
+===
+
+@Deprecated
+function foo() = 0
+
+function bar() = foo()
+
+shouldWarnForFirstCallToFooFromBar = bar()
+shouldNotWarnForRepeatedCallToFooFromBar1 = bar()
+shouldNotWarnForRepeatedCallToFooFromBar2 = bar()
+shouldWarnForDirectCallToFoo = foo()
+shouldWarnForRepeatedDirectCallToFoo = foo()
+
+---
+
+(module
+  (classMethod
+    (annotation
+      (qualifiedIdentifier
+        (identifier)))
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (intLiteralExpr))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList))))