feat: generator facade timeout and non-existent objects

Quality of life improvements for the semantics and generator facade APIs.

3 files changed, 29 insertions, 3 deletions

diff --git a/subprojects/frontend/src/graph/GraphStore.ts b/subprojects/frontend/src/graph/GraphStore.ts
index 86ffd802..30d0a2f3 100644
--- a/subprojects/frontend/src/graph/GraphStore.ts
+++ b/subprojects/frontend/src/graph/GraphStore.ts
@@ -233,4 +233,9 @@ export default class GraphStore {
   get name(): string {
     return this.nameOverride ?? this.editorStore.simpleNameOrFallback;
   }
+
+  get showNonExistent(): boolean {
+    const existsVisibility = this.visibility.get('builtin::exists') ?? 'none';
+    return existsVisibility !== 'none' || this.scopes;
+  }
 }
diff --git a/subprojects/frontend/src/graph/GraphTheme.tsx b/subprojects/frontend/src/graph/GraphTheme.tsx
index bdc01b78..1127a46d 100644
--- a/subprojects/frontend/src/graph/GraphTheme.tsx
+++ b/subprojects/frontend/src/graph/GraphTheme.tsx
@@ -143,6 +143,21 @@ export function createGraphTheme({
     'text.label-ERROR': {
       fill: theme.palette.error.main,
     },
+    '.node-exists-FALSE': {
+      'text:not(.label-ERROR)': {
+        fill: theme.palette.text.secondary,
+      },
+      '.node-outline': {
+        stroke: theme.palette.text.secondary,
+        strokeDasharray: '2 4',
+      },
+      '.node-header': {
+        fill: theme.palette.background.default,
+      },
+      '.icon-TRUE': {
+        fill: theme.palette.text.secondary,
+      },
+    },
   };
 }
 
diff --git a/subprojects/frontend/src/graph/dotSource.ts b/subprojects/frontend/src/graph/dotSource.ts
index ce504c37..9099cd09 100644
--- a/subprojects/frontend/src/graph/dotSource.ts
+++ b/subprojects/frontend/src/graph/dotSource.ts
@@ -128,11 +128,16 @@ function createNodes(
   const {
     semantics: { nodes },
     scopes,
+    showNonExistent,
   } = graph;
 
   nodes.forEach((node, i) => {
     const data = nodeData[i];
-    if (data === undefined || data.isolated || data.exists === 'FALSE') {
+    if (
+      data === undefined ||
+      data.isolated ||
+      (!showNonExistent && data.exists === 'FALSE')
+    ) {
       return;
     }
     const classList = [
@@ -255,6 +260,7 @@ function createRelationEdges(
 ): void {
   const {
     semantics: { nodes, partialInterpretation },
+    showNonExistent,
   } = graph;
   const { detail } = relation;
 
@@ -297,9 +303,9 @@ function createRelationEdges(
     const toData = nodeData[to];
     if (
       fromData === undefined ||
-      fromData.exists === 'FALSE' ||
       toData === undefined ||
-      toData.exists === 'FALSE'
+      (!showNonExistent &&
+        (fromData.exists === 'FALSE' || toData.exists === 'FALSE'))
     ) {
       return;
     }