diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-14 03:05:28 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-14 03:43:26 +0200 |
commit | 13b464db253566290be6a1063ad8e296288d3339 (patch) | |
tree | 29e0a9a346f66974d6c0be0482f511e9becab51c /subprojects/frontend/src/xtext/XtextClient.ts | |
parent | fix(frontend): keep live while model generation (diff) | |
download | refinery-13b464db253566290be6a1063ad8e296288d3339.tar.gz refinery-13b464db253566290be6a1063ad8e296288d3339.tar.zst refinery-13b464db253566290be6a1063ad8e296288d3339.zip |
feat: specify random seed for generation
Diffstat (limited to 'subprojects/frontend/src/xtext/XtextClient.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/XtextClient.ts | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts index 4df4f57a..7486d737 100644 --- a/subprojects/frontend/src/xtext/XtextClient.ts +++ b/subprojects/frontend/src/xtext/XtextClient.ts | |||
@@ -99,6 +99,7 @@ export default class XtextClient { | |||
99 | this.contentAssistService.onTransaction(transaction); | 99 | this.contentAssistService.onTransaction(transaction); |
100 | this.updateService.onTransaction(transaction); | 100 | this.updateService.onTransaction(transaction); |
101 | this.occurrencesService.onTransaction(transaction); | 101 | this.occurrencesService.onTransaction(transaction); |
102 | this.modelGenerationService.onTransaction(transaction); | ||
102 | } | 103 | } |
103 | 104 | ||
104 | private onPush( | 105 | private onPush( |
@@ -150,8 +151,8 @@ export default class XtextClient { | |||
150 | return this.contentAssistService.contentAssist(context); | 151 | return this.contentAssistService.contentAssist(context); |
151 | } | 152 | } |
152 | 153 | ||
153 | startModelGeneration(): Promise<void> { | 154 | startModelGeneration(randomSeed?: number): Promise<void> { |
154 | return this.modelGenerationService.start(); | 155 | return this.modelGenerationService.start(randomSeed); |
155 | } | 156 | } |
156 | 157 | ||
157 | cancelModelGeneration(): Promise<void> { | 158 | cancelModelGeneration(): Promise<void> { |