@apple/tree-sitter-pkl 0.17.0 → 0.18.1

package/test/corpus/snippetTests/basic/propertyDefaults.txt

@@ -0,0 +1,126 @@
+===
+basic/propertyDefaults.pkl
+===
+
+class Person
+
+coll: Collection<Person>
+list: List<Person>
+set: Set<Person>
+map: Map<String, Person>
+listing: Listing<Person>
+mapping: Mapping<String, Person>
+obj: Person
+nullable: Person?
+union: *Person|String
+stringLiteral: "Pigeon"
+nullish: Null
+
+
+---
+
+(module
+  (clazz
+    (identifier))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))
+        (typeArgumentList
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (nullableType
+        (declaredType
+          (qualifiedIdentifier
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (unionType
+        (defaultUnionType
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (declaredType
+          (qualifiedIdentifier
+            (identifier))))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (stringLiteralType
+        (stringConstant
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))))

package/test/corpus/snippetTests/basic/read.txt

@@ -0,0 +1,250 @@
+===
+basic/read.pkl
+===
+
+amends "../snippetTest.pkl"
+
+examples {
+  ["read env variable"] {
+    read("env:NAME1")
+    read("env:NAME2")
+    module.catch(() -> read("env:OTHER"))
+
+    read?("env:NAME1")
+    read?("env:NAME2")
+    read?("env:OTHER")
+  }
+
+  ["read external property"] {
+    read("prop:name1")
+    read("prop:name2")
+    module.catch(() -> read("prop:other"))
+
+    read?("prop:name1")
+    read?("prop:name2")
+    read?("prop:other")
+  }
+
+  ["read file"] {
+    read("globtest/file1.txt")
+    module.catch(() -> read("other.txt"))
+    read?("globtest/file1.txt")
+    read?("other.txt")
+  }
+  
+  ["read triple-dot file"] {
+    read(".../input-helper/basic/read/resource.txt")
+    read?(".../input-helper/basic/read/resource.txt")
+  }
+
+  ["read non-allowed resource"] {
+    module.catch(() -> read("forbidden:resource"))
+    module.catch(() -> read?("forbidden:resource"))
+  }
+  
+  ["use read expression with non-constant resource URI"] {
+    local function doRead(uri) = read(uri)
+    doRead("globtest/file1.txt")
+    doRead("globtest/file2.txt")
+  }
+    
+  ["read different resources with same relative resource URI"] {
+    local module1 = import(".../input-helper/basic/read/module1.pkl")
+    local module2 = import(".../input-helper/basic/read/child/module2.pkl")
+    module1.normalRead
+    module2.normalRead
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (readExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (readExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (readExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (readExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (readExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier))))
+            (readExpr
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (importExpr
+              (stringConstant
+                (slStringLiteralPart))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (importExpr
+              (stringConstant
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)))
+          (objectElement
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier))))))))

package/test/corpus/snippetTests/basic/readGlob.txt

@@ -0,0 +1,209 @@
+===
+basic/readGlob.pkl
+===
+
+amends "../snippetTest.pkl"
+
+examples {
+  ["file:"] {
+    read*("../../input-helper/globtest/**.pkl")
+    read*("globtest/*.txt")
+  }
+
+  ["amended"] {
+    (read*("../../input-helper/globtest/**.pkl")) {
+      [[true]] {
+        text = "hi"
+      }
+    }
+  }
+
+  ["env:"] {
+    read*("env:*")
+    read*("env:**")
+    read*("env:NAME1")
+    read*("env:NAME[1-2]")
+    read*("env:*2")
+    read*("env:/foo/*")
+    read*("env:foo%20bar")
+    read*("env:foo%20*")
+  }
+
+  ["prop:"] {
+    read*("prop:*")
+    read*("prop:**")
+  }
+
+  ["package:"] {
+    read*("package://localhost:0/birds@0.5.0#/**.pkl")
+  }
+
+  ["use read expression with non-constant glob pattern"] {
+    local function doRead(pattern) = read*(pattern)
+    doRead("globtest/file*.txt")
+    doRead("globtest/file1.txt")
+    doRead("globtest/file2.txt")
+  }
+  
+  ["read different resources with same glob pattern"] {
+    local module1 = import(".../input-helper/basic/read/module1.pkl")
+    local module2 = import(".../input-helper/basic/read/child/module2.pkl")
+    module1.globbedRead
+    module2.globbedRead
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (amendExpr
+              (parenthesizedExpr
+                (readExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))
+              (objectBody
+                (memberPredicate
+                  (trueLiteralExpr)
+                  (objectBody
+                    (objectProperty
+                      (identifier)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (readExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectMethod
+            (methodHeader
+              (modifier)
+              (identifier)
+              (parameterList
+                (typedIdentifier
+                  (identifier))))
+            (readExpr
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (slStringLiteralExpr
+                  (slStringLiteralPart)))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (importExpr
+              (stringConstant
+                (slStringLiteralPart))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (importExpr
+              (stringConstant
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier)))
+          (objectElement
+            (qualifiedAccessExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (identifier))))))))

package/test/corpus/snippetTests/basic/semicolon.txt

@@ -0,0 +1,18 @@
+===
+basic/semicolon.pkl
+===
+
+res1 = new { b = 1; d = 2 }
+---
+
+(module
+  (classProperty
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectProperty
+          (identifier)
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (intLiteralExpr))))))