From 8477e85bcf6ae942bf54e98b4392b911e0447a32 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Tue, 31 May 2016 15:44:39 +0000
Subject: [PATCH] Adding link to avatar model checker
---
modeling/testavatar.xml | 1655 +++++++++++++----
.../modelchecker/AvatarModelChecker.java | 2 +-
.../modelchecker/SpecificationBlock.java | 3 +
src/ui/JToolBarMainTurtle.java | 8 +-
src/ui/MainGUI.java | 12 +
src/ui/TGUIAction.java | 4 +-
6 files changed, 1335 insertions(+), 349 deletions(-)
diff --git a/modeling/testavatar.xml b/modeling/testavatar.xml
index 8a820a41bb..980c4b5e8c 100644
--- a/modeling/testavatar.xml
+++ b/modeling/testavatar.xml
@@ -992,7 +992,6 @@
<TGConnectingPoint num="23" id="451" />
<extraparam>
<info stereotype="VGMN" nodeName="Bus0" />
-<info stereotype="VGMN" nodeName="Bus0" />
<attributes index="0" nbOfAttachedInitiators="0" nbOfAttachedTargets="0" minLatency="0" fifoDepth="0" />
</extraparam>
</COMPONENT>
@@ -1067,7 +1066,7 @@
</CONNECTOR>
<COMPONENT type="302" id="496" >
<cdparam x="219" y="346" />
-<sizeparam width="255" height="71" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="239" height="71" minWidth="80" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Proverif Pragma" value="#PublicConstant v.c
@@ -1372,8 +1371,8 @@
</COMPONENT>
<COMPONENT type="5104" id="635" >
-<cdparam x="518" y="222" />
-<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="520" y="222" />
+<sizeparam width="43" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Receive signal" value="fail()" />
@@ -1390,8 +1389,8 @@
</COMPONENT>
<COMPONENT type="5104" id="646" >
-<cdparam x="339" y="215" />
-<sizeparam width="73" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="342" y="215" />
+<sizeparam width="67" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Receive signal" value="receive()" />
@@ -1537,7 +1536,7 @@
</CONNECTOR><SUBCOMPONENT type="-1" id="708" >
<father id="710" num="0" />
<cdparam x="457" y="205" />
-<sizeparam width="44" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="39" 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="" />
@@ -1629,8 +1628,8 @@
</COMPONENT>
<COMPONENT type="5103" id="739" >
-<cdparam x="484" y="249" />
-<sizeparam width="38" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="486" y="249" />
+<sizeparam width="35" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Send signal" value="fail()" />
@@ -1647,8 +1646,8 @@
</COMPONENT>
<COMPONENT type="5103" id="750" >
-<cdparam x="281" y="229" />
-<sizeparam width="51" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="283" y="229" />
+<sizeparam width="46" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Send signal" value="send()" />
@@ -1770,11 +1769,11 @@
</COMPONENT>
<SUBCOMPONENT type="5362" id="802" >
<father id="845" num="0" />
-<cdparam x="513" y="128" />
-<sizeparam width="136" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="552" y="177" />
+<sizeparam width="89" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
-<cdrectangleparam minX="0" maxX="64" minY="0" maxY="160" />
-<infoparam name="TGComponent" value="Block0/out send" />
+<cdrectangleparam minX="0" maxX="111" minY="0" maxY="160" />
+<infoparam name="TGComponent" value="B0/in m2" />
<TGConnectingPoint num="0" id="794" />
<TGConnectingPoint num="1" id="795" />
<TGConnectingPoint num="2" id="796" />
@@ -1784,15 +1783,15 @@
<TGConnectingPoint num="6" id="800" />
<TGConnectingPoint num="7" id="801" />
<extraparam>
-<info value="Block0/out send" channelName="Block0/out send() #--# Block1/in receive()" fullChannelName="Design::Block0/out send() #--# Block1/in receive()" referenceDiagram="Design" />
+<info value="B0/in m2" channelName="B0/in m2() #--# B1/out m2()" fullChannelName="TestAsynchronous1::B0/in m2() #--# B1/out m2()" referenceDiagram="TestAsynchronous1" />
</extraparam>
</SUBCOMPONENT>
<SUBCOMPONENT type="5362" id="811" >
<father id="845" num="1" />
<cdparam x="542" y="227" />
-<sizeparam width="99" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="97" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
-<cdrectangleparam minX="0" maxX="101" minY="0" maxY="160" />
+<cdrectangleparam minX="0" maxX="103" minY="0" maxY="160" />
<infoparam name="TGComponent" value="B0/out m0" />
<TGConnectingPoint num="0" id="803" />
<TGConnectingPoint num="1" id="804" />
@@ -1808,11 +1807,11 @@
</SUBCOMPONENT>
<SUBCOMPONENT type="5362" id="820" >
<father id="845" num="2" />
-<cdparam x="552" y="177" />
-<sizeparam width="89" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<cdparam x="513" y="128" />
+<sizeparam width="129" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
-<cdrectangleparam minX="0" maxX="111" minY="0" maxY="160" />
-<infoparam name="TGComponent" value="B0/in m2" />
+<cdrectangleparam minX="0" maxX="71" minY="0" maxY="160" />
+<infoparam name="TGComponent" value="Block0/out send" />
<TGConnectingPoint num="0" id="812" />
<TGConnectingPoint num="1" id="813" />
<TGConnectingPoint num="2" id="814" />
@@ -1822,7 +1821,7 @@
<TGConnectingPoint num="6" id="818" />
<TGConnectingPoint num="7" id="819" />
<extraparam>
-<info value="B0/in m2" channelName="B0/in m2() #--# B1/out m2()" fullChannelName="TestAsynchronous1::B0/in m2() #--# B1/out m2()" referenceDiagram="TestAsynchronous1" />
+<info value="Block0/out send" channelName="Block0/out send() #--# Block1/in receive()" fullChannelName="Design::Block0/out send() #--# Block1/in receive()" referenceDiagram="Design" />
</extraparam>
</SUBCOMPONENT>
@@ -1967,19 +1966,19 @@
<Modeling type="AVATAR Design" nameTab="Design" >
<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" >
<MainCode value="void __user_init() {"/>
-<MainCode value=" x = 1;"/>
+<MainCode value=" x = 1;"/>
<MainCode value="}"/>
<Optimized value="true" />
-<Validated value="Block1;LibraryFunction0;Block0;" />
+<Validated value="" />
<Ignored value="" />
-<CONNECTOR type="5002" id="1027" >
+<CONNECTOR type="5002" id="924" >
<cdparam x="446" y="392" />
<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="1028" />
-<P1 x="409" y="306" id="940" />
-<P2 x="510" y="511" id="1009" />
+<TGConnectingPoint num="0" id="923" />
+<P1 x="409" y="306" id="974" />
+<P2 x="510" y="511" id="933" />
<AutomaticDrawing data="true" />
<extraparam>
<iso value="in reading()" />
@@ -1987,56 +1986,56 @@
<FIFOType asynchronous="false" size="1" blocking="false" private="true" broadcast="false" lossy="false" />
</extraparam>
</CONNECTOR>
-<COMPONENT type="5000" id="1000" >
+<COMPONENT type="5000" id="949" >
<cdparam x="448" y="511" />
<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Block1" value="Block1" />
-<TGConnectingPoint num="0" id="1001" />
-<TGConnectingPoint num="1" id="1002" />
-<TGConnectingPoint num="2" id="1003" />
-<TGConnectingPoint num="3" id="1004" />
-<TGConnectingPoint num="4" id="1005" />
-<TGConnectingPoint num="5" id="1006" />
-<TGConnectingPoint num="6" id="1007" />
-<TGConnectingPoint num="7" id="1008" />
-<TGConnectingPoint num="8" id="1009" />
-<TGConnectingPoint num="9" id="1010" />
-<TGConnectingPoint num="10" id="1011" />
-<TGConnectingPoint num="11" id="1012" />
-<TGConnectingPoint num="12" id="1013" />
-<TGConnectingPoint num="13" id="1014" />
-<TGConnectingPoint num="14" id="1015" />
-<TGConnectingPoint num="15" id="1016" />
-<TGConnectingPoint num="16" id="1017" />
-<TGConnectingPoint num="17" id="1018" />
-<TGConnectingPoint num="18" id="1019" />
-<TGConnectingPoint num="19" id="1020" />
-<TGConnectingPoint num="20" id="1021" />
-<TGConnectingPoint num="21" id="1022" />
-<TGConnectingPoint num="22" id="1023" />
-<TGConnectingPoint num="23" id="1024" />
+<TGConnectingPoint num="0" id="925" />
+<TGConnectingPoint num="1" id="926" />
+<TGConnectingPoint num="2" id="927" />
+<TGConnectingPoint num="3" id="928" />
+<TGConnectingPoint num="4" id="929" />
+<TGConnectingPoint num="5" id="930" />
+<TGConnectingPoint num="6" id="931" />
+<TGConnectingPoint num="7" id="932" />
+<TGConnectingPoint num="8" id="933" />
+<TGConnectingPoint num="9" id="934" />
+<TGConnectingPoint num="10" id="935" />
+<TGConnectingPoint num="11" id="936" />
+<TGConnectingPoint num="12" id="937" />
+<TGConnectingPoint num="13" id="938" />
+<TGConnectingPoint num="14" id="939" />
+<TGConnectingPoint num="15" id="940" />
+<TGConnectingPoint num="16" id="941" />
+<TGConnectingPoint num="17" id="942" />
+<TGConnectingPoint num="18" id="943" />
+<TGConnectingPoint num="19" id="944" />
+<TGConnectingPoint num="20" id="945" />
+<TGConnectingPoint num="21" id="946" />
+<TGConnectingPoint num="22" id="947" />
+<TGConnectingPoint num="23" id="948" />
<extraparam>
<CryptoBlock value="false" />
<Signal value="out writing()" />
</extraparam>
</COMPONENT>
-<COMPONENT type="5005" id="962" >
+<COMPONENT type="5005" id="958" >
<cdparam x="576" y="153" />
<sizeparam width="281" height="156" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="LibraryFunction0" value="LibraryFunction0" />
-<TGConnectingPoint num="0" id="963" />
-<TGConnectingPoint num="1" id="964" />
-<TGConnectingPoint num="2" id="965" />
-<TGConnectingPoint num="3" id="966" />
-<TGConnectingPoint num="4" id="967" />
-<TGConnectingPoint num="5" id="968" />
-<TGConnectingPoint num="6" id="969" />
-<TGConnectingPoint num="7" id="970" />
+<TGConnectingPoint num="0" id="950" />
+<TGConnectingPoint num="1" id="951" />
+<TGConnectingPoint num="2" id="952" />
+<TGConnectingPoint num="3" id="953" />
+<TGConnectingPoint num="4" id="954" />
+<TGConnectingPoint num="5" id="955" />
+<TGConnectingPoint num="6" id="956" />
+<TGConnectingPoint num="7" id="957" />
<extraparam>
<CryptoLibraryFunction value="false" />
<Parameter access="0" id="x" value="" type="8" typeOther="" />
@@ -2046,36 +2045,36 @@
</extraparam>
</COMPONENT>
-<COMPONENT type="5000" id="924" >
+<COMPONENT type="5000" id="983" >
<cdparam x="133" y="180" />
<sizeparam width="369" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="Block0" value="Block0" />
-<TGConnectingPoint num="0" id="925" />
-<TGConnectingPoint num="1" id="926" />
-<TGConnectingPoint num="2" id="927" />
-<TGConnectingPoint num="3" id="928" />
-<TGConnectingPoint num="4" id="929" />
-<TGConnectingPoint num="5" id="930" />
-<TGConnectingPoint num="6" id="931" />
-<TGConnectingPoint num="7" id="932" />
-<TGConnectingPoint num="8" id="933" />
-<TGConnectingPoint num="9" id="934" />
-<TGConnectingPoint num="10" id="935" />
-<TGConnectingPoint num="11" id="936" />
-<TGConnectingPoint num="12" id="937" />
-<TGConnectingPoint num="13" id="938" />
-<TGConnectingPoint num="14" id="939" />
-<TGConnectingPoint num="15" id="940" />
-<TGConnectingPoint num="16" id="941" />
-<TGConnectingPoint num="17" id="942" />
-<TGConnectingPoint num="18" id="943" />
-<TGConnectingPoint num="19" id="944" />
-<TGConnectingPoint num="20" id="945" />
-<TGConnectingPoint num="21" id="946" />
-<TGConnectingPoint num="22" id="947" />
-<TGConnectingPoint num="23" id="948" />
+<TGConnectingPoint num="0" id="959" />
+<TGConnectingPoint num="1" id="960" />
+<TGConnectingPoint num="2" id="961" />
+<TGConnectingPoint num="3" id="962" />
+<TGConnectingPoint num="4" id="963" />
+<TGConnectingPoint num="5" id="964" />
+<TGConnectingPoint num="6" id="965" />
+<TGConnectingPoint num="7" id="966" />
+<TGConnectingPoint num="8" id="967" />
+<TGConnectingPoint num="9" id="968" />
+<TGConnectingPoint num="10" id="969" />
+<TGConnectingPoint num="11" id="970" />
+<TGConnectingPoint num="12" id="971" />
+<TGConnectingPoint num="13" id="972" />
+<TGConnectingPoint num="14" id="973" />
+<TGConnectingPoint num="15" id="974" />
+<TGConnectingPoint num="16" id="975" />
+<TGConnectingPoint num="17" id="976" />
+<TGConnectingPoint num="18" id="977" />
+<TGConnectingPoint num="19" id="978" />
+<TGConnectingPoint num="20" id="979" />
+<TGConnectingPoint num="21" id="980" />
+<TGConnectingPoint num="22" id="981" />
+<TGConnectingPoint num="23" id="982" />
<extraparam>
<CryptoBlock value="false" />
<Attribute access="0" id="x" value="" type="8" typeOther="" />
@@ -2088,46 +2087,39 @@
</AVATARBlockDiagramPanel>
-<AVATARStateMachineDiagramPanel name="Block0" minX="10" maxX="2500" minY="10" maxY="1500" >
-<COMPONENT type="5112" id="1225" >
-<cdparam x="368" y="142" />
-<sizeparam width="100" height="25" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<AVATARStateMachineDiagramPanel name="Block1" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="5100" id="985" >
+<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="Library function call" value="" />
-<TGConnectingPoint num="0" id="1226" />
-<TGConnectingPoint num="1" id="1227" />
-<TGConnectingPoint num="2" id="1228" />
-<TGConnectingPoint num="3" id="1229" />
-<TGConnectingPoint num="4" id="1230" />
-<TGConnectingPoint num="5" id="1231" />
-<TGConnectingPoint num="6" id="1232" />
-<TGConnectingPoint num="7" id="1233" />
-<TGConnectingPoint num="8" id="1234" />
-<TGConnectingPoint num="9" id="1235" />
-<extraparam>
-</extraparam>
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="984" />
</COMPONENT>
-<CONNECTOR type="5102" id="1218" >
-<cdparam x="702" y="335" />
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="LibraryFunction0" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="992" >
+<cdparam x="407" y="70" />
<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="1219" />
-<P1 x="702" y="335" id="1204" />
-<P2 x="696" y="383" id="1206" />
+<TGConnectingPoint num="0" id="991" />
+<P1 x="407" y="70" id="1013" />
+<P2 x="415" y="139" id="1002" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1220" >
-<father id="1218" num="0" />
-<cdparam x="702" y="375" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="990" >
+<father id="992" num="0" />
+<cdparam x="407" y="110" />
<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="1221" />
-<TGConnectingPoint num="1" id="1222" />
-<TGConnectingPoint num="2" id="1223" />
-<TGConnectingPoint num="3" id="1224" />
+<TGConnectingPoint num="0" id="986" />
+<TGConnectingPoint num="1" id="987" />
+<TGConnectingPoint num="2" id="988" />
+<TGConnectingPoint num="3" id="989" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2137,25 +2129,25 @@
</extraparam>
</SUBCOMPONENT>
-<CONNECTOR type="5102" id="1196" >
-<cdparam x="628" y="354" />
+<CONNECTOR type="5102" id="999" >
+<cdparam x="415" y="169" />
<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="1197" />
-<P1 x="633" y="326" id="1175" />
-<P2 x="232" y="456" id="1195" />
+<TGConnectingPoint num="0" id="998" />
+<P1 x="415" y="169" id="1003" />
+<P2 x="427" y="230" id="1000" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1198" >
-<father id="1196" num="0" />
-<cdparam x="628" y="394" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="997" >
+<father id="999" num="0" />
+<cdparam x="415" y="209" />
<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="1199" />
-<TGConnectingPoint num="1" id="1200" />
-<TGConnectingPoint num="2" id="1201" />
-<TGConnectingPoint num="3" id="1202" />
+<TGConnectingPoint num="0" id="993" />
+<TGConnectingPoint num="1" id="994" />
+<TGConnectingPoint num="2" id="995" />
+<TGConnectingPoint num="3" id="996" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2165,34 +2157,121 @@
</extraparam>
</SUBCOMPONENT>
-<COMPONENT type="5101" id="1194" >
-<cdparam x="222" y="461" />
+<COMPONENT type="5101" id="1001" >
+<cdparam x="417" y="235" />
<sizeparam width="20" height="20" 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="stop state" value="null" />
-<TGConnectingPoint num="0" id="1195" />
+<TGConnectingPoint num="0" id="1000" />
+</COMPONENT>
+
+<COMPONENT type="5104" id="1012" >
+<cdparam x="388" y="144" />
+<sizeparam width="54" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Receive signal" value="toto()" />
+<TGConnectingPoint num="0" id="1002" />
+<TGConnectingPoint num="1" id="1003" />
+<TGConnectingPoint num="2" id="1004" />
+<TGConnectingPoint num="3" id="1005" />
+<TGConnectingPoint num="4" id="1006" />
+<TGConnectingPoint num="5" id="1007" />
+<TGConnectingPoint num="6" id="1008" />
+<TGConnectingPoint num="7" id="1009" />
+<TGConnectingPoint num="8" id="1010" />
+<TGConnectingPoint num="9" id="1011" />
+</COMPONENT>
+
+<COMPONENT type="5100" id="1014" >
+<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="1013" />
</COMPONENT>
-<CONNECTOR type="5102" id="1146" >
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Block0" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="1021" >
+<cdparam x="702" y="335" />
+<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="1020" />
+<P1 x="702" y="335" id="1067" />
+<P2 x="696" y="383" id="1069" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1019" >
+<father id="1021" num="0" />
+<cdparam x="702" y="375" />
+<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="1015" />
+<TGConnectingPoint num="1" id="1016" />
+<TGConnectingPoint num="2" id="1017" />
+<TGConnectingPoint num="3" id="1018" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1028" >
+<cdparam x="628" y="354" />
+<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="1027" />
+<P1 x="633" y="326" id="1092" />
+<P2 x="232" y="456" id="1061" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1026" >
+<father id="1028" num="0" />
+<cdparam x="628" y="394" />
+<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="1022" />
+<TGConnectingPoint num="1" id="1023" />
+<TGConnectingPoint num="2" id="1024" />
+<TGConnectingPoint num="3" id="1025" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1035" >
<cdparam x="871" y="356" />
<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="1147" />
-<P1 x="942" y="362" id="1209" />
-<P2 x="795" y="364" id="1180" />
+<TGConnectingPoint num="0" id="1034" />
+<P1 x="942" y="362" id="1113" />
+<P2 x="795" y="364" id="1097" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1148" >
-<father id="1146" num="0" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1033" >
+<father id="1035" num="0" />
<cdparam x="871" y="396" />
<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="1149" />
-<TGConnectingPoint num="1" id="1150" />
-<TGConnectingPoint num="2" id="1151" />
-<TGConnectingPoint num="3" id="1152" />
+<TGConnectingPoint num="0" id="1029" />
+<TGConnectingPoint num="1" id="1030" />
+<TGConnectingPoint num="2" id="1031" />
+<TGConnectingPoint num="3" id="1032" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2202,25 +2281,25 @@
</extraparam>
</SUBCOMPONENT>
-<CONNECTOR type="5102" id="1137" >
+<CONNECTOR type="5102" id="1042" >
<cdparam x="868" y="279" />
<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="1138" />
-<P1 x="868" y="279" id="1125" />
-<P2 x="942" y="332" id="1208" />
+<TGConnectingPoint num="0" id="1041" />
+<P1 x="868" y="279" id="1065" />
+<P2 x="942" y="332" id="1112" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1139" >
-<father id="1137" num="0" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1040" >
+<father id="1042" num="0" />
<cdparam x="884" y="338" />
<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="1140" />
-<TGConnectingPoint num="1" id="1141" />
-<TGConnectingPoint num="2" id="1142" />
-<TGConnectingPoint num="3" id="1143" />
+<TGConnectingPoint num="0" id="1036" />
+<TGConnectingPoint num="1" id="1037" />
+<TGConnectingPoint num="2" id="1038" />
+<TGConnectingPoint num="3" id="1039" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2230,34 +2309,25 @@
</extraparam>
</SUBCOMPONENT>
-<COMPONENT type="5100" id="1074" >
-<cdparam x="696" y="90" />
-<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="1075" />
-</COMPONENT>
-
-<CONNECTOR type="5102" id="1117" >
+<CONNECTOR type="5102" id="1049" >
<cdparam x="703" y="110" />
<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="1118" />
-<P1 x="703" y="110" id="1075" />
-<P2 x="760" y="191" id="1085" />
+<TGConnectingPoint num="0" id="1048" />
+<P1 x="703" y="110" id="1063" />
+<P2 x="760" y="191" id="1131" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1119" >
-<father id="1117" num="0" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1047" >
+<father id="1049" num="0" />
<cdparam x="703" y="150" />
<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="1120" />
-<TGConnectingPoint num="1" id="1121" />
-<TGConnectingPoint num="2" id="1122" />
-<TGConnectingPoint num="3" id="1123" />
+<TGConnectingPoint num="0" id="1043" />
+<TGConnectingPoint num="1" id="1044" />
+<TGConnectingPoint num="2" id="1045" />
+<TGConnectingPoint num="3" id="1046" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2267,210 +2337,385 @@
</extraparam>
</SUBCOMPONENT>
-<COMPONENT type="5106" id="1076" >
+<COMPONENT type="5112" id="1060" >
+<cdparam x="368" y="142" />
+<sizeparam width="100" height="25" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Library function call" value="" />
+<TGConnectingPoint num="0" id="1050" />
+<TGConnectingPoint num="1" id="1051" />
+<TGConnectingPoint num="2" id="1052" />
+<TGConnectingPoint num="3" id="1053" />
+<TGConnectingPoint num="4" id="1054" />
+<TGConnectingPoint num="5" id="1055" />
+<TGConnectingPoint num="6" id="1056" />
+<TGConnectingPoint num="7" id="1057" />
+<TGConnectingPoint num="8" id="1058" />
+<TGConnectingPoint num="9" id="1059" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5101" id="1062" >
+<cdparam x="222" y="461" />
+<sizeparam width="20" height="20" 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="stop state" value="null" />
+<TGConnectingPoint num="0" id="1061" />
+</COMPONENT>
+
+<COMPONENT type="5100" id="1064" >
+<cdparam x="696" y="90" />
+<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="1063" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1163" >
<cdparam x="605" y="191" />
<sizeparam width="620" height="395" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="State" value="state0" />
-<TGConnectingPoint num="0" id="1077" />
-<TGConnectingPoint num="1" id="1078" />
-<TGConnectingPoint num="2" id="1079" />
-<TGConnectingPoint num="3" id="1080" />
-<TGConnectingPoint num="4" id="1081" />
-<TGConnectingPoint num="5" id="1082" />
-<TGConnectingPoint num="6" id="1083" />
-<TGConnectingPoint num="7" id="1084" />
-<TGConnectingPoint num="8" id="1085" />
-<TGConnectingPoint num="9" id="1086" />
-<TGConnectingPoint num="10" id="1087" />
-<TGConnectingPoint num="11" id="1088" />
-<TGConnectingPoint num="12" id="1089" />
-<TGConnectingPoint num="13" id="1090" />
-<TGConnectingPoint num="14" id="1091" />
-<TGConnectingPoint num="15" id="1092" />
-<TGConnectingPoint num="16" id="1093" />
-<TGConnectingPoint num="17" id="1094" />
-<TGConnectingPoint num="18" id="1095" />
-<TGConnectingPoint num="19" id="1096" />
-<TGConnectingPoint num="20" id="1097" />
-<TGConnectingPoint num="21" id="1098" />
-<TGConnectingPoint num="22" id="1099" />
-<TGConnectingPoint num="23" id="1100" />
-<TGConnectingPoint num="24" id="1101" />
-<TGConnectingPoint num="25" id="1102" />
-<TGConnectingPoint num="26" id="1103" />
-<TGConnectingPoint num="27" id="1104" />
-<TGConnectingPoint num="28" id="1105" />
-<TGConnectingPoint num="29" id="1106" />
-<TGConnectingPoint num="30" id="1107" />
-<TGConnectingPoint num="31" id="1108" />
-<TGConnectingPoint num="32" id="1109" />
-<TGConnectingPoint num="33" id="1110" />
-<TGConnectingPoint num="34" id="1111" />
-<TGConnectingPoint num="35" id="1112" />
-<TGConnectingPoint num="36" id="1113" />
-<TGConnectingPoint num="37" id="1114" />
-<TGConnectingPoint num="38" id="1115" />
-<TGConnectingPoint num="39" id="1116" />
+<TGConnectingPoint num="0" id="1123" />
+<TGConnectingPoint num="1" id="1124" />
+<TGConnectingPoint num="2" id="1125" />
+<TGConnectingPoint num="3" id="1126" />
+<TGConnectingPoint num="4" id="1127" />
+<TGConnectingPoint num="5" id="1128" />
+<TGConnectingPoint num="6" id="1129" />
+<TGConnectingPoint num="7" id="1130" />
+<TGConnectingPoint num="8" id="1131" />
+<TGConnectingPoint num="9" id="1132" />
+<TGConnectingPoint num="10" id="1133" />
+<TGConnectingPoint num="11" id="1134" />
+<TGConnectingPoint num="12" id="1135" />
+<TGConnectingPoint num="13" id="1136" />
+<TGConnectingPoint num="14" id="1137" />
+<TGConnectingPoint num="15" id="1138" />
+<TGConnectingPoint num="16" id="1139" />
+<TGConnectingPoint num="17" id="1140" />
+<TGConnectingPoint num="18" id="1141" />
+<TGConnectingPoint num="19" id="1142" />
+<TGConnectingPoint num="20" id="1143" />
+<TGConnectingPoint num="21" id="1144" />
+<TGConnectingPoint num="22" id="1145" />
+<TGConnectingPoint num="23" id="1146" />
+<TGConnectingPoint num="24" id="1147" />
+<TGConnectingPoint num="25" id="1148" />
+<TGConnectingPoint num="26" id="1149" />
+<TGConnectingPoint num="27" id="1150" />
+<TGConnectingPoint num="28" id="1151" />
+<TGConnectingPoint num="29" id="1152" />
+<TGConnectingPoint num="30" id="1153" />
+<TGConnectingPoint num="31" id="1154" />
+<TGConnectingPoint num="32" id="1155" />
+<TGConnectingPoint num="33" id="1156" />
+<TGConnectingPoint num="34" id="1157" />
+<TGConnectingPoint num="35" id="1158" />
+<TGConnectingPoint num="36" id="1159" />
+<TGConnectingPoint num="37" id="1160" />
+<TGConnectingPoint num="38" id="1161" />
+<TGConnectingPoint num="39" id="1162" />
<extraparam>
</extraparam>
</COMPONENT>
-<SUBCOMPONENT type="5104" id="1207" >
-<father id="1076" num="0" />
-<cdparam x="904" y="337" />
-<sizeparam width="76" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<SUBCOMPONENT type="5100" id="1066" >
+<father id="1163" num="0" />
+<cdparam x="861" y="259" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
-<cdrectangleparam minX="0" maxX="590" minY="0" maxY="375" />
-<infoparam name="Receive signal" value="reading()" />
-<TGConnectingPoint num="0" id="1208" />
-<TGConnectingPoint num="1" id="1209" />
-<TGConnectingPoint num="2" id="1210" />
-<TGConnectingPoint num="3" id="1211" />
-<TGConnectingPoint num="4" id="1212" />
-<TGConnectingPoint num="5" id="1213" />
-<TGConnectingPoint num="6" id="1214" />
-<TGConnectingPoint num="7" id="1215" />
-<TGConnectingPoint num="8" id="1216" />
-<TGConnectingPoint num="9" id="1217" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5106" id="1153" >
-<father id="1076" num="1" />
+<cdrectangleparam minX="0" maxX="605" minY="0" maxY="380" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1065" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="5106" id="1111" >
+<father id="1163" num="1" />
<cdparam x="633" y="270" />
<sizeparam width="162" height="152" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="458" minY="0" maxY="243" />
<infoparam name="State" value="state1" />
-<TGConnectingPoint num="0" id="1154" />
-<TGConnectingPoint num="1" id="1155" />
-<TGConnectingPoint num="2" id="1156" />
-<TGConnectingPoint num="3" id="1157" />
-<TGConnectingPoint num="4" id="1158" />
-<TGConnectingPoint num="5" id="1159" />
-<TGConnectingPoint num="6" id="1160" />
-<TGConnectingPoint num="7" id="1161" />
-<TGConnectingPoint num="8" id="1162" />
-<TGConnectingPoint num="9" id="1163" />
-<TGConnectingPoint num="10" id="1164" />
-<TGConnectingPoint num="11" id="1165" />
-<TGConnectingPoint num="12" id="1166" />
-<TGConnectingPoint num="13" id="1167" />
-<TGConnectingPoint num="14" id="1168" />
-<TGConnectingPoint num="15" id="1169" />
-<TGConnectingPoint num="16" id="1170" />
-<TGConnectingPoint num="17" id="1171" />
-<TGConnectingPoint num="18" id="1172" />
-<TGConnectingPoint num="19" id="1173" />
-<TGConnectingPoint num="20" id="1174" />
-<TGConnectingPoint num="21" id="1175" />
-<TGConnectingPoint num="22" id="1176" />
-<TGConnectingPoint num="23" id="1177" />
-<TGConnectingPoint num="24" id="1178" />
-<TGConnectingPoint num="25" id="1179" />
-<TGConnectingPoint num="26" id="1180" />
-<TGConnectingPoint num="27" id="1181" />
-<TGConnectingPoint num="28" id="1182" />
-<TGConnectingPoint num="29" id="1183" />
-<TGConnectingPoint num="30" id="1184" />
-<TGConnectingPoint num="31" id="1185" />
-<TGConnectingPoint num="32" id="1186" />
-<TGConnectingPoint num="33" id="1187" />
-<TGConnectingPoint num="34" id="1188" />
-<TGConnectingPoint num="35" id="1189" />
-<TGConnectingPoint num="36" id="1190" />
-<TGConnectingPoint num="37" id="1191" />
-<TGConnectingPoint num="38" id="1192" />
-<TGConnectingPoint num="39" id="1193" />
-<extraparam>
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="5101" id="1205" >
-<father id="1153" num="0" />
-<cdparam x="686" y="388" />
-<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="142" minY="0" maxY="132" />
-<infoparam name="stop state" value="null" />
-<TGConnectingPoint num="0" id="1206" />
+<TGConnectingPoint num="0" id="1071" />
+<TGConnectingPoint num="1" id="1072" />
+<TGConnectingPoint num="2" id="1073" />
+<TGConnectingPoint num="3" id="1074" />
+<TGConnectingPoint num="4" id="1075" />
+<TGConnectingPoint num="5" id="1076" />
+<TGConnectingPoint num="6" id="1077" />
+<TGConnectingPoint num="7" id="1078" />
+<TGConnectingPoint num="8" id="1079" />
+<TGConnectingPoint num="9" id="1080" />
+<TGConnectingPoint num="10" id="1081" />
+<TGConnectingPoint num="11" id="1082" />
+<TGConnectingPoint num="12" id="1083" />
+<TGConnectingPoint num="13" id="1084" />
+<TGConnectingPoint num="14" id="1085" />
+<TGConnectingPoint num="15" id="1086" />
+<TGConnectingPoint num="16" id="1087" />
+<TGConnectingPoint num="17" id="1088" />
+<TGConnectingPoint num="18" id="1089" />
+<TGConnectingPoint num="19" id="1090" />
+<TGConnectingPoint num="20" id="1091" />
+<TGConnectingPoint num="21" id="1092" />
+<TGConnectingPoint num="22" id="1093" />
+<TGConnectingPoint num="23" id="1094" />
+<TGConnectingPoint num="24" id="1095" />
+<TGConnectingPoint num="25" id="1096" />
+<TGConnectingPoint num="26" id="1097" />
+<TGConnectingPoint num="27" id="1098" />
+<TGConnectingPoint num="28" id="1099" />
+<TGConnectingPoint num="29" id="1100" />
+<TGConnectingPoint num="30" id="1101" />
+<TGConnectingPoint num="31" id="1102" />
+<TGConnectingPoint num="32" id="1103" />
+<TGConnectingPoint num="33" id="1104" />
+<TGConnectingPoint num="34" id="1105" />
+<TGConnectingPoint num="35" id="1106" />
+<TGConnectingPoint num="36" id="1107" />
+<TGConnectingPoint num="37" id="1108" />
+<TGConnectingPoint num="38" id="1109" />
+<TGConnectingPoint num="39" id="1110" />
+<extraparam>
+</extraparam>
</SUBCOMPONENT>
-<SUBCOMPONENT type="5100" id="1203" >
-<father id="1153" num="1" />
+<SUBCOMPONENT type="5100" id="1068" >
+<father id="1111" num="0" />
<cdparam x="695" y="315" />
<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="147" minY="0" maxY="137" />
<infoparam name="start state" value="null" />
-<TGConnectingPoint num="0" id="1204" />
+<TGConnectingPoint num="0" id="1067" />
</SUBCOMPONENT>
-<SUBCOMPONENT type="5100" id="1124" >
-<father id="1076" num="2" />
-<cdparam x="861" y="259" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<SUBCOMPONENT type="5101" id="1070" >
+<father id="1111" num="1" />
+<cdparam x="686" y="388" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
-<cdrectangleparam minX="0" maxX="605" minY="0" maxY="380" />
-<infoparam name="start state" value="null" />
-<TGConnectingPoint num="0" id="1125" />
+<cdrectangleparam minX="0" maxX="142" minY="0" maxY="132" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="1069" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="5104" id="1122" >
+<father id="1163" num="2" />
+<cdparam x="904" y="337" />
+<sizeparam width="76" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="590" minY="0" maxY="375" />
+<infoparam name="Receive signal" value="reading()" />
+<TGConnectingPoint num="0" id="1112" />
+<TGConnectingPoint num="1" id="1113" />
+<TGConnectingPoint num="2" id="1114" />
+<TGConnectingPoint num="3" id="1115" />
+<TGConnectingPoint num="4" id="1116" />
+<TGConnectingPoint num="5" id="1117" />
+<TGConnectingPoint num="6" id="1118" />
+<TGConnectingPoint num="7" id="1119" />
+<TGConnectingPoint num="8" id="1120" />
+<TGConnectingPoint num="9" id="1121" />
</SUBCOMPONENT>
</AVATARStateMachineDiagramPanel>
-<AVATARStateMachineDiagramPanel name="LibraryFunction0" minX="10" maxX="2500" minY="10" maxY="1500" >
-<COMPONENT type="5101" id="1065" >
-<cdparam x="417" y="235" />
-<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+</Modeling>
+
+
+
+
+<Modeling type="AVATAR Design" nameTab="Design" >
+<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" >
+<MainCode value="void __user_init() {"/>
+<MainCode value="}"/>
+<Optimized value="true" />
+<Validated value="Bout;Bin;Independent;" />
+<Ignored value="" />
+
+<COMPONENT type="5000" id="3197" >
+<cdparam x="434" y="480" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="stop state" value="null" />
-<TGConnectingPoint num="0" id="1066" />
+<infoparam name="Block0" value="Independent" />
+<TGConnectingPoint num="0" id="3198" />
+<TGConnectingPoint num="1" id="3199" />
+<TGConnectingPoint num="2" id="3200" />
+<TGConnectingPoint num="3" id="3201" />
+<TGConnectingPoint num="4" id="3202" />
+<TGConnectingPoint num="5" id="3203" />
+<TGConnectingPoint num="6" id="3204" />
+<TGConnectingPoint num="7" id="3205" />
+<TGConnectingPoint num="8" id="3206" />
+<TGConnectingPoint num="9" id="3207" />
+<TGConnectingPoint num="10" id="3208" />
+<TGConnectingPoint num="11" id="3209" />
+<TGConnectingPoint num="12" id="3210" />
+<TGConnectingPoint num="13" id="3211" />
+<TGConnectingPoint num="14" id="3212" />
+<TGConnectingPoint num="15" id="3213" />
+<TGConnectingPoint num="16" id="3214" />
+<TGConnectingPoint num="17" id="3215" />
+<TGConnectingPoint num="18" id="3216" />
+<TGConnectingPoint num="19" id="3217" />
+<TGConnectingPoint num="20" id="3218" />
+<TGConnectingPoint num="21" id="3219" />
+<TGConnectingPoint num="22" id="3220" />
+<TGConnectingPoint num="23" id="3221" />
+<extraparam>
+<CryptoBlock value="false" />
+<Attribute access="0" id="x" value="0" type="8" typeOther="" />
+<Attribute access="0" id="y" value="0" type="8" typeOther="" />
+</extraparam>
</COMPONENT>
-<COMPONENT type="5104" id="1047" >
-<cdparam x="388" y="144" />
-<sizeparam width="54" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<CONNECTOR type="5002" id="1219" >
+<cdparam x="398" y="293" />
+<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="1220" />
+<P1 x="398" y="293" id="1197" />
+<P2 x="639" y="293" id="1169" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<isd value="in toto()" />
+<isd value="in titi()" />
+<oso value="out toto()" />
+<oso value="out titi()" />
+<FIFOType asynchronous="false" size="1" blocking="false" private="true" broadcast="false" lossy="false" />
+</extraparam>
+</CONNECTOR>
+<COMPONENT type="5000" id="1192" >
+<cdparam x="148" y="193" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Receive signal" value="toto()" />
-<TGConnectingPoint num="0" id="1048" />
-<TGConnectingPoint num="1" id="1049" />
-<TGConnectingPoint num="2" id="1050" />
-<TGConnectingPoint num="3" id="1051" />
-<TGConnectingPoint num="4" id="1052" />
-<TGConnectingPoint num="5" id="1053" />
-<TGConnectingPoint num="6" id="1054" />
-<TGConnectingPoint num="7" id="1055" />
-<TGConnectingPoint num="8" id="1056" />
-<TGConnectingPoint num="9" id="1057" />
+<infoparam name="Block1" value="Bout" />
+<TGConnectingPoint num="0" id="1193" />
+<TGConnectingPoint num="1" id="1194" />
+<TGConnectingPoint num="2" id="1195" />
+<TGConnectingPoint num="3" id="1196" />
+<TGConnectingPoint num="4" id="1197" />
+<TGConnectingPoint num="5" id="1198" />
+<TGConnectingPoint num="6" id="1199" />
+<TGConnectingPoint num="7" id="1200" />
+<TGConnectingPoint num="8" id="1201" />
+<TGConnectingPoint num="9" id="1202" />
+<TGConnectingPoint num="10" id="1203" />
+<TGConnectingPoint num="11" id="1204" />
+<TGConnectingPoint num="12" id="1205" />
+<TGConnectingPoint num="13" id="1206" />
+<TGConnectingPoint num="14" id="1207" />
+<TGConnectingPoint num="15" id="1208" />
+<TGConnectingPoint num="16" id="1209" />
+<TGConnectingPoint num="17" id="1210" />
+<TGConnectingPoint num="18" id="1211" />
+<TGConnectingPoint num="19" id="1212" />
+<TGConnectingPoint num="20" id="1213" />
+<TGConnectingPoint num="21" id="1214" />
+<TGConnectingPoint num="22" id="1215" />
+<TGConnectingPoint num="23" id="1216" />
+<extraparam>
+<CryptoBlock value="false" />
+<Signal value="out toto()" />
+<Signal value="out titi()" />
+</extraparam>
</COMPONENT>
-<COMPONENT type="5100" id="971" >
-<cdparam x="400" y="50" />
-<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<COMPONENT type="5000" id="1165" >
+<cdparam x="639" y="193" />
+<sizeparam width="250" height="200" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<TGConnectingPoint num="0" id="972" />
+<infoparam name="Block0" value="Bin" />
+<TGConnectingPoint num="0" id="1166" />
+<TGConnectingPoint num="1" id="1167" />
+<TGConnectingPoint num="2" id="1168" />
+<TGConnectingPoint num="3" id="1169" />
+<TGConnectingPoint num="4" id="1170" />
+<TGConnectingPoint num="5" id="1171" />
+<TGConnectingPoint num="6" id="1172" />
+<TGConnectingPoint num="7" id="1173" />
+<TGConnectingPoint num="8" id="1174" />
+<TGConnectingPoint num="9" id="1175" />
+<TGConnectingPoint num="10" id="1176" />
+<TGConnectingPoint num="11" id="1177" />
+<TGConnectingPoint num="12" id="1178" />
+<TGConnectingPoint num="13" id="1179" />
+<TGConnectingPoint num="14" id="1180" />
+<TGConnectingPoint num="15" id="1181" />
+<TGConnectingPoint num="16" id="1182" />
+<TGConnectingPoint num="17" id="1183" />
+<TGConnectingPoint num="18" id="1184" />
+<TGConnectingPoint num="19" id="1185" />
+<TGConnectingPoint num="20" id="1186" />
+<TGConnectingPoint num="21" id="1187" />
+<TGConnectingPoint num="22" id="1188" />
+<TGConnectingPoint num="23" id="1189" />
+<extraparam>
+<CryptoBlock value="false" />
+<Signal value="in toto()" />
+<Signal value="in titi()" />
+</extraparam>
</COMPONENT>
-<CONNECTOR type="5102" id="1058" >
-<cdparam x="407" y="70" />
+
+</AVATARBlockDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Bin" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="1505" >
+<cdparam x="537" y="280" />
<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="1059" />
-<P1 x="407" y="70" id="972" />
-<P2 x="415" y="139" id="1048" />
+<TGConnectingPoint num="0" id="1509" />
+<TGConnectingPoint num="1" id="1510" />
+<TGConnectingPoint num="2" id="1511" />
+<TGConnectingPoint num="3" id="1512" />
+<P1 x="537" y="280" id="1476" />
+<P2 x="482" y="142" id="1413" />
+<Point x="539" y="350" />
+<Point x="675" y="357" />
+<Point x="684" y="168" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1060" >
-<father id="1058" num="0" />
-<cdparam x="407" y="110" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1506" >
+<father id="1505" num="0" />
+<cdparam x="539" y="350" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1507" >
+<father id="1505" num="1" />
+<cdparam x="675" y="357" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1508" >
+<father id="1505" num="2" />
+<cdparam x="684" y="168" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1513" >
+<father id="1505" num="3" />
+<cdparam x="537" y="320" />
<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="1061" />
-<TGConnectingPoint num="1" id="1062" />
-<TGConnectingPoint num="2" id="1063" />
-<TGConnectingPoint num="3" id="1064" />
+<TGConnectingPoint num="0" id="1514" />
+<TGConnectingPoint num="1" id="1515" />
+<TGConnectingPoint num="2" id="1516" />
+<TGConnectingPoint num="3" id="1517" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2480,25 +2725,55 @@
</extraparam>
</SUBCOMPONENT>
-<CONNECTOR type="5102" id="1067" >
-<cdparam x="415" y="169" />
+<CONNECTOR type="5102" id="1492" >
+<cdparam x="345" y="270" />
<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="1068" />
-<P1 x="415" y="169" id="1049" />
-<P2 x="427" y="230" id="1066" />
+<TGConnectingPoint num="0" id="1496" />
+<TGConnectingPoint num="1" id="1497" />
+<TGConnectingPoint num="2" id="1498" />
+<TGConnectingPoint num="3" id="1499" />
+<P1 x="345" y="270" id="1458" />
+<P2 x="382" y="142" id="1412" />
+<Point x="351" y="360" />
+<Point x="217" y="360" />
+<Point x="227" y="145" />
<AutomaticDrawing data="true" />
-</CONNECTOR><SUBCOMPONENT type="-1" id="1069" >
-<father id="1067" num="0" />
-<cdparam x="415" y="209" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1493" >
+<father id="1492" num="0" />
+<cdparam x="351" y="360" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1494" >
+<father id="1492" num="1" />
+<cdparam x="217" y="360" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1495" >
+<father id="1492" num="2" />
+<cdparam x="227" y="145" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="1500" >
+<father id="1492" num="3" />
+<cdparam x="345" y="310" />
<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="1070" />
-<TGConnectingPoint num="1" id="1071" />
-<TGConnectingPoint num="2" id="1072" />
-<TGConnectingPoint num="3" id="1073" />
+<TGConnectingPoint num="0" id="1501" />
+<TGConnectingPoint num="1" id="1502" />
+<TGConnectingPoint num="2" id="1503" />
+<TGConnectingPoint num="3" id="1504" />
<extraparam>
<guard value="[ ]" />
<afterMin value="" />
@@ -2508,19 +2783,709 @@
</extraparam>
</SUBCOMPONENT>
+<COMPONENT type="5104" id="1474" >
+<cdparam x="517" y="255" />
+<sizeparam width="40" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Receive signal" value="titi()" />
+<TGConnectingPoint num="0" id="1475" />
+<TGConnectingPoint num="1" id="1476" />
+<TGConnectingPoint num="2" id="1477" />
+<TGConnectingPoint num="3" id="1478" />
+<TGConnectingPoint num="4" id="1479" />
+<TGConnectingPoint num="5" id="1480" />
+<TGConnectingPoint num="6" id="1481" />
+<TGConnectingPoint num="7" id="1482" />
+<TGConnectingPoint num="8" id="1483" />
+<TGConnectingPoint num="9" id="1484" />
+</COMPONENT>
-</AVATARStateMachineDiagramPanel>
+<COMPONENT type="5104" id="1456" >
+<cdparam x="321" y="245" />
+<sizeparam width="48" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Receive signal" value="toto()" />
+<TGConnectingPoint num="0" id="1457" />
+<TGConnectingPoint num="1" id="1458" />
+<TGConnectingPoint num="2" id="1459" />
+<TGConnectingPoint num="3" id="1460" />
+<TGConnectingPoint num="4" id="1461" />
+<TGConnectingPoint num="5" id="1462" />
+<TGConnectingPoint num="6" id="1463" />
+<TGConnectingPoint num="7" id="1464" />
+<TGConnectingPoint num="8" id="1465" />
+<TGConnectingPoint num="9" id="1466" />
+</COMPONENT>
-<AVATARStateMachineDiagramPanel name="Block1" minX="10" maxX="2500" minY="10" maxY="1500" >
-<COMPONENT type="5100" id="1025" >
+<COMPONENT type="5106" id="1408" >
+<cdparam x="382" y="117" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="State" value="WaitForSignal" />
+<TGConnectingPoint num="0" id="1409" />
+<TGConnectingPoint num="1" id="1410" />
+<TGConnectingPoint num="2" id="1411" />
+<TGConnectingPoint num="3" id="1412" />
+<TGConnectingPoint num="4" id="1413" />
+<TGConnectingPoint num="5" id="1414" />
+<TGConnectingPoint num="6" id="1415" />
+<TGConnectingPoint num="7" id="1416" />
+<TGConnectingPoint num="8" id="1417" />
+<TGConnectingPoint num="9" id="1418" />
+<TGConnectingPoint num="10" id="1419" />
+<TGConnectingPoint num="11" id="1420" />
+<TGConnectingPoint num="12" id="1421" />
+<TGConnectingPoint num="13" id="1422" />
+<TGConnectingPoint num="14" id="1423" />
+<TGConnectingPoint num="15" id="1424" />
+<TGConnectingPoint num="16" id="1425" />
+<TGConnectingPoint num="17" id="1426" />
+<TGConnectingPoint num="18" id="1427" />
+<TGConnectingPoint num="19" id="1428" />
+<TGConnectingPoint num="20" id="1429" />
+<TGConnectingPoint num="21" id="1430" />
+<TGConnectingPoint num="22" id="1431" />
+<TGConnectingPoint num="23" id="1432" />
+<TGConnectingPoint num="24" id="1433" />
+<TGConnectingPoint num="25" id="1434" />
+<TGConnectingPoint num="26" id="1435" />
+<TGConnectingPoint num="27" id="1436" />
+<TGConnectingPoint num="28" id="1437" />
+<TGConnectingPoint num="29" id="1438" />
+<TGConnectingPoint num="30" id="1439" />
+<TGConnectingPoint num="31" id="1440" />
+<TGConnectingPoint num="32" id="1441" />
+<TGConnectingPoint num="33" id="1442" />
+<TGConnectingPoint num="34" id="1443" />
+<TGConnectingPoint num="35" id="1444" />
+<TGConnectingPoint num="36" id="1445" />
+<TGConnectingPoint num="37" id="1446" />
+<TGConnectingPoint num="38" id="1447" />
+<TGConnectingPoint num="39" id="1448" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5100" id="1190" >
<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="1026" />
+<TGConnectingPoint num="0" id="1191" />
+</COMPONENT>
+
+<CONNECTOR type="5102" id="1449" >
+<cdparam x="407" y="70" />
+<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="1450" />
+<P1 x="407" y="70" id="1191" />
+<P2 x="407" y="117" id="1417" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1451" >
+<father id="1449" num="0" />
+<cdparam x="407" y="110" />
+<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="1452" />
+<TGConnectingPoint num="1" id="1453" />
+<TGConnectingPoint num="2" id="1454" />
+<TGConnectingPoint num="3" id="1455" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1467" >
+<cdparam x="382" y="167" />
+<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="1468" />
+<P1 x="382" y="167" id="1414" />
+<P2 x="345" y="240" id="1457" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1469" >
+<father id="1467" num="0" />
+<cdparam x="382" y="207" />
+<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="1470" />
+<TGConnectingPoint num="1" id="1471" />
+<TGConnectingPoint num="2" id="1472" />
+<TGConnectingPoint num="3" id="1473" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1485" >
+<cdparam x="482" y="167" />
+<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="1486" />
+<P1 x="482" y="167" id="1416" />
+<P2 x="537" y="250" id="1475" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1487" >
+<father id="1485" num="0" />
+<cdparam x="482" y="207" />
+<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="1488" />
+<TGConnectingPoint num="1" id="1489" />
+<TGConnectingPoint num="2" id="1490" />
+<TGConnectingPoint num="3" id="1491" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Bout" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="1401" >
+<cdparam x="431" y="395" />
+<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="1402" />
+<P1 x="431" y="395" id="1276" />
+<P2 x="430" y="482" id="1362" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1403" >
+<father id="1401" num="0" />
+<cdparam x="431" y="435" />
+<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="1404" />
+<TGConnectingPoint num="1" id="1405" />
+<TGConnectingPoint num="2" id="1406" />
+<TGConnectingPoint num="3" id="1407" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5106" id="1360" >
+<cdparam x="380" y="482" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="State" value="Wait4Sending" />
+<TGConnectingPoint num="0" id="1361" />
+<TGConnectingPoint num="1" id="1362" />
+<TGConnectingPoint num="2" id="1363" />
+<TGConnectingPoint num="3" id="1364" />
+<TGConnectingPoint num="4" id="1365" />
+<TGConnectingPoint num="5" id="1366" />
+<TGConnectingPoint num="6" id="1367" />
+<TGConnectingPoint num="7" id="1368" />
+<TGConnectingPoint num="8" id="1369" />
+<TGConnectingPoint num="9" id="1370" />
+<TGConnectingPoint num="10" id="1371" />
+<TGConnectingPoint num="11" id="1372" />
+<TGConnectingPoint num="12" id="1373" />
+<TGConnectingPoint num="13" id="1374" />
+<TGConnectingPoint num="14" id="1375" />
+<TGConnectingPoint num="15" id="1376" />
+<TGConnectingPoint num="16" id="1377" />
+<TGConnectingPoint num="17" id="1378" />
+<TGConnectingPoint num="18" id="1379" />
+<TGConnectingPoint num="19" id="1380" />
+<TGConnectingPoint num="20" id="1381" />
+<TGConnectingPoint num="21" id="1382" />
+<TGConnectingPoint num="22" id="1383" />
+<TGConnectingPoint num="23" id="1384" />
+<TGConnectingPoint num="24" id="1385" />
+<TGConnectingPoint num="25" id="1386" />
+<TGConnectingPoint num="26" id="1387" />
+<TGConnectingPoint num="27" id="1388" />
+<TGConnectingPoint num="28" id="1389" />
+<TGConnectingPoint num="29" id="1390" />
+<TGConnectingPoint num="30" id="1391" />
+<TGConnectingPoint num="31" id="1392" />
+<TGConnectingPoint num="32" id="1393" />
+<TGConnectingPoint num="33" id="1394" />
+<TGConnectingPoint num="34" id="1395" />
+<TGConnectingPoint num="35" id="1396" />
+<TGConnectingPoint num="36" id="1397" />
+<TGConnectingPoint num="37" id="1398" />
+<TGConnectingPoint num="38" id="1399" />
+<TGConnectingPoint num="39" id="1400" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="5102" id="1353" >
+<cdparam x="561" y="254" />
+<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="1354" />
+<P1 x="561" y="254" id="1330" />
+<P2 x="481" y="363" id="1293" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1355" >
+<father id="1353" num="0" />
+<cdparam x="561" y="294" />
+<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="1356" />
+<TGConnectingPoint num="1" id="1357" />
+<TGConnectingPoint num="2" id="1358" />
+<TGConnectingPoint num="3" id="1359" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1346" >
+<cdparam x="316" y="255" />
+<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="1347" />
+<P1 x="316" y="255" id="1312" />
+<P2 x="381" y="357" id="1280" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1348" >
+<father id="1346" num="0" />
+<cdparam x="316" y="295" />
+<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="1349" />
+<TGConnectingPoint num="1" id="1350" />
+<TGConnectingPoint num="2" id="1351" />
+<TGConnectingPoint num="3" id="1352" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5103" id="1328" >
+<cdparam x="545" y="229" />
+<sizeparam width="32" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Send signal" value="titi()" />
+<TGConnectingPoint num="0" id="1329" />
+<TGConnectingPoint num="1" id="1330" />
+<TGConnectingPoint num="2" id="1331" />
+<TGConnectingPoint num="3" id="1332" />
+<TGConnectingPoint num="4" id="1333" />
+<TGConnectingPoint num="5" id="1334" />
+<TGConnectingPoint num="6" id="1335" />
+<TGConnectingPoint num="7" id="1336" />
+<TGConnectingPoint num="8" id="1337" />
+<TGConnectingPoint num="9" id="1338" />
+</COMPONENT>
+
+<COMPONENT type="5103" id="1310" >
+<cdparam x="296" y="230" />
+<sizeparam width="40" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Send signal" value="toto()" />
+<TGConnectingPoint num="0" id="1311" />
+<TGConnectingPoint num="1" id="1312" />
+<TGConnectingPoint num="2" id="1313" />
+<TGConnectingPoint num="3" id="1314" />
+<TGConnectingPoint num="4" id="1315" />
+<TGConnectingPoint num="5" id="1316" />
+<TGConnectingPoint num="6" id="1317" />
+<TGConnectingPoint num="7" id="1318" />
+<TGConnectingPoint num="8" id="1319" />
+<TGConnectingPoint num="9" id="1320" />
+</COMPONENT>
+
+<COMPONENT type="5106" id="1269" >
+<cdparam x="381" y="345" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="State" value="Sent" />
+<TGConnectingPoint num="0" id="1270" />
+<TGConnectingPoint num="1" id="1271" />
+<TGConnectingPoint num="2" id="1272" />
+<TGConnectingPoint num="3" id="1273" />
+<TGConnectingPoint num="4" id="1274" />
+<TGConnectingPoint num="5" id="1275" />
+<TGConnectingPoint num="6" id="1276" />
+<TGConnectingPoint num="7" id="1277" />
+<TGConnectingPoint num="8" id="1278" />
+<TGConnectingPoint num="9" id="1279" />
+<TGConnectingPoint num="10" id="1280" />
+<TGConnectingPoint num="11" id="1281" />
+<TGConnectingPoint num="12" id="1282" />
+<TGConnectingPoint num="13" id="1283" />
+<TGConnectingPoint num="14" id="1284" />
+<TGConnectingPoint num="15" id="1285" />
+<TGConnectingPoint num="16" id="1286" />
+<TGConnectingPoint num="17" id="1287" />
+<TGConnectingPoint num="18" id="1288" />
+<TGConnectingPoint num="19" id="1289" />
+<TGConnectingPoint num="20" id="1290" />
+<TGConnectingPoint num="21" id="1291" />
+<TGConnectingPoint num="22" id="1292" />
+<TGConnectingPoint num="23" id="1293" />
+<TGConnectingPoint num="24" id="1294" />
+<TGConnectingPoint num="25" id="1295" />
+<TGConnectingPoint num="26" id="1296" />
+<TGConnectingPoint num="27" id="1297" />
+<TGConnectingPoint num="28" id="1298" />
+<TGConnectingPoint num="29" id="1299" />
+<TGConnectingPoint num="30" id="1300" />
+<TGConnectingPoint num="31" id="1301" />
+<TGConnectingPoint num="32" id="1302" />
+<TGConnectingPoint num="33" id="1303" />
+<TGConnectingPoint num="34" id="1304" />
+<TGConnectingPoint num="35" id="1305" />
+<TGConnectingPoint num="36" id="1306" />
+<TGConnectingPoint num="37" id="1307" />
+<TGConnectingPoint num="38" id="1308" />
+<TGConnectingPoint num="39" id="1309" />
+<accessibility />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5106" id="1221" >
+<cdparam x="398" y="130" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="State" value="Wait4Sending" />
+<TGConnectingPoint num="0" id="1222" />
+<TGConnectingPoint num="1" id="1223" />
+<TGConnectingPoint num="2" id="1224" />
+<TGConnectingPoint num="3" id="1225" />
+<TGConnectingPoint num="4" id="1226" />
+<TGConnectingPoint num="5" id="1227" />
+<TGConnectingPoint num="6" id="1228" />
+<TGConnectingPoint num="7" id="1229" />
+<TGConnectingPoint num="8" id="1230" />
+<TGConnectingPoint num="9" id="1231" />
+<TGConnectingPoint num="10" id="1232" />
+<TGConnectingPoint num="11" id="1233" />
+<TGConnectingPoint num="12" id="1234" />
+<TGConnectingPoint num="13" id="1235" />
+<TGConnectingPoint num="14" id="1236" />
+<TGConnectingPoint num="15" id="1237" />
+<TGConnectingPoint num="16" id="1238" />
+<TGConnectingPoint num="17" id="1239" />
+<TGConnectingPoint num="18" id="1240" />
+<TGConnectingPoint num="19" id="1241" />
+<TGConnectingPoint num="20" id="1242" />
+<TGConnectingPoint num="21" id="1243" />
+<TGConnectingPoint num="22" id="1244" />
+<TGConnectingPoint num="23" id="1245" />
+<TGConnectingPoint num="24" id="1246" />
+<TGConnectingPoint num="25" id="1247" />
+<TGConnectingPoint num="26" id="1248" />
+<TGConnectingPoint num="27" id="1249" />
+<TGConnectingPoint num="28" id="1250" />
+<TGConnectingPoint num="29" id="1251" />
+<TGConnectingPoint num="30" id="1252" />
+<TGConnectingPoint num="31" id="1253" />
+<TGConnectingPoint num="32" id="1254" />
+<TGConnectingPoint num="33" id="1255" />
+<TGConnectingPoint num="34" id="1256" />
+<TGConnectingPoint num="35" id="1257" />
+<TGConnectingPoint num="36" id="1258" />
+<TGConnectingPoint num="37" id="1259" />
+<TGConnectingPoint num="38" id="1260" />
+<TGConnectingPoint num="39" id="1261" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5100" id="1217" >
+<cdparam x="415" y="87" />
+<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="1218" />
+</COMPONENT>
+
+<CONNECTOR type="5102" id="1262" >
+<cdparam x="422" y="107" />
+<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="1263" />
+<P1 x="422" y="107" id="1218" />
+<P2 x="423" y="130" id="1230" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1264" >
+<father id="1262" num="0" />
+<cdparam x="422" y="147" />
+<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="1265" />
+<TGConnectingPoint num="1" id="1266" />
+<TGConnectingPoint num="2" id="1267" />
+<TGConnectingPoint num="3" id="1268" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1321" >
+<cdparam x="398" y="180" />
+<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="1322" />
+<P1 x="398" y="180" id="1227" />
+<P2 x="316" y="225" id="1311" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1323" >
+<father id="1321" num="0" />
+<cdparam x="275" y="205" />
+<sizeparam width="67" 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="1324" />
+<TGConnectingPoint num="1" id="1325" />
+<TGConnectingPoint num="2" id="1326" />
+<TGConnectingPoint num="3" id="1327" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="5" />
+<afterMax value="15" />
+<computeMin value="" />
+<computeMax value="" />
+<filesToIncludeLine value="" />
+<codeToIncludeLine value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="5102" id="1339" >
+<cdparam x="498" y="180" />
+<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="1340" />
+<P1 x="498" y="180" id="1229" />
+<P2 x="561" y="224" id="1329" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="1341" >
+<father id="1339" num="0" />
+<cdparam x="536" y="198" />
+<sizeparam width="67" 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="1342" />
+<TGConnectingPoint num="1" id="1343" />
+<TGConnectingPoint num="2" id="1344" />
+<TGConnectingPoint num="3" id="1345" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="7" />
+<afterMax value="18" />
+<computeMin value="" />
+<computeMax value="" />
+<filesToIncludeLine value="" />
+<codeToIncludeLine value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</AVATARStateMachineDiagramPanel>
+
+<AVATARStateMachineDiagramPanel name="Independent" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="5102" id="3272" >
+<cdparam x="416" 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="3276" />
+<TGConnectingPoint num="1" id="3277" />
+<TGConnectingPoint num="2" id="3278" />
+<TGConnectingPoint num="3" id="3279" />
+<P1 x="416" y="190" id="3254" />
+<P2 x="479" y="171" id="3251" />
+<Point x="424" y="331" />
+<Point x="522" y="332" />
+<Point x="572" y="182" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="3273" >
+<father id="3272" num="0" />
+<cdparam x="424" y="331" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="3274" >
+<father id="3272" num="1" />
+<cdparam x="522" y="332" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="3275" >
+<father id="3272" num="2" />
+<cdparam x="572" y="182" />
+<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="point " value="null" />
+</SUBCOMPONENT>
+<SUBCOMPONENT type="-1" id="3280" >
+<father id="3272" num="3" />
+<cdparam x="431" y="233" />
+<sizeparam width="75" 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="3281" />
+<TGConnectingPoint num="1" id="3282" />
+<TGConnectingPoint num="2" id="3283" />
+<TGConnectingPoint num="3" id="3284" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="40" />
+<afterMax value="45" />
+<computeMin value="" />
+<computeMax value="" />
+<actions value="x = y" />
+<filesToIncludeLine value="" />
+<codeToIncludeLine value="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="5106" id="3224" >
+<cdparam x="379" y="140" />
+<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="State" value="Main" />
+<TGConnectingPoint num="0" id="3225" />
+<TGConnectingPoint num="1" id="3226" />
+<TGConnectingPoint num="2" id="3227" />
+<TGConnectingPoint num="3" id="3228" />
+<TGConnectingPoint num="4" id="3229" />
+<TGConnectingPoint num="5" id="3230" />
+<TGConnectingPoint num="6" id="3231" />
+<TGConnectingPoint num="7" id="3232" />
+<TGConnectingPoint num="8" id="3233" />
+<TGConnectingPoint num="9" id="3234" />
+<TGConnectingPoint num="10" id="3235" />
+<TGConnectingPoint num="11" id="3236" />
+<TGConnectingPoint num="12" id="3237" />
+<TGConnectingPoint num="13" id="3238" />
+<TGConnectingPoint num="14" id="3239" />
+<TGConnectingPoint num="15" id="3240" />
+<TGConnectingPoint num="16" id="3241" />
+<TGConnectingPoint num="17" id="3242" />
+<TGConnectingPoint num="18" id="3243" />
+<TGConnectingPoint num="19" id="3244" />
+<TGConnectingPoint num="20" id="3245" />
+<TGConnectingPoint num="21" id="3246" />
+<TGConnectingPoint num="22" id="3247" />
+<TGConnectingPoint num="23" id="3248" />
+<TGConnectingPoint num="24" id="3249" />
+<TGConnectingPoint num="25" id="3250" />
+<TGConnectingPoint num="26" id="3251" />
+<TGConnectingPoint num="27" id="3252" />
+<TGConnectingPoint num="28" id="3253" />
+<TGConnectingPoint num="29" id="3254" />
+<TGConnectingPoint num="30" id="3255" />
+<TGConnectingPoint num="31" id="3256" />
+<TGConnectingPoint num="32" id="3257" />
+<TGConnectingPoint num="33" id="3258" />
+<TGConnectingPoint num="34" id="3259" />
+<TGConnectingPoint num="35" id="3260" />
+<TGConnectingPoint num="36" id="3261" />
+<TGConnectingPoint num="37" id="3262" />
+<TGConnectingPoint num="38" id="3263" />
+<TGConnectingPoint num="39" id="3264" />
+<extraparam>
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="5100" id="3222" >
+<cdparam x="399" y="99" />
+<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="3223" />
</COMPONENT>
+<CONNECTOR type="5102" id="3265" >
+<cdparam x="406" y="119" />
+<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="3266" />
+<P1 x="406" y="119" id="3223" />
+<P2 x="404" y="140" id="3233" />
+<AutomaticDrawing data="true" />
+</CONNECTOR><SUBCOMPONENT type="-1" id="3267" >
+<father id="3265" num="0" />
+<cdparam x="406" y="159" />
+<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="3268" />
+<TGConnectingPoint num="1" id="3269" />
+<TGConnectingPoint num="2" id="3270" />
+<TGConnectingPoint num="3" id="3271" />
+<extraparam>
+<guard value="[ ]" />
+<afterMin value="" />
+<afterMax value="" />
+<computeMin value="" />
+<computeMax value="" />
+</extraparam>
+</SUBCOMPONENT>
+
</AVATARStateMachineDiagramPanel>
diff --git a/src/avatartranslator/modelchecker/AvatarModelChecker.java b/src/avatartranslator/modelchecker/AvatarModelChecker.java
index c74959eef8..74ebea60c8 100644
--- a/src/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -159,7 +159,7 @@ public class AvatarModelChecker extends Runnable {
// For each block, get the list of possible transactions
// For each realizable transition
- // Make it, rest clock of the involved blocks to 0, increase hmin/hmax of each block
+ // Make it, reset clock of the involved blocks to 0, increase hmin/hmax of each block
// compute new state, and compare with existing ones
// If not a new state, create the link rom the previsou state to the new one
// Otherwise create the new state and its link, and add it to the pending list of states
diff --git a/src/avatartranslator/modelchecker/SpecificationBlock.java b/src/avatartranslator/modelchecker/SpecificationBlock.java
index 0164a7157d..49c0a0ea01 100644
--- a/src/avatartranslator/modelchecker/SpecificationBlock.java
+++ b/src/avatartranslator/modelchecker/SpecificationBlock.java
@@ -64,4 +64,7 @@ public class SpecificationBlock {
return values.hashCode();
}
+ public void setInit() {
+ }
+
}
diff --git a/src/ui/JToolBarMainTurtle.java b/src/ui/JToolBarMainTurtle.java
index 4f770d38bc..5d5d7eacef 100755
--- a/src/ui/JToolBarMainTurtle.java
+++ b/src/ui/JToolBarMainTurtle.java
@@ -59,12 +59,12 @@ import myutil.*;
public class JToolBarMainTurtle extends JToolBar implements ActionListener {
// Avatar
- JButton avatarSimu, avatarFVUPPAAL, avatarFVProVerif, avatarFVStaticAnalysis, avatarCodeGeneration;
+ JButton avatarSimu, avatarFVUPPAAL, avatarFVProVerif, avatarFVStaticAnalysis, avatarCodeGeneration, avatarMC;
// Other
JButton genrtlotos, genlotos, genuppaal, gendesign;
JButton checkcode, simulation, validation;
- JButton oneClickrtlotos, onclicklotos, gensystemc, simusystemc, gentml, genC, genjava, nc,externalSearch,internalSearch;
+ JButton oneClickrtlotos, onclicklotos, gensystemc, simusystemc, gentml, genC, genjava, nc,externalSearch, internalSearch;
JTextField search;
@@ -152,6 +152,10 @@ public class JToolBarMainTurtle extends JToolBar implements ActionListener
addSeparator();
+ if (MainGUI.experimentalOn) {
+ avatarMC = add(mgui.actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER]);
+ avatarMC.addMouseListener(mgui.mouseHandler);
+ }
avatarFVUPPAAL = add(mgui.actions[TGUIAction.ACT_AVATAR_FV_UPPAAL]);
avatarFVUPPAAL.addMouseListener(mgui.mouseHandler);
if (MainGUI.proverifOn) {
diff --git a/src/ui/MainGUI.java b/src/ui/MainGUI.java
index 8fd8db4fb1..10930e3be7 100755
--- a/src/ui/MainGUI.java
+++ b/src/ui/MainGUI.java
@@ -680,6 +680,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
break;
case MODEL_PROVERIF_OK:
actions[TGUIAction.ACT_GEN_PROVERIF].setEnabled(true);
+
break;
case EDIT_PROVERIF_OK:
actions[TGUIAction.ACT_VIEW_RTLOTOS].setEnabled(true);
@@ -701,6 +702,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
actions[TGUIAction.ACT_AVATAR_FV_PROVERIF].setEnabled(true);
actions[TGUIAction.ACT_AVATAR_FV_STATICANALYSIS].setEnabled(true);
actions[TGUIAction.ACT_AVATAR_EXECUTABLE_GENERATION].setEnabled(true);
+ actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].setEnabled(true);
break;
case ATTACKTREE_SYNTAXCHECKING_OK:
actions[TGUIAction.ACT_AVATAR_SIM].setEnabled(true);
@@ -741,6 +743,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
actions[TGUIAction.ACT_GEN_AUTS].setEnabled(false);
actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(false);
actions[TGUIAction.ACT_GEN_PROVERIF].setEnabled(false);
+ actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].setEnabled(false);
actions[TGUIAction.ACT_CHECKCODE].setEnabled(false);
actions[TGUIAction.ACT_SIMULATION].setEnabled(false);
actions[TGUIAction.ACT_VALIDATION].setEnabled(false);
@@ -765,6 +768,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
actions[TGUIAction.ACT_GEN_CCODE].setEnabled(false);
actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(false);
actions[TGUIAction.ACT_GEN_PROVERIF].setEnabled(false);
+ actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].setEnabled(false);
actions[TGUIAction.ACT_GEN_AUT].setEnabled(false);
actions[TGUIAction.ACT_GEN_AUTS].setEnabled(false);
actions[TGUIAction.ACT_PROJECTION].setEnabled(false);
@@ -783,6 +787,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
actions[TGUIAction.ACT_GEN_AUTS].setEnabled(false);
actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(false);
actions[TGUIAction.ACT_GEN_PROVERIF].setEnabled(false);
+ actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].setEnabled(false);
actions[TGUIAction.ACT_CHECKCODE].setEnabled(false);
actions[TGUIAction.ACT_SIMULATION].setEnabled(false);
actions[TGUIAction.ACT_VALIDATION].setEnabled(false);
@@ -4163,6 +4168,11 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
}
}
+ public void avatarModelChecker() {
+ TraceManager.addDev("Execute avatar model checker");
+
+ }
+
public void generateProVerif() {
TraceManager.addDev("Generate ProVerif!");
@@ -8031,6 +8041,8 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
generateUPPAAL();
} else if (command.equals(actions[TGUIAction.ACT_GEN_PROVERIF].getActionCommand())) {
generateProVerif();
+ } else if (command.equals(actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].getActionCommand())) {
+ avatarModelChecker();
} else if (command.equals(actions[TGUIAction.ACT_GEN_JAVA].getActionCommand())) {
generateJava();
} else if (command.equals(actions[TGUIAction.ACT_SIMU_JAVA].getActionCommand())) {
diff --git a/src/ui/TGUIAction.java b/src/ui/TGUIAction.java
index 3b2d79bc07..27f1ffbf86 100755
--- a/src/ui/TGUIAction.java
+++ b/src/ui/TGUIAction.java
@@ -450,6 +450,7 @@ public class TGUIAction extends AbstractAction {
public static final int ACT_GEN_LOTOS = 155;
public static final int ACT_GEN_UPPAAL = 204;
public static final int ACT_GEN_PROVERIF = 331;
+ public static final int ACT_AVATAR_MODEL_CHECKER = 433;
public static final int ACT_GEN_JAVA = 112;
public static final int ACT_SIMU_JAVA = 167;
public static final int ACT_GEN_SYSTEMC = 148;
@@ -577,7 +578,7 @@ public class TGUIAction extends AbstractAction {
public static final int ACT_INTERNAL_SEARCH = 415;
//--
- public static final int NB_ACTION = 500;
+ public static final int NB_ACTION = 434;
private static final TAction [] actions = new TAction[NB_ACTION];
@@ -681,6 +682,7 @@ public class TGUIAction extends AbstractAction {
actions[ACT_ONECLICK_RTLOTOS_RG] = new TAction("gen_rgrtlotos-command", "Generate RT-LOTOS-based RG", IconManager.imgic342, IconManager.imgic342, "Generate RT-LOTOS-based RG ", "Generates an RT-LOTOS-based RG from TTool diagrams", '0');
actions[ACT_GEN_UPPAAL] = new TAction("gen_uppaal-command", "Generate UPPAAL", IconManager.imgic92, IconManager.imgic92, "Generate UPPAAL specification", "Generates a UPPAAL specification from TTool diagrams", '0');
actions[ACT_GEN_PROVERIF] = new TAction("gen_proverif-command", "Generate ProVerif Code", IconManager.imgic34, IconManager.imgic35, "Generate ProVerif specification", "Generates a ProVerif specification from AVATAR diagrams", '0');
+ actions[ACT_AVATAR_MODEL_CHECKER] = new TAction("avatar-model-checker", "Avatar model checker", IconManager.imgic34, IconManager.imgic35, "Avatar model checker", "Executes the AVATAR model checker from an AVATAR design", '0');
actions[ACT_GEN_JAVA] = new TAction("gen_java-command", "Generate JAVA", IconManager.imgic38, IconManager.imgic39, "Generate JAVA", "Generates Java code from TURTLE diagrams", 0);
actions[ACT_SIMU_JAVA] = new TAction("gen_simujava-command", "Java-based simulation", IconManager.imgic38, IconManager.imgic39, "JAVA-based simualtion", "Simulate diagrams using Java language", 0);
//@author: Huy TRUONG
--
GitLab