diff options
author | 2023-08-23 03:36:25 +0200 | |
---|---|---|
committer | 2023-08-23 03:36:25 +0200 | |
commit | 0e54d399424374d497d08a8631c4761dece57ceb (patch) | |
tree | bd0873080b4bc3b81984852def5e435e51292d0d /subprojects/frontend/src/editor/EditorStore.ts | |
parent | fix: predicate value translation (diff) | |
download | refinery-0e54d399424374d497d08a8631c4761dece57ceb.tar.gz refinery-0e54d399424374d497d08a8631c4761dece57ceb.tar.zst refinery-0e54d399424374d497d08a8631c4761dece57ceb.zip |
feat: dot visualization
Diffstat (limited to 'subprojects/frontend/src/editor/EditorStore.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorStore.ts | 5 |
1 files changed, 3 insertions, 2 deletions
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'; | |||
28 | import type PWAStore from '../PWAStore'; | 28 | import type PWAStore from '../PWAStore'; |
29 | import getLogger from '../utils/getLogger'; | 29 | import getLogger from '../utils/getLogger'; |
30 | import type XtextClient from '../xtext/XtextClient'; | 30 | import type XtextClient from '../xtext/XtextClient'; |
31 | import type { SemanticsSuccessResult } from '../xtext/xtextServiceResults'; | ||
31 | 32 | ||
32 | import EditorErrors from './EditorErrors'; | 33 | import EditorErrors from './EditorErrors'; |
33 | import LintPanelStore from './LintPanelStore'; | 34 | import LintPanelStore from './LintPanelStore'; |
@@ -65,7 +66,7 @@ export default class EditorStore { | |||
65 | 66 | ||
66 | semanticsError: string | undefined; | 67 | semanticsError: string | undefined; |
67 | 68 | ||
68 | semantics: unknown = {}; | 69 | semantics: SemanticsSuccessResult | undefined; |
69 | 70 | ||
70 | constructor(initialValue: string, pwaStore: PWAStore) { | 71 | constructor(initialValue: string, pwaStore: PWAStore) { |
71 | this.id = nanoid(); | 72 | this.id = nanoid(); |
@@ -295,7 +296,7 @@ export default class EditorStore { | |||
295 | this.semanticsError = semanticsError; | 296 | this.semanticsError = semanticsError; |
296 | } | 297 | } |
297 | 298 | ||
298 | setSemantics(semantics: unknown) { | 299 | setSemantics(semantics: SemanticsSuccessResult) { |
299 | this.semanticsError = undefined; | 300 | this.semanticsError = undefined; |
300 | this.semantics = semantics; | 301 | this.semantics = semantics; |
301 | } | 302 | } |