From d3c51bfa42f33b6fdcd24e10bf6b4d3c56b4b006 Mon Sep 17 00:00:00 2001
From: Alberto Debiasi <adebiasi@fbk.eu>
Date: Thu, 18 Jan 2018 10:00:38 +0100
Subject: [PATCH] Added support for OCRA EventType in the export as .oss
Change-Id: I3ee36d7d2c6122d006e5ef855a0e9f9df7bc185b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
---
.../verificationService/model/ChessSystemModel.java | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java
index 2d99eaea1..de417189a 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java
@@ -233,7 +233,7 @@ if (entityUtil.isBlock((Element) component)) {
*/
@Override
public EList<Property> getParameters(Object component) {
- return new BasicEList<Property>(entityUtil.getBooleanAttributesExceptsPorts((Element) component));
+ return new BasicEList<Property>(entityUtil.getBooleanAttributesExceptPorts((Element) component));
}
/*
@@ -619,5 +619,12 @@ if (entityUtil.isBlock((Element) component)) {
return contractOwner == componentType;
}
+
+
+ @Override
+ public boolean isEventType(Object port_or_parameter) {
+ return entityUtil.isEventPortAttribute((Property)port_or_parameter);
+ }
+
}
--
GitLab