diff options
author | 2024-06-28 18:58:50 +0200 | |
---|---|---|
committer | 2024-06-28 18:58:50 +0200 | |
commit | 2e8a2f6a80fbd974ad877aeee4ef76b740831311 (patch) | |
tree | 21aa932352a94ca0a811e60e474ab8e57cc84d4d /subprojects/frontend/src/graph/GraphStore.ts | |
parent | refactor(reasoning): fix Sonar warnings (diff) | |
download | refinery-2e8a2f6a80fbd974ad877aeee4ef76b740831311.tar.gz refinery-2e8a2f6a80fbd974ad877aeee4ef76b740831311.tar.zst refinery-2e8a2f6a80fbd974ad877aeee4ef76b740831311.zip |
refactor: show semantics even if propagation fails
Diffstat (limited to 'subprojects/frontend/src/graph/GraphStore.ts')
-rw-r--r-- | subprojects/frontend/src/graph/GraphStore.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/frontend/src/graph/GraphStore.ts b/subprojects/frontend/src/graph/GraphStore.ts index 301b4d86..86ffd802 100644 --- a/subprojects/frontend/src/graph/GraphStore.ts +++ b/subprojects/frontend/src/graph/GraphStore.ts | |||
@@ -9,7 +9,7 @@ import { makeAutoObservable, observable } from 'mobx'; | |||
9 | import type EditorStore from '../editor/EditorStore'; | 9 | import type EditorStore from '../editor/EditorStore'; |
10 | import type { | 10 | import type { |
11 | RelationMetadata, | 11 | RelationMetadata, |
12 | SemanticsSuccessResult, | 12 | SemanticsModelResult, |
13 | } from '../xtext/xtextServiceResults'; | 13 | } from '../xtext/xtextServiceResults'; |
14 | 14 | ||
15 | export type Visibility = 'all' | 'must' | 'none'; | 15 | export type Visibility = 'all' | 'must' | 'none'; |
@@ -52,7 +52,7 @@ export function isVisibilityAllowed( | |||
52 | const TYPE_HASH_HEX_PREFFIX = '_'; | 52 | const TYPE_HASH_HEX_PREFFIX = '_'; |
53 | 53 | ||
54 | export default class GraphStore { | 54 | export default class GraphStore { |
55 | semantics: SemanticsSuccessResult = { | 55 | semantics: SemanticsModelResult = { |
56 | nodes: [], | 56 | nodes: [], |
57 | relations: [], | 57 | relations: [], |
58 | partialInterpretation: {}, | 58 | partialInterpretation: {}, |
@@ -175,7 +175,7 @@ export default class GraphStore { | |||
175 | } | 175 | } |
176 | } | 176 | } |
177 | 177 | ||
178 | setSemantics(semantics: SemanticsSuccessResult) { | 178 | setSemantics(semantics: SemanticsModelResult) { |
179 | this.semantics = semantics; | 179 | this.semantics = semantics; |
180 | this.relationMetadata.clear(); | 180 | this.relationMetadata.clear(); |
181 | this.semantics.relations.forEach((metadata) => { | 181 | this.semantics.relations.forEach((metadata) => { |