From debdf69ba01469aad41e620fdd20c0365d4954db Mon Sep 17 00:00:00 2001
From: Alberto Debiasi <adebiasi@fbk.eu>
Date: Fri, 17 Nov 2017 15:01:06 +0100
Subject: [PATCH] in the export to .oss, added the possibility to use real type
Change-Id: I21f4a59f3566ea5462cff25f8395592ebe5feebf
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
---
.../contracts/profile/chesscontract/util/EntityUtil.java | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
index 441703dc1..952351cbf 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
@@ -298,6 +298,13 @@ public class EntityUtil {
return false;
}
+ public boolean isRealAttribute(Property umlProperty) {
+ if (umlProperty.getType() != null) {
+ return (umlProperty.getType().getName().compareTo("Real") == 0);
+ }
+ return false;
+ }
+
public boolean isIntegerAttribute(Property umlProperty) {
if (umlProperty.getType() != null) {
return (umlProperty.getType().getName().compareTo("Integer") == 0);
--
GitLab