diff --git a/src/main/java/ui/ActivityDiagram2TMLTranslator.java b/src/main/java/ui/ActivityDiagram2TMLTranslator.java index 89d31430c643244f32315b1fe79d449d8113be06..f465af2cb63e9652c387cf2520a82a0b27ad86d9 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 0cb2ff635dab02821a74ce97fb4abdecc033ef21..2bc3d09f1c75d85b78b20f66ca89c4609007abfb 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