use beliefEqual in tests

Author: xieyuheng

TODO.md

@@ -1,4 +1,4 @@
-use beliefEqual in test -- remove assertBeliefReasons
+remove assertBeliefReasons
 extract beliefSystemEqual
 
 # propagator 支持 dependencies for alternate worldviews

package.json

@@ -12,6 +12,7 @@
     "build": "tsc",
     "build:watch": "tsc --watch",
     "test": "node --test",
+    "test:watch": "node --test --watch",
     "format": "prettier src --write"
   },
   "devDependencies": {

src/belief/Belief.test.ts

@@ -3,7 +3,7 @@ import { test } from "node:test"
 import { Cell, put } from "../cell/index.js"
 import { Interval, intervalAlmostEqual } from "../interval/index.js"
 import { run } from "../scheduler/index.js"
-import { Belief, assertBeliefReasons } from "./index.js"
+import { Belief, beliefEqual, isBelief } from "./index.js"
 
 test("dependency / a justified-intervals anomaly", async () => {
   // A:     [           ]
@@ -22,8 +22,13 @@ test("dependency / a justified-intervals anomaly", async () => {
   await run()
 
   // Actually no dependency on A, but A is recorded anyway.
-  assertBeliefReasons(interval.content, ["A", "B", "C"])
-  assert(intervalAlmostEqual(interval.content.value, Interval(50, 75), 0))
+
+  assert(
+    isBelief(interval.content) &&
+      beliefEqual(interval.content, Belief(Interval(50, 75), ["A", "B", "C"]), {
+        valueEqual: (x, y) => intervalAlmostEqual(x, y, 0),
+      }),
+  )
 
   {
     // The order matters.
@@ -35,7 +40,11 @@ test("dependency / a justified-intervals anomaly", async () => {
 
     await run()
 
-    assertBeliefReasons(interval.content, ["B", "C"])
-    assert(intervalAlmostEqual(interval.content.value, Interval(50, 75), 0))
+    assert(
+      isBelief(interval.content) &&
+        beliefEqual(interval.content, Belief(Interval(50, 75), ["B", "C"]), {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0),
+        }),
+    )
   }
 })

src/examples/barometer-belief.test.ts

@@ -1,6 +1,6 @@
 import assert from "node:assert"
 import { test } from "node:test"
-import { Belief, assertBeliefReasons } from "../belief/index.js"
+import { Belief, beliefEqual, isBelief } from "../belief/index.js"
 import { Cell, put } from "../cell/index.js"
 import { Interval, intervalAlmostEqual } from "../interval/index.js"
 import { run } from "../scheduler/index.js"
@@ -15,13 +15,15 @@ test("examples / barometer-belief", async () => {
 
   await run()
 
-  assertBeliefReasons(buildingHeight.content, ["shadows"])
   assert(
-    intervalAlmostEqual(
-      buildingHeight.content.value,
-      Interval(44.51, 48.97),
-      0.01,
-    ),
+    isBelief(buildingHeight.content) &&
+      beliefEqual(
+        buildingHeight.content,
+        Belief(Interval(44.51, 48.97), ["shadows"]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
   const fallTime = Cell()
@@ -30,76 +32,100 @@ test("examples / barometer-belief", async () => {
 
   await run()
 
-  assertBeliefReasons(fallTime.content, ["shadows"])
-  assert(intervalAlmostEqual(fallTime.content.value, Interval(3, 3.16), 0.01))
+  assert(
+    isBelief(fallTime.content) &&
+      beliefEqual(fallTime.content, Belief(Interval(3, 3.16), ["shadows"]), {
+        valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+      }),
+  )
 
-  assertBeliefReasons(buildingHeight.content, ["shadows"])
   assert(
-    intervalAlmostEqual(
-      buildingHeight.content.value,
-      Interval(44.51, 48.97),
-      0.01,
-    ),
+    isBelief(buildingHeight.content) &&
+      beliefEqual(
+        buildingHeight.content,
+        Belief(Interval(44.51, 48.97), ["shadows"]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
   put(fallTime, Belief(Interval(2.9, 3.1), ["better-fall-time"]))
 
   await run()
 
-  assertBeliefReasons(buildingHeight.content, ["shadows", "better-fall-time"])
   assert(
-    intervalAlmostEqual(
-      buildingHeight.content.value,
-      Interval(44.51, 47.24),
-      0.01,
-    ),
+    isBelief(buildingHeight.content) &&
+      beliefEqual(
+        buildingHeight.content,
+        Belief(Interval(44.51, 47.24), ["shadows", "better-fall-time"]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
   put(buildingHeight, Belief(45, ["superintendent"]))
 
   await run()
 
-  assertBeliefReasons(buildingHeight.content, ["superintendent"])
-  assert.deepStrictEqual(buildingHeight.content.value, 45)
+  assert(
+    isBelief(buildingHeight.content) &&
+      beliefEqual(buildingHeight.content, Belief(45, ["superintendent"]), {
+        valueEqual: (x, y) => x === y,
+      }),
+  )
 
-  assertBeliefReasons(barometerHeight.content, [
-    "superintendent",
-    "better-fall-time",
-    "shadows",
-  ])
   assert(
-    intervalAlmostEqual(
-      barometerHeight.content.value,
-      Interval(0.3, 0.3),
-      0.01,
-    ),
+    isBelief(barometerHeight.content) &&
+      beliefEqual(
+        barometerHeight.content,
+        Belief(Interval(0.3, 0.3), [
+          "superintendent",
+          "better-fall-time",
+          "shadows",
+        ]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
-  assertBeliefReasons(barometerShadow.content, [
-    "superintendent",
-    "better-fall-time",
-    "shadows",
-  ])
   assert(
-    intervalAlmostEqual(
-      barometerShadow.content.value,
-      Interval(0.36, 0.37),
-      0.01,
-    ),
+    isBelief(barometerShadow.content) &&
+      beliefEqual(
+        barometerShadow.content,
+        Belief(Interval(0.36, 0.37), [
+          "superintendent",
+          "better-fall-time",
+          "shadows",
+        ]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
-  assertBeliefReasons(buildingShadow.content, ["shadows"])
   assert(
-    intervalAlmostEqual(
-      buildingShadow.content.value,
-      Interval(54.9, 55.1),
-      0.01,
-    ),
+    isBelief(buildingShadow.content) &&
+      beliefEqual(
+        buildingShadow.content,
+        Belief(Interval(54.9, 55.1), ["shadows"]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
-  assertBeliefReasons(fallTime.content, ["superintendent"])
   assert(
-    intervalAlmostEqual(fallTime.content.value, Interval(3.02, 3.03), 0.01),
+    isBelief(fallTime.content) &&
+      beliefEqual(
+        fallTime.content,
+        Belief(Interval(3.02, 3.03), ["superintendent"]),
+        {
+          valueEqual: (x, y) => intervalAlmostEqual(x, y, 0.01),
+        },
+      ),
   )
 
   {