1 files changed, 41 insertions, 0 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationManager.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationManager.java
new file mode 100644
index 00000000..b0a1912c
--- /dev/null
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationManager.java
@@ -0,0 +1,41 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+package tools.refinery.language.web.generator;
+
+import org.eclipse.xtext.util.CancelIndicator;
+
+public class ModelGenerationManager {
+        private final Object lockObject = new Object();
+        private ModelGenerationWorker worker;
+        private boolean disposed;
+
+        boolean setActiveModelGenerationWorker(ModelGenerationWorker worker, CancelIndicator cancelIndicator) {
+                synchronized (lockObject) {
+                        cancel();
+                        if (disposed || cancelIndicator.isCanceled()) {
+                                return true;
+                        }
+                        this.worker = worker;
+                }
+                return false;
+        }
+
+        public void cancel() {
+                synchronized (lockObject) {
+                        if (worker != null) {
+                                worker.cancel();
+                                worker = null;
+                        }
+                }
+        }
+
+        public void dispose() {
+                synchronized (lockObject) {
+                        disposed = true;
+                        cancel();
+                }
+        }
+}