@apple/tree-sitter-pkl 0.17.0 → 0.18.0

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

@@ -0,0 +1,340 @@
+===
+basic/set.pkl
+===
+
+amends "../snippetTest.pkl"
+
+local set1 = Set(1, "two", 3)
+local set2 = Set("two", 3, 1)
+local set3 = Set(1, "two", 4)
+local emptySet = Set()
+
+facts {
+  ["equality"] {
+    set1 == set1
+    set1 == set2
+    !(set1 == set3)
+
+    !(set1 == set1.toList())
+    !(set1 == set2.toList())
+    !(set1 == set3.toList())
+  }
+
+  ["inequality"] {
+    set1 != set3
+    !(set1 != set1)
+    !(set1 != set2)
+
+    set1 != set1.toList()
+    set1 != set2.toList()
+    set1 != set3.toList()
+  }
+}
+
+examples {
+  ["construction"] {
+    Set(1, 2, 3, 1, 2, 4)
+  }
+
+  ["addition"] {
+    set1 + set1
+    set1 + set2
+    set1 + set3
+
+    set1 + set1.toList()
+    set1 + set2.toList()
+    set1 + set3.toList()
+    set1 + List(1, "two", 4, 1, "two", 4)
+
+    emptySet + emptySet
+    set1 + emptySet
+    emptySet + set3
+
+    emptySet + emptySet.toList()
+    set1 + emptySet.toList()
+    emptySet + set3.toList()
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr)
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList)))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (qualifiedAccessExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (identifier)
+                    (argumentList))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (qualifiedAccessExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (identifier)
+                    (argumentList))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (qualifiedAccessExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (identifier)
+                    (argumentList))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (unqualifiedAccessExpr
+                    (identifier))))))
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (equalityExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr)
+                (intLiteralExpr))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (unqualifiedAccessExpr
+                (identifier))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList))))
+          (objectElement
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList)))))))))

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

@@ -0,0 +1,130 @@
+===
+basic/trace.pkl
+===
+
+amends "../snippetTest.pkl"
+
+examples {
+  ["trace different values"] {
+    trace(1)
+    trace(true)
+    trace("Barn Owl")
+    trace("""
+      Bird
+      Barn Owl
+      """)
+    trace(List(1, 2, 3))
+    trace(Set(1, 2, 3))
+    trace(Map(1, "one", 2, "two"))
+    trace(new {
+      name = "Barn Owl"
+      age = 42
+    })
+    trace(new {
+      "Parrot"
+      "Barn Owl"
+      "Pigeon"
+    })
+    trace(new {
+      ["Parrot"] {
+        name = "Parrot"
+        age = 42
+      }
+    })
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (traceExpr
+              (intLiteralExpr)))
+          (objectElement
+            (traceExpr
+              (trueLiteralExpr)))
+          (objectElement
+            (traceExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (traceExpr
+              (mlStringLiteralExpr
+                (mlStringLiteralPart))))
+          (objectElement
+            (traceExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))
+          (objectElement
+            (traceExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))
+          (objectElement
+            (traceExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectElement
+            (traceExpr
+              (newExpr
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))
+                  (objectProperty
+                    (identifier)
+                    (intLiteralExpr))))))
+          (objectElement
+            (traceExpr
+              (newExpr
+                (objectBody
+                  (objectElement
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))
+                  (objectElement
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))
+                  (objectElement
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (traceExpr
+              (newExpr
+                (objectBody
+                  (objectEntry
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (objectBody
+                      (objectProperty
+                        (identifier)
+                        (slStringLiteralExpr
+                          (slStringLiteralPart)))
+                      (objectProperty
+                        (identifier)
+                        (intLiteralExpr)))))))))))))

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

@@ -0,0 +1,31 @@
+===
+basic/typeResolution1.pkl
+===
+
+open module typeResolution1
+
+class Person1 { name = "person1" }
+
+p1: Person1
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (modifier)
+      (qualifiedIdentifier
+        (identifier))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))))

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

@@ -0,0 +1,37 @@
+===
+basic/typeResolution2.pkl
+===
+
+extends "typeResolution1.pkl"
+
+class Person2 { name = "person2" }
+
+pp1: Person1
+pp2: Person2
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))))

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

@@ -0,0 +1,63 @@
+===
+basic/typeResolution3.pkl
+===
+
+amends "typeResolution2.pkl"
+
+local class Person3 { name = "person3" }
+
+local ppp1: Person1 = new Person1 {}
+local ppp2: Person2 = new Person2 {}
+local ppp3: Person3 = new Person3 {}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (clazz
+    (modifier)
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier))))
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody))))

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

@@ -0,0 +1,61 @@
+===
+basic/typeResolution4.pkl
+===
+
+import "typeResolution1.pkl"
+import "typeResolution2.pkl"
+import "typeResolution3.pkl"
+
+res1: typeResolution1.Person1
+res2: typeResolution2.Person1
+res3: typeResolution2.Person2
+res4: typeResolution3.Person1
+res5: typeResolution3.Person2
+
+---
+
+(module
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (typeAnnotation
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)
+          (identifier))))))