From 8fa11c6e6741fd3169d37a6ec691542832ec257b Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Mon, 10 Oct 2016 17:09:44 +0000 Subject: [PATCH] Update on action management --- .../testModelCheckerAvatar/testClocks.xml | 1837 +---------------- src/avatartranslator/AvatarTransition.java | 8 +- 2 files changed, 7 insertions(+), 1838 deletions(-) diff --git a/modeling/testModelCheckerAvatar/testClocks.xml b/modeling/testModelCheckerAvatar/testClocks.xml index 0dd3021a29..d9f7e96f9d 100644 --- a/modeling/testModelCheckerAvatar/testClocks.xml +++ b/modeling/testModelCheckerAvatar/testClocks.xml @@ -857,7 +857,7 @@ </extraparam> </CONNECTOR> <COMPONENT type="5000" id="378" > -<cdparam x="356" y="495" /> +<cdparam x="303" y="439" /> <sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> @@ -1536,1837 +1536,4 @@ </AVATARStateMachineDiagramPanel> </Modeling> - - - - -<Modeling type="AVATAR Design" nameTab="GeneratedDesign" > -<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" > -<MainCode value="void __user_init() {"/> -<MainCode value="}"/> -<Optimized value="true" /> -<Validated value="" /> -<Ignored value="" /> - -<COMPONENT type="302" id="1976" > -<cdparam x="1210" y="110" /> -<sizeparam width="255" height="58" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="1210" maxX="2420" minY="110" maxY="220" /> -<infoparam name="Proverif Pragma" value="" /> -<TGConnectingPoint num="0" id="1977" /> -<TGConnectingPoint num="1" id="1978" /> -<TGConnectingPoint num="2" id="1979" /> -<TGConnectingPoint num="3" id="1980" /> -<TGConnectingPoint num="4" id="1981" /> -<TGConnectingPoint num="5" id="1982" /> -<TGConnectingPoint num="6" id="1983" /> -<TGConnectingPoint num="7" id="1984" /> -<TGConnectingPoint num="8" id="1985" /> -<TGConnectingPoint num="9" id="1986" /> -<TGConnectingPoint num="10" id="1987" /> -<TGConnectingPoint num="11" id="1988" /> -<TGConnectingPoint num="12" id="1989" /> -<TGConnectingPoint num="13" id="1990" /> -<TGConnectingPoint num="14" id="1991" /> -<TGConnectingPoint num="15" id="1992" /> -<extraparam> -<Line value="" /> -</extraparam> -</COMPONENT> - -<CONNECTOR type="5002" id="1974" > -<cdparam x="0" y="0" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="" /> -<TGConnectingPoint num="0" id="1975" /> -<P1 x="789" y="598" id="1198" /> -<P2 x="1230" y="507" id="717" /> -<AutomaticDrawing data="true" /> -<extraparam> -<isd value="in receive()" /> -<oso value="out read()" /> -<FIFOType asynchronous="false" size="1024" blocking="false" private="true" broadcast="false" lossy="false" /> -</extraparam> -</CONNECTOR> -<CONNECTOR type="5002" id="1972" > -<cdparam x="0" y="0" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="" /> -<TGConnectingPoint num="0" id="1973" /> -<P1 x="181" y="692" id="891" /> -<P2 x="664" y="598" id="1197" /> -<AutomaticDrawing data="true" /> -<extraparam> -<isd value="in write()" /> -<oso value="out send()" /> -<FIFOType asynchronous="false" size="1024" blocking="false" private="true" broadcast="false" lossy="false" /> -</extraparam> -</CONNECTOR> -<COMPONENT type="5000" id="1196" > -<cdparam x="664" y="598" /> -<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="910" maxX="1820" minY="10" maxY="20" /> -<infoparam name="Block3" value="FIFO__send__receive__0" /> -<TGConnectingPoint num="0" id="1197" /> -<TGConnectingPoint num="1" id="1198" /> -<TGConnectingPoint num="2" id="1199" /> -<TGConnectingPoint num="3" id="1200" /> -<TGConnectingPoint num="4" id="1201" /> -<TGConnectingPoint num="5" id="1202" /> -<TGConnectingPoint num="6" id="1203" /> -<TGConnectingPoint num="7" id="1204" /> -<TGConnectingPoint num="8" id="1205" /> -<TGConnectingPoint num="9" id="1206" /> -<TGConnectingPoint num="10" id="1207" /> -<TGConnectingPoint num="11" id="1208" /> -<TGConnectingPoint num="12" id="1209" /> -<TGConnectingPoint num="13" id="1210" /> -<TGConnectingPoint num="14" id="1211" /> -<TGConnectingPoint num="15" id="1212" /> -<TGConnectingPoint num="16" id="1213" /> -<TGConnectingPoint num="17" id="1214" /> -<TGConnectingPoint num="18" id="1215" /> -<TGConnectingPoint num="19" id="1216" /> -<TGConnectingPoint num="20" id="1217" /> -<TGConnectingPoint num="21" id="1218" /> -<TGConnectingPoint num="22" id="1219" /> -<TGConnectingPoint num="23" id="1220" /> -<extraparam> -<CryptoBlock value="false" /> -<Attribute access="0" id="arg__x__0" value="0" type="0" typeOther="" /> -<Attribute access="0" id="arg__x__1" value="0" type="0" typeOther="" /> -<Attribute access="0" id="arg__x__2" value="0" type="0" typeOther="" /> -<Attribute access="0" id="bucket__x" value="0" type="0" typeOther="" /> -<Attribute access="0" id="size" value="0" type="0" typeOther="" /> -<Attribute access="0" id="maxSize" value="0" type="0" typeOther="" /> -<Attribute access="0" id="head" value="0" type="0" typeOther="" /> -<Attribute access="0" id="tail" value="0" type="0" typeOther="" /> -<Signal value="in write()" /> -<Signal value="out read()" /> -</extraparam> -</COMPONENT> - -<COMPONENT type="5000" id="890" > -<cdparam x="181" y="692" /> -<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="610" maxX="1220" minY="10" maxY="20" /> -<infoparam name="Block0" value="Block0" /> -<TGConnectingPoint num="0" id="891" /> -<TGConnectingPoint num="1" id="892" /> -<TGConnectingPoint num="2" id="893" /> -<TGConnectingPoint num="3" id="894" /> -<TGConnectingPoint num="4" id="895" /> -<TGConnectingPoint num="5" id="896" /> -<TGConnectingPoint num="6" id="897" /> -<TGConnectingPoint num="7" id="898" /> -<TGConnectingPoint num="8" id="899" /> -<TGConnectingPoint num="9" id="900" /> -<TGConnectingPoint num="10" id="901" /> -<TGConnectingPoint num="11" id="902" /> -<TGConnectingPoint num="12" id="903" /> -<TGConnectingPoint num="13" id="904" /> -<TGConnectingPoint num="14" id="905" /> -<TGConnectingPoint num="15" id="906" /> -<TGConnectingPoint num="16" id="907" /> -<TGConnectingPoint num="17" id="908" /> -<TGConnectingPoint num="18" id="909" /> -<TGConnectingPoint num="19" id="910" /> -<TGConnectingPoint num="20" id="911" /> -<TGConnectingPoint num="21" id="912" /> -<TGConnectingPoint num="22" id="913" /> -<TGConnectingPoint num="23" id="914" /> -<extraparam> -<CryptoBlock value="false" /> -<Attribute access="0" id="x" value="0" type="0" typeOther="" /> -<Signal value="out send()" /> -</extraparam> -</COMPONENT> - -<COMPONENT type="5000" id="716" > -<cdparam x="1230" y="507" /> -<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="310" maxX="620" minY="10" maxY="20" /> -<infoparam name="Block0" value="Block1" /> -<TGConnectingPoint num="0" id="717" /> -<TGConnectingPoint num="1" id="718" /> -<TGConnectingPoint num="2" id="719" /> -<TGConnectingPoint num="3" id="720" /> -<TGConnectingPoint num="4" id="721" /> -<TGConnectingPoint num="5" id="722" /> -<TGConnectingPoint num="6" id="723" /> -<TGConnectingPoint num="7" id="724" /> -<TGConnectingPoint num="8" id="725" /> -<TGConnectingPoint num="9" id="726" /> -<TGConnectingPoint num="10" id="727" /> -<TGConnectingPoint num="11" id="728" /> -<TGConnectingPoint num="12" id="729" /> -<TGConnectingPoint num="13" id="730" /> -<TGConnectingPoint num="14" id="731" /> -<TGConnectingPoint num="15" id="732" /> -<TGConnectingPoint num="16" id="733" /> -<TGConnectingPoint num="17" id="734" /> -<TGConnectingPoint num="18" id="735" /> -<TGConnectingPoint num="19" id="736" /> -<TGConnectingPoint num="20" id="737" /> -<TGConnectingPoint num="21" id="738" /> -<TGConnectingPoint num="22" id="739" /> -<TGConnectingPoint num="23" id="740" /> -<extraparam> -<CryptoBlock value="false" /> -<Attribute access="0" id="x" value="0" type="0" typeOther="" /> -<Signal value="in receive()" /> -</extraparam> -</COMPONENT> - -<COMPONENT type="5000" id="669" > -<cdparam x="10" y="10" /> -<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="20" minY="10" maxY="20" /> -<infoparam name="Block0" value="Block2" /> -<TGConnectingPoint num="0" id="670" /> -<TGConnectingPoint num="1" id="671" /> -<TGConnectingPoint num="2" id="672" /> -<TGConnectingPoint num="3" id="673" /> -<TGConnectingPoint num="4" id="674" /> -<TGConnectingPoint num="5" id="675" /> -<TGConnectingPoint num="6" id="676" /> -<TGConnectingPoint num="7" id="677" /> -<TGConnectingPoint num="8" id="678" /> -<TGConnectingPoint num="9" id="679" /> -<TGConnectingPoint num="10" id="680" /> -<TGConnectingPoint num="11" id="681" /> -<TGConnectingPoint num="12" id="682" /> -<TGConnectingPoint num="13" id="683" /> -<TGConnectingPoint num="14" id="684" /> -<TGConnectingPoint num="15" id="685" /> -<TGConnectingPoint num="16" id="686" /> -<TGConnectingPoint num="17" id="687" /> -<TGConnectingPoint num="18" id="688" /> -<TGConnectingPoint num="19" id="689" /> -<TGConnectingPoint num="20" id="690" /> -<TGConnectingPoint num="21" id="691" /> -<TGConnectingPoint num="22" id="692" /> -<TGConnectingPoint num="23" id="693" /> -<extraparam> -<CryptoBlock value="false" /> -</extraparam> -</COMPONENT> - - -</AVATARBlockDiagramPanel> - -<AVATARStateMachineDiagramPanel name="Block2" minX="10" maxX="2500" minY="10" maxY="1500" > -<CONNECTOR type="5102" id="709" > -<cdparam x="407" y="60" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="710" /> -<P1 x="407" y="60" id="700" /> -<P2 x="410" y="135" id="708" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="711" > -<father id="709" num="0" /> -<cdparam x="407" y="100" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="712" /> -<TGConnectingPoint num="1" id="713" /> -<TGConnectingPoint num="2" id="714" /> -<TGConnectingPoint num="3" id="715" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<COMPONENT type="5101" id="707" > -<cdparam x="400" y="140" /> -<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" /> -<infoparam name="stop state" value="null" /> -<TGConnectingPoint num="0" id="708" /> -</COMPONENT> - -<COMPONENT type="5100" id="699" > -<cdparam x="400" y="40" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" /> -<infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="700" /> -</COMPONENT> - - -</AVATARStateMachineDiagramPanel> - -<AVATARStateMachineDiagramPanel name="Block1" minX="10" maxX="2500" minY="10" maxY="1500" > -<CONNECTOR type="5102" id="883" > -<cdparam x="450" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="884" /> -<P1 x="450" y="190" id="761" /> -<P2 x="415" y="235" id="802" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="885" > -<father id="883" num="0" /> -<cdparam x="450" y="230" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="886" /> -<TGConnectingPoint num="1" id="887" /> -<TGConnectingPoint num="2" id="888" /> -<TGConnectingPoint num="3" id="889" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="876" > -<cdparam x="415" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="877" /> -<P1 x="415" y="265" id="803" /> -<P2 x="450" y="340" id="820" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="878" > -<father id="876" num="0" /> -<cdparam x="415" y="305" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="879" /> -<TGConnectingPoint num="1" id="880" /> -<TGConnectingPoint num="2" id="881" /> -<TGConnectingPoint num="3" id="882" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="869" > -<cdparam x="407" y="60" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="870" /> -<P1 x="407" y="60" id="747" /> -<P2 x="450" y="140" id="756" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="871" > -<father id="869" num="0" /> -<cdparam x="407" y="100" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="872" /> -<TGConnectingPoint num="1" id="873" /> -<TGConnectingPoint num="2" id="874" /> -<TGConnectingPoint num="3" id="875" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="862" > -<cdparam x="450" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="863" /> -<P1 x="450" y="390" id="825" /> -<P2 x="500" y="165" id="759" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="864" > -<father id="862" num="0" /> -<cdparam x="450" y="430" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="865" /> -<TGConnectingPoint num="1" id="866" /> -<TGConnectingPoint num="2" id="867" /> -<TGConnectingPoint num="3" id="868" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="x = 0" /> -</extraparam> -</SUBCOMPONENT> - -<COMPONENT type="5106" id="818" > -<cdparam x="400" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__0" /> -<TGConnectingPoint num="0" id="819" /> -<TGConnectingPoint num="1" id="820" /> -<TGConnectingPoint num="2" id="821" /> -<TGConnectingPoint num="3" id="822" /> -<TGConnectingPoint num="4" id="823" /> -<TGConnectingPoint num="5" id="824" /> -<TGConnectingPoint num="6" id="825" /> -<TGConnectingPoint num="7" id="826" /> -<TGConnectingPoint num="8" id="827" /> -<TGConnectingPoint num="9" id="828" /> -<TGConnectingPoint num="10" id="829" /> -<TGConnectingPoint num="11" id="830" /> -<TGConnectingPoint num="12" id="831" /> -<TGConnectingPoint num="13" id="832" /> -<TGConnectingPoint num="14" id="833" /> -<TGConnectingPoint num="15" id="834" /> -<TGConnectingPoint num="16" id="835" /> -<TGConnectingPoint num="17" id="836" /> -<TGConnectingPoint num="18" id="837" /> -<TGConnectingPoint num="19" id="838" /> -<TGConnectingPoint num="20" id="839" /> -<TGConnectingPoint num="21" id="840" /> -<TGConnectingPoint num="22" id="841" /> -<TGConnectingPoint num="23" id="842" /> -<TGConnectingPoint num="24" id="843" /> -<TGConnectingPoint num="25" id="844" /> -<TGConnectingPoint num="26" id="845" /> -<TGConnectingPoint num="27" id="846" /> -<TGConnectingPoint num="28" id="847" /> -<TGConnectingPoint num="29" id="848" /> -<TGConnectingPoint num="30" id="849" /> -<TGConnectingPoint num="31" id="850" /> -<TGConnectingPoint num="32" id="851" /> -<TGConnectingPoint num="33" id="852" /> -<TGConnectingPoint num="34" id="853" /> -<TGConnectingPoint num="35" id="854" /> -<TGConnectingPoint num="36" id="855" /> -<TGConnectingPoint num="37" id="856" /> -<TGConnectingPoint num="38" id="857" /> -<TGConnectingPoint num="39" id="858" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5104" id="801" > -<cdparam x="400" y="240" /> -<sizeparam width="30" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="240" maxY="480" /> -<infoparam name="Receive signal" value="receive()" /> -<TGConnectingPoint num="0" id="802" /> -<TGConnectingPoint num="1" id="803" /> -<TGConnectingPoint num="2" id="804" /> -<TGConnectingPoint num="3" id="805" /> -<TGConnectingPoint num="4" id="806" /> -<TGConnectingPoint num="5" id="807" /> -<TGConnectingPoint num="6" id="808" /> -<TGConnectingPoint num="7" id="809" /> -<TGConnectingPoint num="8" id="810" /> -<TGConnectingPoint num="9" id="811" /> -</COMPONENT> - -<COMPONENT type="5106" id="754" > -<cdparam x="400" y="140" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" /> -<infoparam name="State" value="Main" /> -<TGConnectingPoint num="0" id="755" /> -<TGConnectingPoint num="1" id="756" /> -<TGConnectingPoint num="2" id="757" /> -<TGConnectingPoint num="3" id="758" /> -<TGConnectingPoint num="4" id="759" /> -<TGConnectingPoint num="5" id="760" /> -<TGConnectingPoint num="6" id="761" /> -<TGConnectingPoint num="7" id="762" /> -<TGConnectingPoint num="8" id="763" /> -<TGConnectingPoint num="9" id="764" /> -<TGConnectingPoint num="10" id="765" /> -<TGConnectingPoint num="11" id="766" /> -<TGConnectingPoint num="12" id="767" /> -<TGConnectingPoint num="13" id="768" /> -<TGConnectingPoint num="14" id="769" /> -<TGConnectingPoint num="15" id="770" /> -<TGConnectingPoint num="16" id="771" /> -<TGConnectingPoint num="17" id="772" /> -<TGConnectingPoint num="18" id="773" /> -<TGConnectingPoint num="19" id="774" /> -<TGConnectingPoint num="20" id="775" /> -<TGConnectingPoint num="21" id="776" /> -<TGConnectingPoint num="22" id="777" /> -<TGConnectingPoint num="23" id="778" /> -<TGConnectingPoint num="24" id="779" /> -<TGConnectingPoint num="25" id="780" /> -<TGConnectingPoint num="26" id="781" /> -<TGConnectingPoint num="27" id="782" /> -<TGConnectingPoint num="28" id="783" /> -<TGConnectingPoint num="29" id="784" /> -<TGConnectingPoint num="30" id="785" /> -<TGConnectingPoint num="31" id="786" /> -<TGConnectingPoint num="32" id="787" /> -<TGConnectingPoint num="33" id="788" /> -<TGConnectingPoint num="34" id="789" /> -<TGConnectingPoint num="35" id="790" /> -<TGConnectingPoint num="36" id="791" /> -<TGConnectingPoint num="37" id="792" /> -<TGConnectingPoint num="38" id="793" /> -<TGConnectingPoint num="39" id="794" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5100" id="746" > -<cdparam x="400" y="40" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" /> -<infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="747" /> -</COMPONENT> - - -</AVATARStateMachineDiagramPanel> - -<AVATARStateMachineDiagramPanel name="FIFO__send__receive__0" minX="10" maxX="2500" minY="10" maxY="1500" > -<CONNECTOR type="5102" id="1965" > -<cdparam x="650" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1966" /> -<P1 x="650" y="390" id="1693" /> -<P2 x="537" y="440" id="1634" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1967" > -<father id="1965" num="0" /> -<cdparam x="650" y="430" /> -<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1968" /> -<TGConnectingPoint num="1" id="1969" /> -<TGConnectingPoint num="2" id="1970" /> -<TGConnectingPoint num="3" id="1971" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="tail = tail+1" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1958" > -<cdparam x="315" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1959" /> -<P1 x="315" y="265" id="1467" /> -<P2 x="350" y="340" id="1484" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1960" > -<father id="1958" num="0" /> -<cdparam x="315" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1961" /> -<TGConnectingPoint num="1" id="1962" /> -<TGConnectingPoint num="2" id="1963" /> -<TGConnectingPoint num="3" id="1964" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1951" > -<cdparam x="250" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1952" /> -<P1 x="250" y="390" id="1422" /> -<P2 x="137" y="440" id="1363" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1953" > -<father id="1951" num="0" /> -<cdparam x="250" y="430" /> -<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1954" /> -<TGConnectingPoint num="1" id="1955" /> -<TGConnectingPoint num="2" id="1956" /> -<TGConnectingPoint num="3" id="1957" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="head = head+1" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1944" > -<cdparam x="412" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1945" /> -<P1 x="412" y="190" id="1263" /> -<P2 x="415" y="235" id="1533" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1946" > -<father id="1944" num="0" /> -<cdparam x="438" y="232" /> -<sizeparam width="110" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1947" /> -<TGConnectingPoint num="1" id="1948" /> -<TGConnectingPoint num="2" id="1949" /> -<TGConnectingPoint num="3" id="1950" /> -<extraparam> -<guard value="(size == maxSize)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1937" > -<cdparam x="487" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1938" /> -<P1 x="487" y="190" id="1266" /> -<P2 x="115" y="235" id="1282" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1939" > -<father id="1937" num="0" /> -<cdparam x="115" y="198" /> -<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1940" /> -<TGConnectingPoint num="1" id="1941" /> -<TGConnectingPoint num="2" id="1942" /> -<TGConnectingPoint num="3" id="1943" /> -<extraparam> -<guard value="(size<maxSize)&&(head == 0)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1930" > -<cdparam x="215" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1931" /> -<P1 x="215" y="265" id="1400" /> -<P2 x="250" y="340" id="1417" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1932" > -<father id="1930" num="0" /> -<cdparam x="215" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1933" /> -<TGConnectingPoint num="1" id="1934" /> -<TGConnectingPoint num="2" id="1935" /> -<TGConnectingPoint num="3" id="1936" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1923" > -<cdparam x="750" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1924" /> -<P1 x="797" y="390" id="1760" /> -<P2 x="562" y="440" id="1635" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1925" > -<father id="1923" num="0" /> -<cdparam x="750" y="430" /> -<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1926" /> -<TGConnectingPoint num="1" id="1927" /> -<TGConnectingPoint num="2" id="1928" /> -<TGConnectingPoint num="3" id="1929" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="tail = tail+1" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1916" > -<cdparam x="407" y="60" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1917" /> -<P1 x="407" y="60" id="1227" /> -<P2 x="450" y="140" id="1236" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1918" > -<father id="1916" num="0" /> -<cdparam x="407" y="100" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1919" /> -<TGConnectingPoint num="1" id="1920" /> -<TGConnectingPoint num="2" id="1921" /> -<TGConnectingPoint num="3" id="1922" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1909" > -<cdparam x="562" y="490" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1910" /> -<P1 x="562" y="490" id="1647" /> -<P2 x="500" y="158" id="1258" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1911" > -<father id="1909" num="0" /> -<cdparam x="562" y="530" /> -<sizeparam width="96" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1912" /> -<TGConnectingPoint num="1" id="1913" /> -<TGConnectingPoint num="2" id="1914" /> -<TGConnectingPoint num="3" id="1915" /> -<extraparam> -<guard value="tail == maxSize" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="tail = 0" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1902" > -<cdparam x="475" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1903" /> -<P1 x="475" y="190" id="1250" /> -<P2 x="215" y="235" id="1399" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1904" > -<father id="1902" num="0" /> -<cdparam x="475" y="230" /> -<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1905" /> -<TGConnectingPoint num="1" id="1906" /> -<TGConnectingPoint num="2" id="1907" /> -<TGConnectingPoint num="3" id="1908" /> -<extraparam> -<guard value="(size<maxSize)&&(head == 1)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1895" > -<cdparam x="550" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1896" /> -<P1 x="550" y="390" id="1576" /> -<P2 x="550" y="440" id="1618" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1897" > -<father id="1895" num="0" /> -<cdparam x="550" y="430" /> -<sizeparam width="74" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1898" /> -<TGConnectingPoint num="1" id="1899" /> -<TGConnectingPoint num="2" id="1900" /> -<TGConnectingPoint num="3" id="1901" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="tail = tail+1" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1888" > -<cdparam x="425" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1889" /> -<P1 x="425" y="190" id="1249" /> -<P2 x="515" y="235" id="1553" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1890" > -<father id="1888" num="0" /> -<cdparam x="425" y="230" /> -<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1891" /> -<TGConnectingPoint num="1" id="1892" /> -<TGConnectingPoint num="2" id="1893" /> -<TGConnectingPoint num="3" id="1894" /> -<extraparam> -<guard value="(size>0)&&(tail == 0)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1881" > -<cdparam x="437" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1882" /> -<P1 x="437" y="190" id="1264" /> -<P2 x="315" y="235" id="1466" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1883" > -<father id="1881" num="0" /> -<cdparam x="437" y="230" /> -<sizeparam width="190" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1884" /> -<TGConnectingPoint num="1" id="1885" /> -<TGConnectingPoint num="2" id="1886" /> -<TGConnectingPoint num="3" id="1887" /> -<extraparam> -<guard value="(size<maxSize)&&(head == 2)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1874" > -<cdparam x="162" y="490" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1875" /> -<P1 x="162" y="490" id="1376" /> -<P2 x="400" y="171" id="1259" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1876" > -<father id="1874" num="0" /> -<cdparam x="162" y="530" /> -<sizeparam width="109" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1877" /> -<TGConnectingPoint num="1" id="1878" /> -<TGConnectingPoint num="2" id="1879" /> -<TGConnectingPoint num="3" id="1880" /> -<extraparam> -<guard value="head == maxSize" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="head = 0" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1867" > -<cdparam x="462" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1868" /> -<P1 x="462" y="190" id="1265" /> -<P2 x="615" y="235" id="1670" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1869" > -<father id="1867" num="0" /> -<cdparam x="462" y="230" /> -<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1870" /> -<TGConnectingPoint num="1" id="1871" /> -<TGConnectingPoint num="2" id="1872" /> -<TGConnectingPoint num="3" id="1873" /> -<extraparam> -<guard value="(size>0)&&(tail == 1)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1860" > -<cdparam x="615" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1861" /> -<P1 x="615" y="265" id="1671" /> -<P2 x="650" y="340" id="1688" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1862" > -<father id="1860" num="0" /> -<cdparam x="615" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1863" /> -<TGConnectingPoint num="1" id="1864" /> -<TGConnectingPoint num="2" id="1865" /> -<TGConnectingPoint num="3" id="1866" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1853" > -<cdparam x="150" y="490" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1854" /> -<P1 x="150" y="490" id="1352" /> -<P2 x="400" y="165" id="1238" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1855" > -<father id="1853" num="0" /> -<cdparam x="150" y="530" /> -<sizeparam width="91" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1856" /> -<TGConnectingPoint num="1" id="1857" /> -<TGConnectingPoint num="2" id="1858" /> -<TGConnectingPoint num="3" id="1859" /> -<extraparam> -<guard value="head<maxSize" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1846" > -<cdparam x="115" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1847" /> -<P1 x="115" y="265" id="1283" /> -<P2 x="150" y="340" id="1300" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1848" > -<father id="1846" num="0" /> -<cdparam x="115" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1849" /> -<TGConnectingPoint num="1" id="1850" /> -<TGConnectingPoint num="2" id="1851" /> -<TGConnectingPoint num="3" id="1852" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1839" > -<cdparam x="150" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1840" /> -<P1 x="150" y="390" id="1305" /> -<P2 x="162" y="440" id="1364" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1841" > -<father id="1839" num="0" /> -<cdparam x="150" y="430" /> -<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1842" /> -<TGConnectingPoint num="1" id="1843" /> -<TGConnectingPoint num="2" id="1844" /> -<TGConnectingPoint num="3" id="1845" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="head = head+1" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1832" > -<cdparam x="450" y="190" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1833" /> -<P1 x="450" y="190" id="1241" /> -<P2 x="715" y="235" id="1737" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1834" > -<father id="1832" num="0" /> -<cdparam x="450" y="230" /> -<sizeparam width="136" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1835" /> -<TGConnectingPoint num="1" id="1836" /> -<TGConnectingPoint num="2" id="1837" /> -<TGConnectingPoint num="3" id="1838" /> -<extraparam> -<guard value="(size>0)&&(tail == 2)" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1825" > -<cdparam x="715" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1826" /> -<P1 x="715" y="265" id="1738" /> -<P2 x="797" y="340" id="1755" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1827" > -<father id="1825" num="0" /> -<cdparam x="715" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1828" /> -<TGConnectingPoint num="1" id="1829" /> -<TGConnectingPoint num="2" id="1830" /> -<TGConnectingPoint num="3" id="1831" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1818" > -<cdparam x="415" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1819" /> -<P1 x="415" y="265" id="1534" /> -<P2 x="500" y="171" id="1261" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1820" > -<father id="1818" num="0" /> -<cdparam x="415" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1821" /> -<TGConnectingPoint num="1" id="1822" /> -<TGConnectingPoint num="2" id="1823" /> -<TGConnectingPoint num="3" id="1824" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1811" > -<cdparam x="515" y="265" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1812" /> -<P1 x="515" y="265" id="1554" /> -<P2 x="550" y="340" id="1571" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1813" > -<father id="1811" num="0" /> -<cdparam x="515" y="305" /> -<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1814" /> -<TGConnectingPoint num="1" id="1815" /> -<TGConnectingPoint num="2" id="1816" /> -<TGConnectingPoint num="3" id="1817" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1804" > -<cdparam x="550" y="490" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1805" /> -<P1 x="550" y="490" id="1623" /> -<P2 x="500" y="165" id="1239" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1806" > -<father id="1804" num="0" /> -<cdparam x="550" y="530" /> -<sizeparam width="78" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1807" /> -<TGConnectingPoint num="1" id="1808" /> -<TGConnectingPoint num="2" id="1809" /> -<TGConnectingPoint num="3" id="1810" /> -<extraparam> -<guard value="tail<maxSize" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -</extraparam> -</SUBCOMPONENT> - -<CONNECTOR type="5102" id="1797" > -<cdparam x="350" y="390" /> -<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<infoparam name="connector" value="null" /> -<TGConnectingPoint num="0" id="1798" /> -<P1 x="350" y="390" id="1489" /> -<P2 x="150" y="440" id="1347" /> -<AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="1799" > -<father id="1797" num="0" /> -<cdparam x="350" y="430" /> -<sizeparam width="100" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="1800" /> -<TGConnectingPoint num="1" id="1801" /> -<TGConnectingPoint num="2" id="1802" /> -<TGConnectingPoint num="3" id="1803" /> -<extraparam> -<guard value="[ ]" /> -<afterMin value="" /> -<afterMax value="" /> -<computeMin value="" /> -<computeMax value="" /> -<actions value="head = head+1" /> -</extraparam> -</SUBCOMPONENT> - -<COMPONENT type="5106" id="1753" > -<cdparam x="700" y="340" /> -<sizeparam width="195" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="700" maxX="1400" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__5" /> -<TGConnectingPoint num="0" id="1754" /> -<TGConnectingPoint num="1" id="1755" /> -<TGConnectingPoint num="2" id="1756" /> -<TGConnectingPoint num="3" id="1757" /> -<TGConnectingPoint num="4" id="1758" /> -<TGConnectingPoint num="5" id="1759" /> -<TGConnectingPoint num="6" id="1760" /> -<TGConnectingPoint num="7" id="1761" /> -<TGConnectingPoint num="8" id="1762" /> -<TGConnectingPoint num="9" id="1763" /> -<TGConnectingPoint num="10" id="1764" /> -<TGConnectingPoint num="11" id="1765" /> -<TGConnectingPoint num="12" id="1766" /> -<TGConnectingPoint num="13" id="1767" /> -<TGConnectingPoint num="14" id="1768" /> -<TGConnectingPoint num="15" id="1769" /> -<TGConnectingPoint num="16" id="1770" /> -<TGConnectingPoint num="17" id="1771" /> -<TGConnectingPoint num="18" id="1772" /> -<TGConnectingPoint num="19" id="1773" /> -<TGConnectingPoint num="20" id="1774" /> -<TGConnectingPoint num="21" id="1775" /> -<TGConnectingPoint num="22" id="1776" /> -<TGConnectingPoint num="23" id="1777" /> -<TGConnectingPoint num="24" id="1778" /> -<TGConnectingPoint num="25" id="1779" /> -<TGConnectingPoint num="26" id="1780" /> -<TGConnectingPoint num="27" id="1781" /> -<TGConnectingPoint num="28" id="1782" /> -<TGConnectingPoint num="29" id="1783" /> -<TGConnectingPoint num="30" id="1784" /> -<TGConnectingPoint num="31" id="1785" /> -<TGConnectingPoint num="32" id="1786" /> -<TGConnectingPoint num="33" id="1787" /> -<TGConnectingPoint num="34" id="1788" /> -<TGConnectingPoint num="35" id="1789" /> -<TGConnectingPoint num="36" id="1790" /> -<TGConnectingPoint num="37" id="1791" /> -<TGConnectingPoint num="38" id="1792" /> -<TGConnectingPoint num="39" id="1793" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5103" id="1736" > -<cdparam x="691" y="240" /> -<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="700" maxX="1400" minY="240" maxY="480" /> -<infoparam name="Send signal" value="read()" /> -<TGConnectingPoint num="0" id="1737" /> -<TGConnectingPoint num="1" id="1738" /> -<TGConnectingPoint num="2" id="1739" /> -<TGConnectingPoint num="3" id="1740" /> -<TGConnectingPoint num="4" id="1741" /> -<TGConnectingPoint num="5" id="1742" /> -<TGConnectingPoint num="6" id="1743" /> -<TGConnectingPoint num="7" id="1744" /> -<TGConnectingPoint num="8" id="1745" /> -<TGConnectingPoint num="9" id="1746" /> -</COMPONENT> - -<COMPONENT type="5106" id="1686" > -<cdparam x="600" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="600" maxX="1200" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__4" /> -<TGConnectingPoint num="0" id="1687" /> -<TGConnectingPoint num="1" id="1688" /> -<TGConnectingPoint num="2" id="1689" /> -<TGConnectingPoint num="3" id="1690" /> -<TGConnectingPoint num="4" id="1691" /> -<TGConnectingPoint num="5" id="1692" /> -<TGConnectingPoint num="6" id="1693" /> -<TGConnectingPoint num="7" id="1694" /> -<TGConnectingPoint num="8" id="1695" /> -<TGConnectingPoint num="9" id="1696" /> -<TGConnectingPoint num="10" id="1697" /> -<TGConnectingPoint num="11" id="1698" /> -<TGConnectingPoint num="12" id="1699" /> -<TGConnectingPoint num="13" id="1700" /> -<TGConnectingPoint num="14" id="1701" /> -<TGConnectingPoint num="15" id="1702" /> -<TGConnectingPoint num="16" id="1703" /> -<TGConnectingPoint num="17" id="1704" /> -<TGConnectingPoint num="18" id="1705" /> -<TGConnectingPoint num="19" id="1706" /> -<TGConnectingPoint num="20" id="1707" /> -<TGConnectingPoint num="21" id="1708" /> -<TGConnectingPoint num="22" id="1709" /> -<TGConnectingPoint num="23" id="1710" /> -<TGConnectingPoint num="24" id="1711" /> -<TGConnectingPoint num="25" id="1712" /> -<TGConnectingPoint num="26" id="1713" /> -<TGConnectingPoint num="27" id="1714" /> -<TGConnectingPoint num="28" id="1715" /> -<TGConnectingPoint num="29" id="1716" /> -<TGConnectingPoint num="30" id="1717" /> -<TGConnectingPoint num="31" id="1718" /> -<TGConnectingPoint num="32" id="1719" /> -<TGConnectingPoint num="33" id="1720" /> -<TGConnectingPoint num="34" id="1721" /> -<TGConnectingPoint num="35" id="1722" /> -<TGConnectingPoint num="36" id="1723" /> -<TGConnectingPoint num="37" id="1724" /> -<TGConnectingPoint num="38" id="1725" /> -<TGConnectingPoint num="39" id="1726" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5103" id="1669" > -<cdparam x="591" y="240" /> -<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="600" maxX="1200" minY="240" maxY="480" /> -<infoparam name="Send signal" value="read()" /> -<TGConnectingPoint num="0" id="1670" /> -<TGConnectingPoint num="1" id="1671" /> -<TGConnectingPoint num="2" id="1672" /> -<TGConnectingPoint num="3" id="1673" /> -<TGConnectingPoint num="4" id="1674" /> -<TGConnectingPoint num="5" id="1675" /> -<TGConnectingPoint num="6" id="1676" /> -<TGConnectingPoint num="7" id="1677" /> -<TGConnectingPoint num="8" id="1678" /> -<TGConnectingPoint num="9" id="1679" /> -</COMPONENT> - -<COMPONENT type="5106" id="1616" > -<cdparam x="500" y="440" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="500" maxX="1000" minY="440" maxY="880" /> -<infoparam name="State" value="testTail" /> -<TGConnectingPoint num="0" id="1617" /> -<TGConnectingPoint num="1" id="1618" /> -<TGConnectingPoint num="2" id="1619" /> -<TGConnectingPoint num="3" id="1620" /> -<TGConnectingPoint num="4" id="1621" /> -<TGConnectingPoint num="5" id="1622" /> -<TGConnectingPoint num="6" id="1623" /> -<TGConnectingPoint num="7" id="1624" /> -<TGConnectingPoint num="8" id="1625" /> -<TGConnectingPoint num="9" id="1626" /> -<TGConnectingPoint num="10" id="1627" /> -<TGConnectingPoint num="11" id="1628" /> -<TGConnectingPoint num="12" id="1629" /> -<TGConnectingPoint num="13" id="1630" /> -<TGConnectingPoint num="14" id="1631" /> -<TGConnectingPoint num="15" id="1632" /> -<TGConnectingPoint num="16" id="1633" /> -<TGConnectingPoint num="17" id="1634" /> -<TGConnectingPoint num="18" id="1635" /> -<TGConnectingPoint num="19" id="1636" /> -<TGConnectingPoint num="20" id="1637" /> -<TGConnectingPoint num="21" id="1638" /> -<TGConnectingPoint num="22" id="1639" /> -<TGConnectingPoint num="23" id="1640" /> -<TGConnectingPoint num="24" id="1641" /> -<TGConnectingPoint num="25" id="1642" /> -<TGConnectingPoint num="26" id="1643" /> -<TGConnectingPoint num="27" id="1644" /> -<TGConnectingPoint num="28" id="1645" /> -<TGConnectingPoint num="29" id="1646" /> -<TGConnectingPoint num="30" id="1647" /> -<TGConnectingPoint num="31" id="1648" /> -<TGConnectingPoint num="32" id="1649" /> -<TGConnectingPoint num="33" id="1650" /> -<TGConnectingPoint num="34" id="1651" /> -<TGConnectingPoint num="35" id="1652" /> -<TGConnectingPoint num="36" id="1653" /> -<TGConnectingPoint num="37" id="1654" /> -<TGConnectingPoint num="38" id="1655" /> -<TGConnectingPoint num="39" id="1656" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5106" id="1569" > -<cdparam x="500" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="500" maxX="1000" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__3" /> -<TGConnectingPoint num="0" id="1570" /> -<TGConnectingPoint num="1" id="1571" /> -<TGConnectingPoint num="2" id="1572" /> -<TGConnectingPoint num="3" id="1573" /> -<TGConnectingPoint num="4" id="1574" /> -<TGConnectingPoint num="5" id="1575" /> -<TGConnectingPoint num="6" id="1576" /> -<TGConnectingPoint num="7" id="1577" /> -<TGConnectingPoint num="8" id="1578" /> -<TGConnectingPoint num="9" id="1579" /> -<TGConnectingPoint num="10" id="1580" /> -<TGConnectingPoint num="11" id="1581" /> -<TGConnectingPoint num="12" id="1582" /> -<TGConnectingPoint num="13" id="1583" /> -<TGConnectingPoint num="14" id="1584" /> -<TGConnectingPoint num="15" id="1585" /> -<TGConnectingPoint num="16" id="1586" /> -<TGConnectingPoint num="17" id="1587" /> -<TGConnectingPoint num="18" id="1588" /> -<TGConnectingPoint num="19" id="1589" /> -<TGConnectingPoint num="20" id="1590" /> -<TGConnectingPoint num="21" id="1591" /> -<TGConnectingPoint num="22" id="1592" /> -<TGConnectingPoint num="23" id="1593" /> -<TGConnectingPoint num="24" id="1594" /> -<TGConnectingPoint num="25" id="1595" /> -<TGConnectingPoint num="26" id="1596" /> -<TGConnectingPoint num="27" id="1597" /> -<TGConnectingPoint num="28" id="1598" /> -<TGConnectingPoint num="29" id="1599" /> -<TGConnectingPoint num="30" id="1600" /> -<TGConnectingPoint num="31" id="1601" /> -<TGConnectingPoint num="32" id="1602" /> -<TGConnectingPoint num="33" id="1603" /> -<TGConnectingPoint num="34" id="1604" /> -<TGConnectingPoint num="35" id="1605" /> -<TGConnectingPoint num="36" id="1606" /> -<TGConnectingPoint num="37" id="1607" /> -<TGConnectingPoint num="38" id="1608" /> -<TGConnectingPoint num="39" id="1609" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5103" id="1552" > -<cdparam x="491" y="240" /> -<sizeparam width="49" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="500" maxX="1000" minY="240" maxY="480" /> -<infoparam name="Send signal" value="read()" /> -<TGConnectingPoint num="0" id="1553" /> -<TGConnectingPoint num="1" id="1554" /> -<TGConnectingPoint num="2" id="1555" /> -<TGConnectingPoint num="3" id="1556" /> -<TGConnectingPoint num="4" id="1557" /> -<TGConnectingPoint num="5" id="1558" /> -<TGConnectingPoint num="6" id="1559" /> -<TGConnectingPoint num="7" id="1560" /> -<TGConnectingPoint num="8" id="1561" /> -<TGConnectingPoint num="9" id="1562" /> -</COMPONENT> - -<COMPONENT type="5104" id="1532" > -<cdparam x="386" y="240" /> -<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="240" maxY="480" /> -<infoparam name="Receive signal" value="write()" /> -<TGConnectingPoint num="0" id="1533" /> -<TGConnectingPoint num="1" id="1534" /> -<TGConnectingPoint num="2" id="1535" /> -<TGConnectingPoint num="3" id="1536" /> -<TGConnectingPoint num="4" id="1537" /> -<TGConnectingPoint num="5" id="1538" /> -<TGConnectingPoint num="6" id="1539" /> -<TGConnectingPoint num="7" id="1540" /> -<TGConnectingPoint num="8" id="1541" /> -<TGConnectingPoint num="9" id="1542" /> -</COMPONENT> - -<COMPONENT type="5106" id="1482" > -<cdparam x="300" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="300" maxX="600" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__2" /> -<TGConnectingPoint num="0" id="1483" /> -<TGConnectingPoint num="1" id="1484" /> -<TGConnectingPoint num="2" id="1485" /> -<TGConnectingPoint num="3" id="1486" /> -<TGConnectingPoint num="4" id="1487" /> -<TGConnectingPoint num="5" id="1488" /> -<TGConnectingPoint num="6" id="1489" /> -<TGConnectingPoint num="7" id="1490" /> -<TGConnectingPoint num="8" id="1491" /> -<TGConnectingPoint num="9" id="1492" /> -<TGConnectingPoint num="10" id="1493" /> -<TGConnectingPoint num="11" id="1494" /> -<TGConnectingPoint num="12" id="1495" /> -<TGConnectingPoint num="13" id="1496" /> -<TGConnectingPoint num="14" id="1497" /> -<TGConnectingPoint num="15" id="1498" /> -<TGConnectingPoint num="16" id="1499" /> -<TGConnectingPoint num="17" id="1500" /> -<TGConnectingPoint num="18" id="1501" /> -<TGConnectingPoint num="19" id="1502" /> -<TGConnectingPoint num="20" id="1503" /> -<TGConnectingPoint num="21" id="1504" /> -<TGConnectingPoint num="22" id="1505" /> -<TGConnectingPoint num="23" id="1506" /> -<TGConnectingPoint num="24" id="1507" /> -<TGConnectingPoint num="25" id="1508" /> -<TGConnectingPoint num="26" id="1509" /> -<TGConnectingPoint num="27" id="1510" /> -<TGConnectingPoint num="28" id="1511" /> -<TGConnectingPoint num="29" id="1512" /> -<TGConnectingPoint num="30" id="1513" /> -<TGConnectingPoint num="31" id="1514" /> -<TGConnectingPoint num="32" id="1515" /> -<TGConnectingPoint num="33" id="1516" /> -<TGConnectingPoint num="34" id="1517" /> -<TGConnectingPoint num="35" id="1518" /> -<TGConnectingPoint num="36" id="1519" /> -<TGConnectingPoint num="37" id="1520" /> -<TGConnectingPoint num="38" id="1521" /> -<TGConnectingPoint num="39" id="1522" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5104" id="1465" > -<cdparam x="286" y="240" /> -<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="300" maxX="600" minY="240" maxY="480" /> -<infoparam name="Receive signal" value="write()" /> -<TGConnectingPoint num="0" id="1466" /> -<TGConnectingPoint num="1" id="1467" /> -<TGConnectingPoint num="2" id="1468" /> -<TGConnectingPoint num="3" id="1469" /> -<TGConnectingPoint num="4" id="1470" /> -<TGConnectingPoint num="5" id="1471" /> -<TGConnectingPoint num="6" id="1472" /> -<TGConnectingPoint num="7" id="1473" /> -<TGConnectingPoint num="8" id="1474" /> -<TGConnectingPoint num="9" id="1475" /> -</COMPONENT> - -<COMPONENT type="5106" id="1415" > -<cdparam x="200" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="200" maxX="400" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__1" /> -<TGConnectingPoint num="0" id="1416" /> -<TGConnectingPoint num="1" id="1417" /> -<TGConnectingPoint num="2" id="1418" /> -<TGConnectingPoint num="3" id="1419" /> -<TGConnectingPoint num="4" id="1420" /> -<TGConnectingPoint num="5" id="1421" /> -<TGConnectingPoint num="6" id="1422" /> -<TGConnectingPoint num="7" id="1423" /> -<TGConnectingPoint num="8" id="1424" /> -<TGConnectingPoint num="9" id="1425" /> -<TGConnectingPoint num="10" id="1426" /> -<TGConnectingPoint num="11" id="1427" /> -<TGConnectingPoint num="12" id="1428" /> -<TGConnectingPoint num="13" id="1429" /> -<TGConnectingPoint num="14" id="1430" /> -<TGConnectingPoint num="15" id="1431" /> -<TGConnectingPoint num="16" id="1432" /> -<TGConnectingPoint num="17" id="1433" /> -<TGConnectingPoint num="18" id="1434" /> -<TGConnectingPoint num="19" id="1435" /> -<TGConnectingPoint num="20" id="1436" /> -<TGConnectingPoint num="21" id="1437" /> -<TGConnectingPoint num="22" id="1438" /> -<TGConnectingPoint num="23" id="1439" /> -<TGConnectingPoint num="24" id="1440" /> -<TGConnectingPoint num="25" id="1441" /> -<TGConnectingPoint num="26" id="1442" /> -<TGConnectingPoint num="27" id="1443" /> -<TGConnectingPoint num="28" id="1444" /> -<TGConnectingPoint num="29" id="1445" /> -<TGConnectingPoint num="30" id="1446" /> -<TGConnectingPoint num="31" id="1447" /> -<TGConnectingPoint num="32" id="1448" /> -<TGConnectingPoint num="33" id="1449" /> -<TGConnectingPoint num="34" id="1450" /> -<TGConnectingPoint num="35" id="1451" /> -<TGConnectingPoint num="36" id="1452" /> -<TGConnectingPoint num="37" id="1453" /> -<TGConnectingPoint num="38" id="1454" /> -<TGConnectingPoint num="39" id="1455" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5104" id="1398" > -<cdparam x="186" y="240" /> -<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="200" maxX="400" minY="240" maxY="480" /> -<infoparam name="Receive signal" value="write()" /> -<TGConnectingPoint num="0" id="1399" /> -<TGConnectingPoint num="1" id="1400" /> -<TGConnectingPoint num="2" id="1401" /> -<TGConnectingPoint num="3" id="1402" /> -<TGConnectingPoint num="4" id="1403" /> -<TGConnectingPoint num="5" id="1404" /> -<TGConnectingPoint num="6" id="1405" /> -<TGConnectingPoint num="7" id="1406" /> -<TGConnectingPoint num="8" id="1407" /> -<TGConnectingPoint num="9" id="1408" /> -</COMPONENT> - -<COMPONENT type="5106" id="1345" > -<cdparam x="100" y="440" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="100" maxX="200" minY="440" maxY="880" /> -<infoparam name="State" value="testHead" /> -<TGConnectingPoint num="0" id="1346" /> -<TGConnectingPoint num="1" id="1347" /> -<TGConnectingPoint num="2" id="1348" /> -<TGConnectingPoint num="3" id="1349" /> -<TGConnectingPoint num="4" id="1350" /> -<TGConnectingPoint num="5" id="1351" /> -<TGConnectingPoint num="6" id="1352" /> -<TGConnectingPoint num="7" id="1353" /> -<TGConnectingPoint num="8" id="1354" /> -<TGConnectingPoint num="9" id="1355" /> -<TGConnectingPoint num="10" id="1356" /> -<TGConnectingPoint num="11" id="1357" /> -<TGConnectingPoint num="12" id="1358" /> -<TGConnectingPoint num="13" id="1359" /> -<TGConnectingPoint num="14" id="1360" /> -<TGConnectingPoint num="15" id="1361" /> -<TGConnectingPoint num="16" id="1362" /> -<TGConnectingPoint num="17" id="1363" /> -<TGConnectingPoint num="18" id="1364" /> -<TGConnectingPoint num="19" id="1365" /> -<TGConnectingPoint num="20" id="1366" /> -<TGConnectingPoint num="21" id="1367" /> -<TGConnectingPoint num="22" id="1368" /> -<TGConnectingPoint num="23" id="1369" /> -<TGConnectingPoint num="24" id="1370" /> -<TGConnectingPoint num="25" id="1371" /> -<TGConnectingPoint num="26" id="1372" /> -<TGConnectingPoint num="27" id="1373" /> -<TGConnectingPoint num="28" id="1374" /> -<TGConnectingPoint num="29" id="1375" /> -<TGConnectingPoint num="30" id="1376" /> -<TGConnectingPoint num="31" id="1377" /> -<TGConnectingPoint num="32" id="1378" /> -<TGConnectingPoint num="33" id="1379" /> -<TGConnectingPoint num="34" id="1380" /> -<TGConnectingPoint num="35" id="1381" /> -<TGConnectingPoint num="36" id="1382" /> -<TGConnectingPoint num="37" id="1383" /> -<TGConnectingPoint num="38" id="1384" /> -<TGConnectingPoint num="39" id="1385" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5106" id="1298" > -<cdparam x="100" y="340" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="100" maxX="200" minY="340" maxY="680" /> -<infoparam name="State" value="IntermediateState__0" /> -<TGConnectingPoint num="0" id="1299" /> -<TGConnectingPoint num="1" id="1300" /> -<TGConnectingPoint num="2" id="1301" /> -<TGConnectingPoint num="3" id="1302" /> -<TGConnectingPoint num="4" id="1303" /> -<TGConnectingPoint num="5" id="1304" /> -<TGConnectingPoint num="6" id="1305" /> -<TGConnectingPoint num="7" id="1306" /> -<TGConnectingPoint num="8" id="1307" /> -<TGConnectingPoint num="9" id="1308" /> -<TGConnectingPoint num="10" id="1309" /> -<TGConnectingPoint num="11" id="1310" /> -<TGConnectingPoint num="12" id="1311" /> -<TGConnectingPoint num="13" id="1312" /> -<TGConnectingPoint num="14" id="1313" /> -<TGConnectingPoint num="15" id="1314" /> -<TGConnectingPoint num="16" id="1315" /> -<TGConnectingPoint num="17" id="1316" /> -<TGConnectingPoint num="18" id="1317" /> -<TGConnectingPoint num="19" id="1318" /> -<TGConnectingPoint num="20" id="1319" /> -<TGConnectingPoint num="21" id="1320" /> -<TGConnectingPoint num="22" id="1321" /> -<TGConnectingPoint num="23" id="1322" /> -<TGConnectingPoint num="24" id="1323" /> -<TGConnectingPoint num="25" id="1324" /> -<TGConnectingPoint num="26" id="1325" /> -<TGConnectingPoint num="27" id="1326" /> -<TGConnectingPoint num="28" id="1327" /> -<TGConnectingPoint num="29" id="1328" /> -<TGConnectingPoint num="30" id="1329" /> -<TGConnectingPoint num="31" id="1330" /> -<TGConnectingPoint num="32" id="1331" /> -<TGConnectingPoint num="33" id="1332" /> -<TGConnectingPoint num="34" id="1333" /> -<TGConnectingPoint num="35" id="1334" /> -<TGConnectingPoint num="36" id="1335" /> -<TGConnectingPoint num="37" id="1336" /> -<TGConnectingPoint num="38" id="1337" /> -<TGConnectingPoint num="39" id="1338" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5104" id="1281" > -<cdparam x="86" y="240" /> -<sizeparam width="58" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="100" maxX="200" minY="240" maxY="480" /> -<infoparam name="Receive signal" value="write()" /> -<TGConnectingPoint num="0" id="1282" /> -<TGConnectingPoint num="1" id="1283" /> -<TGConnectingPoint num="2" id="1284" /> -<TGConnectingPoint num="3" id="1285" /> -<TGConnectingPoint num="4" id="1286" /> -<TGConnectingPoint num="5" id="1287" /> -<TGConnectingPoint num="6" id="1288" /> -<TGConnectingPoint num="7" id="1289" /> -<TGConnectingPoint num="8" id="1290" /> -<TGConnectingPoint num="9" id="1291" /> -</COMPONENT> - -<COMPONENT type="5106" id="1234" > -<cdparam x="400" y="140" /> -<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="140" maxY="280" /> -<infoparam name="State" value="Wait4Request" /> -<TGConnectingPoint num="0" id="1235" /> -<TGConnectingPoint num="1" id="1236" /> -<TGConnectingPoint num="2" id="1237" /> -<TGConnectingPoint num="3" id="1238" /> -<TGConnectingPoint num="4" id="1239" /> -<TGConnectingPoint num="5" id="1240" /> -<TGConnectingPoint num="6" id="1241" /> -<TGConnectingPoint num="7" id="1242" /> -<TGConnectingPoint num="8" id="1243" /> -<TGConnectingPoint num="9" id="1244" /> -<TGConnectingPoint num="10" id="1245" /> -<TGConnectingPoint num="11" id="1246" /> -<TGConnectingPoint num="12" id="1247" /> -<TGConnectingPoint num="13" id="1248" /> -<TGConnectingPoint num="14" id="1249" /> -<TGConnectingPoint num="15" id="1250" /> -<TGConnectingPoint num="16" id="1251" /> -<TGConnectingPoint num="17" id="1252" /> -<TGConnectingPoint num="18" id="1253" /> -<TGConnectingPoint num="19" id="1254" /> -<TGConnectingPoint num="20" id="1255" /> -<TGConnectingPoint num="21" id="1256" /> -<TGConnectingPoint num="22" id="1257" /> -<TGConnectingPoint num="23" id="1258" /> -<TGConnectingPoint num="24" id="1259" /> -<TGConnectingPoint num="25" id="1260" /> -<TGConnectingPoint num="26" id="1261" /> -<TGConnectingPoint num="27" id="1262" /> -<TGConnectingPoint num="28" id="1263" /> -<TGConnectingPoint num="29" id="1264" /> -<TGConnectingPoint num="30" id="1265" /> -<TGConnectingPoint num="31" id="1266" /> -<TGConnectingPoint num="32" id="1267" /> -<TGConnectingPoint num="33" id="1268" /> -<TGConnectingPoint num="34" id="1269" /> -<TGConnectingPoint num="35" id="1270" /> -<TGConnectingPoint num="36" id="1271" /> -<TGConnectingPoint num="37" id="1272" /> -<TGConnectingPoint num="38" id="1273" /> -<TGConnectingPoint num="39" id="1274" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5100" id="1226" > -<cdparam x="400" y="40" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="400" maxX="800" minY="40" maxY="80" /> -<infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="1227" /> -</COMPONENT> - - -</AVATARStateMachineDiagramPanel> - -<AVATARStateMachineDiagramPanel name="Block3" minX="10" maxX="2500" minY="10" maxY="1500" > -<COMPONENT type="5100" id="1221" > -<cdparam x="400" y="50" /> -<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> -<infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="1222" /> -</COMPONENT> - - -</AVATARStateMachineDiagramPanel> - -</Modeling> - - - - -</TURTLEGMODELING> \ No newline at end of file +</TURTLEGMODELING> diff --git a/src/avatartranslator/AvatarTransition.java b/src/avatartranslator/AvatarTransition.java index 623ee24bd9..4fd97f331c 100644 --- a/src/avatartranslator/AvatarTransition.java +++ b/src/avatartranslator/AvatarTransition.java @@ -196,7 +196,7 @@ public class AvatarTransition extends AvatarStateMachineElement { public void addAction(String _action) { AvatarAction aa = AvatarTerm.createActionFromString (block, _action); - TraceManager.addDev("Avatar action : " + aa); + TraceManager.addDev("**************************** Avatar action : " + aa); if (aa != null) actions.add(aa); } @@ -268,8 +268,9 @@ public class AvatarTransition extends AvatarStateMachineElement { at.setDelays(getMinDelay(), getMaxDelay()); at.setComputes(getMinCompute(), getMaxCompute()); - TraceManager.addDev("Cloning actions of " + this); + //TraceManager.addDev("-------------- Cloning actions of " + this); for(int i=0; i<getNbOfAction(); i++) { + //TraceManager.addDev("-------------- Cloning actions:" + getAction(i)); at.addAction(getAction(i)); } @@ -285,8 +286,9 @@ public class AvatarTransition extends AvatarStateMachineElement { at.setGuard(getGuard()); - TraceManager.addDev("Cloning actions of " + this); + //TraceManager.addDev("Cloning actions of " + this); for(int i=0; i<getNbOfAction(); i++) { + //TraceManager.addDev("-------------- Cloning actions:" + getAction(i)); at.addAction(getAction(i)); } -- GitLab