@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/modules/supercalls2.txt

@@ -0,0 +1,76 @@
+===
+modules/supercalls2.pkl
+===
+
+open module supercalls2
+
+extends "supercalls1.pkl"
+
+hidden 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"
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (modifier)
+      (qualifiedIdentifier
+        (identifier)))
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (modifier)
+    (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)))))

package/test/corpus/snippetTests/modules/supercalls3.txt

@@ -0,0 +1,142 @@
+===
+modules/supercalls3.pkl
+===
+
+module supercalls3
+
+extends "supercalls2.pkl"
+
+import "pkl:test"
+
+hidden pigeonBarnOwl = super.pigeon + super.barnOwl()
+function barnOwlPigeon() = super.barnOwl() + super.pigeon
+hidden parrot = super.say("Parrot")
+function other() = super.other()
+function sameMethod() = 3 + super.sameMethod()
+sameProp = super.sameProp + "c"
+
+prefix = "Oh "
+
+res1 = pigeon
+res2 = barnOwl()
+res3 = say2("Parrot")
+res4 = pigeonBarnOwl
+res5 = barnOwlPigeon()
+res6 = parrot
+res7 = test.catch(() -> other())
+res8 = sameMethod()
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (qualifiedIdentifier
+        (identifier)))
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (additiveExpr
+      (superAccessExpr
+        (identifier))
+      (superAccessExpr
+        (identifier)
+        (argumentList))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (additiveExpr
+      (superAccessExpr
+        (identifier)
+        (argumentList))
+      (superAccessExpr
+        (identifier))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (superAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (superAccessExpr
+      (identifier)
+      (argumentList)))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (additiveExpr
+      (intLiteralExpr)
+      (superAccessExpr
+        (identifier)
+        (argumentList))))
+  (classProperty
+    (identifier)
+    (additiveExpr
+      (superAccessExpr
+        (identifier))
+      (slStringLiteralExpr
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList))))

package/test/corpus/snippetTests/modules/typedModuleMethods1.txt

@@ -0,0 +1,229 @@
+===
+modules/typedModuleMethods1.pkl
+===
+
+import "pkl:test"
+
+import "library.pkl"
+
+function zeroArgs(): String(!isEmpty) = "Pigeon"
+
+function oneArg(a: String(!isEmpty)): String(!isEmpty) = a
+
+function twoArgs(a: String(!isEmpty), b: String(!isEmpty)): String(!isEmpty) = a + b
+
+function mixed(a: String(!isEmpty), b) = a + b
+
+res1 = zeroArgs()
+res2 = oneArg("Pigeon")
+res3 = twoArgs("Pigeon", "Parrot")
+res4 = mixed("Pigeon", "Parrot")
+res5 = library.say("Pigeon")
+
+res6 = test.catch(() -> oneArg(42))
+res7 = test.catch(() -> twoArgs("Pigeon", 42))
+res8 = test.catch(() -> mixed(42, "Pigeon"))
+res9 = test.catch(() -> library.say(42))
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList)
+      (typeAnnotation
+        (constrainedType
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (logicalNotExpr
+            (unqualifiedAccessExpr
+              (identifier))))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (logicalNotExpr
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (typeAnnotation
+        (constrainedType
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (logicalNotExpr
+            (unqualifiedAccessExpr
+              (identifier))))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (logicalNotExpr
+                (unqualifiedAccessExpr
+                  (identifier))))))
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (logicalNotExpr
+                (unqualifiedAccessExpr
+                  (identifier)))))))
+      (typeAnnotation
+        (constrainedType
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (logicalNotExpr
+            (unqualifiedAccessExpr
+              (identifier))))))
+    (additiveExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (logicalNotExpr
+                (unqualifiedAccessExpr
+                  (identifier))))))
+        (typedIdentifier
+          (identifier))))
+    (additiveExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (unqualifiedAccessExpr
+        (identifier))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (intLiteralExpr)))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (qualifiedAccessExpr
+            (unqualifiedAccessExpr
+              (identifier))
+            (identifier)
+            (argumentList
+              (intLiteralExpr))))))))

package/test/corpus/snippetTests/modules/typedModuleProperties1.txt

@@ -0,0 +1,106 @@
+===
+modules/typedModuleProperties1.pkl
+===
+
+import "library.pkl"
+
+res1: String = "str"
+res2: String(!isEmpty) = "str"
+res3: library.Person = new library.Person {
+  name = "Pigeon"
+}
+res4: library.Person = new Teacher {
+  name = "Parrot"
+  subjects = List("Fire making, Stone age")
+}
+
+class Teacher extends library.Person {
+  subjects: List<String(!isEmpty)>
+}
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (logicalNotExpr
+          (unqualifiedAccessExpr
+            (identifier)))))
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))))
+  (clazz
+    (identifier)      (classExtendsClause
+      (qualifiedIdentifier
+        (identifier)
+        (identifier)))
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (logicalNotExpr
+                  (unqualifiedAccessExpr
+                    (identifier)))))))))))

package/test/corpus/snippetTests/modules/typedModuleProperties2.txt

@@ -0,0 +1,16 @@
+===
+modules/typedModuleProperties2.pkl
+===
+
+res1: String = 42
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (intLiteralExpr)))

package/test/corpus/snippetTests/modules/typedModuleProperties3.txt

@@ -0,0 +1,20 @@
+===
+modules/typedModuleProperties3.pkl
+===
+
+res1: String(!isEmpty) = ""
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (constrainedType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))
+        (logicalNotExpr
+          (unqualifiedAccessExpr
+            (identifier)))))
+    (slStringLiteralExpr)))

package/test/corpus/snippetTests/modules//346/227/245/346/234/254/350/252/236.txt

@@ -0,0 +1,45 @@
+===
+modules/日本語.pkl
+===
+
+日本語 = "Japanese language"
+readOne = read("日本語.pkl").text
+readGlob = read*("./日*.pkl").keys
+importOne = import("日本語.pkl").readOne
+importGlob = import*("./日*.pkl").keys
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (readExpr
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (identifier)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (readExpr
+        (slStringLiteralExpr
+          (slStringLiteralPart)))
+      (identifier)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (importExpr
+        (stringConstant
+          (slStringLiteralPart)))
+      (identifier)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (importExpr
+        (stringConstant
+          (slStringLiteralPart)))
+      (identifier))))

package/test/corpus/snippetTests/modules//346/227/245/346/234/254/350/252/236_error.txt

@@ -0,0 +1,14 @@
+===
+modules/日本語_error.pkl
+===
+
+日本語 = throw("Error reporting should also handle unicode filenames!")
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (throwExpr
+      (slStringLiteralExpr
+        (slStringLiteralPart)))))