@apple/tree-sitter-pkl 0.17.0 → 0.18.1

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

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

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