@apple/tree-sitter-pkl 0.17.0 → 0.18.0

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

@@ -0,0 +1,131 @@
+===
+basic/nonNull.pkl
+===
+
+amends "../snippetTest.pkl"
+
+local class Person { name: String = "Pigeon" }
+
+facts {
+  ["returns its non-null operand"] {
+    123!! == 123
+    let (x = 123) x!! == 123
+    1.23.ms!! == 1.23.ms
+    Pair(21, 42)!! == Pair(21, 42)
+    new Person {}!! == new Person {}
+  }
+}
+
+examples {
+  ["fails if operand is null"] {
+    module.catch(() -> null!!)
+    module.catch(() -> let (x = null) x!!)
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (clazz
+    (modifier)
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (nonNullExpr
+                (intLiteralExpr))
+              (intLiteralExpr)))
+          (objectElement
+            (letExpr
+              (typedIdentifier
+                (identifier))
+              (intLiteralExpr)
+              (equalityExpr
+                (nonNullExpr
+                  (unqualifiedAccessExpr
+                    (identifier)))
+                (intLiteralExpr))))
+          (objectElement
+            (equalityExpr
+              (nonNullExpr
+                (qualifiedAccessExpr
+                  (floatLiteralExpr)
+                  (identifier)))
+              (qualifiedAccessExpr
+                (floatLiteralExpr)
+                (identifier))))
+          (objectElement
+            (equalityExpr
+              (nonNullExpr
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList
+                    (intLiteralExpr)
+                    (intLiteralExpr))))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))
+          (objectElement
+            (equalityExpr
+              (nonNullExpr
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody)))
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (nonNullExpr
+                    (nullLiteralExpr))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (letExpr
+                    (typedIdentifier
+                      (identifier))
+                    (nullLiteralExpr)
+                    (nonNullExpr
+                      (unqualifiedAccessExpr
+                        (identifier)))))))))))))

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

@@ -0,0 +1,239 @@
+===
+basic/nullable.pkl
+===
+
+amends "../snippetTest.pkl"
+
+facts {
+  ["equality"] {
+    null == null
+    !(null == 1)
+    !(1 == null)
+  }
+
+  ["inequality"] {
+    null != 1
+    1 != null
+    !(null != null)
+  }
+}
+
+examples {
+  ["literal"] {
+    null
+  }
+
+  ["coalescing"] {
+    null ?? 2
+    1 ?? 2
+    1 ?? 2 ?? 3
+    null ?? null ?? 3
+    new Person {}.age ?? 40
+  }
+
+  ["null-safe invocation"] {
+    null?.toUpperCase()
+    "Pigeon"?.toUpperCase()
+    null?.kb
+    3?.kb
+
+    module.catch(() -> null.foo)
+    module.catch(() -> null.foo())
+  }
+
+  ["amendment"] {
+    local p = Null(new Person {})
+    local p2 = (p) {
+      age = 20
+    }
+    p2
+    p2 is Person
+  }
+}
+
+local class Person {
+  age: Int?
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (nullLiteralExpr)
+              (nullLiteralExpr)))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (nullLiteralExpr)
+                  (intLiteralExpr)))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (intLiteralExpr)
+                  (nullLiteralExpr)))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (equalityExpr
+              (nullLiteralExpr)
+              (intLiteralExpr)))
+          (objectElement
+            (equalityExpr
+              (intLiteralExpr)
+              (nullLiteralExpr)))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (equalityExpr
+                  (nullLiteralExpr)
+                  (nullLiteralExpr)))))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (nullLiteralExpr))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (nullCoalesceExpr
+              (nullLiteralExpr)
+              (intLiteralExpr)))
+          (objectElement
+            (nullCoalesceExpr
+              (intLiteralExpr)
+              (intLiteralExpr)))
+          (objectElement
+            (nullCoalesceExpr
+              (intLiteralExpr)
+              (nullCoalesceExpr
+                (intLiteralExpr)
+                (intLiteralExpr))))
+          (objectElement
+            (nullCoalesceExpr
+              (nullLiteralExpr)
+              (nullCoalesceExpr
+                (nullLiteralExpr)
+                (intLiteralExpr))))
+          (objectElement
+            (nullCoalesceExpr
+              (qualifiedAccessExpr
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody))
+                (identifier))
+              (intLiteralExpr)))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (nullLiteralExpr)
+              (identifier)
+              (argumentList)))
+          (objectElement
+            (qualifiedAccessExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (identifier)
+              (argumentList)))
+          (objectElement
+            (qualifiedAccessExpr
+              (nullLiteralExpr)
+              (identifier)))
+          (objectElement
+            (qualifiedAccessExpr
+              (intLiteralExpr)
+              (identifier)))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (qualifiedAccessExpr
+                    (nullLiteralExpr)
+                    (identifier))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (qualifiedAccessExpr
+                    (nullLiteralExpr)
+                    (identifier)
+                    (argumentList))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (unqualifiedAccessExpr
+              (identifier)
+              (argumentList
+                (newExpr
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (objectBody)))))
+          (objectProperty
+            (modifier)
+            (identifier)
+            (amendExpr
+              (parenthesizedExpr
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectBody
+                (objectProperty
+                  (identifier)
+                  (intLiteralExpr)))))
+          (objectElement
+            (unqualifiedAccessExpr
+              (identifier)))
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))))))))
+  (clazz
+    (modifier)
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (nullableType
+            (declaredType
+              (qualifiedIdentifier
+                (identifier)))))))))

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

