Skip to content
Snippets Groups Projects
Commit 8fa11c6e authored by Ludovic Apvrille's avatar Ludovic Apvrille
Browse files

Update on action management

parent c259a114
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
modeling/testModelCheckerAvatar/testClocks.xml
+ 2
− 1835
View file @ 8fa11c6e
...@@ -857,7 +857,7 @@ ...@@ -857,7 +857,7 @@
</extraparam> </extraparam>
</CONNECTOR> </CONNECTOR>
<COMPONENT type="5000" id="378" > <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" /> <sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" /> <hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" /> <cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
...@@ -1536,1837 +1536,4 @@ ...@@ -1536,1837 +1536,4 @@
</AVATARStateMachineDiagramPanel> </AVATARStateMachineDiagramPanel>
</Modeling> </Modeling>
</TURTLEGMODELING>
<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&lt;maxSize)&amp;&amp;(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&lt;maxSize)&amp;&amp;(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&gt;0)&amp;&amp;(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&lt;maxSize)&amp;&amp;(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&gt;0)&amp;&amp;(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&lt;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&gt;0)&amp;&amp;(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&lt;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
src/avatartranslator/AvatarTransition.java
+ 5
− 3
View file @ 8fa11c6e
...@@ -196,7 +196,7 @@ public class AvatarTransition extends AvatarStateMachineElement { ...@@ -196,7 +196,7 @@ public class AvatarTransition extends AvatarStateMachineElement {
public void addAction(String _action) { public void addAction(String _action) {
AvatarAction aa = AvatarTerm.createActionFromString (block, _action); AvatarAction aa = AvatarTerm.createActionFromString (block, _action);
TraceManager.addDev("Avatar action : " + aa); TraceManager.addDev("**************************** Avatar action : " + aa);
if (aa != null) if (aa != null)
actions.add(aa); actions.add(aa);
} }
...@@ -268,8 +268,9 @@ public class AvatarTransition extends AvatarStateMachineElement { ...@@ -268,8 +268,9 @@ public class AvatarTransition extends AvatarStateMachineElement {
at.setDelays(getMinDelay(), getMaxDelay()); at.setDelays(getMinDelay(), getMaxDelay());
at.setComputes(getMinCompute(), getMaxCompute()); at.setComputes(getMinCompute(), getMaxCompute());
TraceManager.addDev("Cloning actions of " + this); //TraceManager.addDev("-------------- Cloning actions of " + this);
for(int i=0; i<getNbOfAction(); i++) { for(int i=0; i<getNbOfAction(); i++) {
//TraceManager.addDev("-------------- Cloning actions:" + getAction(i));
at.addAction(getAction(i)); at.addAction(getAction(i));
} }
...@@ -285,8 +286,9 @@ public class AvatarTransition extends AvatarStateMachineElement { ...@@ -285,8 +286,9 @@ public class AvatarTransition extends AvatarStateMachineElement {
at.setGuard(getGuard()); at.setGuard(getGuard());
TraceManager.addDev("Cloning actions of " + this); //TraceManager.addDev("Cloning actions of " + this);
for(int i=0; i<getNbOfAction(); i++) { for(int i=0; i<getNbOfAction(); i++) {
//TraceManager.addDev("-------------- Cloning actions:" + getAction(i));
at.addAction(getAction(i)); at.addAction(getAction(i));
} }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment