@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/objects/hashCode.txt

@@ -0,0 +1,566 @@
+===
+objects/hashCode.pkl
+===
+
+amends "../snippetTest.pkl"
+
+local class Person { name: String }
+
+local open class Person2 { name: String; hidden age: Int }
+
+local class Teenager extends Person2 { age = 15 }
+
+facts {
+  local set: Set<Int> = IntSeq(1, 100).fold(Set(), (res, n) -> res.add(n))
+  
+  ["local members aren't included in hash code - Dynamic"] {
+    local obj1 = new Dynamic { name = "Pigeon" }
+    local obj2 = new Dynamic { name = x; local x = "Pigeon" }
+    local obj3 = new Dynamic { name = x; local x = "Pigeon" } { name = y; local y = "Pigeon" }
+    
+    set.add(obj1).contains(obj2)
+    set.add(obj2).contains(obj3)
+    set.add(obj3).contains(obj2)
+    set.add(obj1).add(obj2).add(obj3).length == 101
+  }
+
+  ["local members aren't included in hash code - Typed"] {
+    local obj1 = new Person { name = "Pigeon" }
+    local obj2 = new Person { name = x; local x = "Pigeon" }
+    local obj3 = new Person { name = x; local x = "Pigeon" } { name = y; local y = "Pigeon" }
+
+    set.add(obj1).contains(obj2)
+    set.add(obj2).contains(obj3)
+    set.add(obj3).contains(obj2)
+    set.add(obj1).add(obj2).add(obj3).length == 101
+  }
+
+  ["hidden members aren't included in hash code - Dynamic"] {
+    local obj1 = new Dynamic { name = "Pigeon" }
+    local obj2 = new Dynamic { name = "Pigeon"; default = (_) -> 42 }
+
+    set.add(obj1).contains(obj2)
+    set.add(obj2).contains(obj1)
+    set.add(obj1).add(obj2).length == 101
+  }
+
+  ["hidden members aren't included in hash code - Typed"] {
+    local obj1 = new Person2 { name = "Pigeon" }
+    local obj2 = new Person2 { name = "Pigeon"; age = 42 }
+
+    set.add(obj1).contains(obj2)
+    set.add(obj2).contains(obj1)
+    set.add(obj1).add(obj2).length == 101
+  }
+
+  ["hidden members of superclass aren't included in hash code - Typed"] {
+    local obj = new Teenager { name = "Jojo" }
+    set.add(obj).length == 101
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (clazz
+    (modifier)
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (modifier)
+    (modifier)
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))
+      (classProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (modifier)
+    (identifier)      (classExtendsClause
+      (qualifiedIdentifier
+        (identifier)))
+    (classBody
+      (classProperty
+        (identifier)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (modifier)
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))
+            (typeArgumentList
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))))))
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList
+              (intLiteralExpr)
+              (intLiteralExpr)))
+          (identifier)
+          (argumentList
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList))
+            (functionLiteralExpr
+              (parameterList
+                (typedIdentifier
+                  (identifier))
+                (typedIdentifier
+                  (identifier)))
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectProperty
+                  (modifier)
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (amendExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (unqualifiedAccessExpr
+                      (identifier)))
+                  (objectProperty
+                    (modifier)
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectProperty
+                  (modifier)
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (equalityExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (qualifiedAccessExpr
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (identifier)
+                      (argumentList
+                        (unqualifiedAccessExpr
+                          (identifier))))
+                    (identifier)
+                    (argumentList
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (identifier))
+              (intLiteralExpr)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectProperty
+                  (modifier)
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (amendExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectProperty
+                    (identifier)
+                    (unqualifiedAccessExpr
+                      (identifier)))
+                  (objectProperty
+                    (modifier)
+                    (identifier)
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (objectProperty
+                  (modifier)
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (equalityExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (qualifiedAccessExpr
+                    (qualifiedAccessExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (identifier)
+                      (argumentList
+                        (unqualifiedAccessExpr
+                          (identifier))))
+                    (identifier)
+                    (argumentList
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (identifier))
+              (intLiteralExpr)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (objectProperty
+                  (identifier)
+                  (functionLiteralExpr
+                    (parameterList
+                      (blankIdentifier))
+                    (intLiteralExpr))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (equalityExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (qualifiedAccessExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (identifier)
+                    (argumentList
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (identifier))
+              (intLiteralExpr)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart)))
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (qualifiedAccessExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (identifier)
+                (argumentList
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (identifier)
+              (argumentList
+                (unqualifiedAccessExpr
+                  (identifier)))))
+          (objectElement
+            (equalityExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (qualifiedAccessExpr
+                    (unqualifiedAccessExpr
+                      (identifier))
+                    (identifier)
+                    (argumentList
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (identifier))
+              (intLiteralExpr)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))))
+          (objectElement
+            (equalityExpr
+              (qualifiedAccessExpr
+                (qualifiedAccessExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (identifier)
+                  (argumentList
+                    (unqualifiedAccessExpr
+                      (identifier))))
+                (identifier))
+              (intLiteralExpr))))))))

package/test/corpus/snippetTests/objects/implicitReceiver1.txt

@@ -0,0 +1,37 @@
+===
+objects/implicitReceiver1.pkl
+===
+
+x = 0
+foo {
+  x = 1
+  bar {
+    x = 2
+    y = x + 3
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (intLiteralExpr))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (intLiteralExpr))
+          (objectProperty
+            (identifier)
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr))))))))

package/test/corpus/snippetTests/objects/implicitReceiver2.txt

@@ -0,0 +1,33 @@
+===
+objects/implicitReceiver2.pkl
+===
+
+x = 0
+foo {
+  x = 1
+  bar {
+    y = x + 3
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (intLiteralExpr))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr))))))))

package/test/corpus/snippetTests/objects/implicitReceiver3.txt

@@ -0,0 +1,29 @@
+===
+objects/implicitReceiver3.pkl
+===
+
+x = 0
+foo {
+  bar {
+    y = x + 3
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (intLiteralExpr))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr))))))))

package/test/corpus/snippetTests/objects/implicitReceiver4.txt

@@ -0,0 +1,25 @@
+===
+objects/implicitReceiver4.pkl
+===
+
+foo {
+  bar {
+    y = x + 3
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (additiveExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (intLiteralExpr))))))))