@apple/tree-sitter-pkl 0.16.0 → 0.18.0

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

@@ -0,0 +1,324 @@
+===
+basic/constModifier.pkl
+===
+
+open module constModifier
+
+import "pkl:test"
+
+const constantSimpleValue = "constant"
+
+local const constLocal = "const-local"
+
+nonConstantSimpleValue = "NON-CONSTANT"
+
+const constantNestedValue {
+  nestedSimpleValue = constantSimpleValue
+}
+
+const constDyn = new Dynamic {
+  [1] = "1"
+  prop = "2"
+}
+
+nonConstantNestedValue {
+  nestedSimpleValue = constantSimpleValue
+}
+
+function nonConstFunction() = nonConstantSimpleValue
+
+class ConstImport {
+  const cst = 10
+  local const lcst = 11
+  pi2 = import("pkl:math").pi
+  mod = module.constantSimpleValue
+  outr = outer.constantSimpleValue
+  clocal = constLocal
+  dynconst = constDyn[1]
+  dynconst2 = constDyn.prop
+  constAccess = cst
+  constAccess2 = lcst
+}
+
+constImport = new ConstImport {}
+
+class ValidConstOuter {
+  name: String
+  fancyName = new { title = "The \(outer.name)" }
+}
+
+validOuter = new ValidConstOuter { name = "Winner" }
+
+class Valid {
+  nested = constantNestedValue
+  simple = constantSimpleValue
+  dereferenced = constantNestedValue.nestedSimpleValue
+}
+
+class BrokenSimple {
+  improperDefault = nonConstantSimpleValue
+}
+
+class BrokenNested {
+  improperNestedDefault = nonConstantNestedValue 
+}
+
+class BrokenFunction {
+  improperDefaultFromNonConstFunction = nonConstFunction()
+}
+
+res01 = new Valid {}
+res02 = test.catch(() -> "\(new BrokenSimple {})")
+res03 = test.catch(() -> "\(new BrokenNested {})")
+res04 = test.catch(() -> "\(new BrokenFunction {})")
+
+---
+
+(module
+  (moduleHeader
+    (moduleClause
+
+      (modifier)
+      (qualifiedIdentifier
+        (identifier))))
+  (importClause
+    (stringConstant
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (modifier)
+    (identifier)
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (identifier)
+    (slStringLiteralExpr
+      (slStringLiteralPart)))
+  (classProperty
+    (modifier)
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectEntry
+          (intLiteralExpr)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classMethod
+    (methodHeader
+      (identifier)
+      (parameterList))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (modifier)
+        (identifier)
+        (intLiteralExpr))
+      (classProperty
+        (modifier)
+        (modifier)
+        (identifier)
+        (intLiteralExpr))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (importExpr
+            (stringConstant
+              (slStringLiteralPart)))
+          (identifier)))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (moduleExpr)
+          (identifier)))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (outerExpr)
+          (identifier)))
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classProperty
+        (identifier)
+        (subscriptExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (intLiteralExpr)))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)))
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody)))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))
+      (classProperty
+        (identifier)
+        (newExpr
+          (objectBody
+            (objectProperty
+              (identifier)
+              (slStringLiteralExpr
+                (slStringLiteralPart)
+                (stringInterpolation
+                  (qualifiedAccessExpr
+                    (outerExpr)
+                    (identifier))))))))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))
+      (classProperty
+        (identifier)
+        (qualifiedAccessExpr
+          (unqualifiedAccessExpr
+            (identifier))
+          (identifier)))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (unqualifiedAccessExpr
+          (identifier)
+          (argumentList)))))
+  (classProperty
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody)))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (slStringLiteralExpr
+            (stringInterpolation
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (slStringLiteralExpr
+            (stringInterpolation
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody))))))))
+  (classProperty
+    (identifier)
+    (qualifiedAccessExpr
+      (unqualifiedAccessExpr
+        (identifier))
+      (identifier)
+      (argumentList
+        (functionLiteralExpr
+          (parameterList)
+          (slStringLiteralExpr
+            (stringInterpolation
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody)))))))))

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

