Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java')
-rw-r--r--plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java11
1 files changed, 11 insertions, 0 deletions
diff --git a/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java b/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java
index 969fe9f63..9b37e078e 100644
--- a/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java
+++ b/plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java
@@ -30,6 +30,7 @@ import org.eclipse.ocl.pivot.evaluation.EvaluationLogger;
import org.eclipse.ocl.pivot.evaluation.EvaluationVisitor;
import org.eclipse.ocl.pivot.evaluation.ModelManager;
import org.eclipse.ocl.pivot.ids.IdResolver;
+import org.eclipse.ocl.pivot.messages.StatusCodes;
import org.eclipse.ocl.pivot.util.Visitable;
import org.eclipse.ocl.pivot.utilities.MetamodelManager;
import org.eclipse.qvtd.debug.QVTiDebugPlugin;
@@ -56,6 +57,11 @@ public abstract class AbstractQVTiVMEvaluationVisitor extends AbstractWrappingQV
return delegate.getCompleteEnvironment();
}
+ @Override
+ public int getDiagnosticSeverity(int severityPreference, @Nullable Object resultValue) {
+ return StatusCodes.WARNING;
+ }
+
public @NonNull QVTiEnvironmentFactory getEnvironmentFactory() {
return (QVTiEnvironmentFactory) delegate.getEnvironmentFactory();
}
@@ -67,6 +73,11 @@ public abstract class AbstractQVTiVMEvaluationVisitor extends AbstractWrappingQV
public @NonNull String getPluginId() {
return QVTiDebugPlugin.PLUGIN_ID;
}
+
+ @Override
+ public int getSeverity(@Nullable Object validationKey) {
+ return StatusCodes.WARNING;
+ }
// @Override
// protected void poppedStack() {

Back to the top