diff options
author | Ed Willink | 2015-05-18 05:28:28 +0000 |
---|---|---|
committer | Ed Willink | 2015-05-18 05:28:28 +0000 |
commit | 44b731c9de675d56634f4817fa8d953ab05cb1e4 (patch) | |
tree | b4136db15109cb407827f5cf1ca71f96ea2cbefc /plugins/org.eclipse.qvtd.debug/src/org/eclipse/qvtd/debug/evaluator/AbstractQVTiVMEvaluationVisitor.java | |
parent | 9190de88129e8afe8a28405917f2890c2a63b343 (diff) | |
download | org.eclipse.qvtd-44b731c9de675d56634f4817fa8d953ab05cb1e4.tar.gz org.eclipse.qvtd-44b731c9de675d56634f4817fa8d953ab05cb1e4.tar.xz org.eclipse.qvtd-44b731c9de675d56634f4817fa8d953ab05cb1e4.zip |
[467388] Track OCL safe navigation support
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.java | 11 |
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() { |