@@ -0,0 +1,227 @@
+===
+basic/constModifier2.pkl
+===
+
+const foo = new {
+  bar = "bar"
+  baz = bar
+  local loc = bar
+  qux = loc
+  local function f() = 1
+  qix = f()
+}
+
+const bar {
+  qux = 1
+  local function buzz() = 5
+  baz {
+    corge = 2
+    biz {
+      buz = qux
+      qup = corge
+      fuzz = buzz()
+    }
+  }
+}
+
+amend = (foo) {
+  baz = "amend"
+}
+
+class Thing {
+  prop1: Int = 5
+  prop2: Int
+  prop3: Thing2
+}
+
+class Thing2 {
+  prop4: Int = 5
+}
+
+const thing = new Thing {
+  prop2 = prop1
+}
+
+const thing2 = new Thing {
+  prop2 = this.prop1
+}
+
+const thing3 = new Thing {
+  prop2 = super.prop1
+}
+
+const thing4 = new Thing {
+  prop2 = 2
+  prop3 {
+    prop4 = 10
+  }
+}
+
+---
+
+(module
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart)))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectProperty
+          (modifier)
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)))
+        (objectMethod
+          (methodHeader
+            (modifier)
+            (identifier)
+            (parameterList))
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier)
+            (argumentList))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (objectBody
+      (objectProperty
+        (identifier)
+        (intLiteralExpr))
+      (objectMethod
+        (methodHeader
+          (modifier)
+          (identifier)
+          (parameterList))
+        (intLiteralExpr))
+      (objectProperty
+        (identifier)
+        (objectBody
+          (objectProperty
+            (identifier)
+            (intLiteralExpr))
+          (objectProperty
+            (identifier)
+            (objectBody
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)))
+              (objectProperty
+                (identifier)
+                (unqualifiedAccessExpr
+                  (identifier)
+                  (argumentList)))))))))
+  (classProperty
+    (identifier)
+    (amendExpr
+      (parenthesizedExpr
+        (unqualifiedAccessExpr
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (slStringLiteralExpr
+            (slStringLiteralPart))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier)))))))
+  (clazz
+    (identifier)
+    (classBody
+      (classProperty
+        (identifier)
+        (typeAnnotation
+          (declaredType
+            (qualifiedIdentifier
+              (identifier))))
+        (intLiteralExpr))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (unqualifiedAccessExpr
+            (identifier))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (qualifiedAccessExpr
+            (thisExpr)
+            (identifier))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (superAccessExpr
+            (identifier))))))
+  (classProperty
+    (modifier)
+    (identifier)
+    (newExpr
+      (declaredType
+        (qualifiedIdentifier
+          (identifier)))
+      (objectBody
+        (objectProperty
+          (identifier)
+          (intLiteralExpr))
+        (objectProperty
+          (identifier)
+          (objectBody
+            (objectProperty
+              (identifier)
+              (intLiteralExpr))))))))

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

@@ -0,0 +1,136 @@
+===
+basic/constModifier3.pkl
+===
+
+const function foo(num: Int(isBetween(0, 32))): Int = num
+const function foo2(num: Int(this.isBetween(0, 32))): Int = num
+const function foo3(str: String(length > 5)): String = str
+const function foo4(str: String(this.length > 5)): String = str
+
+
+res = foo(25)
+res2 = foo2(26)
+res3 = foo3("hihihi")
+res4 = foo4("hihihi")
+
+---
+
+(module
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))))
+      (typeAnnotation
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (qualifiedAccessExpr
+                (thisExpr)
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)))))))
+      (typeAnnotation
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (comparisonExpr
+                (unqualifiedAccessExpr
+                  (identifier))
+                (intLiteralExpr))))))
+      (typeAnnotation
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classMethod
+    (methodHeader
+      (modifier)
+      (identifier)
+      (parameterList
+        (typedIdentifier
+          (identifier)
+          (typeAnnotation
+            (constrainedType
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier)))
+              (comparisonExpr
+                (qualifiedAccessExpr
+                  (thisExpr)
+                  (identifier))
+                (intLiteralExpr))))))
+      (typeAnnotation
+        (declaredType
+          (qualifiedIdentifier
+            (identifier)))))
+    (unqualifiedAccessExpr
+      (identifier)))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (intLiteralExpr))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart)))))
+  (classProperty
+    (identifier)
+    (unqualifiedAccessExpr
+      (identifier)
+      (argumentList
+        (slStringLiteralExpr
+          (slStringLiteralPart))))))