@suss/resolution 0.7.1 → 0.8.0

package/dist/index.cjs

@@ -123,6 +123,26 @@ var FACT_CONTRACT_CASES = [
       return contained.some((row) => functions.has(row[2])) ? null : "what a class contains under a method name is not the node that declares the method";
     }
   },
+  {
+    name: "a class constructed with an argument",
+    requires: "a module-level class whose constructor takes one parameter, and a site that makes one of it, passing a name",
+    // However a language writes construction, it is a call of the class, and
+    // the constructor's parameters are the class's. Keying them on the
+    // constructor instead leaves the argument with nowhere to land.
+    check: (facts) => {
+      const classes = new Set(facts("objectValue").map((row) => row[0] ?? ""));
+      const parameters = facts("paramOf").filter(
+        (row) => classes.has(row[0] ?? "")
+      );
+      if (parameters.length === 0) {
+        return "a class lists none of its constructor's parameters, so an argument a construction site passes reaches nothing";
+      }
+      if (facts("call").length === 0) {
+        return "making one of a class is not written down as a call, so nothing says which class a construction arrives at";
+      }
+      return facts("callArg").length > 0 ? null : "a construction passes its argument nowhere, so the parameter it lands in has no value";
+    }
+  },
   {
     name: "a value another file declares",
     requires: "two files, one declaring a value and the other reading it by name",
@@ -276,6 +296,18 @@ var RESOLUTION_RULES = [
       (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c"))
     ]
   ),
+  // The same, for a language whose adapter writes the import down as a
+  // declaration and the call's callee as the name referring to it.
+  (0, import_datalog.rule)(
+    "callsFunction",
+    [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("f")],
+    [
+      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("f")),
+      (0, import_datalog.lit)("imports", (0, import_datalog.variable)("d"), (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n")),
+      (0, import_datalog.lit)("binds", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("d")),
+      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c"))
+    ]
+  ),
   // A function whose return is itself a call arrives at the same object
   // that call does, so a chain passing through two factories settles.
   (0, import_datalog.rule)(

package/dist/index.js

@@ -93,6 +93,26 @@ var FACT_CONTRACT_CASES = [
       return contained.some((row) => functions.has(row[2])) ? null : "what a class contains under a method name is not the node that declares the method";
     }
   },
+  {
+    name: "a class constructed with an argument",
+    requires: "a module-level class whose constructor takes one parameter, and a site that makes one of it, passing a name",
+    // However a language writes construction, it is a call of the class, and
+    // the constructor's parameters are the class's. Keying them on the
+    // constructor instead leaves the argument with nowhere to land.
+    check: (facts) => {
+      const classes = new Set(facts("objectValue").map((row) => row[0] ?? ""));
+      const parameters = facts("paramOf").filter(
+        (row) => classes.has(row[0] ?? "")
+      );
+      if (parameters.length === 0) {
+        return "a class lists none of its constructor's parameters, so an argument a construction site passes reaches nothing";
+      }
+      if (facts("call").length === 0) {
+        return "making one of a class is not written down as a call, so nothing says which class a construction arrives at";
+      }
+      return facts("callArg").length > 0 ? null : "a construction passes its argument nowhere, so the parameter it lands in has no value";
+    }
+  },
   {
     name: "a value another file declares",
     requires: "two files, one declaring a value and the other reading it by name",
@@ -246,6 +266,18 @@ var RESOLUTION_RULES = [
       lit("call", v("r"), v("c"))
     ]
   ),
+  // The same, for a language whose adapter writes the import down as a
+  // declaration and the call's callee as the name referring to it.
+  rule(
+    "callsFunction",
+    [v("r"), v("f")],
+    [
+      lit("moduleExport", v("m"), v("n"), v("f")),
+      lit("imports", v("d"), v("m"), v("n")),
+      lit("binds", v("c"), v("d")),
+      lit("call", v("r"), v("c"))
+    ]
+  ),
   // A function whose return is itself a call arrives at the same object
   // that call does, so a chain passing through two factories settles.
   rule(

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/resolution",
-  "version": "0.7.1",
+  "version": "0.8.0",
   "type": "module",
   "description": "Language-neutral rules for following a value to the function it comes down to.",
   "keywords": [
@@ -53,6 +53,6 @@
     "access": "public"
   },
   "dependencies": {
-    "@suss/datalog": "0.7.1"
+    "@suss/datalog": "0.8.0"
   }
 }