From 54950abe539a85c5ac2b70f5fc933855b146d66f Mon Sep 17 00:00:00 2001
From: Luca Cristoforetti <cristofo@fbk.eu>
Date: Wed, 10 Oct 2018 14:54:11 +0200
Subject: [PATCH] Small fixes.
---
.../plugin.xml | 27 -------------------
...heckValidationContractPropertyCommand.java | 2 +-
2 files changed, 1 insertion(+), 28 deletions(-)
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
index 193f7eace..7f4b5206a 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
@@ -168,33 +168,6 @@
</with>
</or>
</visibleWhen>
- </command>
- <command
- commandId="org.polarsys.chess.contracts.transformations.ftaxsap.id"
- label="FTA with xSAP"
- style="push">
- <visibleWhen
- checkEnabled="false">
- <or>
- <with
- variable="activeEditorId">
- <equals
- value="org.eclipse.uml2.uml.editor.presentation.UMLEditorID">
- </equals>
- </with>
- <with
- variable="activeEditorInput">
- <adapt
- type="org.eclipse.core.resources.IResource">
- </adapt>
- </with>
- </or>
- </visibleWhen>
- </command>
- <command
- commandId="org.polarsys.chess.contracts.transformations.fmeaxsap.id"
- label="FMEA with xSAP"
- style="push">
</command>
</menu>
</menu>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
index 0d2e33ac0..52143da4e 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
@@ -61,7 +61,7 @@ public class CheckValidationContractPropertyCommand extends AbstractJobCommand {
public void execJobCommand(ExecutionEvent event, IProgressMonitor monitor) throws Exception {
ocraExecService.executeValidationContractProperty(umlSelectedComponent, umlSelectedResource, isDiscreteTime, usexTextValidation,showPopups,
- ossFilepath, resultFilePath, monitor);
+ ossFilepath, resultFilePath, monitor, false);
}
--
GitLab