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> { |