feat: dot visualization

2 files changed, 22 insertions, 7 deletions

diff --git a/subprojects/frontend/src/xtext/SemanticsService.ts b/subprojects/frontend/src/xtext/SemanticsService.ts
index 50ec371a..d68b87a9 100644
--- a/subprojects/frontend/src/xtext/SemanticsService.ts
+++ b/subprojects/frontend/src/xtext/SemanticsService.ts
@@ -17,11 +17,15 @@ export default class SemanticsService {
 
   onPush(push: unknown): void {
     const result = SemanticsResult.parse(push);
-    this.validationService.setSemanticsIssues(result.issues ?? []);
-    if (result.error !== undefined) {
-      this.store.setSemanticsError(result.error);
+    if ('issues' in result) {
+      this.validationService.setSemanticsIssues(result.issues);
     } else {
-      this.store.setSemantics(push);
+      this.validationService.setSemanticsIssues([]);
+      if ('error' in result) {
+        this.store.setSemanticsError(result.error);
+      } else {
+        this.store.setSemantics(result);
+      }
     }
     this.store.analysisCompleted();
   }
diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts
index cae95771..12f87b26 100644
--- a/subprojects/frontend/src/xtext/xtextServiceResults.ts
+++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts
@@ -126,9 +126,20 @@ export const FormattingResult = DocumentStateResult.extend({
 
 export type FormattingResult = z.infer<typeof FormattingResult>;
 
-export const SemanticsResult = z.object({
-  error: z.string().optional(),
-  issues: Issue.array().optional(),
+export const SemanticsSuccessResult = z.object({
+  nodes: z.string().nullable().array(),
+  partialInterpretation: z.record(
+    z.string(),
+    z.union([z.number(), z.string()]).array().array(),
+  ),
 });
 
+export type SemanticsSuccessResult = z.infer<typeof SemanticsSuccessResult>;
+
+export const SemanticsResult = z.union([
+  z.object({ error: z.string() }),
+  z.object({ issues: Issue.array() }),
+  SemanticsSuccessResult,
+]);
+
 export type SemanticsResult = z.infer<typeof SemanticsResult>;