dbgflow-core 0.3.0

Core runtime, session model, and embedded UI server for the dbgflow graph debugger.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <title>dbgflow UI</title>
    <link rel="icon" href="data:," />
    <link rel="stylesheet" href="/globals.css" />
    <link rel="stylesheet" href="/app.css" />
  </head>
  <body>
    <div id="root"></div>
    <script>
      (function () {
        function shouldIgnoreBootError(message) {
          if (!message) {
            return false;
          }

          return message.indexOf("ResizeObserver loop completed with undelivered notifications") !== -1
            || message.indexOf("ResizeObserver loop limit exceeded") !== -1;
        }

        function showBootError(error) {
          var existing = document.getElementById("dbgflow-boot-error");
          if (existing) {
            existing.textContent = error;
            return;
          }

          var pre = document.createElement("pre");
          pre.id = "dbgflow-boot-error";
          pre.textContent = error;
          pre.style.position = "fixed";
          pre.style.inset = "16px";
          pre.style.padding = "16px";
          pre.style.margin = "0";
          pre.style.zIndex = "99999";
          pre.style.overflow = "auto";
          pre.style.whiteSpace = "pre-wrap";
          pre.style.background = "#120909";
          pre.style.color = "#f5f5f5";
          pre.style.border = "1px solid rgba(239, 68, 68, 0.45)";
          pre.style.borderRadius = "16px";
          pre.style.font = "12px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace";
          document.body.appendChild(pre);
        }

        window.addEventListener("error", function (event) {
          var message = event.error && event.error.stack
            ? event.error.stack
            : [event.message, event.filename, event.lineno, event.colno].filter(Boolean).join(" @ ");
          if (shouldIgnoreBootError(message)) {
            event.preventDefault();
            return;
          }
          showBootError(String(message || "Unknown boot error"));
        });

        window.addEventListener("unhandledrejection", function (event) {
          var reason = event.reason && event.reason.stack ? event.reason.stack : event.reason;
          if (shouldIgnoreBootError(String(reason || ""))) {
            event.preventDefault();
            return;
          }
          showBootError(String(reason || "Unhandled promise rejection"));
        });
      })();
    </script>
    <script type="module" src="/app.js"></script>
  </body>
</html>