From 0e54d399424374d497d08a8631c4761dece57ceb Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 23 Aug 2023 03:36:25 +0200 Subject: feat: dot visualization --- subprojects/frontend/src/editor/EditorStore.ts | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'subprojects/frontend/src/editor/EditorStore.ts') diff --git a/subprojects/frontend/src/editor/EditorStore.ts b/subprojects/frontend/src/editor/EditorStore.ts index 563725bb..10f01099 100644 --- a/subprojects/frontend/src/editor/EditorStore.ts +++ b/subprojects/frontend/src/editor/EditorStore.ts @@ -28,6 +28,7 @@ import { nanoid } from 'nanoid'; import type PWAStore from '../PWAStore'; import getLogger from '../utils/getLogger'; import type XtextClient from '../xtext/XtextClient'; +import type { SemanticsSuccessResult } from '../xtext/xtextServiceResults'; import EditorErrors from './EditorErrors'; import LintPanelStore from './LintPanelStore'; @@ -65,7 +66,7 @@ export default class EditorStore { semanticsError: string | undefined; - semantics: unknown = {}; + semantics: SemanticsSuccessResult | undefined; constructor(initialValue: string, pwaStore: PWAStore) { this.id = nanoid(); @@ -295,7 +296,7 @@ export default class EditorStore { this.semanticsError = semanticsError; } - setSemantics(semantics: unknown) { + setSemantics(semantics: SemanticsSuccessResult) { this.semanticsError = undefined; this.semantics = semantics; } -- cgit v1.2.3-70-g09d2