@apple/tree-sitter-pkl 0.18.1 → 0.20.0

package/test/corpus/snippetTests/api/reflect2.txt

@@ -1,480 +0,0 @@
-===
-api/reflect2.pkl
-===
-
-/// Module doc comment line 1
-/// Module doc comment line 2
-module api.reflect
-
-amends ".../snippetTest.pkl"
-
-import "pkl:reflect"
-import ".../input-helper/api/reflect/BaseModule.pkl"
-import ".../input-helper/api/reflect/ExtendingModule.pkl"
-
-local testHelpers = (import(".../input-helper/api/reflect/testHelpers.pkl")) {
-  referenceModule = "ExtendingModule.pkl"
-}
-
-local mod = reflect.Module(ExtendingModule)
-local modClass = mod.moduleClass
-local modClassProps = modClass.properties
-local modClassMethods = modClass.methods
-local person2Class = mod.classes["Person2"]
-
-facts {
-  ["Reflecting an extending module"] {
-    mod.reflectee == ExtendingModule
-    mod.annotations == testHelpers.MyAnn("extending module annotation")
-    mod.docComment == "extending module doc comment"
-    mod.uri.matches(Regex(#"file:///.*/input-helper/api/reflect/ExtendingModule.pkl"#))
-    mod.supermodule == reflect.Module(BaseModule) == true
-    mod.isAmend == false
-    mod.classes.keys == Set("Person2")
-    mod.typeAliases.keys == Set()
-  }
-  
-  ["Reflecting an extending module class"] {
-    modClass.reflectee == ExtendingModule.getClass()
-    modClass.annotations == testHelpers.MyAnn("extending module annotation")
-    modClass.docComment == "extending module doc comment"
-  }
-  
-  ["Reflecting properties"] {
-    modClassProps.keys == Set("property")
-  }
-  
-  ["Reflecting methods"] {
-    modClassMethods.keys == Set("method")    
-  }
-  
-  ["Reflecting an extended class"] {
-    person2Class.annotations == List()
-    person2Class.docComment == null
-    person2Class.location.displayUri.contains("ExtendingModule.pkl")
-    person2Class.reflectee == ExtendingModule.Person2
-    person2Class.typeParameters == List()
-    person2Class.superclass == reflect.Class(BaseModule.Person)
-    person2Class.supertype == reflect.DeclaredType(person2Class.superclass!!)
-    person2Class.properties.keys == Set()
-    person2Class.methods.keys == Set()    
-  }
-}
-
-examples {
-  ["Reflected module properties of known extending type metadata"] {
-    testHelpers.property(modClassProps["property"], reflect.DeclaredType(reflect.Class(ExtendingModule.Person2))) 
-  }
-  ["Reflecting a method from an extending module"] {
-    testHelpers.method(
-      modClassMethods["method"],
-      List(),
-      reflect.DeclaredType(reflect.Class(BaseModule.Person)))
-  }
-}
-
----
-
-(module
-  (moduleHeader
-    (docComment)
-    (moduleClause
-
-      (qualifiedIdentifier
-        (identifier)
-        (identifier)))
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (amendExpr
-      (parenthesizedExpr
-        (importExpr
-          (stringConstant
-            (slStringLiteralPart))))
-      (objectBody
-        (objectProperty
-          (identifier)
-          (slStringLiteralExpr
-            (slStringLiteralPart))))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (subscriptExpr
-      (qualifiedAccessExpr
-        (unqualifiedAccessExpr
-          (identifier))
-        (identifier))
-      (slStringLiteralExpr
-        (slStringLiteralPart))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))))))
-          (objectElement
-            (equalityExpr
-              (equalityExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier)
-                  (argumentList
-                    (unqualifiedAccessExpr
-                      (identifier)))))
-              (trueLiteralExpr)))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (falseLiteralExpr)))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (nullLiteralExpr)))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (identifier)
-              (argumentList
-                (slStringLiteralExpr
-                  (slStringLiteralPart)))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (qualifiedAccessExpr
-                    (unqualifiedAccessExpr
-                      (identifier))
-                    (identifier))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (nonNullExpr
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier)))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList
-                (subscriptExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (slStringLiteralExpr
-                    (slStringLiteralPart)))
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier)
-                  (argumentList
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier)
-                      (argumentList
-                        (qualifiedAccessExpr
-                          (unqualifiedAccessExpr
-                            (identifier))
-                          (identifier)))))))))))
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)
-              (argumentList
-                (subscriptExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (slStringLiteralExpr
-                    (slStringLiteralPart)))
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList))
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier)
-                  (argumentList
-                    (qualifiedAccessExpr
-                      (unqualifiedAccessExpr
-                        (identifier))
-                      (identifier)
-                      (argumentList
-                        (qualifiedAccessExpr
-                          (unqualifiedAccessExpr
-                            (identifier))
-                          (identifier))))))))))))))

