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/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java | |
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/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java index 5a60007f..9f72e462 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationService.java | |||
@@ -34,13 +34,13 @@ public class ModelGenerationService { | |||
34 | timeoutSec = SemanticsService.getTimeout("REFINERY_MODEL_GENERATION_TIMEOUT_SEC").orElse(600L); | 34 | timeoutSec = SemanticsService.getTimeout("REFINERY_MODEL_GENERATION_TIMEOUT_SEC").orElse(600L); |
35 | } | 35 | } |
36 | 36 | ||
37 | public ModelGenerationStartedResult generateModel(PushWebDocumentAccess document){ | 37 | public ModelGenerationStartedResult generateModel(PushWebDocumentAccess document, int randomSeed) { |
38 | return document.modify(new CancelableUnitOfWork<>() { | 38 | return document.modify(new CancelableUnitOfWork<>() { |
39 | @Override | 39 | @Override |
40 | public ModelGenerationStartedResult exec(IXtextWebDocument state, CancelIndicator cancelIndicator) { | 40 | public ModelGenerationStartedResult exec(IXtextWebDocument state, CancelIndicator cancelIndicator) { |
41 | var pushState = (PushWebDocument) state; | 41 | var pushState = (PushWebDocument) state; |
42 | var worker = workerProvider.get(); | 42 | var worker = workerProvider.get(); |
43 | worker.setState(pushState, timeoutSec); | 43 | worker.setState(pushState, randomSeed, timeoutSec); |
44 | var manager = pushState.getModelGenerationManager(); | 44 | var manager = pushState.getModelGenerationManager(); |
45 | worker.start(); | 45 | worker.start(); |
46 | boolean canceled = manager.setActiveModelGenerationWorker(worker, cancelIndicator); | 46 | boolean canceled = manager.setActiveModelGenerationWorker(worker, cancelIndicator); |