theprogrammablemind 9.7.1 → 9.8.0-beta.0

package/src/semantics.js

@@ -75,13 +75,16 @@ class Semantic {
   async matches (args, context, options = {}) {
     args = {...args}
     this.fixUpArgs(args, context)
-    const matches = await this.matcher(args)
-    if (matches && (options.debug || {}).match || args.callId === this.callId) {
-      // next line is the matcher
-      debugger // eslint-disable-line no-debugger
-      await this.matcher(args)
-    }
-    return matches
+    return await debug.hitScoped(args.callId, async () => {
+      const matches = await this.matcher(args)
+      if (matches) {
+        if ((options.debug || {}).match || args.callId === this.callId || process.env.DEBUG_CALLID == args.callId) {
+          debugger // eslint-disable-line no-debugger
+          await this.matcher(args) // DEBUG: This is the line you step into
+        }
+      }
+      return matches
+    })
   }
 
   async apply (args, context, s, options = {}) {
@@ -97,21 +100,24 @@ class Semantic {
     const contextPrime = Object.assign({}, context)
     this.fixUpArgs(args, contextPrime)
 
-    if ((options.debug || {}).apply || args.callId === this.callId) {
-      debugger // eslint-disable-line no-debugger
-    }
-    if (args.breakOnSemantics) {
-      debugger // eslint-disable-line no-debugger
-    }
-    try {
-      args.handlerStack.push(this)
-      await this._apply(args)
-      args.handlerStack.pop()
-    } catch( e ) {
-      args.handlerStack.pop()
-      throw e
-    }
-    return contextPrime
+    return await debug.hitScoped(args.callId, async () => {
+      if ((options.debug || {}).apply || args.callId === this.callId || process.env.DEBUG_CALLID == args.callId) {
+        debugger // eslint-disable-line no-debugger  // STEP ABOUT THREE TIMES TO THE DEBUG LINE
+      }
+      if (args.breakOnSemantics) {
+        debugger // eslint-disable-line no-debugger
+      }
+
+      try {
+        args.stack.push(this)
+        await this._apply(args) // DEBUG: This is the line you want to step into
+        args.stack.pop()
+      } catch( e ) {
+        args.stack.pop()
+        throw e
+      }
+      return contextPrime
+    })
   }
 }
 
@@ -187,6 +193,8 @@ class Semantics {
     let seenQuestion = false
     const deferred = []
     args.log = (message) => { this.logs.push(message) }
+    const finallyList = []; // called after the semantic is processed
+    args._finally = (call) => finallyList.unshift(call)
     for (const isemantic in this.semantics) {
       const semantic = this.semantics[isemantic]
       // only one question at a time
@@ -247,13 +255,14 @@ class Semantics {
           const widths = Lines.addRemainder([10, 10])
           const lines = new Lines(widths)
           lines.setElement(0, 0, 'Semantic')
+          lines.setElement(0, 1, `#${context.context_id || "?"}`)
           const source = `${semantic.km}/#${semantic.index}`
           lines.setElement(0, 2, `ERROR while applying (${source}) ${semantic.toLabel()}`)
           lines.newRow()
           lines.setElement(0, 2, semantic.toString())
           lines.newRow()
           lines.setElement(0, 1, 'DEBUG')
-          lines.setElement(0, 2, `To debug this use args.callId === '${args.calls.current()}'`)
+          lines.setElement(0, 2, `To debug this use debug.breakAt('${args.calls.current()}') in the code or DEBUG_CALLID="${args.calls.current()}"`)
           lines.newRow()
           lines.setElement(0, 1, 'TO')
           lines.setElement(0, 2, `context_id: ${context.context_id}`)
@@ -277,6 +286,7 @@ class Semantics {
           const widths = Lines.addRemainder([10, 10])
           const lines = new Lines(widths)
           lines.setElement(0, 0, 'Semantic')
+          lines.setElement(0, 1, `#${context.context_id || "?"}`)
           if (semantic.index > -1 && semantic.km) {
             // lines.setElement(0, 2, `KM '${semantic.km}' ordinal: ${semantic.index} ${ semantic.notes ? semantic.nodes : '' }`)
             lines.setElement(0, 2, semantic.toLabel())
@@ -288,7 +298,7 @@ class Semantics {
           lines.setElement(0, 2, semantic.toString())
           lines.newRow()
           lines.setElement(0, 1, 'DEBUG')
-          lines.setElement(0, 2, `To debug this use args.callId === '${args.calls.current()}'`)
+          lines.setElement(0, 2, `To debug this use debug.breakAt('${args.calls.current()}') in the code or DEBUG_CALLID="${args.calls.current()}"`)
           lines.newRow()
           lines.setElement(0, 1, 'TO')
           lines.setElement(0, 2, `context_id: ${context.context_id}`)
@@ -319,11 +329,15 @@ class Semantics {
       }
       counter += 1
     }
+    for (const f of finallyList) {
+      await f()
+    }
     args.calls.pop()
     if (!applied && debug) {
       const widths = Lines.addRemainder([10, 10])
       const lines = new Lines(widths)
       lines.setElement(0, 0, 'Semantic')
+      lines.setElement(0, 1, `#${context.context_id || "?"}`)
       lines.setElement(0, 2, 'No semantic applied')
       lines.newRow()
       lines.setElement(0, 1, 'STACK')