package/test/corpus/snippetTests/api/reflect3.txt

@@ -1,193 +0,0 @@
-===
-api/reflect3.pkl
-===
-
-/// Module doc comment line 1
-/// Module doc comment line 2
-module api.reflect
-
-amends ".../snippetTest.pkl"
-
-import "pkl:reflect"
-import ".../input-helper/api/reflect/BaseModule.pkl"
-import ".../input-helper/api/reflect/amendingModule.pkl"
-import ".../input-helper/api/reflect/testHelpers.pkl"
-
-local mod = reflect.Module(amendingModule)
-
-facts {
-  ["Reflecting an amended module"] {
-    mod.reflectee == amendingModule
-    mod.annotations == testHelpers.MyAnn("amending module annotation")
-    mod.docComment == "amending module doc comment"
-    mod.uri.matches(Regex(#"file:///.*/input-helper/api/reflect/amendingModule.pkl"#))
-    mod.supermodule == reflect.Module(BaseModule)
-    mod.isAmend
-    mod.classes.keys == Set()
-    mod.typeAliases.keys == Set()
-    mod.moduleClass.reflectee == BaseModule.getClass()
-    reflect.Module(module) == reflect.moduleOf((module) { facts { ["Can amend"] {} } })
-  }
-}
-
----
-
-(module
-  (moduleHeader
-    (docComment)
-    (moduleClause
-
-      (qualifiedIdentifier
-        (identifier)
-        (identifier)))
-      (extendsOrAmendsClause
-      (stringConstant
-        (slStringLiteralPart))))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (importClause
-    (stringConstant
-      (slStringLiteralPart)))
-  (classProperty
-    (modifier)
-    (identifier)
-    (qualifiedAccessExpr
-      (unqualifiedAccessExpr
-        (identifier))
-      (identifier)
-      (argumentList
-        (unqualifiedAccessExpr
-          (identifier)))))
-  (classProperty
-    (identifier)
-    (objectBody
-      (objectEntry
-        (slStringLiteralExpr
-          (slStringLiteralPart))
-        (objectBody
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (slStringLiteralExpr
-                    (slStringLiteralPart))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (slStringLiteralExpr
-                (slStringLiteralPart))))
-          (objectElement
-            (qualifiedAccessExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (identifier)
-              (argumentList
-                (unqualifiedAccessExpr
-                  (identifier)
-                  (argumentList
-                    (slStringLiteralExpr
-                      (slStringLiteralPart)))))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (unqualifiedAccessExpr
-                    (identifier))))))
-          (objectElement
-            (qualifiedAccessExpr
-              (unqualifiedAccessExpr
-                (identifier))
-              (identifier)))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (unqualifiedAccessExpr
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (qualifiedAccessExpr
-                  (unqualifiedAccessExpr
-                    (identifier))
-                  (identifier))
-                (identifier))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList))))
-          (objectElement
-            (equalityExpr
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (moduleExpr)))
-              (qualifiedAccessExpr
-                (unqualifiedAccessExpr
-                  (identifier))
-                (identifier)
-                (argumentList
-                  (amendExpr
-                    (parenthesizedExpr
-                      (moduleExpr))
-                    (objectBody
-                      (objectProperty
-                        (identifier)
-                        (objectBody
-                          (objectEntry
-                            (slStringLiteralExpr
-                              (slStringLiteralPart))
-                            (objectBody)))))))))))))))