@@ -0,0 +1,129 @@
+===
+basic/objectMember.pkl
+===
+
+res1 { 1 2 3 }
+res2 { 1; 2; 3 }
+res3 {
+  1
+  2
+  3
+}
+res4 {1;2;3;}
+res5{1}
+res6{1;2}
+res7{foo = 1}
+res8{foo = 1 bar = 2}
+res9{nested{1}}
+res10{["foo"] = 1; ["bar"] = 2}
+res11 { new {} new {} new {} }
+res12 {1.2;.3;.4;.5}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (intLiteralExpr))
+      (objectElement
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectElement
+            (intLiteralExpr))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (newExpr
+          (objectBody)))
+      (objectElement
+        (newExpr
+          (objectBody)))
+      (objectElement
+        (newExpr
+          (objectBody)))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (floatLiteralExpr))
+      (objectElement
+        (floatLiteralExpr))
+      (objectElement
+        (floatLiteralExpr))
+      (objectElement
+        (floatLiteralExpr)))))

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

@@ -0,0 +1,18 @@
+===
+basic/objectMemberInvalid.pkl
+===
+
+res1 {
+  1.2.3
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (floatLiteralExpr))
+      (objectElement
+        (floatLiteralExpr)))))

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

@@ -0,0 +1,18 @@
+===
+basic/objectMemberInvalid2.pkl
+===
+
+res1 {foo=1bar=2}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))
+      (objectProperty
+        (identifier)
+        (intLiteralExpr)))))

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

@@ -0,0 +1,22 @@
+===
+basic/objectMemberInvalid3.pkl
+===
+
+res1 {
+  new{
+  }new{
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectElement
+        (newExpr
+          (objectBody)))
+      (objectElement
+        (newExpr
+          (objectBody))))))

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

@@ -0,0 +1,59 @@
+===
+basic/parens.pkl
+===
+
+res1 = 2 + 3 * 4
+res2 = (2 + 3) * 4
+res3 = 2 + (3 * 4)
+res4 = (2) + (3) * (4)
+res5 = ((((2) + (3)) * ((4))))
+---
+
+(module
+  (classProperty
+    (identifier)
+    (additiveExpr
+      (intLiteralExpr)
+      (multiplicativeExpr
+        (intLiteralExpr)
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (multiplicativeExpr
+      (parenthesizedExpr
+        (additiveExpr
+          (intLiteralExpr)
+          (intLiteralExpr)))
+      (intLiteralExpr)))
+  (classProperty
+    (identifier)
+    (additiveExpr
+      (intLiteralExpr)
+      (parenthesizedExpr
+        (multiplicativeExpr
+          (intLiteralExpr)
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (additiveExpr
+      (parenthesizedExpr
+        (intLiteralExpr))
+      (multiplicativeExpr
+        (parenthesizedExpr
+          (intLiteralExpr))
+        (parenthesizedExpr
+          (intLiteralExpr)))))
+  (classProperty
+    (identifier)
+    (parenthesizedExpr
+      (parenthesizedExpr
+        (multiplicativeExpr
+          (parenthesizedExpr
+            (additiveExpr
+              (parenthesizedExpr
+                (intLiteralExpr))
+              (parenthesizedExpr
+                (intLiteralExpr))))
+          (parenthesizedExpr
+            (parenthesizedExpr
+              (intLiteralExpr))))))))