simple assertSameContext

Author: xieyuheng

TODO.md

@@ -1,6 +1,8 @@
 # lattice
 
-`lattice/conceptBelow` & `lattice/conceptAbove`
+`lattice/conceptBelow`
+`lattice/conceptAbove`
+
 `LatticeLayout`
 `layoutLattice(context)`
 

src/concept/assertSameContext.ts

@@ -3,20 +3,26 @@ import type { Concept } from "./Concept.js"
 
 export function assertSameContext(
   concepts: Array<Concept>,
-  options: {
-    who: string
-    message: string
-  } & Record<string, any>,
+  options: { who: string },
 ): void {
   if (concepts.length < 2) return
 
-  const { who, message } = options
+  const { who } = options
 
-  const [first, ...rest] = concepts
-  const firstContext = first.context
+  const [firstConcept, ...rest] = concepts
+  const firstContext = firstConcept.context
   for (const concept of rest) {
     if (firstContext !== concept.context) {
-      log(options)
+      const message = "I expect the contexts of x and y to be the same."
+
+      log({
+        who,
+        message,
+        concepts,
+        first: firstConcept,
+        offendingConcept: concept,
+      })
+
       throw new Error(`[assertSameContext by ${who}] ${message}`)
     }
   }

src/concept/conceptJoin.ts

@@ -4,10 +4,7 @@ import type { Concept } from "./Concept.js"
 import { conceptFromAttributes } from "./conceptFromAttributes.js"
 
 export function conceptJoin(x: Concept, y: Concept): Concept {
-  assertSameContext([x, y], {
-    who: "conceptJoin",
-    message: "I expect the contexts of x and y to be the same.",
-  })
+  assertSameContext([x, y], { who: "conceptJoin" })
 
   return conceptFromAttributes(x.context, setIntersection(x.intent, y.intent))
 }

src/concept/conceptMeet.ts

@@ -4,10 +4,7 @@ import type { Concept } from "./Concept.js"
 import { conceptFromEntities } from "./conceptFromEntities.js"
 
 export function conceptMeet(x: Concept, y: Concept): Concept {
-  assertSameContext([x, y], {
-    who: "conceptMeet",
-    message: "I expect the contexts of x and y to be the same.",
-  })
+  assertSameContext([x, y], { who: "conceptMeet" })
 
   return conceptFromEntities(x.context, setIntersection(x.extent, y.extent))
 }

src/lattice/conceptBelow.ts

@@ -1,5 +1,7 @@
+import { assertSameContext } from "../concept/assertSameContext.js"
 import type { Concept } from "../concept/Concept.js"
 
 export function conceptBelow(x: Concept, y: Concept): boolean {
+  assertSameContext([x, y], { who: "conceptBelow" })
   return false
 }