assertSameContext -- take options with who and message

Author: xieyuheng

TODO.md

@@ -1,11 +1,8 @@
 # lattice
 
-实现 concept 之间的序关系
-
-- lessGeneral
-- moreGeneral
-
-`buildLattice(context)`
+`lattice/conceptBelow` & `lattice/conceptAbove`
+`LatticeLayout`
+`layoutLattice(context)`
 
 # optimize
 

src/concept/assertSameContext.ts

@@ -0,0 +1,23 @@
+import { log } from "../utils/log.js"
+import type { Concept } from "./Concept.js"
+
+export function assertSameContext(
+  concepts: Array<Concept>,
+  options: {
+    who: string
+    message: string
+  } & Record<string, any>,
+): void {
+  if (concepts.length < 2) return
+
+  const { who, message } = options
+
+  const [first, ...rest] = concepts
+  const firstContext = first.context
+  for (const concept of rest) {
+    if (firstContext !== concept.context) {
+      log(options)
+      throw new Error(`[assertSameContext by ${who}] ${message}`)
+    }
+  }
+}

src/concept/conceptJoin.ts

@@ -1,15 +1,13 @@
-import { log } from "../utils/log.js"
 import { setIntersection } from "../utils/Set.js"
+import { assertSameContext } from "./assertSameContext.js"
 import type { Concept } from "./Concept.js"
 import { conceptFromAttributes } from "./conceptFromAttributes.js"
 
 export function conceptJoin(x: Concept, y: Concept): Concept {
-  if (x.context !== y.context) {
-    const who = "conceptJoin"
-    const message = "I expect the contexts of x and y to be the same."
-    log({ who, x, y })
-    throw new Error(`[${who}] ${message}`)
-  }
+  assertSameContext([x, y], {
+    who: "conceptJoin",
+    message: "I expect the contexts of x and y to be the same.",
+  })
 
   return conceptFromAttributes(x.context, setIntersection(x.intent, y.intent))
 }

src/concept/conceptMeet.ts

@@ -1,15 +1,13 @@
-import { log } from "../utils/log.js"
 import { setIntersection } from "../utils/Set.js"
+import { assertSameContext } from "./assertSameContext.js"
 import type { Concept } from "./Concept.js"
 import { conceptFromEntities } from "./conceptFromEntities.js"
 
 export function conceptMeet(x: Concept, y: Concept): Concept {
-  if (x.context !== y.context) {
-    const who = "conceptMeet"
-    const message = "I expect the contexts of x and y to be the same."
-    log({ who, x, y })
-    throw new Error(`[${who}] ${message}`)
-  }
+  assertSameContext([x, y], {
+    who: "conceptMeet",
+    message: "I expect the contexts of x and y to be the same.",
+  })
 
   return conceptFromEntities(x.context, setIntersection(x.extent, y.extent))
 }

src/concept/index.ts

@@ -1,3 +1,4 @@
+export * from "./assertSameContext.js"
 export * from "./closureAttributes.js"
 export * from "./closureEntities.js"
 export * from "./Concept.js"

src/lattice/conceptAbove.ts

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

src/lattice/conceptBelow.ts

@@ -2,11 +2,19 @@ import assert from "node:assert"
 import test from "node:test"
 import { createContextFromCrossTable } from "../context/createContextFromCrossTable.js"
 import { planets } from "../examples/planets.js"
+import { waterbodies } from "../examples/waterbodies.js"
 import { generateConcepts } from "./generateConcepts.js"
 
-test("generateConcepts", () => {
+test("generateConcepts -- planets", () => {
   const context = createContextFromCrossTable(planets)
   const concepts = generateConcepts(context)
 
   assert.strictEqual(concepts.length, 12)
 })
+
+test("generateConcepts -- waterbodies", () => {
+  const context = createContextFromCrossTable(waterbodies)
+  const concepts = generateConcepts(context)
+
+  assert.strictEqual(concepts.length, 13)
+})

src/lattice/generateConcepts.test.ts

@@ -1 +1,3 @@
+export * from "./conceptAbove.js"
+export * from "./conceptBelow.js"
 export * from "./generateConcepts.js"