diff --git a/modeling/AVATAR/PressureController.xml b/modeling/AVATAR/PressureController.xml
index a3d2f3531d041bb98d63b45f61a6ee10a7253e1b..29bdf71b952f349f12ebe2649e31815fad7e46be 100644
--- a/modeling/AVATAR/PressureController.xml
+++ b/modeling/AVATAR/PressureController.xml
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
-<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="false" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="9" LAST_SELECTED_SUB_TAB="0">
+<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="false" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="2" LAST_SELECTED_SUB_TAB="2">
<Modeling type="Avatar Requirement" nameTab="Requirements" >
<AvatarRDPanel name="RequirementsSystemView" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
@@ -2754,7 +2754,7 @@
<SUBCOMPONENT type="-1" id="1456" index="53" uid="5b6db663-709b-4f49-a4b4-291de609dd37" >
<father id="1463" num="0" />
<cdparam x="643" y="554" />
-<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" />
@@ -2764,7 +2764,7 @@
<SUBCOMPONENT type="-1" id="1457" index="54" uid="1e24891a-af78-4315-a5e8-1bffc42fb167" >
<father id="1463" num="1" />
<cdparam x="756" y="554" />
-<sizeparam width="117" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="110" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" />
@@ -2774,7 +2774,7 @@
<SUBCOMPONENT type="-1" id="1458" index="55" uid="96ee8b56-6a31-4923-9e97-d896a6d0c426" >
<father id="1463" num="2" />
<cdparam x="721" y="589" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" />
<infoparam name="guard 3" value="[ ]" />
@@ -2832,8 +2832,8 @@
</COMPONENT>
<COMPONENT type="5506" id="1507" index="25" uid="4e71c72c-297d-4251-ac78-09bbd9b11292" >
-<cdparam x="625" y="480" />
-<sizeparam width="182" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="629" y="480" />
+<sizeparam width="175" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -2844,8 +2844,8 @@
</COMPONENT>
<COMPONENT type="5510" id="1510" index="26" uid="cfd205b2-23d5-4922-b79e-fe6758d80686" >
-<cdparam x="504" y="417" />
-<sizeparam width="42" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="506" y="417" />
+<sizeparam width="38" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -2870,7 +2870,7 @@
<SUBCOMPONENT type="-1" id="1511" index="56" uid="06b8b205-819d-4e18-8a6b-32645cd6fc70" >
<father id="1518" num="0" />
<cdparam x="557" y="367" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" />
<infoparam name="guard 1" value="[ ]" />
@@ -2879,7 +2879,7 @@
<SUBCOMPONENT type="-1" id="1512" index="57" uid="b671507e-4b78-46ea-a0a4-cd47a0caa0c2" >
<father id="1518" num="1" />
<cdparam x="617" y="367" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" />
<infoparam name="guard 2" value="[ ]" />
@@ -2888,7 +2888,7 @@
<SUBCOMPONENT type="-1" id="1513" index="58" uid="27268959-cd79-4072-bb80-4d13e7bf19fb" >
<father id="1518" num="2" />
<cdparam x="602" y="402" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" />
<infoparam name="guard 3" value="[ ]" />
@@ -2896,8 +2896,8 @@
</SUBCOMPONENT>
<COMPONENT type="5506" id="1521" index="28" uid="a2432dba-cd94-40cf-b501-37db5edfe453" >
-<cdparam x="542" y="298" />
-<sizeparam width="111" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="544" y="298" />
+<sizeparam width="106" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -2939,8 +2939,8 @@
</COMPONENT>
<COMPONENT type="5510" id="1547" index="30" uid="bf67b2c2-277e-4f9b-a450-e3a0e71d20b0" >
-<cdparam x="576" y="220" />
-<sizeparam width="42" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="578" y="220" />
+<sizeparam width="38" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -2951,8 +2951,8 @@
</COMPONENT>
<COMPONENT type="5509" id="1550" index="31" uid="bce44f7d-9f00-495a-a778-c82fa1cafc6f" >
-<cdparam x="247" y="384" />
-<sizeparam width="40" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="249" y="384" />
+<sizeparam width="36" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -3001,7 +3001,7 @@
<SUBCOMPONENT type="-1" id="1566" index="59" uid="1fd4beac-3d70-4a88-914e-9a7a118cc602" >
<father id="1573" num="0" />
<cdparam x="107" y="380" />
-<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" />
@@ -3011,7 +3011,7 @@
<SUBCOMPONENT type="-1" id="1567" index="60" uid="551fb22c-93ff-4d83-90c1-51f5025176c5" >
<father id="1573" num="1" />
<cdparam x="217" y="357" />
-<sizeparam width="108" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="101" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" />
@@ -3021,7 +3021,7 @@
<SUBCOMPONENT type="-1" id="1568" index="61" uid="2a345c15-7929-4b37-b3ab-d767c63d558a" >
<father id="1573" num="2" />
<cdparam x="202" y="390" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" />
<infoparam name="guard 3" value="[ ]" />
@@ -3110,8 +3110,8 @@
</COMPONENT>
<COMPONENT type="5510" id="1640" index="36" uid="6395ce20-2410-4a53-8893-1bf4a21591d5" >
-<cdparam x="129" y="282" />
-<sizeparam width="136" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="135" y="282" />
+<sizeparam width="124" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<enabled value="true" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
@@ -3780,7 +3780,7 @@
</SUBCOMPONENT>
<SUBCOMPONENT type="625" id="1781" index="71" uid="307fa1e3-bb4c-4aa3-bde4-11aea9e84f35" >
<father id="1782" num="31" />
-<cdparam x="365" y="299" />
+<cdparam x="365" y="303" />
<sizeparam width="15" height="25" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="18" maxX="18" minY="-2" maxY="365" />
@@ -27726,47 +27726,4 @@ PressureSensor.SendingPressure --> MainController.HighPressure
-<Modeling type="Avatar Requirement" nameTab="Requirements" >
-<AvatarPDPanel name="AVATARPD" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<COMPONENT type="5300" id="11404" index="0" uid="614bf096-8aa8-41e6-9282-c476bcf156dc" >
-<cdparam x="327" y="159" />
-<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Block" value="Block" />
-<new d="false" />
-<TGConnectingPoint num="0" id="11405" />
-<TGConnectingPoint num="1" id="11406" />
-<TGConnectingPoint num="2" id="11407" />
-<TGConnectingPoint num="3" id="11408" />
-<TGConnectingPoint num="4" id="11409" />
-<TGConnectingPoint num="5" id="11410" />
-<TGConnectingPoint num="6" id="11411" />
-<TGConnectingPoint num="7" id="11412" />
-<TGConnectingPoint num="8" id="11413" />
-<TGConnectingPoint num="9" id="11414" />
-<TGConnectingPoint num="10" id="11415" />
-<TGConnectingPoint num="11" id="11416" />
-<TGConnectingPoint num="12" id="11417" />
-<TGConnectingPoint num="13" id="11418" />
-<TGConnectingPoint num="14" id="11419" />
-<TGConnectingPoint num="15" id="11420" />
-<TGConnectingPoint num="16" id="11421" />
-<TGConnectingPoint num="17" id="11422" />
-<TGConnectingPoint num="18" id="11423" />
-<TGConnectingPoint num="19" id="11424" />
-<TGConnectingPoint num="20" id="11425" />
-<TGConnectingPoint num="21" id="11426" />
-<TGConnectingPoint num="22" id="11427" />
-<TGConnectingPoint num="23" id="11428" />
-</COMPONENT>
-
-
-</AvatarPDPanel>
-
-</Modeling>
-
-
-
-
</TURTLEGMODELING>
\ No newline at end of file
diff --git a/src/main/java/ui/GTURTLEModeling.java b/src/main/java/ui/GTURTLEModeling.java
index e7838aa38ece98d7b26af133a1d5e1ebf0db81da..bd8405b8c135f68a33ece5f304d44101797946c3 100644
--- a/src/main/java/ui/GTURTLEModeling.java
+++ b/src/main/java/ui/GTURTLEModeling.java
@@ -9867,7 +9867,11 @@ public class GTURTLEModeling {
}
private void checkName(NameChecker.NamedElement _ne, List<CheckingError> _warnings, TDiagramPanel _tdp) {
- //TraceManager.addDev("Checking " + _ne.getName());
+ if (_ne instanceof NameChecker.NameTakenFromValue) {
+ //TraceManager.addDev("Checking from value:" + ((NameChecker.NameTakenFromValue) _ne).getValue());
+ } else {
+ //TraceManager.addDev("Checking from name: " + _ne.getName() + " class: " + _ne.getClass().toString());
+ }
if (_ne instanceof NameChecker.NameStartWithUpperCase) {
if (!NameChecker.checkName(_ne)) {
UICheckingError ce = new UICheckingError(CheckingError.STRUCTURE_ERROR,
diff --git a/src/main/java/ui/avatarpd/AvatarPDAttribute.java b/src/main/java/ui/avatarpd/AvatarPDAttribute.java
index ac87066a502671c27a6395ee06c1ef8a82f14417..4f515e83fe61c42aca456543d0076311e6f98198 100644
--- a/src/main/java/ui/avatarpd/AvatarPDAttribute.java
+++ b/src/main/java/ui/avatarpd/AvatarPDAttribute.java
@@ -42,6 +42,7 @@
package ui.avatarpd;
import myutil.GraphicLib;
+import myutil.NameChecker;
import ui.*;
import ui.util.IconManager;
@@ -55,7 +56,8 @@ import java.awt.*;
* @version 1.0 22/04/2010
* @author Ludovic APVRILLE
*/
-public class AvatarPDAttribute extends AvatarPDToggle implements SwallowedTGComponent {
+public class AvatarPDAttribute extends AvatarPDToggle implements SwallowedTGComponent, NameChecker.NameStartWithLowerCase,
+ NameChecker.NameTakenFromValue {
// private int textY1 = 3;
//private int textY2 = 3;
//private int textX = 10;
diff --git a/src/main/java/ui/avatarpd/AvatarPDBlock.java b/src/main/java/ui/avatarpd/AvatarPDBlock.java
index 912d555e544bd78f977214a830e5207555df2285..71baa2f26afc0dfb23bd145bd17abb426c922c47 100644
--- a/src/main/java/ui/avatarpd/AvatarPDBlock.java
+++ b/src/main/java/ui/avatarpd/AvatarPDBlock.java
@@ -43,6 +43,7 @@ package ui.avatarpd;
import myutil.GraphicLib;
+import myutil.NameChecker;
import ui.*;
import ui.util.IconManager;
@@ -60,7 +61,8 @@ import java.util.Vector;
* @version 1.1 22/04/2010
* @author Ludovic APVRILLE
*/
-public class AvatarPDBlock extends TGCScalableWithInternalComponent implements SwallowTGComponent, SwallowedTGComponent {
+public class AvatarPDBlock extends TGCScalableWithInternalComponent implements SwallowTGComponent, SwallowedTGComponent,
+ NameChecker.NameStartWithUpperCase, NameChecker.NameTakenFromValue {
//private int textY1 = 3;
private String stereotype = "block";
diff --git a/src/main/java/ui/avatarpd/AvatarPDPanel.java b/src/main/java/ui/avatarpd/AvatarPDPanel.java
index e667d7312612845d42ee1731304ae7cb7a18d956..f63011731754831dadb5115290b88c78380c0c31 100644
--- a/src/main/java/ui/avatarpd/AvatarPDPanel.java
+++ b/src/main/java/ui/avatarpd/AvatarPDPanel.java
@@ -43,6 +43,7 @@ package ui.avatarpd;
//import java.awt.*;
+import myutil.NameChecker;
import ui.*;
import java.util.ArrayList;
@@ -59,7 +60,7 @@ import java.util.Iterator;
* @version 1.0 22/04/2010
* @author Ludovic APVRILLE
*/
-public class AvatarPDPanel extends TDiagramPanel implements TDPWithAttributes{
+public class AvatarPDPanel extends TDiagramPanel implements TDPWithAttributes, NameChecker.SystemWithNamedElements {
public static int ARC = 20;
diff --git a/src/main/java/ui/avatarpd/AvatarPDSignal.java b/src/main/java/ui/avatarpd/AvatarPDSignal.java
index 655a9e20f6a83a7a44c095eccdd95b770a53b0b6..e3455f528d315ccc76382cb45476b94edb43ae9c 100644
--- a/src/main/java/ui/avatarpd/AvatarPDSignal.java
+++ b/src/main/java/ui/avatarpd/AvatarPDSignal.java
@@ -42,6 +42,7 @@
package ui.avatarpd;
import myutil.GraphicLib;
+import myutil.NameChecker;
import ui.*;
import ui.util.IconManager;
@@ -55,7 +56,8 @@ import java.awt.*;
* @version 1.0 23/04/2010
* @author Ludovic APVRILLE
*/
-public class AvatarPDSignal extends TGCScalableWithInternalComponent implements SwallowedTGComponent {
+public class AvatarPDSignal extends TGCScalableWithInternalComponent implements SwallowedTGComponent, NameChecker.NameStartWithLowerCase,
+ NameChecker.NameTakenFromValue {
//private int textY1 = 3;
//private int textY2 = 3;
//private int textX = 10;
diff --git a/src/main/java/ui/avatarpd/AvatarPDToolBar.java b/src/main/java/ui/avatarpd/AvatarPDToolBar.java
index 086a8237e915e5f2e41a40c5b23fe33940c1e740..3d38ae98e26fc8b33b1d13a5a01d24f5e10e811c 100644
--- a/src/main/java/ui/avatarpd/AvatarPDToolBar.java
+++ b/src/main/java/ui/avatarpd/AvatarPDToolBar.java
@@ -95,7 +95,7 @@ public class AvatarPDToolBar extends TToolBar {
mgui.actions[TGUIAction.ACT_TOGGLE_TEPE_ID].setEnabled(b);
- mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(!b);
+ mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(b);
}
diff --git a/src/main/java/ui/sd/SequenceDiagramPanel.java b/src/main/java/ui/sd/SequenceDiagramPanel.java
index 3238cbc093a64618e5f1f5496e55fc16e7f3a822..7946614d6941fe9d8d6a71b77e37e14e99756a58 100755
--- a/src/main/java/ui/sd/SequenceDiagramPanel.java
+++ b/src/main/java/ui/sd/SequenceDiagramPanel.java
@@ -41,6 +41,7 @@
package ui.sd;
+import myutil.NameChecker;
import ui.*;
import java.awt.*;
@@ -56,7 +57,7 @@ import java.util.Vector;
* @version 1.0 30/09/2004
* @author Ludovic APVRILLE
*/
-public class SequenceDiagramPanel extends TDiagramPanel{
+public class SequenceDiagramPanel extends TDiagramPanel implements NameChecker.SystemWithNamedElements {
public SequenceDiagramPanel(MainGUI mgui, TToolBar _ttb) {
super(mgui, _ttb);
diff --git a/src/main/java/ui/sd/SequenceDiagramToolBar.java b/src/main/java/ui/sd/SequenceDiagramToolBar.java
index a69b7029b9d0f4cf0f5ac4ccc13e0e0b9c28e05c..2cfae66e201e1b608746633e5a7c0c83e0a1e1c0 100755
--- a/src/main/java/ui/sd/SequenceDiagramToolBar.java
+++ b/src/main/java/ui/sd/SequenceDiagramToolBar.java
@@ -91,6 +91,8 @@ public class SequenceDiagramToolBar extends TToolBar {
// mgui.actions[TGUIAction.ACT_ZOOM_MORE].setEnabled(false);
// mgui.actions[TGUIAction.ACT_ZOOM_LESS].setEnabled(false);
// mgui.actions[TGUIAction.ACT_SHOW_ZOOM].setEnabled(false);
+ mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(b);
+
mgui.updateZoomInfo();
}
diff --git a/src/main/java/ui/sd/TGConnectorMessageSD.java b/src/main/java/ui/sd/TGConnectorMessageSD.java
index 2a3dca8bd7d9803c44495f354e31c51b2bc45f2b..99d416e576f8c9396f11c85271d754a3cac3708e 100755
--- a/src/main/java/ui/sd/TGConnectorMessageSD.java
+++ b/src/main/java/ui/sd/TGConnectorMessageSD.java
@@ -43,6 +43,7 @@ package ui.sd;
import myutil.GraphicLib;
+import myutil.NameChecker;
import myutil.TraceManager;
import ui.*;
import ui.util.IconManager;
@@ -61,7 +62,8 @@ import java.util.Vector;
* @version 1.0 04/10/2004
* @author Ludovic APVRILLE
*/
-public abstract class TGConnectorMessageSD extends TGConnector {
+public abstract class TGConnectorMessageSD extends TGConnector implements NameChecker.NameStartWithLowerCase,
+ NameChecker.NameTakenFromValue {
public final String TO_SYNC = "To synchronous message";
public final String TO_ASYNC = "To asynchronous message";
diff --git a/src/main/java/ui/sd2/SequenceDiagramPanel.java b/src/main/java/ui/sd2/SequenceDiagramPanel.java
index a397191eb05f0c0a7e8ee497a59d862281a9f807..7429833cb4ac555cb46b222c6f822b8bc7f7c94f 100755
--- a/src/main/java/ui/sd2/SequenceDiagramPanel.java
+++ b/src/main/java/ui/sd2/SequenceDiagramPanel.java
@@ -41,6 +41,7 @@
package ui.sd2;
+import myutil.NameChecker;
import ui.*;
import java.awt.*;
@@ -56,7 +57,7 @@ import java.util.Vector;
* @version 1.0 30/09/2004
* @author Ludovic APVRILLE
*/
-public class SequenceDiagramPanel extends TDiagramPanel {
+public class SequenceDiagramPanel extends TDiagramPanel implements NameChecker.SystemWithNamedElements {
public SequenceDiagramPanel(MainGUI mgui, TToolBar _ttb) {
super(mgui, _ttb);
diff --git a/src/main/java/ui/sd2/SequenceDiagramToolBar.java b/src/main/java/ui/sd2/SequenceDiagramToolBar.java
index 2ce97fb1859cff4b5ac2c4abf4bd0dfaea0ea0ab..3b6d05d9f2b6a78f27fadd6fc5575659421a75ab 100755
--- a/src/main/java/ui/sd2/SequenceDiagramToolBar.java
+++ b/src/main/java/ui/sd2/SequenceDiagramToolBar.java
@@ -84,7 +84,7 @@ public class SequenceDiagramToolBar extends TToolBar {
mgui.actions[TGUIAction.ACT_ZOOM_LESS].setEnabled(b);
mgui.actions[TGUIAction.ACT_SHOW_ZOOM].setEnabled(b);
- mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(!b);
+ mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(b);
mgui.updateZoomInfo();
}
diff --git a/src/main/java/ui/sd2/TGConnectorMessageSD.java b/src/main/java/ui/sd2/TGConnectorMessageSD.java
index 40b82db4900c050e5f21f31a55ca48fc3878c71a..b37aa7be4c7b4df209326a0892960319be6f2df5 100755
--- a/src/main/java/ui/sd2/TGConnectorMessageSD.java
+++ b/src/main/java/ui/sd2/TGConnectorMessageSD.java
@@ -43,6 +43,7 @@ package ui.sd2;
import myutil.GraphicLib;
+import myutil.NameChecker;
import myutil.TraceManager;
import ui.*;
import ui.util.IconManager;
@@ -61,7 +62,8 @@ import java.util.Vector;
* @version 1.0 04/10/2004
* @author Ludovic APVRILLE
*/
-public abstract class TGConnectorMessageSD extends TGConnector {
+public abstract class TGConnectorMessageSD extends TGConnector implements NameChecker.NameStartWithLowerCase,
+ NameChecker.NameTakenFromValue {
public final String TO_SYNC = "To synchronous message";
public final String TO_ASYNC = "To asynchronous message";
@@ -81,6 +83,7 @@ public abstract class TGConnectorMessageSD extends TGConnector {
return value;
}
+
// Part before '()' section
public String getFirstPartMessage() {
int index0 = value.indexOf('(');
@@ -151,7 +154,7 @@ public abstract class TGConnectorMessageSD extends TGConnector {
text = getTopLevelName() + " / " + text;
}
String s = (String)JOptionPane.showInputDialog(frame, text,
- "setting message name", JOptionPane.PLAIN_MESSAGE, IconManager.imgic100,
+ "Setting message name", JOptionPane.PLAIN_MESSAGE, IconManager.imgic100,
null,
getValue());
if ((s != null) && (s.length() > 0)) {
diff --git a/src/main/java/ui/sd2/TGConnectorMessageSyncSD.java b/src/main/java/ui/sd2/TGConnectorMessageSyncSD.java
index 3bcebb691437231b3e02c27ac0642cf89c7d8bec..123d7d564c2ac58701fdb0366a0595b05358392d 100755
--- a/src/main/java/ui/sd2/TGConnectorMessageSyncSD.java
+++ b/src/main/java/ui/sd2/TGConnectorMessageSyncSD.java
@@ -42,6 +42,7 @@
package ui.sd2;
import myutil.GraphicLib;
+import myutil.NameChecker;
import ui.*;
import ui.util.IconManager;
@@ -58,7 +59,8 @@ import java.util.Vector;
* @version 1.0 04/10/2004
* @author Ludovic APVRILLE
*/
-public class TGConnectorMessageSyncSD extends TGConnectorMessageSD {
+public class TGConnectorMessageSyncSD extends TGConnectorMessageSD implements NameChecker.NameStartWithLowerCase,
+ NameChecker.NameTakenFromValue {
protected int arrowLength = 10;
public TGConnectorMessageSyncSD(int _x, int _y, int _minX, int _minY, int _maxX, int _maxY, boolean _pos, TGComponent _father, TDiagramPanel _tdp, TGConnectingPoint _p1, TGConnectingPoint _p2, Vector<Point> _listPoint) {