From d23c4f827f5209ae77e9b53cc2b7d9bb390ec58d Mon Sep 17 00:00:00 2001 From: apvrille <ludovic.apvrille@eurecom.fr> Date: Thu, 7 Feb 2019 12:58:24 +0100 Subject: [PATCH] Adding operation Type. BEWARE: Cannot compile, will be solved in a few minutes --- .../DIPLODOCUS/SmartCardProtocol_test.xml | 1002 ++++++++++------- src/main/java/tmltranslator/TMLTask.java | 6 +- 2 files changed, 585 insertions(+), 423 deletions(-) diff --git a/modeling/DIPLODOCUS/SmartCardProtocol_test.xml b/modeling/DIPLODOCUS/SmartCardProtocol_test.xml index 4793d2296e..cf5a266b01 100755 --- a/modeling/DIPLODOCUS/SmartCardProtocol_test.xml +++ b/modeling/DIPLODOCUS/SmartCardProtocol_test.xml @@ -8,8 +8,8 @@ <cdparam x="522" y="390" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="528" y="374" id="200" /> -<P2 x="444" y="319" id="47" /> +<P1 x="515" y="387" id="200" /> +<P2 x="457" y="332" id="47" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="2" > @@ -24,16 +24,16 @@ <cdparam x="652" y="444" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="795" y="543" id="179" /> -<P2 x="968" y="466" id="107" /> +<P1 x="795" y="564" id="179" /> +<P2 x="968" y="487" id="107" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="4" > <cdparam x="652" y="418" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="797" y="504" id="181" /> -<P2 x="927" y="466" id="105" /> +<P1 x="808" y="514" id="181" /> +<P2 x="917" y="476" id="105" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="5" > @@ -41,134 +41,134 @@ <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> <P1 x="747" y="400" id="189" /> -<P2 x="838" y="352" id="150" /> +<P2 x="825" y="365" id="150" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="6" > <cdparam x="685" y="310" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="838" y="378" id="154" /> -<P2 x="927" y="352" id="115" /> +<P1 x="851" y="365" id="154" /> +<P2 x="917" y="362" id="115" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="7" > <cdparam x="652" y="395" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="797" y="479" id="185" /> -<P2 x="927" y="442" id="113" /> +<P1 x="808" y="489" id="185" /> +<P2 x="917" y="452" id="113" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="8" > <cdparam x="652" y="369" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="797" y="444" id="183" /> -<P2 x="927" y="411" id="111" /> +<P1 x="808" y="454" id="183" /> +<P2 x="917" y="421" id="111" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="9" > <cdparam x="737" y="314" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="927" y="382" id="109" /> -<P2 x="797" y="414" id="187" /> +<P1 x="917" y="392" id="109" /> +<P2 x="808" y="424" id="187" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="10" > <cdparam x="735" y="260" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="927" y="317" id="117" /> -<P2 x="728" y="267" id="70" /> +<P1 x="914" y="330" id="117" /> +<P2 x="741" y="280" id="70" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="11" > <cdparam x="641" y="230" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="728" y="229" id="68" /> -<P2 x="927" y="274" id="119" /> +<P1 x="741" y="242" id="68" /> +<P2 x="914" y="287" id="119" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="12" > <cdparam x="641" y="195" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="728" y="182" id="66" /> -<P2 x="927" y="233" id="121" /> +<P1 x="741" y="195" id="66" /> +<P2 x="914" y="246" id="121" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="13" > <cdparam x="740" y="353" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="838" y="352" id="149" /> -<P2 x="728" y="296" id="64" /> +<P1 x="825" y="365" id="149" /> +<P2 x="741" y="309" id="64" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="14" > <cdparam x="460" y="270" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="528" y="285" id="74" /> -<P2 x="444" y="285" id="41" /> +<P1 x="515" y="298" id="74" /> +<P2 x="457" y="298" id="41" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="15" > <cdparam x="387" y="129" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="444" y="111" id="37" /> -<P2 x="528" y="111" id="62" /> +<P1 x="455" y="121" id="37" /> +<P2 x="518" y="121" id="62" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="16" > <cdparam x="389" y="200" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="444" y="194" id="43" /> -<P2 x="528" y="194" id="76" /> +<P1 x="457" y="207" id="43" /> +<P2 x="515" y="207" id="76" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="17" > <cdparam x="460" y="236" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="528" y="241" id="78" /> -<P2 x="444" y="241" id="45" /> +<P1 x="515" y="254" id="78" /> +<P2 x="457" y="254" id="45" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="18" > <cdparam x="460" y="296" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="528" y="307" id="80" /> -<P2 x="528" y="400" id="205" /> +<P1 x="515" y="320" id="80" /> +<P2 x="541" y="387" id="205" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="19" > <cdparam x="389" y="163" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="444" y="151" id="39" /> -<P2 x="528" y="151" id="72" /> +<P1 x="457" y="164" id="39" /> +<P2 x="515" y="164" id="72" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="20" > <cdparam x="967" y="190" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="927" y="181" id="123" /> -<P2 x="728" y="104" id="84" /> +<P1 x="914" y="194" id="123" /> +<P2 x="741" y="117" id="84" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="21" > <cdparam x="1028" y="535" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="621" y="316" id="60" /> +<P1 x="621" y="337" id="60" /> <P2 x="663" y="400" id="177" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -176,31 +176,31 @@ <cdparam x="1304" y="321" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1226" y="358" id="138" /> -<P2 x="1162" y="364" id="103" /> +<P1 x="1216" y="368" id="138" /> +<P2 x="1173" y="374" id="103" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="23" > <cdparam x="1168" y="455" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1162" y="401" id="101" /> -<P2 x="1226" y="396" id="136" /> +<P1 x="1173" y="411" id="101" /> +<P2 x="1216" y="406" id="136" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="26" > <cdparam x="1037" y="180" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1162" y="198" id="99" /> -<P2 x="1162" y="262" id="97" /> +<P1 x="1173" y="208" id="99" /> +<P2 x="1173" y="272" id="97" /> <Point x="1219" y="217" /> <Point x="1219" y="261" /> <AutomaticDrawing data="true" /> </CONNECTOR><SUBCOMPONENT type="-1" id="24" > <father id="26" num="0" /> <cdparam x="1219" y="217" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> @@ -208,7 +208,7 @@ <SUBCOMPONENT type="-1" id="25" > <father id="26" num="1" /> <cdparam x="1219" y="261" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> @@ -218,15 +218,15 @@ <cdparam x="873" y="361" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1162" y="442" id="95" /> -<P2 x="1226" y="423" id="134" /> +<P1 x="1173" y="452" id="95" /> +<P2 x="1216" y="433" id="134" /> <AutomaticDrawing data="true" /> </CONNECTOR> <COMPONENT type="1205" id="36" > <cdparam x="1147" y="499" /> -<sizeparam width="203" height="102" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="203" height="102" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="1750" minY="0" maxY="1213" /> +<cdrectangleparam minX="0" maxX="1748" minY="0" maxY="1211" /> <infoparam name="Record component" value="TCP_CTRL" /> <TGConnectingPoint num="0" id="28" /> <TGConnectingPoint num="1" id="29" /> @@ -244,9 +244,9 @@ <COMPONENT type="1202" id="59" > <cdparam x="157" y="93" /> -<sizeparam width="287" height="275" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="287" height="275" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="1750" minY="0" maxY="1213" /> +<cdrectangleparam minX="0" maxX="1748" minY="0" maxY="1211" /> <infoparam name="TGComponent" value="InterfaceDevice" /> <TGConnectingPoint num="0" id="51" /> <TGConnectingPoint num="1" id="52" /> @@ -268,7 +268,7 @@ <SUBCOMPONENT type="1203" id="38" > <father id="59" num="0" /> <cdparam x="434" y="111" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="277" minY="-10" maxY="265" /> <infoparam name="TGComponent" value="Request activation" /> @@ -285,13 +285,13 @@ <SUBCOMPONENT type="1203" id="40" > <father id="59" num="1" /> <cdparam x="431" y="151" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> -<infoparam name="TGComponent" value="Event data_Ready" /> +<infoparam name="TGComponent" value="Event data Ready" /> <TGConnectingPoint num="0" id="39" /> <extraparam> -<Prop commName="data_Ready" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" /> +<Prop commName="data Ready" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="null" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" /> <Type type="1" typeOther="" /> <Type type="2" typeOther="" /> <Type type="0" typeOther="" /> @@ -302,7 +302,7 @@ <SUBCOMPONENT type="1203" id="42" > <father id="59" num="2" /> <cdparam x="431" y="285" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> <infoparam name="TGComponent" value="Event data_Ready_SC" /> @@ -319,7 +319,7 @@ <SUBCOMPONENT type="1203" id="44" > <father id="59" num="3" /> <cdparam x="431" y="194" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> <infoparam name="TGComponent" value="Channel fromDtoSC" /> @@ -336,7 +336,7 @@ <SUBCOMPONENT type="1203" id="46" > <father id="59" num="4" /> <cdparam x="431" y="241" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> <infoparam name="TGComponent" value="Channel fromSCtoD" /> @@ -353,7 +353,7 @@ <SUBCOMPONENT type="1203" id="48" > <father id="59" num="5" /> <cdparam x="431" y="319" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> <infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> @@ -370,7 +370,7 @@ <SUBCOMPONENT type="1203" id="50" > <father id="59" num="6" /> <cdparam x="386" y="80" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="274" minY="-13" maxY="262" /> <infoparam name="TGComponent" value="Event reset, pTS" /> @@ -387,9 +387,9 @@ <COMPONENT type="1200" id="227" > <cdparam x="528" y="87" /> -<sizeparam width="938" height="525" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="938" height="525" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="1750" minY="0" maxY="1213" /> +<cdrectangleparam minX="0" maxX="1748" minY="0" maxY="1211" /> <infoparam name="TGComponent" value="SmartCard" /> <TGConnectingPoint num="0" id="219" /> <TGConnectingPoint num="1" id="220" /> @@ -406,7 +406,7 @@ <SUBCOMPONENT type="1202" id="94" > <father id="227" num="0" /> <cdparam x="528" y="93" /> -<sizeparam width="200" height="233" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="200" height="233" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="738" minY="0" maxY="292" /> <infoparam name="TGComponent" value="SmartCard" /> @@ -433,7 +433,7 @@ <SUBCOMPONENT type="1203" id="61" > <father id="94" num="0" /> <cdparam x="611" y="316" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="190" minY="-10" maxY="223" /> <infoparam name="TGComponent" value="Request start_Application" /> @@ -450,7 +450,7 @@ <SUBCOMPONENT type="1203" id="63" > <father id="94" num="1" /> <cdparam x="518" y="111" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="190" minY="-10" maxY="223" /> <infoparam name="TGComponent" value="Request activation" /> @@ -467,7 +467,7 @@ <SUBCOMPONENT type="1203" id="65" > <father id="94" num="2" /> <cdparam x="715" y="296" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Request start_TCP_IP" /> @@ -484,7 +484,7 @@ <SUBCOMPONENT type="1203" id="67" > <father id="94" num="3" /> <cdparam x="715" y="182" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event receive" /> @@ -501,7 +501,7 @@ <SUBCOMPONENT type="1203" id="69" > <father id="94" num="4" /> <cdparam x="715" y="229" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Channel fromPtoT" /> @@ -518,7 +518,7 @@ <SUBCOMPONENT type="1203" id="71" > <father id="94" num="5" /> <cdparam x="715" y="267" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Channel fromTtoP" /> @@ -535,7 +535,7 @@ <SUBCOMPONENT type="1203" id="73" > <father id="94" num="6" /> <cdparam x="515" y="151" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event data_Ready" /> @@ -552,7 +552,7 @@ <SUBCOMPONENT type="1203" id="75" > <father id="94" num="7" /> <cdparam x="515" y="285" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event data_Ready_SC" /> @@ -569,7 +569,7 @@ <SUBCOMPONENT type="1203" id="77" > <father id="94" num="8" /> <cdparam x="515" y="194" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Channel fromDtoSC" /> @@ -586,7 +586,7 @@ <SUBCOMPONENT type="1203" id="79" > <father id="94" num="9" /> <cdparam x="515" y="241" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Channel fromSCtoD" /> @@ -603,7 +603,7 @@ <SUBCOMPONENT type="1203" id="81" > <father id="94" num="10" /> <cdparam x="515" y="307" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> @@ -620,7 +620,7 @@ <SUBCOMPONENT type="1203" id="83" > <father id="94" num="11" /> <cdparam x="574" y="80" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event reset, pTS" /> @@ -637,7 +637,7 @@ <SUBCOMPONENT type="1203" id="85" > <father id="94" num="12" /> <cdparam x="715" y="104" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="220" /> <infoparam name="TGComponent" value="Event send" /> @@ -654,7 +654,7 @@ <SUBCOMPONENT type="1200" id="176" > <father id="227" num="1" /> <cdparam x="838" y="126" /> -<sizeparam width="570" height="485" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="570" height="485" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="368" minY="0" maxY="40" /> <infoparam name="TGComponent" value="TCPIP Entities" /> @@ -673,7 +673,7 @@ <SUBCOMPONENT type="1202" id="133" > <father id="176" num="0" /> <cdparam x="927" y="161" /> -<sizeparam width="235" height="315" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="235" height="315" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="335" minY="0" maxY="170" /> <infoparam name="TGComponent" value="TCPIP" /> @@ -699,7 +699,7 @@ <SUBCOMPONENT type="1203" id="96" > <father id="133" num="0" /> <cdparam x="1152" y="442" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Event stop" /> @@ -716,7 +716,7 @@ <SUBCOMPONENT type="1203" id="98" > <father id="133" num="1" /> <cdparam x="1152" y="262" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Channel temp" /> @@ -733,7 +733,7 @@ <SUBCOMPONENT type="1203" id="100" > <father id="133" num="2" /> <cdparam x="1152" y="198" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Channel temp" /> @@ -750,7 +750,7 @@ <SUBCOMPONENT type="1203" id="102" > <father id="133" num="3" /> <cdparam x="1152" y="401" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Request req_Timer" /> @@ -767,7 +767,7 @@ <SUBCOMPONENT type="1203" id="104" > <father id="133" num="4" /> <cdparam x="1152" y="364" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Event timeOut" /> @@ -784,7 +784,7 @@ <SUBCOMPONENT type="1203" id="106" > <father id="133" num="5" /> <cdparam x="917" y="466" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Event receive_Application" /> @@ -801,7 +801,7 @@ <SUBCOMPONENT type="1203" id="108" > <father id="133" num="6" /> <cdparam x="958" y="466" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Channel fromAtoT" /> @@ -818,7 +818,7 @@ <SUBCOMPONENT type="1203" id="110" > <father id="133" num="7" /> <cdparam x="917" y="382" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Channel fromTtoA" /> @@ -835,7 +835,7 @@ <SUBCOMPONENT type="1203" id="112" > <father id="133" num="8" /> <cdparam x="917" y="411" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Event open, abort, close" /> @@ -852,7 +852,7 @@ <SUBCOMPONENT type="1203" id="114" > <father id="133" num="9" /> <cdparam x="917" y="442" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Event send_TCP" /> @@ -869,7 +869,7 @@ <SUBCOMPONENT type="1203" id="116" > <father id="133" num="10" /> <cdparam x="917" y="352" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="225" minY="-10" maxY="305" /> <infoparam name="TGComponent" value="Request start_TCP_IP" /> @@ -886,7 +886,7 @@ <SUBCOMPONENT type="1203" id="118" > <father id="133" num="11" /> <cdparam x="914" y="317" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="222" minY="-13" maxY="302" /> <infoparam name="TGComponent" value="Channel fromTtoP" /> @@ -903,7 +903,7 @@ <SUBCOMPONENT type="1203" id="120" > <father id="133" num="12" /> <cdparam x="914" y="274" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="222" minY="-13" maxY="302" /> <infoparam name="TGComponent" value="Channel fromPtoT" /> @@ -920,7 +920,7 @@ <SUBCOMPONENT type="1203" id="122" > <father id="133" num="13" /> <cdparam x="914" y="233" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="222" minY="-13" maxY="302" /> <infoparam name="TGComponent" value="Event receive" /> @@ -937,7 +937,7 @@ <SUBCOMPONENT type="1203" id="124" > <father id="133" num="14" /> <cdparam x="914" y="181" /> -<sizeparam width="26" height="26" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="222" minY="-13" maxY="302" /> <infoparam name="TGComponent" value="Event send" /> @@ -954,7 +954,7 @@ <SUBCOMPONENT type="1202" id="148" > <father id="176" num="1" /> <cdparam x="1226" y="323" /> -<sizeparam width="138" height="137" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="138" height="137" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="432" minY="0" maxY="348" /> <infoparam name="TGComponent" value="Timer" /> @@ -974,7 +974,7 @@ <SUBCOMPONENT type="1203" id="135" > <father id="148" num="0" /> <cdparam x="1216" y="423" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="128" minY="-10" maxY="127" /> <infoparam name="TGComponent" value="Event stop" /> @@ -991,7 +991,7 @@ <SUBCOMPONENT type="1203" id="137" > <father id="148" num="1" /> <cdparam x="1216" y="396" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="128" minY="-10" maxY="127" /> <infoparam name="TGComponent" value="Request req_Timer" /> @@ -1008,7 +1008,7 @@ <SUBCOMPONENT type="1203" id="139" > <father id="148" num="2" /> <cdparam x="1216" y="358" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="128" minY="-10" maxY="127" /> <infoparam name="TGComponent" value="Event timeOut" /> @@ -1051,7 +1051,7 @@ <SUBCOMPONENT type="1202" id="199" > <father id="227" num="2" /> <cdparam x="557" y="410" /> -<sizeparam width="240" height="143" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="240" height="143" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="698" minY="0" maxY="382" /> <infoparam name="TGComponent" value="Application" /> @@ -1070,7 +1070,7 @@ <SUBCOMPONENT type="1203" id="178" > <father id="199" num="0" /> <cdparam x="653" y="400" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Request start_Application" /> @@ -1087,7 +1087,7 @@ <SUBCOMPONENT type="1203" id="180" > <father id="199" num="1" /> <cdparam x="785" y="543" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Channel fromAtoT" /> @@ -1104,7 +1104,7 @@ <SUBCOMPONENT type="1203" id="182" > <father id="199" num="2" /> <cdparam x="787" y="504" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Event receive_Application" /> @@ -1121,7 +1121,7 @@ <SUBCOMPONENT type="1203" id="184" > <father id="199" num="3" /> <cdparam x="787" y="444" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Event open, abort, close" /> @@ -1138,7 +1138,7 @@ <SUBCOMPONENT type="1203" id="186" > <father id="199" num="4" /> <cdparam x="787" y="479" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Event send_TCP" /> @@ -1155,7 +1155,7 @@ <SUBCOMPONENT type="1203" id="188" > <father id="199" num="5" /> <cdparam x="787" y="414" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Channel fromTtoA" /> @@ -1172,7 +1172,7 @@ <SUBCOMPONENT type="1203" id="190" > <father id="199" num="6" /> <cdparam x="737" y="400" /> -<sizeparam width="21" height="21" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="133" /> <infoparam name="TGComponent" value="Request start_TCP_IP" /> @@ -1219,7 +1219,7 @@ <TMLActivityDiagramPanel name="InterfaceDevice" minX="10" maxX="1400" minY="10" maxY="900" > <COMPONENT type="1012" id="235" > <cdparam x="553" y="376" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="choice" value="null" /> @@ -1231,7 +1231,7 @@ <SUBCOMPONENT type="-1" id="228" > <father id="235" num="0" /> <cdparam x="528" y="386" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1239,7 +1239,7 @@ <SUBCOMPONENT type="-1" id="229" > <father id="235" num="1" /> <cdparam x="588" y="386" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1247,7 +1247,7 @@ <SUBCOMPONENT type="-1" id="230" > <father id="235" num="2" /> <cdparam x="573" y="421" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1255,7 +1255,7 @@ <COMPONENT type="1012" id="243" > <cdparam x="644" y="517" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="choice" value="null" /> @@ -1267,15 +1267,16 @@ <SUBCOMPONENT type="-1" id="236" > <father id="243" num="0" /> <cdparam x="599" y="527" /> -<sizeparam width="52" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="52" 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" /> <infoparam name="guard 1" value="[ x==0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="237" > <father id="243" num="1" /> <cdparam x="679" y="527" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1283,15 +1284,16 @@ <SUBCOMPONENT type="-1" id="238" > <father id="243" num="2" /> <cdparam x="664" y="562" /> -<sizeparam width="42" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="42" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ x>0 ]" /> </SUBCOMPONENT> <COMPONENT type="1000" id="245" > <cdparam x="222" y="58" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> @@ -1300,8 +1302,9 @@ <COMPONENT type="1007" id="248" > <cdparam x="188" y="137" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send request" value="activation()" /> <TGConnectingPoint num="0" id="246" /> @@ -1313,8 +1316,9 @@ <COMPONENT type="1008" id="251" > <cdparam x="202" y="237" /> -<sizeparam width="53" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="53" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="reset()" /> <TGConnectingPoint num="0" id="249" /> @@ -1327,8 +1331,9 @@ <COMPONENT type="1010" id="254" > <cdparam x="167" y="288" /> -<sizeparam width="120" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="120" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="answerToReset() " /> <TGConnectingPoint num="0" id="252" /> @@ -1340,8 +1345,9 @@ <COMPONENT type="1008" id="257" > <cdparam x="207" y="337" /> -<sizeparam width="43" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="43" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="pTS()" /> <TGConnectingPoint num="0" id="255" /> @@ -1353,8 +1359,9 @@ <COMPONENT type="1010" id="260" > <cdparam x="356" y="165" /> -<sizeparam width="94" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="94" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="pTSConfirm() " /> <TGConnectingPoint num="0" id="258" /> @@ -1368,7 +1375,7 @@ <COMPONENT type="301" id="277" > <cdparam x="367" y="222" /> -<sizeparam width="114" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="114" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="UML Note" value="data exchange @@ -1396,8 +1403,9 @@ <COMPONENT type="1006" id="280" > <cdparam x="429" y="448" /> -<sizeparam width="94" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="94" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="write channel" value="fromDtoSC(1)" /> <TGConnectingPoint num="0" id="278" /> @@ -1409,15 +1417,16 @@ <COMPONENT type="1008" id="283" > <cdparam x="419" y="507" /> -<sizeparam width="115" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="115" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> -<infoparam name="send event" value="data_Ready(x, b)" /> +<infoparam name="send event" value="data Ready(x, b)" /> <TGConnectingPoint num="0" id="281" /> <TGConnectingPoint num="1" id="282" /> <latencyCheck /> <extraparam> -<Data eventName="data_Ready" nbOfParams="5" /> +<Data eventName="data Ready" nbOfParams="5" /> <Param index="0" value="x" /> <Param index="1" value="b" /> </extraparam> @@ -1425,7 +1434,7 @@ <COMPONENT type="1001" id="285" > <cdparam x="466" y="570" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1434,8 +1443,9 @@ <COMPONENT type="1017" id="288" > <cdparam x="588" y="447" /> -<sizeparam width="142" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="142" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="notified event" value="x=?data_Ready_SC()" /> <TGConnectingPoint num="0" id="286" /> @@ -1447,7 +1457,7 @@ <COMPONENT type="1001" id="290" > <cdparam x="569" y="577" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1456,8 +1466,9 @@ <COMPONENT type="1009" id="293" > <cdparam x="610" y="700" /> -<sizeparam width="98" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="read channel" value="fromSCtoD(1) " /> <TGConnectingPoint num="0" id="291" /> @@ -1469,8 +1480,9 @@ <COMPONENT type="1010" id="296" > <cdparam x="600" y="619" /> -<sizeparam width="119" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="119" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="data_Ready_SC() " /> <TGConnectingPoint num="0" id="294" /> @@ -1483,7 +1495,7 @@ <COMPONENT type="1001" id="298" > <cdparam x="649" y="774" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1492,8 +1504,9 @@ <COMPONENT type="1014" id="302" > <cdparam x="300" y="287" /> -<sizeparam width="268" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="268" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="for loop" value="for(i=0;i<nbOfComputedPackets;i = i +1)" /> <TGConnectingPoint num="0" id="299" /> @@ -1506,7 +1519,7 @@ <COMPONENT type="1001" id="304" > <cdparam x="382" y="380" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1543,7 +1556,7 @@ </CONNECTOR><SUBCOMPONENT type="-1" id="307" > <father id="311" num="0" /> <cdparam x="228" y="383" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -1551,7 +1564,7 @@ <SUBCOMPONENT type="-1" id="308" > <father id="311" num="1" /> <cdparam x="307" y="383" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -1559,7 +1572,7 @@ <SUBCOMPONENT type="-1" id="309" > <father id="311" num="2" /> <cdparam x="307" y="140" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -1567,7 +1580,7 @@ <SUBCOMPONENT type="-1" id="310" > <father id="311" num="3" /> <cdparam x="403" y="140" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -1577,7 +1590,7 @@ <cdparam x="228" y="57" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to send request" value="null" /> -<P1 x="229" y="78" id="244" /> +<P1 x="229" y="73" id="244" /> <P2 x="228" y="132" id="246" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -1691,7 +1704,7 @@ <TMLActivityDiagramPanel name="Application" minX="10" maxX="1400" minY="10" maxY="900" > <COMPONENT type="1012" id="333" > <cdparam x="491" y="277" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="choice" value="null" /> @@ -1703,7 +1716,7 @@ <SUBCOMPONENT type="-1" id="326" > <father id="333" num="0" /> <cdparam x="466" y="287" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1711,7 +1724,7 @@ <SUBCOMPONENT type="-1" id="327" > <father id="333" num="1" /> <cdparam x="526" y="287" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1719,7 +1732,7 @@ <SUBCOMPONENT type="-1" id="328" > <father id="333" num="2" /> <cdparam x="511" y="322" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1727,7 +1740,7 @@ <COMPONENT type="1000" id="335" > <cdparam x="501" y="91" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> @@ -1736,8 +1749,9 @@ <COMPONENT type="1008" id="338" > <cdparam x="482" y="129" /> -<sizeparam width="52" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="52" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="open()" /> <TGConnectingPoint num="0" id="336" /> @@ -1749,8 +1763,9 @@ <COMPONENT type="1006" id="341" > <cdparam x="466" y="178" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="write channel" value="fromAtoT(1)" /> <TGConnectingPoint num="0" id="339" /> @@ -1762,8 +1777,9 @@ <COMPONENT type="1008" id="344" > <cdparam x="467" y="226" /> -<sizeparam width="80" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="80" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="send_TCP()" /> <TGConnectingPoint num="0" id="342" /> @@ -1775,7 +1791,7 @@ <COMPONENT type="1001" id="346" > <cdparam x="576" y="388" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1784,8 +1800,9 @@ <COMPONENT type="1008" id="349" > <cdparam x="559" y="329" /> -<sizeparam width="54" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="54" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="abort()" /> <TGConnectingPoint num="0" id="347" /> @@ -1797,8 +1814,9 @@ <COMPONENT type="1008" id="352" > <cdparam x="406" y="337" /> -<sizeparam width="53" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="53" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="close()" /> <TGConnectingPoint num="0" id="350" /> @@ -1810,7 +1828,7 @@ <COMPONENT type="1001" id="354" > <cdparam x="422" y="386" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1821,7 +1839,7 @@ <cdparam x="509" y="94" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to send event" value="null" /> -<P1 x="508" y="111" id="334" /> +<P1 x="508" y="106" id="334" /> <P2 x="508" y="124" id="336" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -1887,7 +1905,7 @@ <TMLActivityDiagramPanel name="Timer" minX="10" maxX="1400" minY="10" maxY="900" > <COMPONENT type="1012" id="370" > <cdparam x="509" y="222" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="choice" value="null" /> @@ -1899,23 +1917,25 @@ <SUBCOMPONENT type="-1" id="363" > <father id="370" num="0" /> <cdparam x="464" y="232" /> -<sizeparam width="52" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="52" 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" /> <infoparam name="guard 1" value="[ x==0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="364" > <father id="370" num="1" /> <cdparam x="544" y="234" /> -<sizeparam width="42" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="42" 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" /> <infoparam name="guard 2" value="[ x>0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="365" > <father id="370" num="2" /> <cdparam x="529" y="267" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="14" 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="[ ]" /> @@ -1923,7 +1943,7 @@ <COMPONENT type="1000" id="372" > <cdparam x="517" y="87" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> @@ -1932,7 +1952,7 @@ <COMPONENT type="1001" id="374" > <cdparam x="417" y="367" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1941,8 +1961,9 @@ <COMPONENT type="1008" id="377" > <cdparam x="393" y="299" /> -<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="69" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="timeOut()" /> <TGConnectingPoint num="0" id="375" /> @@ -1954,8 +1975,9 @@ <COMPONENT type="1010" id="380" > <cdparam x="596" y="300" /> -<sizeparam width="52" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="52" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="stop() " /> <TGConnectingPoint num="0" id="378" /> @@ -1967,7 +1989,7 @@ <COMPONENT type="1001" id="382" > <cdparam x="612" y="365" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -1976,8 +1998,9 @@ <COMPONENT type="1017" id="385" > <cdparam x="487" y="150" /> -<sizeparam width="75" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="75" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="notified event" value="x=?stop()" /> <TGConnectingPoint num="0" id="383" /> @@ -2007,7 +2030,7 @@ <cdparam x="524" y="107" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to notified event" value="null" /> -<P1 x="524" y="107" id="371" /> +<P1 x="524" y="102" id="371" /> <P2 x="524" y="145" id="383" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -2041,7 +2064,7 @@ <TMLActivityDiagramPanel name="TCPIP" minX="10" maxX="2900" minY="10" maxY="1900" > <COMPONENT type="1012" id="399" > <cdparam x="2086" y="1378" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2053,7 +2076,7 @@ <SUBCOMPONENT type="-1" id="392" > <father id="399" num="0" /> <cdparam x="2061" y="1388" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2061,23 +2084,25 @@ <SUBCOMPONENT type="-1" id="393" > <father id="399" num="1" /> <cdparam x="2121" y="1388" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="394" > <father id="399" num="2" /> <cdparam x="2106" y="1426" /> -<sizeparam width="124" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="124" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state ==10 ]" /> </SUBCOMPONENT> <COMPONENT type="1012" id="407" > <cdparam x="2262" y="951" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2089,31 +2114,34 @@ <SUBCOMPONENT type="-1" id="400" > <father id="407" num="0" /> <cdparam x="2212" y="961" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==1 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="401" > <father id="407" num="1" /> <cdparam x="2297" y="961" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 2" value="[ tcpctrl.state ==3 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="402" > <father id="407" num="2" /> <cdparam x="2282" y="996" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ else ]" /> </SUBCOMPONENT> <COMPONENT type="1012" id="415" > <cdparam x="1981" y="1346" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2125,31 +2153,34 @@ <SUBCOMPONENT type="-1" id="408" > <father id="415" num="0" /> <cdparam x="1934" y="1356" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==5 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="409" > <father id="415" num="1" /> <cdparam x="2016" y="1356" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="410" > <father id="415" num="2" /> <cdparam x="2001" y="1391" /> -<sizeparam width="120" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="120" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state == 7 ]" /> </SUBCOMPONENT> <COMPONENT type="1012" id="423" > <cdparam x="1811" y="1269" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2161,31 +2192,34 @@ <SUBCOMPONENT type="-1" id="416" > <father id="423" num="0" /> <cdparam x="1762" y="1279" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==4 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="417" > <father id="423" num="1" /> <cdparam x="1846" y="1279" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="418" > <father id="423" num="2" /> <cdparam x="1831" y="1314" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state ==2 ]" /> </SUBCOMPONENT> <COMPONENT type="1012" id="431" > <cdparam x="1716" y="1141" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2197,7 +2231,7 @@ <SUBCOMPONENT type="-1" id="424" > <father id="431" num="0" /> <cdparam x="1691" y="1151" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2205,7 +2239,7 @@ <SUBCOMPONENT type="-1" id="425" > <father id="431" num="1" /> <cdparam x="1751" y="1151" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2213,7 +2247,7 @@ <SUBCOMPONENT type="-1" id="426" > <father id="431" num="2" /> <cdparam x="1736" y="1186" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2221,8 +2255,9 @@ <COMPONENT type="1013" id="435" > <cdparam x="1524" y="1254" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="433" /> @@ -2231,7 +2266,7 @@ <SUBCOMPONENT type="-1" id="432" > <father id="435" num="0" /> <cdparam x="1539" y="1274" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2239,8 +2274,9 @@ <COMPONENT type="1013" id="439" > <cdparam x="1524" y="1064" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="437" /> @@ -2249,7 +2285,7 @@ <SUBCOMPONENT type="-1" id="436" > <father id="439" num="0" /> <cdparam x="1538" y="1088" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2257,7 +2293,7 @@ <COMPONENT type="1012" id="447" > <cdparam x="1592" y="1006" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2269,23 +2305,25 @@ <SUBCOMPONENT type="-1" id="440" > <father id="447" num="0" /> <cdparam x="1542" y="1016" /> -<sizeparam width="124" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="124" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state == 4 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="441" > <father id="447" num="1" /> <cdparam x="1627" y="1016" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="442" > <father id="447" num="2" /> <cdparam x="1612" y="1051" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2293,7 +2331,7 @@ <COMPONENT type="1012" id="455" > <cdparam x="1713" y="875" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2305,7 +2343,7 @@ <SUBCOMPONENT type="-1" id="448" > <father id="455" num="0" /> <cdparam x="1688" y="885" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2313,7 +2351,7 @@ <SUBCOMPONENT type="-1" id="449" > <father id="455" num="1" /> <cdparam x="1748" y="885" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2321,7 +2359,7 @@ <SUBCOMPONENT type="-1" id="450" > <father id="455" num="2" /> <cdparam x="1733" y="920" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2329,8 +2367,9 @@ <COMPONENT type="1013" id="459" > <cdparam x="1636" y="1235" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="457" /> @@ -2339,7 +2378,7 @@ <SUBCOMPONENT type="-1" id="456" > <father id="459" num="0" /> <cdparam x="1655" y="1254" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2347,8 +2386,9 @@ <COMPONENT type="1013" id="463" > <cdparam x="2213" y="1059" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="461" /> @@ -2357,7 +2397,7 @@ <SUBCOMPONENT type="-1" id="460" > <father id="463" num="0" /> <cdparam x="2200" y="1083" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2365,8 +2405,9 @@ <COMPONENT type="1013" id="467" > <cdparam x="2336" y="1024" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="465" /> @@ -2375,7 +2416,7 @@ <SUBCOMPONENT type="-1" id="464" > <father id="467" num="0" /> <cdparam x="2312" y="1044" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2383,7 +2424,7 @@ <COMPONENT type="1012" id="475" > <cdparam x="1193" y="1020" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2395,7 +2436,7 @@ <SUBCOMPONENT type="-1" id="468" > <father id="475" num="0" /> <cdparam x="1168" y="1030" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2403,24 +2444,27 @@ <SUBCOMPONENT type="-1" id="469" > <father id="475" num="1" /> <cdparam x="1228" y="1030" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="470" > <father id="475" num="2" /> <cdparam x="1213" y="1065" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state ==6 ]" /> </SUBCOMPONENT> <COMPONENT type="1013" id="479" > <cdparam x="1203" y="1107" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="477" /> @@ -2429,7 +2473,7 @@ <SUBCOMPONENT type="-1" id="476" > <father id="479" num="0" /> <cdparam x="1218" y="1127" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2437,7 +2481,7 @@ <COMPONENT type="1012" id="487" > <cdparam x="557" y="712" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2449,23 +2493,25 @@ <SUBCOMPONENT type="-1" id="480" > <father id="487" num="0" /> <cdparam x="514" y="722" /> -<sizeparam width="120" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="120" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state == 1 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="481" > <father id="487" num="1" /> <cdparam x="592" y="722" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="482" > <father id="487" num="2" /> <cdparam x="577" y="757" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2473,8 +2519,9 @@ <COMPONENT type="1013" id="491" > <cdparam x="717" y="694" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="489" /> @@ -2483,7 +2530,7 @@ <SUBCOMPONENT type="-1" id="488" > <father id="491" num="0" /> <cdparam x="732" y="714" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2491,8 +2538,9 @@ <COMPONENT type="1013" id="495" > <cdparam x="938" y="1025" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="493" /> @@ -2501,7 +2549,7 @@ <SUBCOMPONENT type="-1" id="492" > <father id="495" num="0" /> <cdparam x="953" y="1045" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2509,7 +2557,7 @@ <COMPONENT type="1012" id="503" > <cdparam x="1034" y="939" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2521,32 +2569,36 @@ <SUBCOMPONENT type="-1" id="496" > <father id="503" num="0" /> <cdparam x="989" y="949" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==4 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="497" > <father id="503" num="1" /> <cdparam x="1070" y="949" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="498" > <father id="503" num="2" /> <cdparam x="1054" y="984" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state == 5]" /> </SUBCOMPONENT> <COMPONENT type="1013" id="507" > <cdparam x="795" y="1009" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="505" /> @@ -2555,7 +2607,7 @@ <SUBCOMPONENT type="-1" id="504" > <father id="507" num="0" /> <cdparam x="818" y="1031" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2563,7 +2615,7 @@ <COMPONENT type="1012" id="515" > <cdparam x="828" y="869" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2575,32 +2627,36 @@ <SUBCOMPONENT type="-1" id="508" > <father id="515" num="0" /> <cdparam x="753" y="885" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="509" > <father id="515" num="1" /> <cdparam x="863" y="879" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="510" > <father id="515" num="2" /> <cdparam x="848" y="914" /> -<sizeparam width="112" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="112" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state==0 ]" /> </SUBCOMPONENT> <COMPONENT type="1013" id="519" > <cdparam x="341" y="764" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="517" /> @@ -2609,7 +2665,7 @@ <SUBCOMPONENT type="-1" id="516" > <father id="519" num="0" /> <cdparam x="354" y="785" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2617,8 +2673,9 @@ <COMPONENT type="1013" id="523" > <cdparam x="127" y="794" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="521" /> @@ -2627,7 +2684,7 @@ <SUBCOMPONENT type="-1" id="520" > <father id="523" num="0" /> <cdparam x="146" y="818" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2635,7 +2692,7 @@ <COMPONENT type="1012" id="531" > <cdparam x="993" y="780" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2647,7 +2704,7 @@ <SUBCOMPONENT type="-1" id="524" > <father id="531" num="0" /> <cdparam x="949" y="793" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2655,7 +2712,7 @@ <SUBCOMPONENT type="-1" id="525" > <father id="531" num="1" /> <cdparam x="1028" y="790" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2663,7 +2720,7 @@ <SUBCOMPONENT type="-1" id="526" > <father id="531" num="2" /> <cdparam x="1013" y="825" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2671,8 +2728,9 @@ <COMPONENT type="1013" id="535" > <cdparam x="1003" y="701" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="533" /> @@ -2681,7 +2739,7 @@ <SUBCOMPONENT type="-1" id="532" > <father id="535" num="0" /> <cdparam x="1018" y="721" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2689,8 +2747,9 @@ <COMPONENT type="1013" id="539" > <cdparam x="434" y="783" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="537" /> @@ -2699,7 +2758,7 @@ <SUBCOMPONENT type="-1" id="536" > <father id="539" num="0" /> <cdparam x="449" y="802" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2707,8 +2766,9 @@ <COMPONENT type="1013" id="543" > <cdparam x="225" y="863" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="541" /> @@ -2717,7 +2777,7 @@ <SUBCOMPONENT type="-1" id="540" > <father id="543" num="0" /> <cdparam x="245" y="885" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2725,8 +2785,9 @@ <COMPONENT type="1013" id="547" > <cdparam x="1044" y="1057" /> -<sizeparam width="10" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="execI" value="null" /> <TGConnectingPoint num="0" id="545" /> @@ -2735,7 +2796,7 @@ <SUBCOMPONENT type="-1" id="544" > <father id="547" num="0" /> <cdparam x="1059" y="1077" /> -<sizeparam width="8" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2743,7 +2804,7 @@ <COMPONENT type="1012" id="555" > <cdparam x="173" y="486" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2755,23 +2816,25 @@ <SUBCOMPONENT type="-1" id="548" > <father id="555" num="0" /> <cdparam x="98" y="496" /> -<sizeparam width="112" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="112" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state==0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="549" > <father id="555" num="1" /> <cdparam x="208" y="496" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="550" > <father id="555" num="2" /> <cdparam x="193" y="531" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2779,7 +2842,7 @@ <COMPONENT type="1012" id="563" > <cdparam x="359" y="192" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2791,23 +2854,25 @@ <SUBCOMPONENT type="-1" id="556" > <father id="563" num="0" /> <cdparam x="317" y="202" /> -<sizeparam width="81" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="81" 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" /> <infoparam name="guard 1" value="[ tcpctrl.a>0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="557" > <father id="563" num="1" /> <cdparam x="394" y="202" /> -<sizeparam width="91" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="91" 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" /> <infoparam name="guard 2" value="[ tcpctrl.a==0 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="558" > <father id="563" num="2" /> <cdparam x="379" y="237" /> -<sizeparam width="12" height="15" minWidth="10" minHeight="0" 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="[ ]" /> @@ -2815,7 +2880,7 @@ <COMPONENT type="1012" id="571" > <cdparam x="449" y="582" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2827,31 +2892,34 @@ <SUBCOMPONENT type="-1" id="564" > <father id="571" num="0" /> <cdparam x="398" y="592" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state ==9 ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="565" > <father id="571" num="1" /> <cdparam x="500" y="599" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="566" > <father id="571" num="2" /> <cdparam x="469" y="627" /> -<sizeparam width="252" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="252" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ (tcpctrl.state ==2) or (tcpctrl.state ==4) ]" /> </SUBCOMPONENT> <COMPONENT type="1012" id="579" > <cdparam x="274" y="564" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="choice" value="null" /> @@ -2863,31 +2931,34 @@ <SUBCOMPONENT type="-1" id="572" > <father id="579" num="0" /> <cdparam x="228" y="574" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" 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" /> <infoparam name="guard 1" value="[ tcpctrl.state == 1]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="573" > <father id="579" num="1" /> <cdparam x="317" y="584" /> -<sizeparam width="39" height="15" minWidth="10" minHeight="0" 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="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ else ]" /> </SUBCOMPONENT> <SUBCOMPONENT type="-1" id="574" > <father id="579" num="2" /> <cdparam x="294" y="613" /> -<sizeparam width="116" height="15" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ tcpctrl.state ==4 ]" /> </SUBCOMPONENT> <COMPONENT type="1000" id="581" > <cdparam x="227" y="27" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="start state" value="null" /> @@ -2944,8 +3015,9 @@ <COMPONENT type="1011" id="601" > <cdparam x="76" y="549" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =1" /> <TGConnectingPoint num="0" id="599" /> @@ -2954,7 +3026,7 @@ <COMPONENT type="1001" id="603" > <cdparam x="116" y="615" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -2963,8 +3035,9 @@ <COMPONENT type="1009" id="606" > <cdparam x="967" y="585" /> -<sizeparam width="83" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="83" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="read channel" value="fromPtoT(1) " /> <TGConnectingPoint num="0" id="604" /> @@ -2976,8 +3049,9 @@ <COMPONENT type="1014" id="610" > <cdparam x="150" y="85" /> -<sizeparam width="170" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="170" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="for loop" value="for(i=0;(tcpctrl.a==0);i = i)" /> <TGConnectingPoint num="0" id="607" /> @@ -2990,7 +3064,7 @@ <COMPONENT type="1001" id="612" > <cdparam x="224" y="207" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -2999,8 +3073,9 @@ <COMPONENT type="1011" id="615" > <cdparam x="186" y="144" /> -<sizeparam width="96" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="96" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state=0" /> <TGConnectingPoint num="0" id="613" /> @@ -3009,8 +3084,9 @@ <COMPONENT type="1017" id="618" > <cdparam x="316" y="133" /> -<sizeparam width="116" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="notified event" value="tcpctrl.a=?abort()" /> <TGConnectingPoint num="0" id="616" /> @@ -3022,8 +3098,9 @@ <COMPONENT type="1009" id="621" > <cdparam x="692" y="589" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="read channel" value="temp(1) " /> <TGConnectingPoint num="0" id="619" /> @@ -3035,8 +3112,9 @@ <COMPONENT type="1010" id="624" > <cdparam x="689" y="534" /> -<sizeparam width="67" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="67" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="timeOut() " /> <TGConnectingPoint num="0" id="622" /> @@ -3048,8 +3126,9 @@ <COMPONENT type="1010" id="627" > <cdparam x="977" y="528" /> -<sizeparam width="63" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="63" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="receive() " /> <TGConnectingPoint num="0" id="625" /> @@ -3061,8 +3140,9 @@ <COMPONENT type="1010" id="630" > <cdparam x="439" y="492" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="close() " /> <TGConnectingPoint num="0" id="628" /> @@ -3074,8 +3154,9 @@ <COMPONENT type="1010" id="633" > <cdparam x="250" y="468" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="send_TCP() " /> <TGConnectingPoint num="0" id="631" /> @@ -3087,8 +3168,9 @@ <COMPONENT type="1010" id="636" > <cdparam x="163" y="419" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="open() " /> <TGConnectingPoint num="0" id="634" /> @@ -3101,7 +3183,7 @@ <COMPONENT type="1018" id="647" > <cdparam x="449" y="267" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="select" value="null" /> @@ -3120,7 +3202,7 @@ <COMPONENT type="1001" id="649" > <cdparam x="226" y="529" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3129,7 +3211,7 @@ <COMPONENT type="1001" id="651" > <cdparam x="343" y="614" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3138,8 +3220,9 @@ <COMPONENT type="1010" id="654" > <cdparam x="275" y="228" /> -<sizeparam width="53" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="53" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="wait event" value="abort() " /> <TGConnectingPoint num="0" id="652" /> @@ -3151,7 +3234,7 @@ <COMPONENT type="1001" id="656" > <cdparam x="291" y="290" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3194,8 +3277,9 @@ On prend b=1 comme exemple <COMPONENT type="1009" id="676" > <cdparam x="188" y="808" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="read channel" value="fromAtoT(1) " /> <TGConnectingPoint num="0" id="674" /> @@ -3207,8 +3291,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="679" > <cdparam x="191" y="1002" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="677" /> @@ -3220,7 +3305,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="681" > <cdparam x="219" y="1237" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3229,8 +3314,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="684" > <cdparam x="388" y="1032" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =5" /> <TGConnectingPoint num="0" id="682" /> @@ -3239,7 +3325,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="686" > <cdparam x="428" y="1213" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3248,8 +3334,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="689" > <cdparam x="84" y="1041" /> -<sizeparam width="96" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="96" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state=3" /> <TGConnectingPoint num="0" id="687" /> @@ -3258,8 +3345,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="692" > <cdparam x="93" y="938" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="690" /> @@ -3271,8 +3359,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="695" > <cdparam x="292" y="1026" /> -<sizeparam width="108" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =10" /> <TGConnectingPoint num="0" id="693" /> @@ -3281,7 +3370,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="697" > <cdparam x="334" y="1229" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3290,8 +3379,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="700" > <cdparam x="400" y="941" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="698" /> @@ -3303,8 +3393,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="703" > <cdparam x="307" y="900" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="701" /> @@ -3316,7 +3407,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="705" > <cdparam x="789" y="1270" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3325,7 +3416,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="722" > <cdparam x="998" y="850" /> -<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Fin @@ -3353,8 +3444,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="725" > <cdparam x="678" y="965" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =1" /> <TGConnectingPoint num="0" id="723" /> @@ -3363,7 +3455,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="727" > <cdparam x="718" y="1032" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3372,8 +3464,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="730" > <cdparam x="761" y="1086" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="728" /> @@ -3385,7 +3478,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="747" > <cdparam x="781" y="950" /> -<sizeparam width="89" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="89" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Active Open @@ -3413,7 +3506,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="764" > <cdparam x="715" y="907" /> -<sizeparam width="97" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="97" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Passive Open @@ -3441,8 +3534,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="767" > <cdparam x="749" y="1193" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =3" /> <TGConnectingPoint num="0" id="765" /> @@ -3451,8 +3545,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="770" > <cdparam x="446" y="768" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =0" /> <TGConnectingPoint num="0" id="768" /> @@ -3461,7 +3556,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="772" > <cdparam x="486" y="830" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3470,8 +3565,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="775" > <cdparam x="904" y="1123" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="773" /> @@ -3483,7 +3579,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="792" > <cdparam x="884" y="1068" /> -<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -3511,8 +3607,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="795" > <cdparam x="893" y="1234" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =9" /> <TGConnectingPoint num="0" id="793" /> @@ -3521,7 +3618,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="797" > <cdparam x="933" y="1311" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3530,8 +3627,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="800" > <cdparam x="1010" y="1155" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="798" /> @@ -3543,7 +3641,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="817" > <cdparam x="1000" y="1094" /> -<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -3571,8 +3669,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="820" > <cdparam x="999" y="1266" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =7" /> <TGConnectingPoint num="0" id="818" /> @@ -3581,7 +3680,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="822" > <cdparam x="1039" y="1341" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3590,8 +3689,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="825" > <cdparam x="683" y="758" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="823" /> @@ -3603,7 +3703,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="827" > <cdparam x="712" y="865" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3612,8 +3712,9 @@ On prend b=1 comme exemple <COMPONENT type="1007" id="830" > <cdparam x="93" y="1100" /> -<sizeparam width="78" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="78" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send request" value="req_Timer()" /> <TGConnectingPoint num="0" id="828" /> @@ -3625,8 +3726,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="833" > <cdparam x="104" y="1167" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="831" /> @@ -3638,7 +3740,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="835" > <cdparam x="122" y="1236" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3647,8 +3749,9 @@ On prend b=1 comme exemple <COMPONENT type="1007" id="838" > <cdparam x="190" y="1102" /> -<sizeparam width="78" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="78" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send request" value="req_Timer()" /> <TGConnectingPoint num="0" id="836" /> @@ -3660,8 +3763,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="841" > <cdparam x="201" y="1169" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="839" /> @@ -3673,8 +3777,9 @@ On prend b=1 comme exemple <COMPONENT type="1007" id="844" > <cdparam x="307" y="1106" /> -<sizeparam width="78" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="78" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send request" value="req_Timer()" /> <TGConnectingPoint num="0" id="842" /> @@ -3686,8 +3791,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="847" > <cdparam x="318" y="1173" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="845" /> @@ -3699,8 +3805,9 @@ On prend b=1 comme exemple <COMPONENT type="1007" id="850" > <cdparam x="399" y="1090" /> -<sizeparam width="78" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="78" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send request" value="req_Timer()" /> <TGConnectingPoint num="0" id="848" /> @@ -3712,8 +3819,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="853" > <cdparam x="410" y="1159" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="851" /> @@ -3725,8 +3833,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="856" > <cdparam x="56" y="861" /> -<sizeparam width="153" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="153" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="seqNum=seqNum+wind" /> <TGConnectingPoint num="0" id="854" /> @@ -3735,8 +3844,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="859" > <cdparam x="154" y="940" /> -<sizeparam width="153" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="153" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="seqNum=seqNum+wind" /> <TGConnectingPoint num="0" id="857" /> @@ -3745,8 +3855,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="862" > <cdparam x="363" y="865" /> -<sizeparam width="153" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="153" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="seqNum=seqNum+wind" /> <TGConnectingPoint num="0" id="860" /> @@ -3755,8 +3866,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="865" > <cdparam x="270" y="831" /> -<sizeparam width="153" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="153" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="seqNum=seqNum+wind" /> <TGConnectingPoint num="0" id="863" /> @@ -3765,8 +3877,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="868" > <cdparam x="206" y="1052" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="866" /> @@ -3778,8 +3891,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="871" > <cdparam x="323" y="962" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="869" /> @@ -3791,8 +3905,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="874" > <cdparam x="415" y="983" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="872" /> @@ -3804,8 +3919,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="877" > <cdparam x="109" y="986" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="875" /> @@ -3817,8 +3933,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="880" > <cdparam x="699" y="813" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="878" /> @@ -3830,8 +3947,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="883" > <cdparam x="775" y="1141" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="881" /> @@ -3843,8 +3961,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="886" > <cdparam x="920" y="1178" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="884" /> @@ -3856,8 +3975,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="889" > <cdparam x="1026" y="1211" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="887" /> @@ -3869,7 +3989,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="891" > <cdparam x="612" y="762" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3878,7 +3998,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="893" > <cdparam x="899" y="922" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3887,8 +4007,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="896" > <cdparam x="1169" y="1214" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="894" /> @@ -3900,7 +4021,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="913" > <cdparam x="1159" y="1153" /> -<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -3928,8 +4049,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="916" > <cdparam x="1158" y="1295" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =8" /> <TGConnectingPoint num="0" id="914" /> @@ -3938,7 +4060,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="918" > <cdparam x="1197" y="1471" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3947,8 +4069,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="921" > <cdparam x="1157" y="1402" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =0" /> <TGConnectingPoint num="0" id="919" /> @@ -3957,8 +4080,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="924" > <cdparam x="1185" y="1351" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="922" /> @@ -3970,7 +4094,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="926" > <cdparam x="1277" y="1070" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3979,7 +4103,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="928" > <cdparam x="1519" y="1457" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -3988,8 +4112,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="931" > <cdparam x="1489" y="1132" /> -<sizeparam width="80" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="80" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoA(1)" /> <TGConnectingPoint num="0" id="929" /> @@ -4001,8 +4126,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="934" > <cdparam x="1490" y="1348" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="932" /> @@ -4014,8 +4140,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="937" > <cdparam x="1710" y="1026" /> -<sizeparam width="43" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="43" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="stop()" /> <TGConnectingPoint num="0" id="935" /> @@ -4027,7 +4154,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="954" > <cdparam x="1759" y="1192" /> -<sizeparam width="86" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="86" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Correct ack @@ -4055,7 +4182,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="971" > <cdparam x="1635" y="1168" /> -<sizeparam width="71" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="71" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="false ack @@ -4083,8 +4210,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="974" > <cdparam x="1602" y="1299" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="972" /> @@ -4096,7 +4224,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="976" > <cdparam x="1632" y="1468" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4105,7 +4233,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="993" > <cdparam x="1469" y="1295" /> -<sizeparam width="127" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="127" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="return acknowldge @@ -4133,7 +4261,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1010" > <cdparam x="1620" y="927" /> -<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="data @@ -4161,8 +4289,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1013" > <cdparam x="1506" y="1405" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="1011" /> @@ -4174,8 +4303,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1016" > <cdparam x="1619" y="1348" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="1014" /> @@ -4187,8 +4317,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="1019" > <cdparam x="1614" y="1404" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="1017" /> @@ -4200,7 +4331,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1021" > <cdparam x="1730" y="1335" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4209,8 +4340,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1024" > <cdparam x="1776" y="1349" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =4" /> <TGConnectingPoint num="0" id="1022" /> @@ -4219,7 +4351,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1026" > <cdparam x="1818" y="1457" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4228,8 +4360,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1029" > <cdparam x="1870" y="1411" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =6" /> <TGConnectingPoint num="0" id="1027" /> @@ -4238,7 +4371,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1031" > <cdparam x="1910" y="1481" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4247,7 +4380,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1033" > <cdparam x="1986" y="1543" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4256,8 +4389,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1036" > <cdparam x="2051" y="1466" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =0" /> <TGConnectingPoint num="0" id="1034" /> @@ -4266,7 +4400,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1038" > <cdparam x="2091" y="1537" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4275,8 +4409,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1041" > <cdparam x="1946" y="1493" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =0" /> <TGConnectingPoint num="0" id="1039" /> @@ -4285,8 +4420,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1044" > <cdparam x="1946" y="1434" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =8" /> <TGConnectingPoint num="0" id="1042" /> @@ -4295,7 +4431,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1061" > <cdparam x="1825" y="889" /> -<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Syn @@ -4323,7 +4459,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1078" > <cdparam x="1707" y="945" /> -<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="ack @@ -4351,8 +4487,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="1081" > <cdparam x="2179" y="1198" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="1079" /> @@ -4364,7 +4501,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1083" > <cdparam x="2207" y="1483" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4373,8 +4510,9 @@ On prend b=1 comme exemple <COMPONENT type="1007" id="1086" > <cdparam x="2178" y="1298" /> -<sizeparam width="78" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="78" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send request" value="req_Timer()" /> <TGConnectingPoint num="0" id="1084" /> @@ -4386,8 +4524,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="1089" > <cdparam x="2189" y="1365" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="temp(1)" /> <TGConnectingPoint num="0" id="1087" /> @@ -4399,8 +4538,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1092" > <cdparam x="2142" y="1136" /> -<sizeparam width="153" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="153" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="seqNum=seqNum+wind" /> <TGConnectingPoint num="0" id="1090" /> @@ -4409,8 +4549,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1095" > <cdparam x="2194" y="1248" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="1093" /> @@ -4422,8 +4563,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1098" > <cdparam x="2167" y="1424" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =2" /> <TGConnectingPoint num="0" id="1096" /> @@ -4432,8 +4574,9 @@ On prend b=1 comme exemple <COMPONENT type="1006" id="1101" > <cdparam x="2302" y="1122" /> -<sizeparam width="79" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="79" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="write channel" value="fromTtoP(1)" /> <TGConnectingPoint num="0" id="1099" /> @@ -4445,7 +4588,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1118" > <cdparam x="2283" y="1065" /> -<sizeparam width="114" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="114" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of SYN @@ -4473,8 +4616,9 @@ On prend b=1 comme exemple <COMPONENT type="1011" id="1121" > <cdparam x="2291" y="1267" /> -<sizeparam width="100" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="action state" value="tcpctrl.state =2" /> <TGConnectingPoint num="0" id="1119" /> @@ -4483,7 +4627,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1123" > <cdparam x="2330" y="1324" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4492,8 +4636,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1126" > <cdparam x="2318" y="1199" /> -<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="46" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="send()" /> <TGConnectingPoint num="0" id="1124" /> @@ -4505,7 +4650,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1128" > <cdparam x="1649" y="1057" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4514,7 +4659,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1130" > <cdparam x="2168" y="1421" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4523,7 +4668,7 @@ On prend b=1 comme exemple <COMPONENT type="1001" id="1132" > <cdparam x="2268" y="1039" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="stop state" value="null" /> @@ -4532,8 +4677,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1135" > <cdparam x="1465" y="1192" /> -<sizeparam width="129" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="129" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="send event" value="receive_Application()" /> <TGConnectingPoint num="0" id="1133" /> @@ -4545,8 +4691,9 @@ On prend b=1 comme exemple <COMPONENT type="1009" id="1138" > <cdparam x="1701" y="1086" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="read channel" value="temp(1) " /> <TGConnectingPoint num="0" id="1136" /> @@ -4656,7 +4803,7 @@ On prend b=1 comme exemple <cdparam x="234" y="47" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to for loop" value="null" /> -<P1 x="234" y="47" id="580" /> +<P1 x="234" y="42" id="580" /> <P2 x="235" y="80" id="607" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5674,7 +5821,7 @@ On prend b=1 comme exemple <TMLActivityDiagramPanel name="SmartCard" minX="10" maxX="1400" minY="10" maxY="900" > <COMPONENT type="1000" id="1279" > <cdparam x="159" y="66" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> @@ -5683,8 +5830,9 @@ On prend b=1 comme exemple <COMPONENT type="1010" id="1282" > <cdparam x="138" y="129" /> -<sizeparam width="57" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="57" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="reset() " /> <TGConnectingPoint num="0" id="1280" /> @@ -5696,8 +5844,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1285" > <cdparam x="108" y="182" /> -<sizeparam width="116" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="answerToReset()" /> <TGConnectingPoint num="0" id="1283" /> @@ -5709,8 +5858,9 @@ On prend b=1 comme exemple <COMPONENT type="1010" id="1288" > <cdparam x="143" y="237" /> -<sizeparam width="47" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="47" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="pTS() " /> <TGConnectingPoint num="0" id="1286" /> @@ -5722,8 +5872,9 @@ On prend b=1 comme exemple <COMPONENT type="1008" id="1291" > <cdparam x="121" y="308" /> -<sizeparam width="90" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="90" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="pTSConfirm()" /> <TGConnectingPoint num="0" id="1289" /> @@ -5767,8 +5918,9 @@ the smart card and the terminal <COMPONENT type="1007" id="1311" > <cdparam x="250" y="97" /> -<sizeparam width="96" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="96" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send request" value="start_TCP_IP()" /> <TGConnectingPoint num="0" id="1309" /> @@ -5780,8 +5932,9 @@ the smart card and the terminal <COMPONENT type="1007" id="1314" > <cdparam x="236" y="148" /> -<sizeparam width="125" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="125" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send request" value="start_Application()" /> <TGConnectingPoint num="0" id="1312" /> @@ -5793,7 +5946,7 @@ the smart card and the terminal <COMPONENT type="1001" id="1316" > <cdparam x="515" y="428" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -5802,8 +5955,9 @@ the smart card and the terminal <COMPONENT type="1008" id="1319" > <cdparam x="305" y="350" /> -<sizeparam width="115" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="115" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="data_Ready_SC()" /> <TGConnectingPoint num="0" id="1317" /> @@ -5815,7 +5969,7 @@ the smart card and the terminal <COMPONENT type="1001" id="1321" > <cdparam x="352" y="426" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -5824,8 +5978,9 @@ the smart card and the terminal <COMPONENT type="1009" id="1324" > <cdparam x="318" y="308" /> -<sizeparam width="88" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="88" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="read channel" value="fromTtoP(1) " /> <TGConnectingPoint num="0" id="1322" /> @@ -5837,8 +5992,9 @@ the smart card and the terminal <COMPONENT type="1010" id="1327" > <cdparam x="335" y="264" /> -<sizeparam width="55" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="55" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="send() " /> <TGConnectingPoint num="0" id="1325" /> @@ -5850,8 +6006,9 @@ the smart card and the terminal <COMPONENT type="1006" id="1330" > <cdparam x="315" y="392" /> -<sizeparam width="94" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="94" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="write channel" value="fromSCtoD(1)" /> <TGConnectingPoint num="0" id="1328" /> @@ -5863,8 +6020,9 @@ the smart card and the terminal <COMPONENT type="1008" id="1333" > <cdparam x="493" y="350" /> -<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="65" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="send event" value="receive()" /> <TGConnectingPoint num="0" id="1331" /> @@ -5876,8 +6034,9 @@ the smart card and the terminal <COMPONENT type="1009" id="1336" > <cdparam x="476" y="311" /> -<sizeparam width="98" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="read channel" value="fromDtoSC(1) " /> <TGConnectingPoint num="0" id="1334" /> @@ -5889,8 +6048,9 @@ the smart card and the terminal <COMPONENT type="1006" id="1339" > <cdparam x="483" y="387" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="write channel" value="fromPtoT(1)" /> <TGConnectingPoint num="0" id="1337" /> @@ -5902,8 +6062,9 @@ the smart card and the terminal <COMPONENT type="1010" id="1342" > <cdparam x="466" y="268" /> -<sizeparam width="118" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="118" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> +<enabled value="true" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="wait event" value="data_Ready(t, b) " /> <TGConnectingPoint num="0" id="1340" /> @@ -5918,8 +6079,9 @@ the smart card and the terminal <COMPONENT type="1014" id="1346" > <cdparam x="236" y="202" /> -<sizeparam width="124" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<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="1400" minY="10" maxY="900" /> <infoparam name="for loop" value="for(j=0;x==0;j = j)" /> <TGConnectingPoint num="0" id="1343" /> @@ -5932,7 +6094,7 @@ the smart card and the terminal <COMPONENT type="1001" id="1348" > <cdparam x="297" y="231" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> @@ -5941,7 +6103,7 @@ the smart card and the terminal <COMPONENT type="1018" id="1359" > <cdparam x="424" y="226" /> -<sizeparam width="30" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="30" height="30" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="select" value="null" /> @@ -5971,7 +6133,7 @@ the smart card and the terminal </CONNECTOR><SUBCOMPONENT type="-1" id="1360" > <father id="1364" num="0" /> <cdparam x="166" y="351" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -5979,7 +6141,7 @@ the smart card and the terminal <SUBCOMPONENT type="-1" id="1361" > <father id="1364" num="1" /> <cdparam x="231" y="351" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -5987,7 +6149,7 @@ the smart card and the terminal <SUBCOMPONENT type="-1" id="1362" > <father id="1364" num="2" /> <cdparam x="231" y="72" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -5995,7 +6157,7 @@ the smart card and the terminal <SUBCOMPONENT type="-1" id="1363" > <father id="1364" num="3" /> <cdparam x="298" y="72" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="1" height="1" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" /> <infoparam name="point " value="null" /> @@ -6005,7 +6167,7 @@ the smart card and the terminal <cdparam x="166" y="64" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to wait event" value="null" /> -<P1 x="166" y="86" id="1278" /> +<P1 x="166" y="81" id="1278" /> <P2 x="166" y="124" id="1280" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -6265,7 +6427,7 @@ the smart card and the terminal <SUBCOMPONENT type="1103" id="1441" > <father id="1466" num="0" /> <cdparam x="799" y="197" /> -<sizeparam width="141" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="141" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="59" minY="0" maxY="160" /> <infoparam name="TGComponent" value="AppC::fromDtoSC" /> @@ -6320,7 +6482,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1475" > <father id="1536" num="0" /> <cdparam x="92" y="154" /> -<sizeparam width="172" height="50" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="172" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="287" minY="0" maxY="271" /> <infoparam name="TGComponent" value="AppC::InterfaceDevice" /> @@ -6339,7 +6501,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1484" > <father id="1536" num="1" /> <cdparam x="291" y="153" /> -<sizeparam width="141" height="50" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="141" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="318" minY="0" maxY="271" /> <infoparam name="TGComponent" value="AppC::SmartCard" /> @@ -6358,7 +6520,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1493" > <father id="1536" num="2" /> <cdparam x="96" y="246" /> -<sizeparam width="109" height="50" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="109" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="350" minY="0" maxY="271" /> <infoparam name="TGComponent" value="AppC::TCPIP" /> @@ -6377,7 +6539,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1502" > <father id="1536" num="3" /> <cdparam x="290" y="234" /> -<sizeparam width="144" height="50" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="144" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="315" minY="0" maxY="271" /> <infoparam name="TGComponent" value="AppC::Application" /> @@ -6396,7 +6558,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1511" > <father id="1536" num="4" /> <cdparam x="226" y="304" /> -<sizeparam width="109" height="50" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="109" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="350" minY="0" maxY="271" /> <infoparam name="TGComponent" value="AppC::Timer" /> @@ -6569,7 +6731,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1598" > <father id="1623" num="0" /> <cdparam x="815" y="293" /> -<sizeparam width="109" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="109" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="65" minY="0" maxY="95" /> <infoparam name="TGComponent" value="AppC::Timer" /> @@ -6624,7 +6786,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1632" > <father id="1657" num="0" /> <cdparam x="76" y="320" /> -<sizeparam width="172" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="172" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="-7" minY="0" maxY="86" /> <infoparam name="TGComponent" value="AppC::InterfaceDevice" /> @@ -6679,7 +6841,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1666" > <father id="1709" num="0" /> <cdparam x="464" y="86" /> -<sizeparam width="109" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="109" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="163" minY="0" maxY="127" /> <infoparam name="TGComponent" value="AppC::TCPIP" /> @@ -6698,7 +6860,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1675" > <father id="1709" num="1" /> <cdparam x="480" y="161" /> -<sizeparam width="144" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="144" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="128" minY="0" maxY="127" /> <infoparam name="TGComponent" value="AppC::Application" /> @@ -6717,7 +6879,7 @@ the smart card and the terminal <SUBCOMPONENT type="1101" id="1684" > <father id="1709" num="2" /> <cdparam x="562" y="117" /> -<sizeparam width="141" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="141" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="0" maxX="131" minY="0" maxY="127" /> <infoparam name="TGComponent" value="AppC::SmartCard" /> @@ -6832,7 +6994,7 @@ the smart card and the terminal <SUBCOMPONENT type="6005" id="1724" > <father id="1732" num="0" /> <cdparam x="523" y="346" /> -<sizeparam width="10" height="10" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="10" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="605" maxX="605" minY="340" maxY="340" /> <infoparam name="value " value="Mapping1" /> @@ -6840,7 +7002,7 @@ the smart card and the terminal <SUBCOMPONENT type="6005" id="1725" > <father id="1732" num="1" /> <cdparam x="523" y="361" /> -<sizeparam width="10" height="10" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="10" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="605" maxX="605" minY="355" maxY="355" /> <infoparam name="value " value="Mapping2" /> @@ -6860,7 +7022,7 @@ the smart card and the terminal <SUBCOMPONENT type="6005" id="1733" > <father id="1739" num="0" /> <cdparam x="855" y="140" /> -<sizeparam width="10" height="10" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="10" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="855" maxX="855" minY="140" maxY="140" /> <infoparam name="value " value="Mapping1" /> @@ -6868,7 +7030,7 @@ the smart card and the terminal <SUBCOMPONENT type="6005" id="1734" > <father id="1739" num="1" /> <cdparam x="855" y="155" /> -<sizeparam width="10" height="10" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="10" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="855" maxX="855" minY="155" maxY="155" /> <infoparam name="value " value="Mapping2" /> @@ -6888,7 +7050,7 @@ the smart card and the terminal <SUBCOMPONENT type="6005" id="1740" > <father id="1745" num="0" /> <cdparam x="238" y="141" /> -<sizeparam width="10" height="10" minWidth="10" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="10" height="10" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="355" maxX="355" minY="140" maxY="140" /> <infoparam name="value " value="AppC" /> diff --git a/src/main/java/tmltranslator/TMLTask.java b/src/main/java/tmltranslator/TMLTask.java index fc7bb46cc5..783e67b2cd 100755 --- a/src/main/java/tmltranslator/TMLTask.java +++ b/src/main/java/tmltranslator/TMLTask.java @@ -61,7 +61,7 @@ public class TMLTask extends TMLElement { private Set<TMLChannel> readTMLChannelsList; private Set<TMLChannel> writeTMLChannelsList; private Set<TMLEvent> eventsList; - private int operationType; + private String operationType; private boolean isAttacker; public TMLTask(String name, Object referenceToClass, Object referenceToActivityDiagram) { @@ -374,11 +374,11 @@ public class TMLTask extends TMLElement { return new ArrayList<TMLEvent>(eventsList); } - public void addOperationType(int _operationType) { + public void addOperationType(String _operationType) { operationType = _operationType; } - public int getOperationType() { + public String getOperationType() { return operationType; } -- GitLab