[unrelated] Add get/setMonitor
diff --git a/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/DebugQVTiEvaluationVisitor.java b/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/DebugQVTiEvaluationVisitor.java
index cc9ae5b..2cebede 100644
--- a/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/DebugQVTiEvaluationVisitor.java
+++ b/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/DebugQVTiEvaluationVisitor.java
@@ -14,6 +14,7 @@
import java.util.List;
import java.util.regex.Pattern;
+import org.eclipse.emf.common.util.Monitor;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.Nullable;
import org.eclipse.ocl.examples.common.utils.TracingOption;
@@ -87,6 +88,10 @@
return (IDebugEvaluationEnvironment) delegate.getEvaluationEnvironment();
}
+ public @Nullable Monitor getMonitor() {
+ return delegate.getMonitor();
+ }
+
// @Override
// protected void poppedStack() {
// popLocation();
@@ -368,6 +373,10 @@
delegate.setLogger(logger);
}
+ public void setMonitor(@Nullable Monitor monitor) {
+ delegate.setMonitor(monitor);
+ }
+
public abstract @NonNull DebugRootQVTiEvaluationVisitor getRootEvaluationVisitor();
// @Override
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiEvaluationVisitorDecorator.java b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiEvaluationVisitorDecorator.java
index 2dea828..a8ff108 100644
--- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiEvaluationVisitorDecorator.java
+++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/QVTiEvaluationVisitorDecorator.java
@@ -10,6 +10,7 @@
******************************************************************************/
package org.eclipse.qvtd.pivot.qvtimperative.evaluation;
+import org.eclipse.emf.common.util.Monitor;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.Nullable;
import org.eclipse.ocl.examples.domain.elements.DomainExpression;
@@ -114,6 +115,13 @@
/**
* Delegates to my decorated visitor.
*/
+ public @Nullable Monitor getMonitor() {
+ return delegate.getMonitor();
+ }
+
+ /**
+ * Delegates to my decorated visitor.
+ */
public @NonNull DomainStandardLibrary getStandardLibrary() {
return delegate.getStandardLibrary();
}
@@ -159,8 +167,15 @@
/**
* Delegates to my decorated visitor.
*/
- public void setLogger(@Nullable DomainLogger loger) {
- delegate.setLogger(loger);
+ public void setLogger(@Nullable DomainLogger logger) {
+ delegate.setLogger(logger);
+ }
+
+ /**
+ * Delegates to my decorated visitor.
+ */
+ public void setMonitor(@Nullable Monitor monitor) {
+ delegate.setMonitor(monitor);
}
@Override
