From 7b092fb639aa5d0e546855f63df9a6c5ee60f7ff Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Fri, 25 Nov 2022 18:59:45 +0100
Subject: [PATCH] Solving bug on value of random which was null
---
src/main/java/ui/ActivityDiagram2TMLTranslator.java | 2 +-
src/main/java/ui/tmlad/TMLADRandom.java | 2 ++
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/ui/ActivityDiagram2TMLTranslator.java b/src/main/java/ui/ActivityDiagram2TMLTranslator.java
index 89d31430c6..f465af2cb6 100644
--- a/src/main/java/ui/ActivityDiagram2TMLTranslator.java
+++ b/src/main/java/ui/ActivityDiagram2TMLTranslator.java
@@ -132,7 +132,7 @@ public class ActivityDiagram2TMLTranslator {
} else if (tgc instanceof TMLADRandom) {
tmladrandom = (TMLADRandom) tgc;
- tmlrandom = new TMLRandom("random" + tmladrandom.getValue(), tgc);
+ tmlrandom = new TMLRandom("random_" + tmladrandom.getValue() + "_", tgc);
tmp = tmladrandom.getVariable();
tmp = modifyActionString(tmp);
tmlrandom.setVariable(tmp);
diff --git a/src/main/java/ui/tmlad/TMLADRandom.java b/src/main/java/ui/tmlad/TMLADRandom.java
index 0cb2ff635d..2bc3d09f1c 100755
--- a/src/main/java/ui/tmlad/TMLADRandom.java
+++ b/src/main/java/ui/tmlad/TMLADRandom.java
@@ -95,12 +95,14 @@ public class TMLADRandom extends TADComponentWithoutSubcomponents/* Issue #69 TG
minValue = "0";
maxValue = "10";
functionId = 0;
+ value = "0-10";
myImageIcon = IconManager.imgic912;
}
private void makeValue() {
valueRandom = variable + " = RANDOM" + functionId + "(" + minValue + ", " + maxValue + ")";
+ value = minValue + "_" + maxValue ;
}
@Override
--
GitLab