@apple/tree-sitter-pkl 0.18.1 → 0.20.0

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

@@ -1,324 +0,0 @@
-===
-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

@@ -1,227 +0,0 @@
-===
-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

@@ -1,136 +0,0 @@
-===
-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))))))