Logic Rule Debug

logicRuleDebug.ts

  /* istanbul ignore next */
  debugString(): string {
    let strRules: string[] = [];

    function debugMeta(info: MetaInfo | null): string {
      if (info === null) return '.';
      return "<< " +  termToString(info.target) + " " + info.kind + " " + termToString(info.value) + " >>";
    }

    function debugLogcRule(rule: LogicRule): string {
      let b = "";

      if (rule.dataBody === null) {
        b += ".";
      } else {
        b += termToString(rule.dataBody);
      }

      b += " + " + debugMeta(rule.metaBody) + " = " + debugMeta(rule.metaHead);

      return b;
    }

    for (const [activator, rules] of this.dataPredicateToRules) {
      for (const rule of rules) {
        strRules.push(
          termToString(activator) + " >>> " + debugLogcRule(rule)
        );
      }
    }


    for (const [a, b] of Object.entries(this.metaToRules)) {
      for (const [activator, rules] of b) {
        for (const rule of rules) {
          strRules.push(
            a + " " + termToString(activator) + " >>> " + debugLogcRule(rule)
          );
        }
      }
    }

    for (const rule of this.axioms) {
      strRules.push(
        " >>> " + debugLogcRule(rule)
      );
    }

    return strRules.map(r => "• " + r).join("\n");
  }