diff --git a/modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml b/modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml index 4dd4c46a68bd82e8571468424a88d4a258fb5ddd..34d1a368a65f08394de8e7d800fc0058c2208499 100644 --- a/modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml +++ b/modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml @@ -5041,7 +5041,7 @@ or by a maintenance station <MainCode value=""/> <MainCode value="}"/> <Optimized value="true" /> -<Validated value="ObserverProp1;RemotelyControlledMicrowave;RemoteControl;MicroWaveOven;Bell;ControlPanel;Controller;Magnetron;Door;WirelessInterface;" /> +<Validated value="ObserverProp1;RemotelyControlledMicrowave;MicroWaveOven;WirelessInterface;Door;Magnetron;Controller;ControlPanel;Bell;RemoteControl;" /> <Ignored value="" /> <CONNECTOR type="5002" id="2650" > @@ -6343,8 +6343,8 @@ or by a maintenance station <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> <TGConnectingPoint num="0" id="3214" /> -<P1 x="407" y="70" id="3257" /> -<P2 x="451" y="106" id="3217" /> +<P1 x="407" y="70" id="3314" /> +<P2 x="451" y="106" id="3274" /> <AutomaticDrawing data="true" /> </CONNECTOR><SUBCOMPONENT type="-1" id="3213" > <father id="3215" num="0" /> @@ -6366,88 +6366,203 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="3256" > -<cdparam x="396" y="106" /> -<sizeparam width="111" height="42" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<CONNECTOR type="5102" id="3222" > +<cdparam x="507" y="148" /> +<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="3221" /> +<P1 x="507" y="148" id="3280" /> +<P2 x="525" y="187" id="3232" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3220" > +<father id="3222" num="0" /> +<cdparam x="507" y="188" /> +<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> -<infoparam name="state0" value="Running" /> +<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> <TGConnectingPoint num="0" id="3216" /> <TGConnectingPoint num="1" id="3217" /> <TGConnectingPoint num="2" id="3218" /> <TGConnectingPoint num="3" id="3219" /> -<TGConnectingPoint num="4" id="3220" /> -<TGConnectingPoint num="5" id="3221" /> -<TGConnectingPoint num="6" id="3222" /> -<TGConnectingPoint num="7" id="3223" /> -<TGConnectingPoint num="8" id="3224" /> -<TGConnectingPoint num="9" id="3225" /> -<TGConnectingPoint num="10" id="3226" /> -<TGConnectingPoint num="11" id="3227" /> -<TGConnectingPoint num="12" id="3228" /> -<TGConnectingPoint num="13" id="3229" /> -<TGConnectingPoint num="14" id="3230" /> -<TGConnectingPoint num="15" id="3231" /> -<TGConnectingPoint num="16" id="3232" /> -<TGConnectingPoint num="17" id="3233" /> -<TGConnectingPoint num="18" id="3234" /> -<TGConnectingPoint num="19" id="3235" /> -<TGConnectingPoint num="20" id="3236" /> -<TGConnectingPoint num="21" id="3237" /> -<TGConnectingPoint num="22" id="3238" /> -<TGConnectingPoint num="23" id="3239" /> -<TGConnectingPoint num="24" id="3240" /> -<TGConnectingPoint num="25" id="3241" /> -<TGConnectingPoint num="26" id="3242" /> -<TGConnectingPoint num="27" id="3243" /> -<TGConnectingPoint num="28" id="3244" /> -<TGConnectingPoint num="29" id="3245" /> -<TGConnectingPoint num="30" id="3246" /> -<TGConnectingPoint num="31" id="3247" /> -<TGConnectingPoint num="32" id="3248" /> -<TGConnectingPoint num="33" id="3249" /> -<TGConnectingPoint num="34" id="3250" /> -<TGConnectingPoint num="35" id="3251" /> -<TGConnectingPoint num="36" id="3252" /> -<TGConnectingPoint num="37" id="3253" /> -<TGConnectingPoint num="38" id="3254" /> -<TGConnectingPoint num="39" id="3255" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5100" id="3258" > +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="3229" > +<cdparam x="625" y="237" /> +<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="3228" /> +<P1 x="625" y="237" id="3239" /> +<P2 x="631" y="286" id="3230" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3227" > +<father id="3229" num="0" /> +<cdparam x="625" y="277" /> +<sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> +<infoparam name="List of all parameters of an Avatar SMD transition" value="" /> +<TGConnectingPoint num="0" id="3223" /> +<TGConnectingPoint num="1" id="3224" /> +<TGConnectingPoint num="2" id="3225" /> +<TGConnectingPoint num="3" id="3226" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<COMPONENT type="5101" id="3231" > +<cdparam x="621" y="291" /> +<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> +<infoparam name="stop state" value="null" /> +<TGConnectingPoint num="0" id="3230" /> +</COMPONENT> + +<COMPONENT type="5106" id="3272" > +<cdparam x="525" y="187" /> +<sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> +<infoparam name="State" value="testState" /> +<TGConnectingPoint num="0" id="3232" /> +<TGConnectingPoint num="1" id="3233" /> +<TGConnectingPoint num="2" id="3234" /> +<TGConnectingPoint num="3" id="3235" /> +<TGConnectingPoint num="4" id="3236" /> +<TGConnectingPoint num="5" id="3237" /> +<TGConnectingPoint num="6" id="3238" /> +<TGConnectingPoint num="7" id="3239" /> +<TGConnectingPoint num="8" id="3240" /> +<TGConnectingPoint num="9" id="3241" /> +<TGConnectingPoint num="10" id="3242" /> +<TGConnectingPoint num="11" id="3243" /> +<TGConnectingPoint num="12" id="3244" /> +<TGConnectingPoint num="13" id="3245" /> +<TGConnectingPoint num="14" id="3246" /> +<TGConnectingPoint num="15" id="3247" /> +<TGConnectingPoint num="16" id="3248" /> +<TGConnectingPoint num="17" id="3249" /> +<TGConnectingPoint num="18" id="3250" /> +<TGConnectingPoint num="19" id="3251" /> +<TGConnectingPoint num="20" id="3252" /> +<TGConnectingPoint num="21" id="3253" /> +<TGConnectingPoint num="22" id="3254" /> +<TGConnectingPoint num="23" id="3255" /> +<TGConnectingPoint num="24" id="3256" /> +<TGConnectingPoint num="25" id="3257" /> +<TGConnectingPoint num="26" id="3258" /> +<TGConnectingPoint num="27" id="3259" /> +<TGConnectingPoint num="28" id="3260" /> +<TGConnectingPoint num="29" id="3261" /> +<TGConnectingPoint num="30" id="3262" /> +<TGConnectingPoint num="31" id="3263" /> +<TGConnectingPoint num="32" id="3264" /> +<TGConnectingPoint num="33" id="3265" /> +<TGConnectingPoint num="34" id="3266" /> +<TGConnectingPoint num="35" id="3267" /> +<TGConnectingPoint num="36" id="3268" /> +<TGConnectingPoint num="37" id="3269" /> +<TGConnectingPoint num="38" id="3270" /> +<TGConnectingPoint num="39" id="3271" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5106" id="3313" > +<cdparam x="396" y="106" /> +<sizeparam width="111" height="42" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> +<infoparam name="state0" value="Running" /> +<TGConnectingPoint num="0" id="3273" /> +<TGConnectingPoint num="1" id="3274" /> +<TGConnectingPoint num="2" id="3275" /> +<TGConnectingPoint num="3" id="3276" /> +<TGConnectingPoint num="4" id="3277" /> +<TGConnectingPoint num="5" id="3278" /> +<TGConnectingPoint num="6" id="3279" /> +<TGConnectingPoint num="7" id="3280" /> +<TGConnectingPoint num="8" id="3281" /> +<TGConnectingPoint num="9" id="3282" /> +<TGConnectingPoint num="10" id="3283" /> +<TGConnectingPoint num="11" id="3284" /> +<TGConnectingPoint num="12" id="3285" /> +<TGConnectingPoint num="13" id="3286" /> +<TGConnectingPoint num="14" id="3287" /> +<TGConnectingPoint num="15" id="3288" /> +<TGConnectingPoint num="16" id="3289" /> +<TGConnectingPoint num="17" id="3290" /> +<TGConnectingPoint num="18" id="3291" /> +<TGConnectingPoint num="19" id="3292" /> +<TGConnectingPoint num="20" id="3293" /> +<TGConnectingPoint num="21" id="3294" /> +<TGConnectingPoint num="22" id="3295" /> +<TGConnectingPoint num="23" id="3296" /> +<TGConnectingPoint num="24" id="3297" /> +<TGConnectingPoint num="25" id="3298" /> +<TGConnectingPoint num="26" id="3299" /> +<TGConnectingPoint num="27" id="3300" /> +<TGConnectingPoint num="28" id="3301" /> +<TGConnectingPoint num="29" id="3302" /> +<TGConnectingPoint num="30" id="3303" /> +<TGConnectingPoint num="31" id="3304" /> +<TGConnectingPoint num="32" id="3305" /> +<TGConnectingPoint num="33" id="3306" /> +<TGConnectingPoint num="34" id="3307" /> +<TGConnectingPoint num="35" id="3308" /> +<TGConnectingPoint num="36" id="3309" /> +<TGConnectingPoint num="37" id="3310" /> +<TGConnectingPoint num="38" id="3311" /> +<TGConnectingPoint num="39" id="3312" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5100" id="3315" > <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="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="3257" /> +<TGConnectingPoint num="0" id="3314" /> </COMPONENT> </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="WirelessInterface" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="3265" > +<CONNECTOR type="5102" id="3322" > <cdparam x="447" y="399" /> <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="3264" /> -<P1 x="447" y="399" id="3300" /> -<P2 x="474" y="432" id="3335" /> +<TGConnectingPoint num="0" id="3321" /> +<P1 x="447" y="399" id="3357" /> +<P2 x="474" y="432" id="3392" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3263" > -<father id="3265" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3320" > +<father id="3322" num="0" /> <cdparam x="447" y="439" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3259" /> -<TGConnectingPoint num="1" id="3260" /> -<TGConnectingPoint num="2" id="3261" /> -<TGConnectingPoint num="3" id="3262" /> +<TGConnectingPoint num="0" id="3316" /> +<TGConnectingPoint num="1" id="3317" /> +<TGConnectingPoint num="2" id="3318" /> +<TGConnectingPoint num="3" id="3319" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6457,25 +6572,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3272" > +<CONNECTOR type="5102" id="3329" > <cdparam x="491" y="459" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to stop state" value="null" /> -<TGConnectingPoint num="0" id="3271" /> -<P1 x="474" y="462" id="3336" /> -<P2 x="485" y="495" id="3387" /> +<TGConnectingPoint num="0" id="3328" /> +<P1 x="474" y="462" id="3393" /> +<P2 x="485" y="495" id="3444" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3270" > -<father id="3272" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3327" > +<father id="3329" num="0" /> <cdparam x="491" y="499" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3266" /> -<TGConnectingPoint num="1" id="3267" /> -<TGConnectingPoint num="2" id="3268" /> -<TGConnectingPoint num="3" id="3269" /> +<TGConnectingPoint num="0" id="3323" /> +<TGConnectingPoint num="1" id="3324" /> +<TGConnectingPoint num="2" id="3325" /> +<TGConnectingPoint num="3" id="3326" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6485,25 +6600,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3279" > +<CONNECTOR type="5102" id="3336" > <cdparam x="455" y="352" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to stop state" value="null" /> -<TGConnectingPoint num="0" id="3278" /> -<P1 x="414" y="275" id="3352" /> -<P2 x="447" y="349" id="3295" /> +<TGConnectingPoint num="0" id="3335" /> +<P1 x="414" y="275" id="3409" /> +<P2 x="447" y="349" id="3352" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3277" > -<father id="3279" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3334" > +<father id="3336" num="0" /> <cdparam x="459" y="317" /> <sizeparam width="193" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3273" /> -<TGConnectingPoint num="1" id="3274" /> -<TGConnectingPoint num="2" id="3275" /> -<TGConnectingPoint num="3" id="3276" /> +<TGConnectingPoint num="0" id="3330" /> +<TGConnectingPoint num="1" id="3331" /> +<TGConnectingPoint num="2" id="3332" /> +<TGConnectingPoint num="3" id="3333" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6515,25 +6630,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3286" > +<CONNECTOR type="5102" id="3343" > <cdparam x="386" y="101" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to Receive signal" value="null" /> -<TGConnectingPoint num="0" id="3285" /> -<P1 x="386" y="101" id="3400" /> -<P2 x="401" y="161" id="3389" /> +<TGConnectingPoint num="0" id="3342" /> +<P1 x="386" y="101" id="3457" /> +<P2 x="401" y="161" id="3446" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3284" > -<father id="3286" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3341" > +<father id="3343" num="0" /> <cdparam x="386" y="141" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3280" /> -<TGConnectingPoint num="1" id="3281" /> -<TGConnectingPoint num="2" id="3282" /> -<TGConnectingPoint num="3" id="3283" /> +<TGConnectingPoint num="0" id="3337" /> +<TGConnectingPoint num="1" id="3338" /> +<TGConnectingPoint num="2" id="3339" /> +<TGConnectingPoint num="3" id="3340" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6543,25 +6658,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3293" > +<CONNECTOR type="5102" id="3350" > <cdparam x="401" y="191" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Receive signal to stop state" value="null" /> -<TGConnectingPoint num="0" id="3292" /> -<P1 x="401" y="191" id="3390" /> -<P2 x="414" y="225" id="3347" /> +<TGConnectingPoint num="0" id="3349" /> +<P1 x="401" y="191" id="3447" /> +<P2 x="414" y="225" id="3404" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3291" > -<father id="3293" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3348" > +<father id="3350" num="0" /> <cdparam x="453" y="214" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3287" /> -<TGConnectingPoint num="1" id="3288" /> -<TGConnectingPoint num="2" id="3289" /> -<TGConnectingPoint num="3" id="3290" /> +<TGConnectingPoint num="0" id="3344" /> +<TGConnectingPoint num="1" id="3345" /> +<TGConnectingPoint num="2" id="3346" /> +<TGConnectingPoint num="3" id="3347" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6571,184 +6686,184 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="3334" > +<COMPONENT type="5106" id="3391" > <cdparam x="306" y="349" /> <sizeparam width="282" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="gotDecryptedOrder" /> -<TGConnectingPoint num="0" id="3294" /> -<TGConnectingPoint num="1" id="3295" /> -<TGConnectingPoint num="2" id="3296" /> -<TGConnectingPoint num="3" id="3297" /> -<TGConnectingPoint num="4" id="3298" /> -<TGConnectingPoint num="5" id="3299" /> -<TGConnectingPoint num="6" id="3300" /> -<TGConnectingPoint num="7" id="3301" /> -<TGConnectingPoint num="8" id="3302" /> -<TGConnectingPoint num="9" id="3303" /> -<TGConnectingPoint num="10" id="3304" /> -<TGConnectingPoint num="11" id="3305" /> -<TGConnectingPoint num="12" id="3306" /> -<TGConnectingPoint num="13" id="3307" /> -<TGConnectingPoint num="14" id="3308" /> -<TGConnectingPoint num="15" id="3309" /> -<TGConnectingPoint num="16" id="3310" /> -<TGConnectingPoint num="17" id="3311" /> -<TGConnectingPoint num="18" id="3312" /> -<TGConnectingPoint num="19" id="3313" /> -<TGConnectingPoint num="20" id="3314" /> -<TGConnectingPoint num="21" id="3315" /> -<TGConnectingPoint num="22" id="3316" /> -<TGConnectingPoint num="23" id="3317" /> -<TGConnectingPoint num="24" id="3318" /> -<TGConnectingPoint num="25" id="3319" /> -<TGConnectingPoint num="26" id="3320" /> -<TGConnectingPoint num="27" id="3321" /> -<TGConnectingPoint num="28" id="3322" /> -<TGConnectingPoint num="29" id="3323" /> -<TGConnectingPoint num="30" id="3324" /> -<TGConnectingPoint num="31" id="3325" /> -<TGConnectingPoint num="32" id="3326" /> -<TGConnectingPoint num="33" id="3327" /> -<TGConnectingPoint num="34" id="3328" /> -<TGConnectingPoint num="35" id="3329" /> -<TGConnectingPoint num="36" id="3330" /> -<TGConnectingPoint num="37" id="3331" /> -<TGConnectingPoint num="38" id="3332" /> -<TGConnectingPoint num="39" id="3333" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5103" id="3345" > +<TGConnectingPoint num="0" id="3351" /> +<TGConnectingPoint num="1" id="3352" /> +<TGConnectingPoint num="2" id="3353" /> +<TGConnectingPoint num="3" id="3354" /> +<TGConnectingPoint num="4" id="3355" /> +<TGConnectingPoint num="5" id="3356" /> +<TGConnectingPoint num="6" id="3357" /> +<TGConnectingPoint num="7" id="3358" /> +<TGConnectingPoint num="8" id="3359" /> +<TGConnectingPoint num="9" id="3360" /> +<TGConnectingPoint num="10" id="3361" /> +<TGConnectingPoint num="11" id="3362" /> +<TGConnectingPoint num="12" id="3363" /> +<TGConnectingPoint num="13" id="3364" /> +<TGConnectingPoint num="14" id="3365" /> +<TGConnectingPoint num="15" id="3366" /> +<TGConnectingPoint num="16" id="3367" /> +<TGConnectingPoint num="17" id="3368" /> +<TGConnectingPoint num="18" id="3369" /> +<TGConnectingPoint num="19" id="3370" /> +<TGConnectingPoint num="20" id="3371" /> +<TGConnectingPoint num="21" id="3372" /> +<TGConnectingPoint num="22" id="3373" /> +<TGConnectingPoint num="23" id="3374" /> +<TGConnectingPoint num="24" id="3375" /> +<TGConnectingPoint num="25" id="3376" /> +<TGConnectingPoint num="26" id="3377" /> +<TGConnectingPoint num="27" id="3378" /> +<TGConnectingPoint num="28" id="3379" /> +<TGConnectingPoint num="29" id="3380" /> +<TGConnectingPoint num="30" id="3381" /> +<TGConnectingPoint num="31" id="3382" /> +<TGConnectingPoint num="32" id="3383" /> +<TGConnectingPoint num="33" id="3384" /> +<TGConnectingPoint num="34" id="3385" /> +<TGConnectingPoint num="35" id="3386" /> +<TGConnectingPoint num="36" id="3387" /> +<TGConnectingPoint num="37" id="3388" /> +<TGConnectingPoint num="38" id="3389" /> +<TGConnectingPoint num="39" id="3390" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5103" id="3402" > <cdparam x="372" y="437" /> <sizeparam width="204" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="remoteStart(selectedDuration)" /> -<TGConnectingPoint num="0" id="3335" /> -<TGConnectingPoint num="1" id="3336" /> -<TGConnectingPoint num="2" id="3337" /> -<TGConnectingPoint num="3" id="3338" /> -<TGConnectingPoint num="4" id="3339" /> -<TGConnectingPoint num="5" id="3340" /> -<TGConnectingPoint num="6" id="3341" /> -<TGConnectingPoint num="7" id="3342" /> -<TGConnectingPoint num="8" id="3343" /> -<TGConnectingPoint num="9" id="3344" /> -</COMPONENT> - -<COMPONENT type="5106" id="3386" > +<TGConnectingPoint num="0" id="3392" /> +<TGConnectingPoint num="1" id="3393" /> +<TGConnectingPoint num="2" id="3394" /> +<TGConnectingPoint num="3" id="3395" /> +<TGConnectingPoint num="4" id="3396" /> +<TGConnectingPoint num="5" id="3397" /> +<TGConnectingPoint num="6" id="3398" /> +<TGConnectingPoint num="7" id="3399" /> +<TGConnectingPoint num="8" id="3400" /> +<TGConnectingPoint num="9" id="3401" /> +</COMPONENT> + +<COMPONENT type="5106" id="3443" > <cdparam x="348" y="225" /> <sizeparam width="133" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="gotWirelessOrder" /> -<TGConnectingPoint num="0" id="3346" /> -<TGConnectingPoint num="1" id="3347" /> -<TGConnectingPoint num="2" id="3348" /> -<TGConnectingPoint num="3" id="3349" /> -<TGConnectingPoint num="4" id="3350" /> -<TGConnectingPoint num="5" id="3351" /> -<TGConnectingPoint num="6" id="3352" /> -<TGConnectingPoint num="7" id="3353" /> -<TGConnectingPoint num="8" id="3354" /> -<TGConnectingPoint num="9" id="3355" /> -<TGConnectingPoint num="10" id="3356" /> -<TGConnectingPoint num="11" id="3357" /> -<TGConnectingPoint num="12" id="3358" /> -<TGConnectingPoint num="13" id="3359" /> -<TGConnectingPoint num="14" id="3360" /> -<TGConnectingPoint num="15" id="3361" /> -<TGConnectingPoint num="16" id="3362" /> -<TGConnectingPoint num="17" id="3363" /> -<TGConnectingPoint num="18" id="3364" /> -<TGConnectingPoint num="19" id="3365" /> -<TGConnectingPoint num="20" id="3366" /> -<TGConnectingPoint num="21" id="3367" /> -<TGConnectingPoint num="22" id="3368" /> -<TGConnectingPoint num="23" id="3369" /> -<TGConnectingPoint num="24" id="3370" /> -<TGConnectingPoint num="25" id="3371" /> -<TGConnectingPoint num="26" id="3372" /> -<TGConnectingPoint num="27" id="3373" /> -<TGConnectingPoint num="28" id="3374" /> -<TGConnectingPoint num="29" id="3375" /> -<TGConnectingPoint num="30" id="3376" /> -<TGConnectingPoint num="31" id="3377" /> -<TGConnectingPoint num="32" id="3378" /> -<TGConnectingPoint num="33" id="3379" /> -<TGConnectingPoint num="34" id="3380" /> -<TGConnectingPoint num="35" id="3381" /> -<TGConnectingPoint num="36" id="3382" /> -<TGConnectingPoint num="37" id="3383" /> -<TGConnectingPoint num="38" id="3384" /> -<TGConnectingPoint num="39" id="3385" /> +<TGConnectingPoint num="0" id="3403" /> +<TGConnectingPoint num="1" id="3404" /> +<TGConnectingPoint num="2" id="3405" /> +<TGConnectingPoint num="3" id="3406" /> +<TGConnectingPoint num="4" id="3407" /> +<TGConnectingPoint num="5" id="3408" /> +<TGConnectingPoint num="6" id="3409" /> +<TGConnectingPoint num="7" id="3410" /> +<TGConnectingPoint num="8" id="3411" /> +<TGConnectingPoint num="9" id="3412" /> +<TGConnectingPoint num="10" id="3413" /> +<TGConnectingPoint num="11" id="3414" /> +<TGConnectingPoint num="12" id="3415" /> +<TGConnectingPoint num="13" id="3416" /> +<TGConnectingPoint num="14" id="3417" /> +<TGConnectingPoint num="15" id="3418" /> +<TGConnectingPoint num="16" id="3419" /> +<TGConnectingPoint num="17" id="3420" /> +<TGConnectingPoint num="18" id="3421" /> +<TGConnectingPoint num="19" id="3422" /> +<TGConnectingPoint num="20" id="3423" /> +<TGConnectingPoint num="21" id="3424" /> +<TGConnectingPoint num="22" id="3425" /> +<TGConnectingPoint num="23" id="3426" /> +<TGConnectingPoint num="24" id="3427" /> +<TGConnectingPoint num="25" id="3428" /> +<TGConnectingPoint num="26" id="3429" /> +<TGConnectingPoint num="27" id="3430" /> +<TGConnectingPoint num="28" id="3431" /> +<TGConnectingPoint num="29" id="3432" /> +<TGConnectingPoint num="30" id="3433" /> +<TGConnectingPoint num="31" id="3434" /> +<TGConnectingPoint num="32" id="3435" /> +<TGConnectingPoint num="33" id="3436" /> +<TGConnectingPoint num="34" id="3437" /> +<TGConnectingPoint num="35" id="3438" /> +<TGConnectingPoint num="36" id="3439" /> +<TGConnectingPoint num="37" id="3440" /> +<TGConnectingPoint num="38" id="3441" /> +<TGConnectingPoint num="39" id="3442" /> <extraparam> <entryCode value="printf("Got duration from remote control :%d\n", msg2__data);" /> </extraparam> </COMPONENT> -<COMPONENT type="5101" id="3388" > +<COMPONENT type="5101" id="3445" > <cdparam x="475" y="500" /> <sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> -<TGConnectingPoint num="0" id="3387" /> +<TGConnectingPoint num="0" id="3444" /> </COMPONENT> -<COMPONENT type="5104" id="3399" > +<COMPONENT type="5104" id="3456" > <cdparam x="304" y="166" /> <sizeparam width="195" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Receive signal" value="wirelessChannelRead(msg2)" /> -<TGConnectingPoint num="0" id="3389" /> -<TGConnectingPoint num="1" id="3390" /> -<TGConnectingPoint num="2" id="3391" /> -<TGConnectingPoint num="3" id="3392" /> -<TGConnectingPoint num="4" id="3393" /> -<TGConnectingPoint num="5" id="3394" /> -<TGConnectingPoint num="6" id="3395" /> -<TGConnectingPoint num="7" id="3396" /> -<TGConnectingPoint num="8" id="3397" /> -<TGConnectingPoint num="9" id="3398" /> -</COMPONENT> - -<COMPONENT type="5100" id="3401" > +<TGConnectingPoint num="0" id="3446" /> +<TGConnectingPoint num="1" id="3447" /> +<TGConnectingPoint num="2" id="3448" /> +<TGConnectingPoint num="3" id="3449" /> +<TGConnectingPoint num="4" id="3450" /> +<TGConnectingPoint num="5" id="3451" /> +<TGConnectingPoint num="6" id="3452" /> +<TGConnectingPoint num="7" id="3453" /> +<TGConnectingPoint num="8" id="3454" /> +<TGConnectingPoint num="9" id="3455" /> +</COMPONENT> + +<COMPONENT type="5100" id="3458" > <cdparam x="379" y="81" /> <sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="3400" /> +<TGConnectingPoint num="0" id="3457" /> </COMPONENT> </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="Door" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="3408" > +<CONNECTOR type="5102" id="3465" > <cdparam x="407" y="209" /> <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="3407" /> -<P1 x="407" y="209" id="3496" /> -<P2 x="407" y="290" id="3444" /> +<TGConnectingPoint num="0" id="3464" /> +<P1 x="407" y="209" id="3553" /> +<P2 x="407" y="290" id="3501" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3406" > -<father id="3408" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3463" > +<father id="3465" num="0" /> <cdparam x="407" y="249" /> <sizeparam width="52" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3402" /> -<TGConnectingPoint num="1" id="3403" /> -<TGConnectingPoint num="2" id="3404" /> -<TGConnectingPoint num="3" id="3405" /> +<TGConnectingPoint num="0" id="3459" /> +<TGConnectingPoint num="1" id="3460" /> +<TGConnectingPoint num="2" id="3461" /> +<TGConnectingPoint num="3" id="3462" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6759,25 +6874,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3415" > +<CONNECTOR type="5102" id="3472" > <cdparam x="407" y="300" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3414" /> -<P1 x="407" y="340" id="3449" /> -<P2 x="407" y="374" id="3484" /> +<TGConnectingPoint num="0" id="3471" /> +<P1 x="407" y="340" id="3506" /> +<P2 x="407" y="374" id="3541" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3413" > -<father id="3415" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3470" > +<father id="3472" num="0" /> <cdparam x="414" y="365" /> <sizeparam width="64" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3409" /> -<TGConnectingPoint num="1" id="3410" /> -<TGConnectingPoint num="2" id="3411" /> -<TGConnectingPoint num="3" id="3412" /> +<TGConnectingPoint num="0" id="3466" /> +<TGConnectingPoint num="1" id="3467" /> +<TGConnectingPoint num="2" id="3468" /> +<TGConnectingPoint num="3" id="3469" /> <extraparam> <guard value="[ ]" /> <afterMin value="2" /> @@ -6787,55 +6902,55 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3428" > +<CONNECTOR type="5102" id="3485" > <cdparam x="407" y="277" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3424" /> -<TGConnectingPoint num="1" id="3425" /> -<TGConnectingPoint num="2" id="3426" /> -<TGConnectingPoint num="3" id="3427" /> -<P1 x="407" y="404" id="3485" /> -<P2 x="357" y="125" id="3509" /> +<TGConnectingPoint num="0" id="3481" /> +<TGConnectingPoint num="1" id="3482" /> +<TGConnectingPoint num="2" id="3483" /> +<TGConnectingPoint num="3" id="3484" /> +<P1 x="407" y="404" id="3542" /> +<P2 x="357" y="125" id="3566" /> <Point x="300" y="404" /> <Point x="300" y="278" /> <Point x="300" y="125" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3416" > -<father id="3428" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3473" > +<father id="3485" num="0" /> <cdparam x="300" y="404" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3417" > -<father id="3428" num="1" /> +<SUBCOMPONENT type="-1" id="3474" > +<father id="3485" num="1" /> <cdparam x="300" y="278" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3418" > -<father id="3428" num="2" /> +<SUBCOMPONENT type="-1" id="3475" > +<father id="3485" num="2" /> <cdparam x="300" y="125" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3423" > -<father id="3428" num="3" /> +<SUBCOMPONENT type="-1" id="3480" > +<father id="3485" num="3" /> <cdparam x="246" y="301" /> <sizeparam width="53" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3419" /> -<TGConnectingPoint num="1" id="3420" /> -<TGConnectingPoint num="2" id="3421" /> -<TGConnectingPoint num="3" id="3422" /> +<TGConnectingPoint num="0" id="3476" /> +<TGConnectingPoint num="1" id="3477" /> +<TGConnectingPoint num="2" id="3478" /> +<TGConnectingPoint num="3" id="3479" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6846,25 +6961,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3435" > +<CONNECTOR type="5102" id="3492" > <cdparam x="407" y="150" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3434" /> -<P1 x="407" y="150" id="3512" /> -<P2 x="407" y="179" id="3495" /> +<TGConnectingPoint num="0" id="3491" /> +<P1 x="407" y="150" id="3569" /> +<P2 x="407" y="179" id="3552" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3433" > -<father id="3435" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3490" > +<father id="3492" num="0" /> <cdparam x="412" y="172" /> <sizeparam width="64" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3429" /> -<TGConnectingPoint num="1" id="3430" /> -<TGConnectingPoint num="2" id="3431" /> -<TGConnectingPoint num="3" id="3432" /> +<TGConnectingPoint num="0" id="3486" /> +<TGConnectingPoint num="1" id="3487" /> +<TGConnectingPoint num="2" id="3488" /> +<TGConnectingPoint num="3" id="3489" /> <extraparam> <guard value="[ ]" /> <afterMin value="2" /> @@ -6874,25 +6989,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3442" > +<CONNECTOR type="5102" id="3499" > <cdparam x="407" y="70" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> -<TGConnectingPoint num="0" id="3441" /> -<P1 x="407" y="70" id="3547" /> -<P2 x="407" y="100" id="3507" /> +<TGConnectingPoint num="0" id="3498" /> +<P1 x="407" y="70" id="3604" /> +<P2 x="407" y="100" id="3564" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3440" > -<father id="3442" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3497" > +<father id="3499" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3436" /> -<TGConnectingPoint num="1" id="3437" /> -<TGConnectingPoint num="2" id="3438" /> -<TGConnectingPoint num="3" id="3439" /> +<TGConnectingPoint num="0" id="3493" /> +<TGConnectingPoint num="1" id="3494" /> +<TGConnectingPoint num="2" id="3495" /> +<TGConnectingPoint num="3" id="3496" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -6902,139 +7017,139 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="3483" > +<COMPONENT type="5106" id="3540" > <cdparam x="357" y="290" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Opened" /> -<TGConnectingPoint num="0" id="3443" /> -<TGConnectingPoint num="1" id="3444" /> -<TGConnectingPoint num="2" id="3445" /> -<TGConnectingPoint num="3" id="3446" /> -<TGConnectingPoint num="4" id="3447" /> -<TGConnectingPoint num="5" id="3448" /> -<TGConnectingPoint num="6" id="3449" /> -<TGConnectingPoint num="7" id="3450" /> -<TGConnectingPoint num="8" id="3451" /> -<TGConnectingPoint num="9" id="3452" /> -<TGConnectingPoint num="10" id="3453" /> -<TGConnectingPoint num="11" id="3454" /> -<TGConnectingPoint num="12" id="3455" /> -<TGConnectingPoint num="13" id="3456" /> -<TGConnectingPoint num="14" id="3457" /> -<TGConnectingPoint num="15" id="3458" /> -<TGConnectingPoint num="16" id="3459" /> -<TGConnectingPoint num="17" id="3460" /> -<TGConnectingPoint num="18" id="3461" /> -<TGConnectingPoint num="19" id="3462" /> -<TGConnectingPoint num="20" id="3463" /> -<TGConnectingPoint num="21" id="3464" /> -<TGConnectingPoint num="22" id="3465" /> -<TGConnectingPoint num="23" id="3466" /> -<TGConnectingPoint num="24" id="3467" /> -<TGConnectingPoint num="25" id="3468" /> -<TGConnectingPoint num="26" id="3469" /> -<TGConnectingPoint num="27" id="3470" /> -<TGConnectingPoint num="28" id="3471" /> -<TGConnectingPoint num="29" id="3472" /> -<TGConnectingPoint num="30" id="3473" /> -<TGConnectingPoint num="31" id="3474" /> -<TGConnectingPoint num="32" id="3475" /> -<TGConnectingPoint num="33" id="3476" /> -<TGConnectingPoint num="34" id="3477" /> -<TGConnectingPoint num="35" id="3478" /> -<TGConnectingPoint num="36" id="3479" /> -<TGConnectingPoint num="37" id="3480" /> -<TGConnectingPoint num="38" id="3481" /> -<TGConnectingPoint num="39" id="3482" /> +<TGConnectingPoint num="0" id="3500" /> +<TGConnectingPoint num="1" id="3501" /> +<TGConnectingPoint num="2" id="3502" /> +<TGConnectingPoint num="3" id="3503" /> +<TGConnectingPoint num="4" id="3504" /> +<TGConnectingPoint num="5" id="3505" /> +<TGConnectingPoint num="6" id="3506" /> +<TGConnectingPoint num="7" id="3507" /> +<TGConnectingPoint num="8" id="3508" /> +<TGConnectingPoint num="9" id="3509" /> +<TGConnectingPoint num="10" id="3510" /> +<TGConnectingPoint num="11" id="3511" /> +<TGConnectingPoint num="12" id="3512" /> +<TGConnectingPoint num="13" id="3513" /> +<TGConnectingPoint num="14" id="3514" /> +<TGConnectingPoint num="15" id="3515" /> +<TGConnectingPoint num="16" id="3516" /> +<TGConnectingPoint num="17" id="3517" /> +<TGConnectingPoint num="18" id="3518" /> +<TGConnectingPoint num="19" id="3519" /> +<TGConnectingPoint num="20" id="3520" /> +<TGConnectingPoint num="21" id="3521" /> +<TGConnectingPoint num="22" id="3522" /> +<TGConnectingPoint num="23" id="3523" /> +<TGConnectingPoint num="24" id="3524" /> +<TGConnectingPoint num="25" id="3525" /> +<TGConnectingPoint num="26" id="3526" /> +<TGConnectingPoint num="27" id="3527" /> +<TGConnectingPoint num="28" id="3528" /> +<TGConnectingPoint num="29" id="3529" /> +<TGConnectingPoint num="30" id="3530" /> +<TGConnectingPoint num="31" id="3531" /> +<TGConnectingPoint num="32" id="3532" /> +<TGConnectingPoint num="33" id="3533" /> +<TGConnectingPoint num="34" id="3534" /> +<TGConnectingPoint num="35" id="3535" /> +<TGConnectingPoint num="36" id="3536" /> +<TGConnectingPoint num="37" id="3537" /> +<TGConnectingPoint num="38" id="3538" /> +<TGConnectingPoint num="39" id="3539" /> <extraparam> <entryCode value="printf("Door is opened!!!\n");" /> </extraparam> </COMPONENT> -<COMPONENT type="5103" id="3494" > +<COMPONENT type="5103" id="3551" > <cdparam x="377" y="379" /> <sizeparam width="61" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="closed()" /> -<TGConnectingPoint num="0" id="3484" /> -<TGConnectingPoint num="1" id="3485" /> -<TGConnectingPoint num="2" id="3486" /> -<TGConnectingPoint num="3" id="3487" /> -<TGConnectingPoint num="4" id="3488" /> -<TGConnectingPoint num="5" id="3489" /> -<TGConnectingPoint num="6" id="3490" /> -<TGConnectingPoint num="7" id="3491" /> -<TGConnectingPoint num="8" id="3492" /> -<TGConnectingPoint num="9" id="3493" /> -</COMPONENT> - -<COMPONENT type="5103" id="3505" > +<TGConnectingPoint num="0" id="3541" /> +<TGConnectingPoint num="1" id="3542" /> +<TGConnectingPoint num="2" id="3543" /> +<TGConnectingPoint num="3" id="3544" /> +<TGConnectingPoint num="4" id="3545" /> +<TGConnectingPoint num="5" id="3546" /> +<TGConnectingPoint num="6" id="3547" /> +<TGConnectingPoint num="7" id="3548" /> +<TGConnectingPoint num="8" id="3549" /> +<TGConnectingPoint num="9" id="3550" /> +</COMPONENT> + +<COMPONENT type="5103" id="3562" > <cdparam x="381" y="184" /> <sizeparam width="52" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="open()" /> -<TGConnectingPoint num="0" id="3495" /> -<TGConnectingPoint num="1" id="3496" /> -<TGConnectingPoint num="2" id="3497" /> -<TGConnectingPoint num="3" id="3498" /> -<TGConnectingPoint num="4" id="3499" /> -<TGConnectingPoint num="5" id="3500" /> -<TGConnectingPoint num="6" id="3501" /> -<TGConnectingPoint num="7" id="3502" /> -<TGConnectingPoint num="8" id="3503" /> -<TGConnectingPoint num="9" id="3504" /> -</COMPONENT> - -<COMPONENT type="5106" id="3546" > +<TGConnectingPoint num="0" id="3552" /> +<TGConnectingPoint num="1" id="3553" /> +<TGConnectingPoint num="2" id="3554" /> +<TGConnectingPoint num="3" id="3555" /> +<TGConnectingPoint num="4" id="3556" /> +<TGConnectingPoint num="5" id="3557" /> +<TGConnectingPoint num="6" id="3558" /> +<TGConnectingPoint num="7" id="3559" /> +<TGConnectingPoint num="8" id="3560" /> +<TGConnectingPoint num="9" id="3561" /> +</COMPONENT> + +<COMPONENT type="5106" id="3603" > <cdparam x="357" y="100" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="IDLE" /> -<TGConnectingPoint num="0" id="3506" /> -<TGConnectingPoint num="1" id="3507" /> -<TGConnectingPoint num="2" id="3508" /> -<TGConnectingPoint num="3" id="3509" /> -<TGConnectingPoint num="4" id="3510" /> -<TGConnectingPoint num="5" id="3511" /> -<TGConnectingPoint num="6" id="3512" /> -<TGConnectingPoint num="7" id="3513" /> -<TGConnectingPoint num="8" id="3514" /> -<TGConnectingPoint num="9" id="3515" /> -<TGConnectingPoint num="10" id="3516" /> -<TGConnectingPoint num="11" id="3517" /> -<TGConnectingPoint num="12" id="3518" /> -<TGConnectingPoint num="13" id="3519" /> -<TGConnectingPoint num="14" id="3520" /> -<TGConnectingPoint num="15" id="3521" /> -<TGConnectingPoint num="16" id="3522" /> -<TGConnectingPoint num="17" id="3523" /> -<TGConnectingPoint num="18" id="3524" /> -<TGConnectingPoint num="19" id="3525" /> -<TGConnectingPoint num="20" id="3526" /> -<TGConnectingPoint num="21" id="3527" /> -<TGConnectingPoint num="22" id="3528" /> -<TGConnectingPoint num="23" id="3529" /> -<TGConnectingPoint num="24" id="3530" /> -<TGConnectingPoint num="25" id="3531" /> -<TGConnectingPoint num="26" id="3532" /> -<TGConnectingPoint num="27" id="3533" /> -<TGConnectingPoint num="28" id="3534" /> -<TGConnectingPoint num="29" id="3535" /> -<TGConnectingPoint num="30" id="3536" /> -<TGConnectingPoint num="31" id="3537" /> -<TGConnectingPoint num="32" id="3538" /> -<TGConnectingPoint num="33" id="3539" /> -<TGConnectingPoint num="34" id="3540" /> -<TGConnectingPoint num="35" id="3541" /> -<TGConnectingPoint num="36" id="3542" /> -<TGConnectingPoint num="37" id="3543" /> -<TGConnectingPoint num="38" id="3544" /> -<TGConnectingPoint num="39" id="3545" /> +<TGConnectingPoint num="0" id="3563" /> +<TGConnectingPoint num="1" id="3564" /> +<TGConnectingPoint num="2" id="3565" /> +<TGConnectingPoint num="3" id="3566" /> +<TGConnectingPoint num="4" id="3567" /> +<TGConnectingPoint num="5" id="3568" /> +<TGConnectingPoint num="6" id="3569" /> +<TGConnectingPoint num="7" id="3570" /> +<TGConnectingPoint num="8" id="3571" /> +<TGConnectingPoint num="9" id="3572" /> +<TGConnectingPoint num="10" id="3573" /> +<TGConnectingPoint num="11" id="3574" /> +<TGConnectingPoint num="12" id="3575" /> +<TGConnectingPoint num="13" id="3576" /> +<TGConnectingPoint num="14" id="3577" /> +<TGConnectingPoint num="15" id="3578" /> +<TGConnectingPoint num="16" id="3579" /> +<TGConnectingPoint num="17" id="3580" /> +<TGConnectingPoint num="18" id="3581" /> +<TGConnectingPoint num="19" id="3582" /> +<TGConnectingPoint num="20" id="3583" /> +<TGConnectingPoint num="21" id="3584" /> +<TGConnectingPoint num="22" id="3585" /> +<TGConnectingPoint num="23" id="3586" /> +<TGConnectingPoint num="24" id="3587" /> +<TGConnectingPoint num="25" id="3588" /> +<TGConnectingPoint num="26" id="3589" /> +<TGConnectingPoint num="27" id="3590" /> +<TGConnectingPoint num="28" id="3591" /> +<TGConnectingPoint num="29" id="3592" /> +<TGConnectingPoint num="30" id="3593" /> +<TGConnectingPoint num="31" id="3594" /> +<TGConnectingPoint num="32" id="3595" /> +<TGConnectingPoint num="33" id="3596" /> +<TGConnectingPoint num="34" id="3597" /> +<TGConnectingPoint num="35" id="3598" /> +<TGConnectingPoint num="36" id="3599" /> +<TGConnectingPoint num="37" id="3600" /> +<TGConnectingPoint num="38" id="3601" /> +<TGConnectingPoint num="39" id="3602" /> <accessibility /> <mastermutex /> <extraparam> @@ -7042,68 +7157,68 @@ or by a maintenance station </extraparam> </COMPONENT> -<COMPONENT type="5100" id="3548" > +<COMPONENT type="5100" id="3605" > <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="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="3547" /> +<TGConnectingPoint num="0" id="3604" /> </COMPONENT> </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="Magnetron" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="3561" > +<CONNECTOR type="5102" id="3618" > <cdparam x="407" y="380" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3557" /> -<TGConnectingPoint num="1" id="3558" /> -<TGConnectingPoint num="2" id="3559" /> -<TGConnectingPoint num="3" id="3560" /> -<P1 x="407" y="310" id="3591" /> -<P2 x="365" y="113" id="3658" /> +<TGConnectingPoint num="0" id="3614" /> +<TGConnectingPoint num="1" id="3615" /> +<TGConnectingPoint num="2" id="3616" /> +<TGConnectingPoint num="3" id="3617" /> +<P1 x="407" y="310" id="3648" /> +<P2 x="365" y="113" id="3715" /> <Point x="407" y="327" /> <Point x="323" y="327" /> <Point x="323" y="113" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3549" > -<father id="3561" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3606" > +<father id="3618" num="0" /> <cdparam x="407" y="327" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3550" > -<father id="3561" num="1" /> +<SUBCOMPONENT type="-1" id="3607" > +<father id="3618" num="1" /> <cdparam x="323" y="327" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3551" > -<father id="3561" num="2" /> +<SUBCOMPONENT type="-1" id="3608" > +<father id="3618" num="2" /> <cdparam x="323" y="113" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3556" > -<father id="3561" num="3" /> +<SUBCOMPONENT type="-1" id="3613" > +<father id="3618" num="3" /> <cdparam x="418" y="343" /> <sizeparam width="33" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3552" /> -<TGConnectingPoint num="1" id="3553" /> -<TGConnectingPoint num="2" id="3554" /> -<TGConnectingPoint num="3" id="3555" /> +<TGConnectingPoint num="0" id="3609" /> +<TGConnectingPoint num="1" id="3610" /> +<TGConnectingPoint num="2" id="3611" /> +<TGConnectingPoint num="3" id="3612" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7114,25 +7229,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3568" > +<CONNECTOR type="5102" id="3625" > <cdparam x="411" y="243" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state1 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3567" /> -<P1 x="408" y="242" id="3607" /> -<P2 x="407" y="280" id="3590" /> +<TGConnectingPoint num="0" id="3624" /> +<P1 x="408" y="242" id="3664" /> +<P2 x="407" y="280" id="3647" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3566" > -<father id="3568" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3623" > +<father id="3625" num="0" /> <cdparam x="411" y="283" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3562" /> -<TGConnectingPoint num="1" id="3563" /> -<TGConnectingPoint num="2" id="3564" /> -<TGConnectingPoint num="3" id="3565" /> +<TGConnectingPoint num="0" id="3619" /> +<TGConnectingPoint num="1" id="3620" /> +<TGConnectingPoint num="2" id="3621" /> +<TGConnectingPoint num="3" id="3622" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7142,25 +7257,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3575" > +<CONNECTOR type="5102" id="3632" > <cdparam x="398" y="183" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state1" value="null" /> -<TGConnectingPoint num="0" id="3574" /> -<P1 x="407" y="183" id="3643" /> -<P2 x="408" y="202" id="3602" /> +<TGConnectingPoint num="0" id="3631" /> +<P1 x="407" y="183" id="3700" /> +<P2 x="408" y="202" id="3659" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3573" > -<father id="3575" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3630" > +<father id="3632" num="0" /> <cdparam x="417" y="195" /> <sizeparam width="28" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3569" /> -<TGConnectingPoint num="1" id="3570" /> -<TGConnectingPoint num="2" id="3571" /> -<TGConnectingPoint num="3" id="3572" /> +<TGConnectingPoint num="0" id="3626" /> +<TGConnectingPoint num="1" id="3627" /> +<TGConnectingPoint num="2" id="3628" /> +<TGConnectingPoint num="3" id="3629" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7171,25 +7286,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3582" > +<CONNECTOR type="5102" id="3639" > <cdparam x="393" y="131" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3581" /> -<P1 x="407" y="131" id="3661" /> -<P2 x="407" y="153" id="3642" /> +<TGConnectingPoint num="0" id="3638" /> +<P1 x="407" y="131" id="3718" /> +<P2 x="407" y="153" id="3699" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3580" > -<father id="3582" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3637" > +<father id="3639" num="0" /> <cdparam x="393" y="171" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3576" /> -<TGConnectingPoint num="1" id="3577" /> -<TGConnectingPoint num="2" id="3578" /> -<TGConnectingPoint num="3" id="3579" /> +<TGConnectingPoint num="0" id="3633" /> +<TGConnectingPoint num="1" id="3634" /> +<TGConnectingPoint num="2" id="3635" /> +<TGConnectingPoint num="3" id="3636" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7199,25 +7314,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3589" > +<CONNECTOR type="5102" id="3646" > <cdparam x="407" y="70" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> -<TGConnectingPoint num="0" id="3588" /> -<P1 x="407" y="70" id="3653" /> -<P2 x="407" y="96" id="3656" /> +<TGConnectingPoint num="0" id="3645" /> +<P1 x="407" y="70" id="3710" /> +<P2 x="407" y="96" id="3713" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3587" > -<father id="3589" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3644" > +<father id="3646" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3583" /> -<TGConnectingPoint num="1" id="3584" /> -<TGConnectingPoint num="2" id="3585" /> -<TGConnectingPoint num="3" id="3586" /> +<TGConnectingPoint num="0" id="3640" /> +<TGConnectingPoint num="1" id="3641" /> +<TGConnectingPoint num="2" id="3642" /> +<TGConnectingPoint num="3" id="3643" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7227,148 +7342,148 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5104" id="3600" > +<COMPONENT type="5104" id="3657" > <cdparam x="374" y="285" /> <sizeparam width="66" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="stopM()" /> -<TGConnectingPoint num="0" id="3590" /> -<TGConnectingPoint num="1" id="3591" /> -<TGConnectingPoint num="2" id="3592" /> -<TGConnectingPoint num="3" id="3593" /> -<TGConnectingPoint num="4" id="3594" /> -<TGConnectingPoint num="5" id="3595" /> -<TGConnectingPoint num="6" id="3596" /> -<TGConnectingPoint num="7" id="3597" /> -<TGConnectingPoint num="8" id="3598" /> -<TGConnectingPoint num="9" id="3599" /> -</COMPONENT> - -<COMPONENT type="5106" id="3641" > +<TGConnectingPoint num="0" id="3647" /> +<TGConnectingPoint num="1" id="3648" /> +<TGConnectingPoint num="2" id="3649" /> +<TGConnectingPoint num="3" id="3650" /> +<TGConnectingPoint num="4" id="3651" /> +<TGConnectingPoint num="5" id="3652" /> +<TGConnectingPoint num="6" id="3653" /> +<TGConnectingPoint num="7" id="3654" /> +<TGConnectingPoint num="8" id="3655" /> +<TGConnectingPoint num="9" id="3656" /> +</COMPONENT> + +<COMPONENT type="5106" id="3698" > <cdparam x="373" y="202" /> <sizeparam width="71" height="40" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state1" value="Running" /> -<TGConnectingPoint num="0" id="3601" /> -<TGConnectingPoint num="1" id="3602" /> -<TGConnectingPoint num="2" id="3603" /> -<TGConnectingPoint num="3" id="3604" /> -<TGConnectingPoint num="4" id="3605" /> -<TGConnectingPoint num="5" id="3606" /> -<TGConnectingPoint num="6" id="3607" /> -<TGConnectingPoint num="7" id="3608" /> -<TGConnectingPoint num="8" id="3609" /> -<TGConnectingPoint num="9" id="3610" /> -<TGConnectingPoint num="10" id="3611" /> -<TGConnectingPoint num="11" id="3612" /> -<TGConnectingPoint num="12" id="3613" /> -<TGConnectingPoint num="13" id="3614" /> -<TGConnectingPoint num="14" id="3615" /> -<TGConnectingPoint num="15" id="3616" /> -<TGConnectingPoint num="16" id="3617" /> -<TGConnectingPoint num="17" id="3618" /> -<TGConnectingPoint num="18" id="3619" /> -<TGConnectingPoint num="19" id="3620" /> -<TGConnectingPoint num="20" id="3621" /> -<TGConnectingPoint num="21" id="3622" /> -<TGConnectingPoint num="22" id="3623" /> -<TGConnectingPoint num="23" id="3624" /> -<TGConnectingPoint num="24" id="3625" /> -<TGConnectingPoint num="25" id="3626" /> -<TGConnectingPoint num="26" id="3627" /> -<TGConnectingPoint num="27" id="3628" /> -<TGConnectingPoint num="28" id="3629" /> -<TGConnectingPoint num="29" id="3630" /> -<TGConnectingPoint num="30" id="3631" /> -<TGConnectingPoint num="31" id="3632" /> -<TGConnectingPoint num="32" id="3633" /> -<TGConnectingPoint num="33" id="3634" /> -<TGConnectingPoint num="34" id="3635" /> -<TGConnectingPoint num="35" id="3636" /> -<TGConnectingPoint num="36" id="3637" /> -<TGConnectingPoint num="37" id="3638" /> -<TGConnectingPoint num="38" id="3639" /> -<TGConnectingPoint num="39" id="3640" /> +<TGConnectingPoint num="0" id="3658" /> +<TGConnectingPoint num="1" id="3659" /> +<TGConnectingPoint num="2" id="3660" /> +<TGConnectingPoint num="3" id="3661" /> +<TGConnectingPoint num="4" id="3662" /> +<TGConnectingPoint num="5" id="3663" /> +<TGConnectingPoint num="6" id="3664" /> +<TGConnectingPoint num="7" id="3665" /> +<TGConnectingPoint num="8" id="3666" /> +<TGConnectingPoint num="9" id="3667" /> +<TGConnectingPoint num="10" id="3668" /> +<TGConnectingPoint num="11" id="3669" /> +<TGConnectingPoint num="12" id="3670" /> +<TGConnectingPoint num="13" id="3671" /> +<TGConnectingPoint num="14" id="3672" /> +<TGConnectingPoint num="15" id="3673" /> +<TGConnectingPoint num="16" id="3674" /> +<TGConnectingPoint num="17" id="3675" /> +<TGConnectingPoint num="18" id="3676" /> +<TGConnectingPoint num="19" id="3677" /> +<TGConnectingPoint num="20" id="3678" /> +<TGConnectingPoint num="21" id="3679" /> +<TGConnectingPoint num="22" id="3680" /> +<TGConnectingPoint num="23" id="3681" /> +<TGConnectingPoint num="24" id="3682" /> +<TGConnectingPoint num="25" id="3683" /> +<TGConnectingPoint num="26" id="3684" /> +<TGConnectingPoint num="27" id="3685" /> +<TGConnectingPoint num="28" id="3686" /> +<TGConnectingPoint num="29" id="3687" /> +<TGConnectingPoint num="30" id="3688" /> +<TGConnectingPoint num="31" id="3689" /> +<TGConnectingPoint num="32" id="3690" /> +<TGConnectingPoint num="33" id="3691" /> +<TGConnectingPoint num="34" id="3692" /> +<TGConnectingPoint num="35" id="3693" /> +<TGConnectingPoint num="36" id="3694" /> +<TGConnectingPoint num="37" id="3695" /> +<TGConnectingPoint num="38" id="3696" /> +<TGConnectingPoint num="39" id="3697" /> <extraparam> <entryCode value="printf("DANGER: Magnetron is ON\n");" /> </extraparam> </COMPONENT> -<COMPONENT type="5104" id="3652" > +<COMPONENT type="5104" id="3709" > <cdparam x="373" y="158" /> <sizeparam width="68" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="startM()" /> -<TGConnectingPoint num="0" id="3642" /> -<TGConnectingPoint num="1" id="3643" /> -<TGConnectingPoint num="2" id="3644" /> -<TGConnectingPoint num="3" id="3645" /> -<TGConnectingPoint num="4" id="3646" /> -<TGConnectingPoint num="5" id="3647" /> -<TGConnectingPoint num="6" id="3648" /> -<TGConnectingPoint num="7" id="3649" /> -<TGConnectingPoint num="8" id="3650" /> -<TGConnectingPoint num="9" id="3651" /> -</COMPONENT> - -<COMPONENT type="5100" id="3654" > +<TGConnectingPoint num="0" id="3699" /> +<TGConnectingPoint num="1" id="3700" /> +<TGConnectingPoint num="2" id="3701" /> +<TGConnectingPoint num="3" id="3702" /> +<TGConnectingPoint num="4" id="3703" /> +<TGConnectingPoint num="5" id="3704" /> +<TGConnectingPoint num="6" id="3705" /> +<TGConnectingPoint num="7" id="3706" /> +<TGConnectingPoint num="8" id="3707" /> +<TGConnectingPoint num="9" id="3708" /> +</COMPONENT> + +<COMPONENT type="5100" id="3711" > <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="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="3653" /> +<TGConnectingPoint num="0" id="3710" /> </COMPONENT> -<COMPONENT type="5106" id="3695" > +<COMPONENT type="5106" id="3752" > <cdparam x="365" y="96" /> <sizeparam width="84" height="35" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="WaitForStart" /> -<TGConnectingPoint num="0" id="3655" /> -<TGConnectingPoint num="1" id="3656" /> -<TGConnectingPoint num="2" id="3657" /> -<TGConnectingPoint num="3" id="3658" /> -<TGConnectingPoint num="4" id="3659" /> -<TGConnectingPoint num="5" id="3660" /> -<TGConnectingPoint num="6" id="3661" /> -<TGConnectingPoint num="7" id="3662" /> -<TGConnectingPoint num="8" id="3663" /> -<TGConnectingPoint num="9" id="3664" /> -<TGConnectingPoint num="10" id="3665" /> -<TGConnectingPoint num="11" id="3666" /> -<TGConnectingPoint num="12" id="3667" /> -<TGConnectingPoint num="13" id="3668" /> -<TGConnectingPoint num="14" id="3669" /> -<TGConnectingPoint num="15" id="3670" /> -<TGConnectingPoint num="16" id="3671" /> -<TGConnectingPoint num="17" id="3672" /> -<TGConnectingPoint num="18" id="3673" /> -<TGConnectingPoint num="19" id="3674" /> -<TGConnectingPoint num="20" id="3675" /> -<TGConnectingPoint num="21" id="3676" /> -<TGConnectingPoint num="22" id="3677" /> -<TGConnectingPoint num="23" id="3678" /> -<TGConnectingPoint num="24" id="3679" /> -<TGConnectingPoint num="25" id="3680" /> -<TGConnectingPoint num="26" id="3681" /> -<TGConnectingPoint num="27" id="3682" /> -<TGConnectingPoint num="28" id="3683" /> -<TGConnectingPoint num="29" id="3684" /> -<TGConnectingPoint num="30" id="3685" /> -<TGConnectingPoint num="31" id="3686" /> -<TGConnectingPoint num="32" id="3687" /> -<TGConnectingPoint num="33" id="3688" /> -<TGConnectingPoint num="34" id="3689" /> -<TGConnectingPoint num="35" id="3690" /> -<TGConnectingPoint num="36" id="3691" /> -<TGConnectingPoint num="37" id="3692" /> -<TGConnectingPoint num="38" id="3693" /> -<TGConnectingPoint num="39" id="3694" /> +<TGConnectingPoint num="0" id="3712" /> +<TGConnectingPoint num="1" id="3713" /> +<TGConnectingPoint num="2" id="3714" /> +<TGConnectingPoint num="3" id="3715" /> +<TGConnectingPoint num="4" id="3716" /> +<TGConnectingPoint num="5" id="3717" /> +<TGConnectingPoint num="6" id="3718" /> +<TGConnectingPoint num="7" id="3719" /> +<TGConnectingPoint num="8" id="3720" /> +<TGConnectingPoint num="9" id="3721" /> +<TGConnectingPoint num="10" id="3722" /> +<TGConnectingPoint num="11" id="3723" /> +<TGConnectingPoint num="12" id="3724" /> +<TGConnectingPoint num="13" id="3725" /> +<TGConnectingPoint num="14" id="3726" /> +<TGConnectingPoint num="15" id="3727" /> +<TGConnectingPoint num="16" id="3728" /> +<TGConnectingPoint num="17" id="3729" /> +<TGConnectingPoint num="18" id="3730" /> +<TGConnectingPoint num="19" id="3731" /> +<TGConnectingPoint num="20" id="3732" /> +<TGConnectingPoint num="21" id="3733" /> +<TGConnectingPoint num="22" id="3734" /> +<TGConnectingPoint num="23" id="3735" /> +<TGConnectingPoint num="24" id="3736" /> +<TGConnectingPoint num="25" id="3737" /> +<TGConnectingPoint num="26" id="3738" /> +<TGConnectingPoint num="27" id="3739" /> +<TGConnectingPoint num="28" id="3740" /> +<TGConnectingPoint num="29" id="3741" /> +<TGConnectingPoint num="30" id="3742" /> +<TGConnectingPoint num="31" id="3743" /> +<TGConnectingPoint num="32" id="3744" /> +<TGConnectingPoint num="33" id="3745" /> +<TGConnectingPoint num="34" id="3746" /> +<TGConnectingPoint num="35" id="3747" /> +<TGConnectingPoint num="36" id="3748" /> +<TGConnectingPoint num="37" id="3749" /> +<TGConnectingPoint num="38" id="3750" /> +<TGConnectingPoint num="39" id="3751" /> <extraparam> <entryCode value="printf("Magnetron is off\n");" /> </extraparam> @@ -7378,25 +7493,25 @@ or by a maintenance station </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="Controller" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="3702" > +<CONNECTOR type="5102" id="3759" > <cdparam x="671" y="552" /> <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="3701" /> -<P1 x="671" y="552" id="4163" /> -<P2 x="671" y="557" id="3905" /> +<TGConnectingPoint num="0" id="3758" /> +<P1 x="671" y="552" id="4220" /> +<P2 x="671" y="557" id="3962" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3700" > -<father id="3702" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3757" > +<father id="3759" num="0" /> <cdparam x="671" y="592" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3696" /> -<TGConnectingPoint num="1" id="3697" /> -<TGConnectingPoint num="2" id="3698" /> -<TGConnectingPoint num="3" id="3699" /> +<TGConnectingPoint num="0" id="3753" /> +<TGConnectingPoint num="1" id="3754" /> +<TGConnectingPoint num="2" id="3755" /> +<TGConnectingPoint num="3" id="3756" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7406,25 +7521,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3709" > +<CONNECTOR type="5102" id="3766" > <cdparam x="671" y="540" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3708" /> -<P1 x="671" y="518" id="3917" /> -<P2 x="671" y="522" id="4162" /> +<TGConnectingPoint num="0" id="3765" /> +<P1 x="671" y="518" id="3974" /> +<P2 x="671" y="522" id="4219" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3707" > -<father id="3709" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3764" > +<father id="3766" num="0" /> <cdparam x="671" y="580" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3703" /> -<TGConnectingPoint num="1" id="3704" /> -<TGConnectingPoint num="2" id="3705" /> -<TGConnectingPoint num="3" id="3706" /> +<TGConnectingPoint num="0" id="3760" /> +<TGConnectingPoint num="1" id="3761" /> +<TGConnectingPoint num="2" id="3762" /> +<TGConnectingPoint num="3" id="3763" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7434,25 +7549,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3716" > +<CONNECTOR type="5102" id="3773" > <cdparam x="671" y="332" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3715" /> -<P1 x="671" y="332" id="3928" /> -<P2 x="671" y="345" id="4140" /> +<TGConnectingPoint num="0" id="3772" /> +<P1 x="671" y="332" id="3985" /> +<P2 x="671" y="345" id="4197" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3714" > -<father id="3716" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3771" > +<father id="3773" num="0" /> <cdparam x="671" y="372" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3710" /> -<TGConnectingPoint num="1" id="3711" /> -<TGConnectingPoint num="2" id="3712" /> -<TGConnectingPoint num="3" id="3713" /> +<TGConnectingPoint num="0" id="3767" /> +<TGConnectingPoint num="1" id="3768" /> +<TGConnectingPoint num="2" id="3769" /> +<TGConnectingPoint num="3" id="3770" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7462,25 +7577,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3723" > +<CONNECTOR type="5102" id="3780" > <cdparam x="428" y="373" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3722" /> -<P1 x="428" y="380" id="4289" /> -<P2 x="428" y="395" id="4024" /> +<TGConnectingPoint num="0" id="3779" /> +<P1 x="428" y="380" id="4346" /> +<P2 x="428" y="395" id="4081" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3721" > -<father id="3723" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3778" > +<father id="3780" num="0" /> <cdparam x="428" y="413" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3717" /> -<TGConnectingPoint num="1" id="3718" /> -<TGConnectingPoint num="2" id="3719" /> -<TGConnectingPoint num="3" id="3720" /> +<TGConnectingPoint num="0" id="3774" /> +<TGConnectingPoint num="1" id="3775" /> +<TGConnectingPoint num="2" id="3776" /> +<TGConnectingPoint num="3" id="3777" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7490,25 +7605,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3730" > +<CONNECTOR type="5102" id="3787" > <cdparam x="661" y="175" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3729" /> -<P1 x="661" y="175" id="4196" /> -<P2 x="661" y="180" id="3938" /> +<TGConnectingPoint num="0" id="3786" /> +<P1 x="661" y="175" id="4253" /> +<P2 x="661" y="180" id="3995" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3728" > -<father id="3730" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3785" > +<father id="3787" num="0" /> <cdparam x="661" y="215" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3724" /> -<TGConnectingPoint num="1" id="3725" /> -<TGConnectingPoint num="2" id="3726" /> -<TGConnectingPoint num="3" id="3727" /> +<TGConnectingPoint num="0" id="3781" /> +<TGConnectingPoint num="1" id="3782" /> +<TGConnectingPoint num="2" id="3783" /> +<TGConnectingPoint num="3" id="3784" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7518,25 +7633,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3737" > +<CONNECTOR type="5102" id="3794" > <cdparam x="661" y="95" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3736" /> -<P1 x="661" y="95" id="3950" /> -<P2 x="661" y="106" id="4207" /> +<TGConnectingPoint num="0" id="3793" /> +<P1 x="661" y="95" id="4007" /> +<P2 x="661" y="106" id="4264" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3735" > -<father id="3737" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3792" > +<father id="3794" num="0" /> <cdparam x="661" y="135" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3731" /> -<TGConnectingPoint num="1" id="3732" /> -<TGConnectingPoint num="2" id="3733" /> -<TGConnectingPoint num="3" id="3734" /> +<TGConnectingPoint num="0" id="3788" /> +<TGConnectingPoint num="1" id="3789" /> +<TGConnectingPoint num="2" id="3790" /> +<TGConnectingPoint num="3" id="3791" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7546,25 +7661,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3744" > +<CONNECTOR type="5102" id="3801" > <cdparam x="450" y="255" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3743" /> -<P1 x="492" y="208" id="4128" /> -<P2 x="453" y="262" id="3969" /> +<TGConnectingPoint num="0" id="3800" /> +<P1 x="492" y="208" id="4185" /> +<P2 x="453" y="262" id="4026" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3742" > -<father id="3744" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3799" > +<father id="3801" num="0" /> <cdparam x="450" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3738" /> -<TGConnectingPoint num="1" id="3739" /> -<TGConnectingPoint num="2" id="3740" /> -<TGConnectingPoint num="3" id="3741" /> +<TGConnectingPoint num="0" id="3795" /> +<TGConnectingPoint num="1" id="3796" /> +<TGConnectingPoint num="2" id="3797" /> +<TGConnectingPoint num="3" id="3798" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7574,25 +7689,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3751" > +<CONNECTOR type="5102" id="3808" > <cdparam x="304" y="257" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Receive signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3750" /> -<P1 x="357" y="209" id="4002" /> -<P2 x="403" y="262" id="3968" /> +<TGConnectingPoint num="0" id="3807" /> +<P1 x="357" y="209" id="4059" /> +<P2 x="403" y="262" id="4025" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3749" > -<father id="3751" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3806" > +<father id="3808" num="0" /> <cdparam x="304" y="297" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3745" /> -<TGConnectingPoint num="1" id="3746" /> -<TGConnectingPoint num="2" id="3747" /> -<TGConnectingPoint num="3" id="3748" /> +<TGConnectingPoint num="0" id="3802" /> +<TGConnectingPoint num="1" id="3803" /> +<TGConnectingPoint num="2" id="3804" /> +<TGConnectingPoint num="3" id="3805" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7602,25 +7717,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3758" > +<CONNECTOR type="5102" id="3815" > <cdparam x="409" y="164" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state1 to Receive signal" value="null" /> -<TGConnectingPoint num="0" id="3757" /> -<P1 x="409" y="164" id="4100" /> -<P2 x="357" y="179" id="4001" /> +<TGConnectingPoint num="0" id="3814" /> +<P1 x="409" y="164" id="4157" /> +<P2 x="357" y="179" id="4058" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3756" > -<father id="3758" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3813" > +<father id="3815" num="0" /> <cdparam x="409" y="204" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3752" /> -<TGConnectingPoint num="1" id="3753" /> -<TGConnectingPoint num="2" id="3754" /> -<TGConnectingPoint num="3" id="3755" /> +<TGConnectingPoint num="0" id="3809" /> +<TGConnectingPoint num="1" id="3810" /> +<TGConnectingPoint num="2" id="3811" /> +<TGConnectingPoint num="3" id="3812" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7630,25 +7745,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3765" > +<CONNECTOR type="5102" id="3822" > <cdparam x="646" y="270" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state1" value="null" /> -<TGConnectingPoint num="0" id="3764" /> -<P1 x="661" y="210" id="3939" /> -<P2 x="471" y="152" id="4099" /> +<TGConnectingPoint num="0" id="3821" /> +<P1 x="661" y="210" id="3996" /> +<P2 x="471" y="152" id="4156" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3763" > -<father id="3765" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3820" > +<father id="3822" num="0" /> <cdparam x="646" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3759" /> -<TGConnectingPoint num="1" id="3760" /> -<TGConnectingPoint num="2" id="3761" /> -<TGConnectingPoint num="3" id="3762" /> +<TGConnectingPoint num="0" id="3816" /> +<TGConnectingPoint num="1" id="3817" /> +<TGConnectingPoint num="2" id="3818" /> +<TGConnectingPoint num="3" id="3819" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7658,25 +7773,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3772" > +<CONNECTOR type="5102" id="3829" > <cdparam x="660" y="178" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3771" /> -<P1 x="661" y="141" id="4212" /> -<P2 x="661" y="145" id="4195" /> +<TGConnectingPoint num="0" id="3828" /> +<P1 x="661" y="141" id="4269" /> +<P2 x="661" y="145" id="4252" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3770" > -<father id="3772" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3827" > +<father id="3829" num="0" /> <cdparam x="660" y="218" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3766" /> -<TGConnectingPoint num="1" id="3767" /> -<TGConnectingPoint num="2" id="3768" /> -<TGConnectingPoint num="3" id="3769" /> +<TGConnectingPoint num="0" id="3823" /> +<TGConnectingPoint num="1" id="3824" /> +<TGConnectingPoint num="2" id="3825" /> +<TGConnectingPoint num="3" id="3826" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7686,25 +7801,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3779" > +<CONNECTOR type="5102" id="3836" > <cdparam x="659" y="110" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3778" /> -<P1 x="661" y="61" id="4076" /> -<P2 x="661" y="65" id="3949" /> +<TGConnectingPoint num="0" id="3835" /> +<P1 x="661" y="61" id="4133" /> +<P2 x="661" y="65" id="4006" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3777" > -<father id="3779" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3834" > +<father id="3836" num="0" /> <cdparam x="659" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3773" /> -<TGConnectingPoint num="1" id="3774" /> -<TGConnectingPoint num="2" id="3775" /> -<TGConnectingPoint num="3" id="3776" /> +<TGConnectingPoint num="0" id="3830" /> +<TGConnectingPoint num="1" id="3831" /> +<TGConnectingPoint num="2" id="3832" /> +<TGConnectingPoint num="3" id="3833" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7714,25 +7829,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3786" > +<CONNECTOR type="5102" id="3843" > <cdparam x="739" y="573" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3785" /> -<P1 x="671" y="485" id="4185" /> -<P2 x="671" y="488" id="3916" /> +<TGConnectingPoint num="0" id="3842" /> +<P1 x="671" y="485" id="4242" /> +<P2 x="671" y="488" id="3973" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3784" > -<father id="3786" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3841" > +<father id="3843" num="0" /> <cdparam x="739" y="613" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3780" /> -<TGConnectingPoint num="1" id="3781" /> -<TGConnectingPoint num="2" id="3782" /> -<TGConnectingPoint num="3" id="3783" /> +<TGConnectingPoint num="0" id="3837" /> +<TGConnectingPoint num="1" id="3838" /> +<TGConnectingPoint num="2" id="3839" /> +<TGConnectingPoint num="3" id="3840" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7742,25 +7857,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3793" > +<CONNECTOR type="5102" id="3850" > <cdparam x="769" y="593" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3792" /> -<P1 x="671" y="443" id="4253" /> -<P2 x="671" y="455" id="4184" /> +<TGConnectingPoint num="0" id="3849" /> +<P1 x="671" y="443" id="4310" /> +<P2 x="671" y="455" id="4241" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3791" > -<father id="3793" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3848" > +<father id="3850" num="0" /> <cdparam x="769" y="633" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3787" /> -<TGConnectingPoint num="1" id="3788" /> -<TGConnectingPoint num="2" id="3789" /> -<TGConnectingPoint num="3" id="3790" /> +<TGConnectingPoint num="0" id="3844" /> +<TGConnectingPoint num="1" id="3845" /> +<TGConnectingPoint num="2" id="3846" /> +<TGConnectingPoint num="3" id="3847" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7770,55 +7885,55 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3806" > +<CONNECTOR type="5102" id="3863" > <cdparam x="656" y="608" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3802" /> -<TGConnectingPoint num="1" id="3803" /> -<TGConnectingPoint num="2" id="3804" /> -<TGConnectingPoint num="3" id="3805" /> -<P1 x="671" y="587" id="3906" /> -<P2 x="478" y="432" id="4036" /> +<TGConnectingPoint num="0" id="3859" /> +<TGConnectingPoint num="1" id="3860" /> +<TGConnectingPoint num="2" id="3861" /> +<TGConnectingPoint num="3" id="3862" /> +<P1 x="671" y="587" id="3963" /> +<P2 x="478" y="432" id="4093" /> <Point x="671" y="595" /> <Point x="548" y="595" /> <Point x="548" y="432" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3794" > -<father id="3806" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3851" > +<father id="3863" num="0" /> <cdparam x="671" y="595" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3795" > -<father id="3806" num="1" /> +<SUBCOMPONENT type="-1" id="3852" > +<father id="3863" num="1" /> <cdparam x="548" y="595" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3796" > -<father id="3806" num="2" /> +<SUBCOMPONENT type="-1" id="3853" > +<father id="3863" num="2" /> <cdparam x="548" y="432" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3801" > -<father id="3806" num="3" /> +<SUBCOMPONENT type="-1" id="3858" > +<father id="3863" num="3" /> <cdparam x="656" y="648" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3797" /> -<TGConnectingPoint num="1" id="3798" /> -<TGConnectingPoint num="2" id="3799" /> -<TGConnectingPoint num="3" id="3800" /> +<TGConnectingPoint num="0" id="3854" /> +<TGConnectingPoint num="1" id="3855" /> +<TGConnectingPoint num="2" id="3856" /> +<TGConnectingPoint num="3" id="3857" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7828,25 +7943,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3813" > +<CONNECTOR type="5102" id="3870" > <cdparam x="770" y="523" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3812" /> -<P1 x="671" y="375" id="4141" /> -<P2 x="671" y="393" id="4248" /> +<TGConnectingPoint num="0" id="3869" /> +<P1 x="671" y="375" id="4198" /> +<P2 x="671" y="393" id="4305" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3811" > -<father id="3813" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3868" > +<father id="3870" num="0" /> <cdparam x="770" y="563" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3807" /> -<TGConnectingPoint num="1" id="3808" /> -<TGConnectingPoint num="2" id="3809" /> -<TGConnectingPoint num="3" id="3810" /> +<TGConnectingPoint num="0" id="3864" /> +<TGConnectingPoint num="1" id="3865" /> +<TGConnectingPoint num="2" id="3866" /> +<TGConnectingPoint num="3" id="3867" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7856,25 +7971,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3820" > +<CONNECTOR type="5102" id="3877" > <cdparam x="642" y="363" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Receive signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3819" /> -<P1 x="670" y="287" id="4013" /> -<P2 x="671" y="302" id="3927" /> +<TGConnectingPoint num="0" id="3876" /> +<P1 x="670" y="287" id="4070" /> +<P2 x="671" y="302" id="3984" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3818" > -<father id="3820" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3875" > +<father id="3877" num="0" /> <cdparam x="654" y="379" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3814" /> -<TGConnectingPoint num="1" id="3815" /> -<TGConnectingPoint num="2" id="3816" /> -<TGConnectingPoint num="3" id="3817" /> +<TGConnectingPoint num="0" id="3871" /> +<TGConnectingPoint num="1" id="3872" /> +<TGConnectingPoint num="2" id="3873" /> +<TGConnectingPoint num="3" id="3874" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -7884,55 +7999,55 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3833" > +<CONNECTOR type="5102" id="3890" > <cdparam x="425" y="562" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to state0" value="null" /> -<TGConnectingPoint num="0" id="3829" /> -<TGConnectingPoint num="1" id="3830" /> -<TGConnectingPoint num="2" id="3831" /> -<TGConnectingPoint num="3" id="3832" /> -<P1 x="403" y="445" id="4037" /> -<P2 x="378" y="432" id="4035" /> +<TGConnectingPoint num="0" id="3886" /> +<TGConnectingPoint num="1" id="3887" /> +<TGConnectingPoint num="2" id="3888" /> +<TGConnectingPoint num="3" id="3889" /> +<P1 x="403" y="445" id="4094" /> +<P2 x="378" y="432" id="4092" /> <Point x="403" y="480" /> <Point x="319" y="480" /> <Point x="319" y="432" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3821" > -<father id="3833" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3878" > +<father id="3890" num="0" /> <cdparam x="403" y="480" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3822" > -<father id="3833" num="1" /> +<SUBCOMPONENT type="-1" id="3879" > +<father id="3890" num="1" /> <cdparam x="319" y="480" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3823" > -<father id="3833" num="2" /> +<SUBCOMPONENT type="-1" id="3880" > +<father id="3890" num="2" /> <cdparam x="319" y="432" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3828" > -<father id="3833" num="3" /> +<SUBCOMPONENT type="-1" id="3885" > +<father id="3890" num="3" /> <cdparam x="158" y="477" /> <sizeparam width="212" height="60" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3824" /> -<TGConnectingPoint num="1" id="3825" /> -<TGConnectingPoint num="2" id="3826" /> -<TGConnectingPoint num="3" id="3827" /> +<TGConnectingPoint num="0" id="3881" /> +<TGConnectingPoint num="1" id="3882" /> +<TGConnectingPoint num="2" id="3883" /> +<TGConnectingPoint num="3" id="3884" /> <extraparam> <guard value="[ remainingTime>0 ]" /> <afterMin value="1" /> @@ -7944,25 +8059,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3840" > +<CONNECTOR type="5102" id="3897" > <cdparam x="499" y="496" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Receive signal" value="null" /> -<TGConnectingPoint num="0" id="3839" /> -<P1 x="478" y="420" id="4027" /> -<P2 x="670" y="257" id="4012" /> +<TGConnectingPoint num="0" id="3896" /> +<P1 x="478" y="420" id="4084" /> +<P2 x="670" y="257" id="4069" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3838" > -<father id="3840" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3895" > +<father id="3897" num="0" /> <cdparam x="513" y="302" /> <sizeparam width="208" height="60" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3834" /> -<TGConnectingPoint num="1" id="3835" /> -<TGConnectingPoint num="2" id="3836" /> -<TGConnectingPoint num="3" id="3837" /> +<TGConnectingPoint num="0" id="3891" /> +<TGConnectingPoint num="1" id="3892" /> +<TGConnectingPoint num="2" id="3893" /> +<TGConnectingPoint num="3" id="3894" /> <extraparam> <guard value="[remainingTime > 0 ]" /> <afterMin value="1" /> @@ -7974,25 +8089,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3847" > +<CONNECTOR type="5102" id="3904" > <cdparam x="450" y="562" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3846" /> -<P1 x="428" y="445" id="4029" /> -<P2 x="428" y="507" id="4151" /> +<TGConnectingPoint num="0" id="3903" /> +<P1 x="428" y="445" id="4086" /> +<P2 x="428" y="507" id="4208" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3845" > -<father id="3847" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3902" > +<father id="3904" num="0" /> <cdparam x="397" y="475" /> <sizeparam width="137" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3841" /> -<TGConnectingPoint num="1" id="3842" /> -<TGConnectingPoint num="2" id="3843" /> -<TGConnectingPoint num="3" id="3844" /> +<TGConnectingPoint num="0" id="3898" /> +<TGConnectingPoint num="1" id="3899" /> +<TGConnectingPoint num="2" id="3900" /> +<TGConnectingPoint num="3" id="3901" /> <extraparam> <guard value="[ remainingTime==0 ]" /> <afterMin value="" /> @@ -8002,25 +8117,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3854" > +<CONNECTOR type="5102" id="3911" > <cdparam x="450" y="487" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="3853" /> -<P1 x="428" y="334" id="4174" /> -<P2 x="428" y="350" id="4288" /> +<TGConnectingPoint num="0" id="3910" /> +<P1 x="428" y="334" id="4231" /> +<P2 x="428" y="350" id="4345" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3852" > -<father id="3854" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3909" > +<father id="3911" num="0" /> <cdparam x="252" y="341" /> <sizeparam width="181" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3848" /> -<TGConnectingPoint num="1" id="3849" /> -<TGConnectingPoint num="2" id="3850" /> -<TGConnectingPoint num="3" id="3851" /> +<TGConnectingPoint num="0" id="3905" /> +<TGConnectingPoint num="1" id="3906" /> +<TGConnectingPoint num="2" id="3907" /> +<TGConnectingPoint num="3" id="3908" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8032,65 +8147,65 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3869" > +<CONNECTOR type="5102" id="3926" > <cdparam x="419" y="547" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state1" value="null" /> -<TGConnectingPoint num="0" id="3864" /> -<TGConnectingPoint num="1" id="3865" /> -<TGConnectingPoint num="2" id="3866" /> -<TGConnectingPoint num="3" id="3867" /> -<TGConnectingPoint num="4" id="3868" /> -<P1 x="428" y="579" id="4065" /> -<P2 x="389" y="119" id="4086" /> +<TGConnectingPoint num="0" id="3921" /> +<TGConnectingPoint num="1" id="3922" /> +<TGConnectingPoint num="2" id="3923" /> +<TGConnectingPoint num="3" id="3924" /> +<TGConnectingPoint num="4" id="3925" /> +<P1 x="428" y="579" id="4122" /> +<P2 x="389" y="119" id="4143" /> <Point x="428" y="603" /> <Point x="220" y="603" /> <Point x="220" y="83" /> <Point x="389" y="83" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3855" > -<father id="3869" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3912" > +<father id="3926" num="0" /> <cdparam x="428" y="603" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3856" > -<father id="3869" num="1" /> +<SUBCOMPONENT type="-1" id="3913" > +<father id="3926" num="1" /> <cdparam x="220" y="603" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3857" > -<father id="3869" num="2" /> +<SUBCOMPONENT type="-1" id="3914" > +<father id="3926" num="2" /> <cdparam x="220" y="83" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3858" > -<father id="3869" num="3" /> +<SUBCOMPONENT type="-1" id="3915" > +<father id="3926" num="3" /> <cdparam x="389" y="83" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="3863" > -<father id="3869" num="4" /> +<SUBCOMPONENT type="-1" id="3920" > +<father id="3926" num="4" /> <cdparam x="448" y="590" /> <sizeparam width="64" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3859" /> -<TGConnectingPoint num="1" id="3860" /> -<TGConnectingPoint num="2" id="3861" /> -<TGConnectingPoint num="3" id="3862" /> +<TGConnectingPoint num="0" id="3916" /> +<TGConnectingPoint num="1" id="3917" /> +<TGConnectingPoint num="2" id="3918" /> +<TGConnectingPoint num="3" id="3919" /> <extraparam> <guard value="[ ]" /> <afterMin value="5" /> @@ -8100,25 +8215,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3876" > +<CONNECTOR type="5102" id="3933" > <cdparam x="419" y="633" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3875" /> -<P1 x="428" y="537" id="4152" /> -<P2 x="428" y="549" id="4064" /> +<TGConnectingPoint num="0" id="3932" /> +<P1 x="428" y="537" id="4209" /> +<P2 x="428" y="549" id="4121" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3874" > -<father id="3876" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3931" > +<father id="3933" num="0" /> <cdparam x="419" y="673" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3870" /> -<TGConnectingPoint num="1" id="3871" /> -<TGConnectingPoint num="2" id="3872" /> -<TGConnectingPoint num="3" id="3873" /> +<TGConnectingPoint num="0" id="3927" /> +<TGConnectingPoint num="1" id="3928" /> +<TGConnectingPoint num="2" id="3929" /> +<TGConnectingPoint num="3" id="3930" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8128,25 +8243,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3883" > +<CONNECTOR type="5102" id="3940" > <cdparam x="471" y="183" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state1 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3882" /> -<P1 x="471" y="141" id="4090" /> -<P2 x="661" y="31" id="4075" /> +<TGConnectingPoint num="0" id="3939" /> +<P1 x="471" y="141" id="4147" /> +<P2 x="661" y="31" id="4132" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3881" > -<father id="3883" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3938" > +<father id="3940" num="0" /> <cdparam x="471" y="223" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3877" /> -<TGConnectingPoint num="1" id="3878" /> -<TGConnectingPoint num="2" id="3879" /> -<TGConnectingPoint num="3" id="3880" /> +<TGConnectingPoint num="0" id="3934" /> +<TGConnectingPoint num="1" id="3935" /> +<TGConnectingPoint num="2" id="3936" /> +<TGConnectingPoint num="3" id="3937" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8156,25 +8271,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3890" > +<CONNECTOR type="5102" id="3947" > <cdparam x="463" y="186" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state1 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3889" /> -<P1 x="450" y="164" id="4101" /> -<P2 x="492" y="178" id="4127" /> +<TGConnectingPoint num="0" id="3946" /> +<P1 x="450" y="164" id="4158" /> +<P2 x="492" y="178" id="4184" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3888" > -<father id="3890" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3945" > +<father id="3947" num="0" /> <cdparam x="400" y="221" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3884" /> -<TGConnectingPoint num="1" id="3885" /> -<TGConnectingPoint num="2" id="3886" /> -<TGConnectingPoint num="3" id="3887" /> +<TGConnectingPoint num="0" id="3941" /> +<TGConnectingPoint num="1" id="3942" /> +<TGConnectingPoint num="2" id="3943" /> +<TGConnectingPoint num="3" id="3944" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8184,25 +8299,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3897" > +<CONNECTOR type="5102" id="3954" > <cdparam x="438" y="140" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state1" value="null" /> -<TGConnectingPoint num="0" id="3896" /> -<P1 x="430" y="100" id="4138" /> -<P2 x="430" y="119" id="4087" /> +<TGConnectingPoint num="0" id="3953" /> +<P1 x="430" y="100" id="4195" /> +<P2 x="430" y="119" id="4144" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3895" > -<father id="3897" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3952" > +<father id="3954" num="0" /> <cdparam x="442" y="129" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3891" /> -<TGConnectingPoint num="1" id="3892" /> -<TGConnectingPoint num="2" id="3893" /> -<TGConnectingPoint num="3" id="3894" /> +<TGConnectingPoint num="0" id="3948" /> +<TGConnectingPoint num="1" id="3949" /> +<TGConnectingPoint num="2" id="3950" /> +<TGConnectingPoint num="3" id="3951" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8212,25 +8327,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="3904" > +<CONNECTOR type="5102" id="3961" > <cdparam x="449" y="388" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to Send signal" value="null" /> -<TGConnectingPoint num="0" id="3903" /> -<P1 x="428" y="298" id="3966" /> -<P2 x="428" y="304" id="4173" /> +<TGConnectingPoint num="0" id="3960" /> +<P1 x="428" y="298" id="4023" /> +<P2 x="428" y="304" id="4230" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="3902" > -<father id="3904" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="3959" > +<father id="3961" num="0" /> <cdparam x="449" y="428" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="3898" /> -<TGConnectingPoint num="1" id="3899" /> -<TGConnectingPoint num="2" id="3900" /> -<TGConnectingPoint num="3" id="3901" /> +<TGConnectingPoint num="0" id="3955" /> +<TGConnectingPoint num="1" id="3956" /> +<TGConnectingPoint num="2" id="3957" /> +<TGConnectingPoint num="3" id="3958" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8240,622 +8355,622 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5103" id="3915" > +<COMPONENT type="5103" id="3972" > <cdparam x="597" y="562" /> <sizeparam width="149" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_magnetronStart()" /> -<TGConnectingPoint num="0" id="3905" /> -<TGConnectingPoint num="1" id="3906" /> -<TGConnectingPoint num="2" id="3907" /> -<TGConnectingPoint num="3" id="3908" /> -<TGConnectingPoint num="4" id="3909" /> -<TGConnectingPoint num="5" id="3910" /> -<TGConnectingPoint num="6" id="3911" /> -<TGConnectingPoint num="7" id="3912" /> -<TGConnectingPoint num="8" id="3913" /> -<TGConnectingPoint num="9" id="3914" /> -</COMPONENT> - -<COMPONENT type="5103" id="3926" > +<TGConnectingPoint num="0" id="3962" /> +<TGConnectingPoint num="1" id="3963" /> +<TGConnectingPoint num="2" id="3964" /> +<TGConnectingPoint num="3" id="3965" /> +<TGConnectingPoint num="4" id="3966" /> +<TGConnectingPoint num="5" id="3967" /> +<TGConnectingPoint num="6" id="3968" /> +<TGConnectingPoint num="7" id="3969" /> +<TGConnectingPoint num="8" id="3970" /> +<TGConnectingPoint num="9" id="3971" /> +</COMPONENT> + +<COMPONENT type="5103" id="3983" > <cdparam x="626" y="493" /> <sizeparam width="90" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_closed()" /> -<TGConnectingPoint num="0" id="3916" /> -<TGConnectingPoint num="1" id="3917" /> -<TGConnectingPoint num="2" id="3918" /> -<TGConnectingPoint num="3" id="3919" /> -<TGConnectingPoint num="4" id="3920" /> -<TGConnectingPoint num="5" id="3921" /> -<TGConnectingPoint num="6" id="3922" /> -<TGConnectingPoint num="7" id="3923" /> -<TGConnectingPoint num="8" id="3924" /> -<TGConnectingPoint num="9" id="3925" /> -</COMPONENT> - -<COMPONENT type="5103" id="3937" > +<TGConnectingPoint num="0" id="3973" /> +<TGConnectingPoint num="1" id="3974" /> +<TGConnectingPoint num="2" id="3975" /> +<TGConnectingPoint num="3" id="3976" /> +<TGConnectingPoint num="4" id="3977" /> +<TGConnectingPoint num="5" id="3978" /> +<TGConnectingPoint num="6" id="3979" /> +<TGConnectingPoint num="7" id="3980" /> +<TGConnectingPoint num="8" id="3981" /> +<TGConnectingPoint num="9" id="3982" /> +</COMPONENT> + +<COMPONENT type="5103" id="3994" > <cdparam x="631" y="307" /> <sizeparam width="81" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_open()" /> -<TGConnectingPoint num="0" id="3927" /> -<TGConnectingPoint num="1" id="3928" /> -<TGConnectingPoint num="2" id="3929" /> -<TGConnectingPoint num="3" id="3930" /> -<TGConnectingPoint num="4" id="3931" /> -<TGConnectingPoint num="5" id="3932" /> -<TGConnectingPoint num="6" id="3933" /> -<TGConnectingPoint num="7" id="3934" /> -<TGConnectingPoint num="8" id="3935" /> -<TGConnectingPoint num="9" id="3936" /> -</COMPONENT> - -<COMPONENT type="5103" id="3948" > +<TGConnectingPoint num="0" id="3984" /> +<TGConnectingPoint num="1" id="3985" /> +<TGConnectingPoint num="2" id="3986" /> +<TGConnectingPoint num="3" id="3987" /> +<TGConnectingPoint num="4" id="3988" /> +<TGConnectingPoint num="5" id="3989" /> +<TGConnectingPoint num="6" id="3990" /> +<TGConnectingPoint num="7" id="3991" /> +<TGConnectingPoint num="8" id="3992" /> +<TGConnectingPoint num="9" id="3993" /> +</COMPONENT> + +<COMPONENT type="5103" id="4005" > <cdparam x="616" y="185" /> <sizeparam width="90" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_closed()" /> -<TGConnectingPoint num="0" id="3938" /> -<TGConnectingPoint num="1" id="3939" /> -<TGConnectingPoint num="2" id="3940" /> -<TGConnectingPoint num="3" id="3941" /> -<TGConnectingPoint num="4" id="3942" /> -<TGConnectingPoint num="5" id="3943" /> -<TGConnectingPoint num="6" id="3944" /> -<TGConnectingPoint num="7" id="3945" /> -<TGConnectingPoint num="8" id="3946" /> -<TGConnectingPoint num="9" id="3947" /> -</COMPONENT> - -<COMPONENT type="5103" id="3959" > +<TGConnectingPoint num="0" id="3995" /> +<TGConnectingPoint num="1" id="3996" /> +<TGConnectingPoint num="2" id="3997" /> +<TGConnectingPoint num="3" id="3998" /> +<TGConnectingPoint num="4" id="3999" /> +<TGConnectingPoint num="5" id="4000" /> +<TGConnectingPoint num="6" id="4001" /> +<TGConnectingPoint num="7" id="4002" /> +<TGConnectingPoint num="8" id="4003" /> +<TGConnectingPoint num="9" id="4004" /> +</COMPONENT> + +<COMPONENT type="5103" id="4016" > <cdparam x="621" y="70" /> <sizeparam width="81" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_open()" /> -<TGConnectingPoint num="0" id="3949" /> -<TGConnectingPoint num="1" id="3950" /> -<TGConnectingPoint num="2" id="3951" /> -<TGConnectingPoint num="3" id="3952" /> -<TGConnectingPoint num="4" id="3953" /> -<TGConnectingPoint num="5" id="3954" /> -<TGConnectingPoint num="6" id="3955" /> -<TGConnectingPoint num="7" id="3956" /> -<TGConnectingPoint num="8" id="3957" /> -<TGConnectingPoint num="9" id="3958" /> -</COMPONENT> - -<COMPONENT type="5106" id="4000" > +<TGConnectingPoint num="0" id="4006" /> +<TGConnectingPoint num="1" id="4007" /> +<TGConnectingPoint num="2" id="4008" /> +<TGConnectingPoint num="3" id="4009" /> +<TGConnectingPoint num="4" id="4010" /> +<TGConnectingPoint num="5" id="4011" /> +<TGConnectingPoint num="6" id="4012" /> +<TGConnectingPoint num="7" id="4013" /> +<TGConnectingPoint num="8" id="4014" /> +<TGConnectingPoint num="9" id="4015" /> +</COMPONENT> + +<COMPONENT type="5106" id="4057" > <cdparam x="378" y="262" /> <sizeparam width="100" height="36" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Starting" /> -<TGConnectingPoint num="0" id="3960" /> -<TGConnectingPoint num="1" id="3961" /> -<TGConnectingPoint num="2" id="3962" /> -<TGConnectingPoint num="3" id="3963" /> -<TGConnectingPoint num="4" id="3964" /> -<TGConnectingPoint num="5" id="3965" /> -<TGConnectingPoint num="6" id="3966" /> -<TGConnectingPoint num="7" id="3967" /> -<TGConnectingPoint num="8" id="3968" /> -<TGConnectingPoint num="9" id="3969" /> -<TGConnectingPoint num="10" id="3970" /> -<TGConnectingPoint num="11" id="3971" /> -<TGConnectingPoint num="12" id="3972" /> -<TGConnectingPoint num="13" id="3973" /> -<TGConnectingPoint num="14" id="3974" /> -<TGConnectingPoint num="15" id="3975" /> -<TGConnectingPoint num="16" id="3976" /> -<TGConnectingPoint num="17" id="3977" /> -<TGConnectingPoint num="18" id="3978" /> -<TGConnectingPoint num="19" id="3979" /> -<TGConnectingPoint num="20" id="3980" /> -<TGConnectingPoint num="21" id="3981" /> -<TGConnectingPoint num="22" id="3982" /> -<TGConnectingPoint num="23" id="3983" /> -<TGConnectingPoint num="24" id="3984" /> -<TGConnectingPoint num="25" id="3985" /> -<TGConnectingPoint num="26" id="3986" /> -<TGConnectingPoint num="27" id="3987" /> -<TGConnectingPoint num="28" id="3988" /> -<TGConnectingPoint num="29" id="3989" /> -<TGConnectingPoint num="30" id="3990" /> -<TGConnectingPoint num="31" id="3991" /> -<TGConnectingPoint num="32" id="3992" /> -<TGConnectingPoint num="33" id="3993" /> -<TGConnectingPoint num="34" id="3994" /> -<TGConnectingPoint num="35" id="3995" /> -<TGConnectingPoint num="36" id="3996" /> -<TGConnectingPoint num="37" id="3997" /> -<TGConnectingPoint num="38" id="3998" /> -<TGConnectingPoint num="39" id="3999" /> +<TGConnectingPoint num="0" id="4017" /> +<TGConnectingPoint num="1" id="4018" /> +<TGConnectingPoint num="2" id="4019" /> +<TGConnectingPoint num="3" id="4020" /> +<TGConnectingPoint num="4" id="4021" /> +<TGConnectingPoint num="5" id="4022" /> +<TGConnectingPoint num="6" id="4023" /> +<TGConnectingPoint num="7" id="4024" /> +<TGConnectingPoint num="8" id="4025" /> +<TGConnectingPoint num="9" id="4026" /> +<TGConnectingPoint num="10" id="4027" /> +<TGConnectingPoint num="11" id="4028" /> +<TGConnectingPoint num="12" id="4029" /> +<TGConnectingPoint num="13" id="4030" /> +<TGConnectingPoint num="14" id="4031" /> +<TGConnectingPoint num="15" id="4032" /> +<TGConnectingPoint num="16" id="4033" /> +<TGConnectingPoint num="17" id="4034" /> +<TGConnectingPoint num="18" id="4035" /> +<TGConnectingPoint num="19" id="4036" /> +<TGConnectingPoint num="20" id="4037" /> +<TGConnectingPoint num="21" id="4038" /> +<TGConnectingPoint num="22" id="4039" /> +<TGConnectingPoint num="23" id="4040" /> +<TGConnectingPoint num="24" id="4041" /> +<TGConnectingPoint num="25" id="4042" /> +<TGConnectingPoint num="26" id="4043" /> +<TGConnectingPoint num="27" id="4044" /> +<TGConnectingPoint num="28" id="4045" /> +<TGConnectingPoint num="29" id="4046" /> +<TGConnectingPoint num="30" id="4047" /> +<TGConnectingPoint num="31" id="4048" /> +<TGConnectingPoint num="32" id="4049" /> +<TGConnectingPoint num="33" id="4050" /> +<TGConnectingPoint num="34" id="4051" /> +<TGConnectingPoint num="35" id="4052" /> +<TGConnectingPoint num="36" id="4053" /> +<TGConnectingPoint num="37" id="4054" /> +<TGConnectingPoint num="38" id="4055" /> +<TGConnectingPoint num="39" id="4056" /> <extraparam> <entryCode value="printf("Starting microwave, lets go!\n");" /> </extraparam> </COMPONENT> -<COMPONENT type="5104" id="4011" > +<COMPONENT type="5104" id="4068" > <cdparam x="279" y="184" /> <sizeparam width="157" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Receive signal" value="remoteStart(duration)" /> -<TGConnectingPoint num="0" id="4001" /> -<TGConnectingPoint num="1" id="4002" /> -<TGConnectingPoint num="2" id="4003" /> -<TGConnectingPoint num="3" id="4004" /> -<TGConnectingPoint num="4" id="4005" /> -<TGConnectingPoint num="5" id="4006" /> -<TGConnectingPoint num="6" id="4007" /> -<TGConnectingPoint num="7" id="4008" /> -<TGConnectingPoint num="8" id="4009" /> -<TGConnectingPoint num="9" id="4010" /> -</COMPONENT> - -<COMPONENT type="5104" id="4022" > +<TGConnectingPoint num="0" id="4058" /> +<TGConnectingPoint num="1" id="4059" /> +<TGConnectingPoint num="2" id="4060" /> +<TGConnectingPoint num="3" id="4061" /> +<TGConnectingPoint num="4" id="4062" /> +<TGConnectingPoint num="5" id="4063" /> +<TGConnectingPoint num="6" id="4064" /> +<TGConnectingPoint num="7" id="4065" /> +<TGConnectingPoint num="8" id="4066" /> +<TGConnectingPoint num="9" id="4067" /> +</COMPONENT> + +<COMPONENT type="5104" id="4079" > <cdparam x="640" y="262" /> <sizeparam width="60" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Receive signal" value="open()" /> -<TGConnectingPoint num="0" id="4012" /> -<TGConnectingPoint num="1" id="4013" /> -<TGConnectingPoint num="2" id="4014" /> -<TGConnectingPoint num="3" id="4015" /> -<TGConnectingPoint num="4" id="4016" /> -<TGConnectingPoint num="5" id="4017" /> -<TGConnectingPoint num="6" id="4018" /> -<TGConnectingPoint num="7" id="4019" /> -<TGConnectingPoint num="8" id="4020" /> -<TGConnectingPoint num="9" id="4021" /> -</COMPONENT> - -<COMPONENT type="5106" id="4063" > +<TGConnectingPoint num="0" id="4069" /> +<TGConnectingPoint num="1" id="4070" /> +<TGConnectingPoint num="2" id="4071" /> +<TGConnectingPoint num="3" id="4072" /> +<TGConnectingPoint num="4" id="4073" /> +<TGConnectingPoint num="5" id="4074" /> +<TGConnectingPoint num="6" id="4075" /> +<TGConnectingPoint num="7" id="4076" /> +<TGConnectingPoint num="8" id="4077" /> +<TGConnectingPoint num="9" id="4078" /> +</COMPONENT> + +<COMPONENT type="5106" id="4120" > <cdparam x="378" y="395" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="ReallyHeating" /> -<TGConnectingPoint num="0" id="4023" /> -<TGConnectingPoint num="1" id="4024" /> -<TGConnectingPoint num="2" id="4025" /> -<TGConnectingPoint num="3" id="4026" /> -<TGConnectingPoint num="4" id="4027" /> -<TGConnectingPoint num="5" id="4028" /> -<TGConnectingPoint num="6" id="4029" /> -<TGConnectingPoint num="7" id="4030" /> -<TGConnectingPoint num="8" id="4031" /> -<TGConnectingPoint num="9" id="4032" /> -<TGConnectingPoint num="10" id="4033" /> -<TGConnectingPoint num="11" id="4034" /> -<TGConnectingPoint num="12" id="4035" /> -<TGConnectingPoint num="13" id="4036" /> -<TGConnectingPoint num="14" id="4037" /> -<TGConnectingPoint num="15" id="4038" /> -<TGConnectingPoint num="16" id="4039" /> -<TGConnectingPoint num="17" id="4040" /> -<TGConnectingPoint num="18" id="4041" /> -<TGConnectingPoint num="19" id="4042" /> -<TGConnectingPoint num="20" id="4043" /> -<TGConnectingPoint num="21" id="4044" /> -<TGConnectingPoint num="22" id="4045" /> -<TGConnectingPoint num="23" id="4046" /> -<TGConnectingPoint num="24" id="4047" /> -<TGConnectingPoint num="25" id="4048" /> -<TGConnectingPoint num="26" id="4049" /> -<TGConnectingPoint num="27" id="4050" /> -<TGConnectingPoint num="28" id="4051" /> -<TGConnectingPoint num="29" id="4052" /> -<TGConnectingPoint num="30" id="4053" /> -<TGConnectingPoint num="31" id="4054" /> -<TGConnectingPoint num="32" id="4055" /> -<TGConnectingPoint num="33" id="4056" /> -<TGConnectingPoint num="34" id="4057" /> -<TGConnectingPoint num="35" id="4058" /> -<TGConnectingPoint num="36" id="4059" /> -<TGConnectingPoint num="37" id="4060" /> -<TGConnectingPoint num="38" id="4061" /> -<TGConnectingPoint num="39" id="4062" /> +<TGConnectingPoint num="0" id="4080" /> +<TGConnectingPoint num="1" id="4081" /> +<TGConnectingPoint num="2" id="4082" /> +<TGConnectingPoint num="3" id="4083" /> +<TGConnectingPoint num="4" id="4084" /> +<TGConnectingPoint num="5" id="4085" /> +<TGConnectingPoint num="6" id="4086" /> +<TGConnectingPoint num="7" id="4087" /> +<TGConnectingPoint num="8" id="4088" /> +<TGConnectingPoint num="9" id="4089" /> +<TGConnectingPoint num="10" id="4090" /> +<TGConnectingPoint num="11" id="4091" /> +<TGConnectingPoint num="12" id="4092" /> +<TGConnectingPoint num="13" id="4093" /> +<TGConnectingPoint num="14" id="4094" /> +<TGConnectingPoint num="15" id="4095" /> +<TGConnectingPoint num="16" id="4096" /> +<TGConnectingPoint num="17" id="4097" /> +<TGConnectingPoint num="18" id="4098" /> +<TGConnectingPoint num="19" id="4099" /> +<TGConnectingPoint num="20" id="4100" /> +<TGConnectingPoint num="21" id="4101" /> +<TGConnectingPoint num="22" id="4102" /> +<TGConnectingPoint num="23" id="4103" /> +<TGConnectingPoint num="24" id="4104" /> +<TGConnectingPoint num="25" id="4105" /> +<TGConnectingPoint num="26" id="4106" /> +<TGConnectingPoint num="27" id="4107" /> +<TGConnectingPoint num="28" id="4108" /> +<TGConnectingPoint num="29" id="4109" /> +<TGConnectingPoint num="30" id="4110" /> +<TGConnectingPoint num="31" id="4111" /> +<TGConnectingPoint num="32" id="4112" /> +<TGConnectingPoint num="33" id="4113" /> +<TGConnectingPoint num="34" id="4114" /> +<TGConnectingPoint num="35" id="4115" /> +<TGConnectingPoint num="36" id="4116" /> +<TGConnectingPoint num="37" id="4117" /> +<TGConnectingPoint num="38" id="4118" /> +<TGConnectingPoint num="39" id="4119" /> <extraparam> <entryCode value="printf("Heating ; remaining time :%d\n", remainingTime);" /> </extraparam> </COMPONENT> -<COMPONENT type="5103" id="4074" > +<COMPONENT type="5103" id="4131" > <cdparam x="395" y="554" /> <sizeparam width="66" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="ringBell()" /> -<TGConnectingPoint num="0" id="4064" /> -<TGConnectingPoint num="1" id="4065" /> -<TGConnectingPoint num="2" id="4066" /> -<TGConnectingPoint num="3" id="4067" /> -<TGConnectingPoint num="4" id="4068" /> -<TGConnectingPoint num="5" id="4069" /> -<TGConnectingPoint num="6" id="4070" /> -<TGConnectingPoint num="7" id="4071" /> -<TGConnectingPoint num="8" id="4072" /> -<TGConnectingPoint num="9" id="4073" /> +<TGConnectingPoint num="0" id="4121" /> +<TGConnectingPoint num="1" id="4122" /> +<TGConnectingPoint num="2" id="4123" /> +<TGConnectingPoint num="3" id="4124" /> +<TGConnectingPoint num="4" id="4125" /> +<TGConnectingPoint num="5" id="4126" /> +<TGConnectingPoint num="6" id="4127" /> +<TGConnectingPoint num="7" id="4128" /> +<TGConnectingPoint num="8" id="4129" /> +<TGConnectingPoint num="9" id="4130" /> <accessibility /> </COMPONENT> -<COMPONENT type="5104" id="4085" > +<COMPONENT type="5104" id="4142" > <cdparam x="631" y="36" /> <sizeparam width="60" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="open()" /> -<TGConnectingPoint num="0" id="4075" /> -<TGConnectingPoint num="1" id="4076" /> -<TGConnectingPoint num="2" id="4077" /> -<TGConnectingPoint num="3" id="4078" /> -<TGConnectingPoint num="4" id="4079" /> -<TGConnectingPoint num="5" id="4080" /> -<TGConnectingPoint num="6" id="4081" /> -<TGConnectingPoint num="7" id="4082" /> -<TGConnectingPoint num="8" id="4083" /> -<TGConnectingPoint num="9" id="4084" /> -</COMPONENT> - -<COMPONENT type="5106" id="4126" > +<TGConnectingPoint num="0" id="4132" /> +<TGConnectingPoint num="1" id="4133" /> +<TGConnectingPoint num="2" id="4134" /> +<TGConnectingPoint num="3" id="4135" /> +<TGConnectingPoint num="4" id="4136" /> +<TGConnectingPoint num="5" id="4137" /> +<TGConnectingPoint num="6" id="4138" /> +<TGConnectingPoint num="7" id="4139" /> +<TGConnectingPoint num="8" id="4140" /> +<TGConnectingPoint num="9" id="4141" /> +</COMPONENT> + +<COMPONENT type="5106" id="4183" > <cdparam x="389" y="119" /> <sizeparam width="82" height="45" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state1" value="Idle" /> -<TGConnectingPoint num="0" id="4086" /> -<TGConnectingPoint num="1" id="4087" /> -<TGConnectingPoint num="2" id="4088" /> -<TGConnectingPoint num="3" id="4089" /> -<TGConnectingPoint num="4" id="4090" /> -<TGConnectingPoint num="5" id="4091" /> -<TGConnectingPoint num="6" id="4092" /> -<TGConnectingPoint num="7" id="4093" /> -<TGConnectingPoint num="8" id="4094" /> -<TGConnectingPoint num="9" id="4095" /> -<TGConnectingPoint num="10" id="4096" /> -<TGConnectingPoint num="11" id="4097" /> -<TGConnectingPoint num="12" id="4098" /> -<TGConnectingPoint num="13" id="4099" /> -<TGConnectingPoint num="14" id="4100" /> -<TGConnectingPoint num="15" id="4101" /> -<TGConnectingPoint num="16" id="4102" /> -<TGConnectingPoint num="17" id="4103" /> -<TGConnectingPoint num="18" id="4104" /> -<TGConnectingPoint num="19" id="4105" /> -<TGConnectingPoint num="20" id="4106" /> -<TGConnectingPoint num="21" id="4107" /> -<TGConnectingPoint num="22" id="4108" /> -<TGConnectingPoint num="23" id="4109" /> -<TGConnectingPoint num="24" id="4110" /> -<TGConnectingPoint num="25" id="4111" /> -<TGConnectingPoint num="26" id="4112" /> -<TGConnectingPoint num="27" id="4113" /> -<TGConnectingPoint num="28" id="4114" /> -<TGConnectingPoint num="29" id="4115" /> -<TGConnectingPoint num="30" id="4116" /> -<TGConnectingPoint num="31" id="4117" /> -<TGConnectingPoint num="32" id="4118" /> -<TGConnectingPoint num="33" id="4119" /> -<TGConnectingPoint num="34" id="4120" /> -<TGConnectingPoint num="35" id="4121" /> -<TGConnectingPoint num="36" id="4122" /> -<TGConnectingPoint num="37" id="4123" /> -<TGConnectingPoint num="38" id="4124" /> -<TGConnectingPoint num="39" id="4125" /> +<TGConnectingPoint num="0" id="4143" /> +<TGConnectingPoint num="1" id="4144" /> +<TGConnectingPoint num="2" id="4145" /> +<TGConnectingPoint num="3" id="4146" /> +<TGConnectingPoint num="4" id="4147" /> +<TGConnectingPoint num="5" id="4148" /> +<TGConnectingPoint num="6" id="4149" /> +<TGConnectingPoint num="7" id="4150" /> +<TGConnectingPoint num="8" id="4151" /> +<TGConnectingPoint num="9" id="4152" /> +<TGConnectingPoint num="10" id="4153" /> +<TGConnectingPoint num="11" id="4154" /> +<TGConnectingPoint num="12" id="4155" /> +<TGConnectingPoint num="13" id="4156" /> +<TGConnectingPoint num="14" id="4157" /> +<TGConnectingPoint num="15" id="4158" /> +<TGConnectingPoint num="16" id="4159" /> +<TGConnectingPoint num="17" id="4160" /> +<TGConnectingPoint num="18" id="4161" /> +<TGConnectingPoint num="19" id="4162" /> +<TGConnectingPoint num="20" id="4163" /> +<TGConnectingPoint num="21" id="4164" /> +<TGConnectingPoint num="22" id="4165" /> +<TGConnectingPoint num="23" id="4166" /> +<TGConnectingPoint num="24" id="4167" /> +<TGConnectingPoint num="25" id="4168" /> +<TGConnectingPoint num="26" id="4169" /> +<TGConnectingPoint num="27" id="4170" /> +<TGConnectingPoint num="28" id="4171" /> +<TGConnectingPoint num="29" id="4172" /> +<TGConnectingPoint num="30" id="4173" /> +<TGConnectingPoint num="31" id="4174" /> +<TGConnectingPoint num="32" id="4175" /> +<TGConnectingPoint num="33" id="4176" /> +<TGConnectingPoint num="34" id="4177" /> +<TGConnectingPoint num="35" id="4178" /> +<TGConnectingPoint num="36" id="4179" /> +<TGConnectingPoint num="37" id="4180" /> +<TGConnectingPoint num="38" id="4181" /> +<TGConnectingPoint num="39" id="4182" /> <breakpoint /> <extraparam> </extraparam> </COMPONENT> -<COMPONENT type="5104" id="4137" > +<COMPONENT type="5104" id="4194" > <cdparam x="437" y="183" /> <sizeparam width="111" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="start(duration)" /> -<TGConnectingPoint num="0" id="4127" /> -<TGConnectingPoint num="1" id="4128" /> -<TGConnectingPoint num="2" id="4129" /> -<TGConnectingPoint num="3" id="4130" /> -<TGConnectingPoint num="4" id="4131" /> -<TGConnectingPoint num="5" id="4132" /> -<TGConnectingPoint num="6" id="4133" /> -<TGConnectingPoint num="7" id="4134" /> -<TGConnectingPoint num="8" id="4135" /> -<TGConnectingPoint num="9" id="4136" /> -</COMPONENT> - -<COMPONENT type="5100" id="4139" > +<TGConnectingPoint num="0" id="4184" /> +<TGConnectingPoint num="1" id="4185" /> +<TGConnectingPoint num="2" id="4186" /> +<TGConnectingPoint num="3" id="4187" /> +<TGConnectingPoint num="4" id="4188" /> +<TGConnectingPoint num="5" id="4189" /> +<TGConnectingPoint num="6" id="4190" /> +<TGConnectingPoint num="7" id="4191" /> +<TGConnectingPoint num="8" id="4192" /> +<TGConnectingPoint num="9" id="4193" /> +</COMPONENT> + +<COMPONENT type="5100" id="4196" > <cdparam x="423" y="80" /> <sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="4138" /> +<TGConnectingPoint num="0" id="4195" /> </COMPONENT> -<COMPONENT type="5103" id="4150" > +<COMPONENT type="5103" id="4207" > <cdparam x="613" y="350" /> <sizeparam width="116" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="stopMagnetron()" /> -<TGConnectingPoint num="0" id="4140" /> -<TGConnectingPoint num="1" id="4141" /> -<TGConnectingPoint num="2" id="4142" /> -<TGConnectingPoint num="3" id="4143" /> -<TGConnectingPoint num="4" id="4144" /> -<TGConnectingPoint num="5" id="4145" /> -<TGConnectingPoint num="6" id="4146" /> -<TGConnectingPoint num="7" id="4147" /> -<TGConnectingPoint num="8" id="4148" /> -<TGConnectingPoint num="9" id="4149" /> -</COMPONENT> - -<COMPONENT type="5103" id="4161" > +<TGConnectingPoint num="0" id="4197" /> +<TGConnectingPoint num="1" id="4198" /> +<TGConnectingPoint num="2" id="4199" /> +<TGConnectingPoint num="3" id="4200" /> +<TGConnectingPoint num="4" id="4201" /> +<TGConnectingPoint num="5" id="4202" /> +<TGConnectingPoint num="6" id="4203" /> +<TGConnectingPoint num="7" id="4204" /> +<TGConnectingPoint num="8" id="4205" /> +<TGConnectingPoint num="9" id="4206" /> +</COMPONENT> + +<COMPONENT type="5103" id="4218" > <cdparam x="370" y="512" /> <sizeparam width="116" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="stopMagnetron()" /> -<TGConnectingPoint num="0" id="4151" /> -<TGConnectingPoint num="1" id="4152" /> -<TGConnectingPoint num="2" id="4153" /> -<TGConnectingPoint num="3" id="4154" /> -<TGConnectingPoint num="4" id="4155" /> -<TGConnectingPoint num="5" id="4156" /> -<TGConnectingPoint num="6" id="4157" /> -<TGConnectingPoint num="7" id="4158" /> -<TGConnectingPoint num="8" id="4159" /> -<TGConnectingPoint num="9" id="4160" /> -</COMPONENT> - -<COMPONENT type="5103" id="4172" > +<TGConnectingPoint num="0" id="4208" /> +<TGConnectingPoint num="1" id="4209" /> +<TGConnectingPoint num="2" id="4210" /> +<TGConnectingPoint num="3" id="4211" /> +<TGConnectingPoint num="4" id="4212" /> +<TGConnectingPoint num="5" id="4213" /> +<TGConnectingPoint num="6" id="4214" /> +<TGConnectingPoint num="7" id="4215" /> +<TGConnectingPoint num="8" id="4216" /> +<TGConnectingPoint num="9" id="4217" /> +</COMPONENT> + +<COMPONENT type="5103" id="4229" > <cdparam x="612" y="527" /> <sizeparam width="118" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="startMagnetron()" /> -<TGConnectingPoint num="0" id="4162" /> -<TGConnectingPoint num="1" id="4163" /> -<TGConnectingPoint num="2" id="4164" /> -<TGConnectingPoint num="3" id="4165" /> -<TGConnectingPoint num="4" id="4166" /> -<TGConnectingPoint num="5" id="4167" /> -<TGConnectingPoint num="6" id="4168" /> -<TGConnectingPoint num="7" id="4169" /> -<TGConnectingPoint num="8" id="4170" /> -<TGConnectingPoint num="9" id="4171" /> -</COMPONENT> - -<COMPONENT type="5103" id="4183" > +<TGConnectingPoint num="0" id="4219" /> +<TGConnectingPoint num="1" id="4220" /> +<TGConnectingPoint num="2" id="4221" /> +<TGConnectingPoint num="3" id="4222" /> +<TGConnectingPoint num="4" id="4223" /> +<TGConnectingPoint num="5" id="4224" /> +<TGConnectingPoint num="6" id="4225" /> +<TGConnectingPoint num="7" id="4226" /> +<TGConnectingPoint num="8" id="4227" /> +<TGConnectingPoint num="9" id="4228" /> +</COMPONENT> + +<COMPONENT type="5103" id="4240" > <cdparam x="369" y="309" /> <sizeparam width="118" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="startMagnetron()" /> -<TGConnectingPoint num="0" id="4173" /> -<TGConnectingPoint num="1" id="4174" /> -<TGConnectingPoint num="2" id="4175" /> -<TGConnectingPoint num="3" id="4176" /> -<TGConnectingPoint num="4" id="4177" /> -<TGConnectingPoint num="5" id="4178" /> -<TGConnectingPoint num="6" id="4179" /> -<TGConnectingPoint num="7" id="4180" /> -<TGConnectingPoint num="8" id="4181" /> -<TGConnectingPoint num="9" id="4182" /> -</COMPONENT> - -<COMPONENT type="5104" id="4194" > +<TGConnectingPoint num="0" id="4230" /> +<TGConnectingPoint num="1" id="4231" /> +<TGConnectingPoint num="2" id="4232" /> +<TGConnectingPoint num="3" id="4233" /> +<TGConnectingPoint num="4" id="4234" /> +<TGConnectingPoint num="5" id="4235" /> +<TGConnectingPoint num="6" id="4236" /> +<TGConnectingPoint num="7" id="4237" /> +<TGConnectingPoint num="8" id="4238" /> +<TGConnectingPoint num="9" id="4239" /> +</COMPONENT> + +<COMPONENT type="5104" id="4251" > <cdparam x="637" y="460" /> <sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="closed()" /> -<TGConnectingPoint num="0" id="4184" /> -<TGConnectingPoint num="1" id="4185" /> -<TGConnectingPoint num="2" id="4186" /> -<TGConnectingPoint num="3" id="4187" /> -<TGConnectingPoint num="4" id="4188" /> -<TGConnectingPoint num="5" id="4189" /> -<TGConnectingPoint num="6" id="4190" /> -<TGConnectingPoint num="7" id="4191" /> -<TGConnectingPoint num="8" id="4192" /> -<TGConnectingPoint num="9" id="4193" /> -</COMPONENT> - -<COMPONENT type="5104" id="4205" > +<TGConnectingPoint num="0" id="4241" /> +<TGConnectingPoint num="1" id="4242" /> +<TGConnectingPoint num="2" id="4243" /> +<TGConnectingPoint num="3" id="4244" /> +<TGConnectingPoint num="4" id="4245" /> +<TGConnectingPoint num="5" id="4246" /> +<TGConnectingPoint num="6" id="4247" /> +<TGConnectingPoint num="7" id="4248" /> +<TGConnectingPoint num="8" id="4249" /> +<TGConnectingPoint num="9" id="4250" /> +</COMPONENT> + +<COMPONENT type="5104" id="4262" > <cdparam x="627" y="150" /> <sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="closed()" /> -<TGConnectingPoint num="0" id="4195" /> -<TGConnectingPoint num="1" id="4196" /> -<TGConnectingPoint num="2" id="4197" /> -<TGConnectingPoint num="3" id="4198" /> -<TGConnectingPoint num="4" id="4199" /> -<TGConnectingPoint num="5" id="4200" /> -<TGConnectingPoint num="6" id="4201" /> -<TGConnectingPoint num="7" id="4202" /> -<TGConnectingPoint num="8" id="4203" /> -<TGConnectingPoint num="9" id="4204" /> -</COMPONENT> - -<COMPONENT type="5106" id="4246" > +<TGConnectingPoint num="0" id="4252" /> +<TGConnectingPoint num="1" id="4253" /> +<TGConnectingPoint num="2" id="4254" /> +<TGConnectingPoint num="3" id="4255" /> +<TGConnectingPoint num="4" id="4256" /> +<TGConnectingPoint num="5" id="4257" /> +<TGConnectingPoint num="6" id="4258" /> +<TGConnectingPoint num="7" id="4259" /> +<TGConnectingPoint num="8" id="4260" /> +<TGConnectingPoint num="9" id="4261" /> +</COMPONENT> + +<COMPONENT type="5106" id="4303" > <cdparam x="603" y="106" /> <sizeparam width="116" height="35" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="DoorOpened" /> -<TGConnectingPoint num="0" id="4206" /> -<TGConnectingPoint num="1" id="4207" /> -<TGConnectingPoint num="2" id="4208" /> -<TGConnectingPoint num="3" id="4209" /> -<TGConnectingPoint num="4" id="4210" /> -<TGConnectingPoint num="5" id="4211" /> -<TGConnectingPoint num="6" id="4212" /> -<TGConnectingPoint num="7" id="4213" /> -<TGConnectingPoint num="8" id="4214" /> -<TGConnectingPoint num="9" id="4215" /> -<TGConnectingPoint num="10" id="4216" /> -<TGConnectingPoint num="11" id="4217" /> -<TGConnectingPoint num="12" id="4218" /> -<TGConnectingPoint num="13" id="4219" /> -<TGConnectingPoint num="14" id="4220" /> -<TGConnectingPoint num="15" id="4221" /> -<TGConnectingPoint num="16" id="4222" /> -<TGConnectingPoint num="17" id="4223" /> -<TGConnectingPoint num="18" id="4224" /> -<TGConnectingPoint num="19" id="4225" /> -<TGConnectingPoint num="20" id="4226" /> -<TGConnectingPoint num="21" id="4227" /> -<TGConnectingPoint num="22" id="4228" /> -<TGConnectingPoint num="23" id="4229" /> -<TGConnectingPoint num="24" id="4230" /> -<TGConnectingPoint num="25" id="4231" /> -<TGConnectingPoint num="26" id="4232" /> -<TGConnectingPoint num="27" id="4233" /> -<TGConnectingPoint num="28" id="4234" /> -<TGConnectingPoint num="29" id="4235" /> -<TGConnectingPoint num="30" id="4236" /> -<TGConnectingPoint num="31" id="4237" /> -<TGConnectingPoint num="32" id="4238" /> -<TGConnectingPoint num="33" id="4239" /> -<TGConnectingPoint num="34" id="4240" /> -<TGConnectingPoint num="35" id="4241" /> -<TGConnectingPoint num="36" id="4242" /> -<TGConnectingPoint num="37" id="4243" /> -<TGConnectingPoint num="38" id="4244" /> -<TGConnectingPoint num="39" id="4245" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5106" id="4287" > +<TGConnectingPoint num="0" id="4263" /> +<TGConnectingPoint num="1" id="4264" /> +<TGConnectingPoint num="2" id="4265" /> +<TGConnectingPoint num="3" id="4266" /> +<TGConnectingPoint num="4" id="4267" /> +<TGConnectingPoint num="5" id="4268" /> +<TGConnectingPoint num="6" id="4269" /> +<TGConnectingPoint num="7" id="4270" /> +<TGConnectingPoint num="8" id="4271" /> +<TGConnectingPoint num="9" id="4272" /> +<TGConnectingPoint num="10" id="4273" /> +<TGConnectingPoint num="11" id="4274" /> +<TGConnectingPoint num="12" id="4275" /> +<TGConnectingPoint num="13" id="4276" /> +<TGConnectingPoint num="14" id="4277" /> +<TGConnectingPoint num="15" id="4278" /> +<TGConnectingPoint num="16" id="4279" /> +<TGConnectingPoint num="17" id="4280" /> +<TGConnectingPoint num="18" id="4281" /> +<TGConnectingPoint num="19" id="4282" /> +<TGConnectingPoint num="20" id="4283" /> +<TGConnectingPoint num="21" id="4284" /> +<TGConnectingPoint num="22" id="4285" /> +<TGConnectingPoint num="23" id="4286" /> +<TGConnectingPoint num="24" id="4287" /> +<TGConnectingPoint num="25" id="4288" /> +<TGConnectingPoint num="26" id="4289" /> +<TGConnectingPoint num="27" id="4290" /> +<TGConnectingPoint num="28" id="4291" /> +<TGConnectingPoint num="29" id="4292" /> +<TGConnectingPoint num="30" id="4293" /> +<TGConnectingPoint num="31" id="4294" /> +<TGConnectingPoint num="32" id="4295" /> +<TGConnectingPoint num="33" id="4296" /> +<TGConnectingPoint num="34" id="4297" /> +<TGConnectingPoint num="35" id="4298" /> +<TGConnectingPoint num="36" id="4299" /> +<TGConnectingPoint num="37" id="4300" /> +<TGConnectingPoint num="38" id="4301" /> +<TGConnectingPoint num="39" id="4302" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5106" id="4344" > <cdparam x="571" y="393" /> <sizeparam width="200" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="DoorOpenedWhileHeating" /> -<TGConnectingPoint num="0" id="4247" /> -<TGConnectingPoint num="1" id="4248" /> -<TGConnectingPoint num="2" id="4249" /> -<TGConnectingPoint num="3" id="4250" /> -<TGConnectingPoint num="4" id="4251" /> -<TGConnectingPoint num="5" id="4252" /> -<TGConnectingPoint num="6" id="4253" /> -<TGConnectingPoint num="7" id="4254" /> -<TGConnectingPoint num="8" id="4255" /> -<TGConnectingPoint num="9" id="4256" /> -<TGConnectingPoint num="10" id="4257" /> -<TGConnectingPoint num="11" id="4258" /> -<TGConnectingPoint num="12" id="4259" /> -<TGConnectingPoint num="13" id="4260" /> -<TGConnectingPoint num="14" id="4261" /> -<TGConnectingPoint num="15" id="4262" /> -<TGConnectingPoint num="16" id="4263" /> -<TGConnectingPoint num="17" id="4264" /> -<TGConnectingPoint num="18" id="4265" /> -<TGConnectingPoint num="19" id="4266" /> -<TGConnectingPoint num="20" id="4267" /> -<TGConnectingPoint num="21" id="4268" /> -<TGConnectingPoint num="22" id="4269" /> -<TGConnectingPoint num="23" id="4270" /> -<TGConnectingPoint num="24" id="4271" /> -<TGConnectingPoint num="25" id="4272" /> -<TGConnectingPoint num="26" id="4273" /> -<TGConnectingPoint num="27" id="4274" /> -<TGConnectingPoint num="28" id="4275" /> -<TGConnectingPoint num="29" id="4276" /> -<TGConnectingPoint num="30" id="4277" /> -<TGConnectingPoint num="31" id="4278" /> -<TGConnectingPoint num="32" id="4279" /> -<TGConnectingPoint num="33" id="4280" /> -<TGConnectingPoint num="34" id="4281" /> -<TGConnectingPoint num="35" id="4282" /> -<TGConnectingPoint num="36" id="4283" /> -<TGConnectingPoint num="37" id="4284" /> -<TGConnectingPoint num="38" id="4285" /> -<TGConnectingPoint num="39" id="4286" /> +<TGConnectingPoint num="0" id="4304" /> +<TGConnectingPoint num="1" id="4305" /> +<TGConnectingPoint num="2" id="4306" /> +<TGConnectingPoint num="3" id="4307" /> +<TGConnectingPoint num="4" id="4308" /> +<TGConnectingPoint num="5" id="4309" /> +<TGConnectingPoint num="6" id="4310" /> +<TGConnectingPoint num="7" id="4311" /> +<TGConnectingPoint num="8" id="4312" /> +<TGConnectingPoint num="9" id="4313" /> +<TGConnectingPoint num="10" id="4314" /> +<TGConnectingPoint num="11" id="4315" /> +<TGConnectingPoint num="12" id="4316" /> +<TGConnectingPoint num="13" id="4317" /> +<TGConnectingPoint num="14" id="4318" /> +<TGConnectingPoint num="15" id="4319" /> +<TGConnectingPoint num="16" id="4320" /> +<TGConnectingPoint num="17" id="4321" /> +<TGConnectingPoint num="18" id="4322" /> +<TGConnectingPoint num="19" id="4323" /> +<TGConnectingPoint num="20" id="4324" /> +<TGConnectingPoint num="21" id="4325" /> +<TGConnectingPoint num="22" id="4326" /> +<TGConnectingPoint num="23" id="4327" /> +<TGConnectingPoint num="24" id="4328" /> +<TGConnectingPoint num="25" id="4329" /> +<TGConnectingPoint num="26" id="4330" /> +<TGConnectingPoint num="27" id="4331" /> +<TGConnectingPoint num="28" id="4332" /> +<TGConnectingPoint num="29" id="4333" /> +<TGConnectingPoint num="30" id="4334" /> +<TGConnectingPoint num="31" id="4335" /> +<TGConnectingPoint num="32" id="4336" /> +<TGConnectingPoint num="33" id="4337" /> +<TGConnectingPoint num="34" id="4338" /> +<TGConnectingPoint num="35" id="4339" /> +<TGConnectingPoint num="36" id="4340" /> +<TGConnectingPoint num="37" id="4341" /> +<TGConnectingPoint num="38" id="4342" /> +<TGConnectingPoint num="39" id="4343" /> <breakpoint /> <extraparam> </extraparam> </COMPONENT> -<COMPONENT type="5103" id="4298" > +<COMPONENT type="5103" id="4355" > <cdparam x="354" y="355" /> <sizeparam width="149" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="obs_magnetronStart()" /> -<TGConnectingPoint num="0" id="4288" /> -<TGConnectingPoint num="1" id="4289" /> -<TGConnectingPoint num="2" id="4290" /> -<TGConnectingPoint num="3" id="4291" /> -<TGConnectingPoint num="4" id="4292" /> -<TGConnectingPoint num="5" id="4293" /> -<TGConnectingPoint num="6" id="4294" /> -<TGConnectingPoint num="7" id="4295" /> -<TGConnectingPoint num="8" id="4296" /> -<TGConnectingPoint num="9" id="4297" /> -</COMPONENT> - -<COMPONENT type="5106" id="4339" > +<TGConnectingPoint num="0" id="4345" /> +<TGConnectingPoint num="1" id="4346" /> +<TGConnectingPoint num="2" id="4347" /> +<TGConnectingPoint num="3" id="4348" /> +<TGConnectingPoint num="4" id="4349" /> +<TGConnectingPoint num="5" id="4350" /> +<TGConnectingPoint num="6" id="4351" /> +<TGConnectingPoint num="7" id="4352" /> +<TGConnectingPoint num="8" id="4353" /> +<TGConnectingPoint num="9" id="4354" /> +</COMPONENT> + +<COMPONENT type="5106" id="4396" > <cdparam x="251" y="240" /> <sizeparam width="543" height="394" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Heating" /> -<TGConnectingPoint num="0" id="4299" /> -<TGConnectingPoint num="1" id="4300" /> -<TGConnectingPoint num="2" id="4301" /> -<TGConnectingPoint num="3" id="4302" /> -<TGConnectingPoint num="4" id="4303" /> -<TGConnectingPoint num="5" id="4304" /> -<TGConnectingPoint num="6" id="4305" /> -<TGConnectingPoint num="7" id="4306" /> -<TGConnectingPoint num="8" id="4307" /> -<TGConnectingPoint num="9" id="4308" /> -<TGConnectingPoint num="10" id="4309" /> -<TGConnectingPoint num="11" id="4310" /> -<TGConnectingPoint num="12" id="4311" /> -<TGConnectingPoint num="13" id="4312" /> -<TGConnectingPoint num="14" id="4313" /> -<TGConnectingPoint num="15" id="4314" /> -<TGConnectingPoint num="16" id="4315" /> -<TGConnectingPoint num="17" id="4316" /> -<TGConnectingPoint num="18" id="4317" /> -<TGConnectingPoint num="19" id="4318" /> -<TGConnectingPoint num="20" id="4319" /> -<TGConnectingPoint num="21" id="4320" /> -<TGConnectingPoint num="22" id="4321" /> -<TGConnectingPoint num="23" id="4322" /> -<TGConnectingPoint num="24" id="4323" /> -<TGConnectingPoint num="25" id="4324" /> -<TGConnectingPoint num="26" id="4325" /> -<TGConnectingPoint num="27" id="4326" /> -<TGConnectingPoint num="28" id="4327" /> -<TGConnectingPoint num="29" id="4328" /> -<TGConnectingPoint num="30" id="4329" /> -<TGConnectingPoint num="31" id="4330" /> -<TGConnectingPoint num="32" id="4331" /> -<TGConnectingPoint num="33" id="4332" /> -<TGConnectingPoint num="34" id="4333" /> -<TGConnectingPoint num="35" id="4334" /> -<TGConnectingPoint num="36" id="4335" /> -<TGConnectingPoint num="37" id="4336" /> -<TGConnectingPoint num="38" id="4337" /> -<TGConnectingPoint num="39" id="4338" /> +<TGConnectingPoint num="0" id="4356" /> +<TGConnectingPoint num="1" id="4357" /> +<TGConnectingPoint num="2" id="4358" /> +<TGConnectingPoint num="3" id="4359" /> +<TGConnectingPoint num="4" id="4360" /> +<TGConnectingPoint num="5" id="4361" /> +<TGConnectingPoint num="6" id="4362" /> +<TGConnectingPoint num="7" id="4363" /> +<TGConnectingPoint num="8" id="4364" /> +<TGConnectingPoint num="9" id="4365" /> +<TGConnectingPoint num="10" id="4366" /> +<TGConnectingPoint num="11" id="4367" /> +<TGConnectingPoint num="12" id="4368" /> +<TGConnectingPoint num="13" id="4369" /> +<TGConnectingPoint num="14" id="4370" /> +<TGConnectingPoint num="15" id="4371" /> +<TGConnectingPoint num="16" id="4372" /> +<TGConnectingPoint num="17" id="4373" /> +<TGConnectingPoint num="18" id="4374" /> +<TGConnectingPoint num="19" id="4375" /> +<TGConnectingPoint num="20" id="4376" /> +<TGConnectingPoint num="21" id="4377" /> +<TGConnectingPoint num="22" id="4378" /> +<TGConnectingPoint num="23" id="4379" /> +<TGConnectingPoint num="24" id="4380" /> +<TGConnectingPoint num="25" id="4381" /> +<TGConnectingPoint num="26" id="4382" /> +<TGConnectingPoint num="27" id="4383" /> +<TGConnectingPoint num="28" id="4384" /> +<TGConnectingPoint num="29" id="4385" /> +<TGConnectingPoint num="30" id="4386" /> +<TGConnectingPoint num="31" id="4387" /> +<TGConnectingPoint num="32" id="4388" /> +<TGConnectingPoint num="33" id="4389" /> +<TGConnectingPoint num="34" id="4390" /> +<TGConnectingPoint num="35" id="4391" /> +<TGConnectingPoint num="36" id="4392" /> +<TGConnectingPoint num="37" id="4393" /> +<TGConnectingPoint num="38" id="4394" /> +<TGConnectingPoint num="39" id="4395" /> <extraparam> </extraparam> </COMPONENT> @@ -8864,55 +8979,55 @@ or by a maintenance station </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="ControlPanel" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="4352" > +<CONNECTOR type="5102" id="4409" > <cdparam x="504" y="232" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="4348" /> -<TGConnectingPoint num="1" id="4349" /> -<TGConnectingPoint num="2" id="4350" /> -<TGConnectingPoint num="3" id="4351" /> -<P1 x="504" y="232" id="4411" /> -<P2 x="454" y="123" id="4372" /> +<TGConnectingPoint num="0" id="4405" /> +<TGConnectingPoint num="1" id="4406" /> +<TGConnectingPoint num="2" id="4407" /> +<TGConnectingPoint num="3" id="4408" /> +<P1 x="504" y="232" id="4468" /> +<P2 x="454" y="123" id="4429" /> <Point x="503" y="254" /> <Point x="425" y="254" /> <Point x="426" y="123" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4340" > -<father id="4352" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4397" > +<father id="4409" num="0" /> <cdparam x="503" y="254" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4341" > -<father id="4352" num="1" /> +<SUBCOMPONENT type="-1" id="4398" > +<father id="4409" num="1" /> <cdparam x="425" y="254" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4342" > -<father id="4352" num="2" /> +<SUBCOMPONENT type="-1" id="4399" > +<father id="4409" num="2" /> <cdparam x="426" y="123" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4347" > -<father id="4352" num="3" /> +<SUBCOMPONENT type="-1" id="4404" > +<father id="4409" num="3" /> <cdparam x="465" y="275" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4343" /> -<TGConnectingPoint num="1" id="4344" /> -<TGConnectingPoint num="2" id="4345" /> -<TGConnectingPoint num="3" id="4346" /> +<TGConnectingPoint num="0" id="4400" /> +<TGConnectingPoint num="1" id="4401" /> +<TGConnectingPoint num="2" id="4402" /> +<TGConnectingPoint num="3" id="4403" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8922,35 +9037,35 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4361" > +<CONNECTOR type="5102" id="4418" > <cdparam x="504" y="148" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="4359" /> -<TGConnectingPoint num="1" id="4360" /> -<P1 x="504" y="148" id="4375" /> -<P2 x="504" y="202" id="4410" /> +<TGConnectingPoint num="0" id="4416" /> +<TGConnectingPoint num="1" id="4417" /> +<P1 x="504" y="148" id="4432" /> +<P2 x="504" y="202" id="4467" /> <Point x="504" y="175" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4353" > -<father id="4361" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4410" > +<father id="4418" num="0" /> <cdparam x="504" y="175" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4358" > -<father id="4361" num="1" /> +<SUBCOMPONENT type="-1" id="4415" > +<father id="4418" num="1" /> <cdparam x="504" y="188" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4354" /> -<TGConnectingPoint num="1" id="4355" /> -<TGConnectingPoint num="2" id="4356" /> -<TGConnectingPoint num="3" id="4357" /> +<TGConnectingPoint num="0" id="4411" /> +<TGConnectingPoint num="1" id="4412" /> +<TGConnectingPoint num="2" id="4413" /> +<TGConnectingPoint num="3" id="4414" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8960,25 +9075,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4368" > +<CONNECTOR type="5102" id="4425" > <cdparam x="385" y="75" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> -<TGConnectingPoint num="0" id="4367" /> -<P1 x="481" y="74" id="4421" /> -<P2 x="504" y="98" id="4370" /> +<TGConnectingPoint num="0" id="4424" /> +<P1 x="481" y="74" id="4478" /> +<P2 x="504" y="98" id="4427" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4366" > -<father id="4368" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4423" > +<father id="4425" num="0" /> <cdparam x="385" y="115" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4362" /> -<TGConnectingPoint num="1" id="4363" /> -<TGConnectingPoint num="2" id="4364" /> -<TGConnectingPoint num="3" id="4365" /> +<TGConnectingPoint num="0" id="4419" /> +<TGConnectingPoint num="1" id="4420" /> +<TGConnectingPoint num="2" id="4421" /> +<TGConnectingPoint num="3" id="4422" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -8988,106 +9103,106 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="4409" > +<COMPONENT type="5106" id="4466" > <cdparam x="454" y="98" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Active" /> -<TGConnectingPoint num="0" id="4369" /> -<TGConnectingPoint num="1" id="4370" /> -<TGConnectingPoint num="2" id="4371" /> -<TGConnectingPoint num="3" id="4372" /> -<TGConnectingPoint num="4" id="4373" /> -<TGConnectingPoint num="5" id="4374" /> -<TGConnectingPoint num="6" id="4375" /> -<TGConnectingPoint num="7" id="4376" /> -<TGConnectingPoint num="8" id="4377" /> -<TGConnectingPoint num="9" id="4378" /> -<TGConnectingPoint num="10" id="4379" /> -<TGConnectingPoint num="11" id="4380" /> -<TGConnectingPoint num="12" id="4381" /> -<TGConnectingPoint num="13" id="4382" /> -<TGConnectingPoint num="14" id="4383" /> -<TGConnectingPoint num="15" id="4384" /> -<TGConnectingPoint num="16" id="4385" /> -<TGConnectingPoint num="17" id="4386" /> -<TGConnectingPoint num="18" id="4387" /> -<TGConnectingPoint num="19" id="4388" /> -<TGConnectingPoint num="20" id="4389" /> -<TGConnectingPoint num="21" id="4390" /> -<TGConnectingPoint num="22" id="4391" /> -<TGConnectingPoint num="23" id="4392" /> -<TGConnectingPoint num="24" id="4393" /> -<TGConnectingPoint num="25" id="4394" /> -<TGConnectingPoint num="26" id="4395" /> -<TGConnectingPoint num="27" id="4396" /> -<TGConnectingPoint num="28" id="4397" /> -<TGConnectingPoint num="29" id="4398" /> -<TGConnectingPoint num="30" id="4399" /> -<TGConnectingPoint num="31" id="4400" /> -<TGConnectingPoint num="32" id="4401" /> -<TGConnectingPoint num="33" id="4402" /> -<TGConnectingPoint num="34" id="4403" /> -<TGConnectingPoint num="35" id="4404" /> -<TGConnectingPoint num="36" id="4405" /> -<TGConnectingPoint num="37" id="4406" /> -<TGConnectingPoint num="38" id="4407" /> -<TGConnectingPoint num="39" id="4408" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5103" id="4420" > +<TGConnectingPoint num="0" id="4426" /> +<TGConnectingPoint num="1" id="4427" /> +<TGConnectingPoint num="2" id="4428" /> +<TGConnectingPoint num="3" id="4429" /> +<TGConnectingPoint num="4" id="4430" /> +<TGConnectingPoint num="5" id="4431" /> +<TGConnectingPoint num="6" id="4432" /> +<TGConnectingPoint num="7" id="4433" /> +<TGConnectingPoint num="8" id="4434" /> +<TGConnectingPoint num="9" id="4435" /> +<TGConnectingPoint num="10" id="4436" /> +<TGConnectingPoint num="11" id="4437" /> +<TGConnectingPoint num="12" id="4438" /> +<TGConnectingPoint num="13" id="4439" /> +<TGConnectingPoint num="14" id="4440" /> +<TGConnectingPoint num="15" id="4441" /> +<TGConnectingPoint num="16" id="4442" /> +<TGConnectingPoint num="17" id="4443" /> +<TGConnectingPoint num="18" id="4444" /> +<TGConnectingPoint num="19" id="4445" /> +<TGConnectingPoint num="20" id="4446" /> +<TGConnectingPoint num="21" id="4447" /> +<TGConnectingPoint num="22" id="4448" /> +<TGConnectingPoint num="23" id="4449" /> +<TGConnectingPoint num="24" id="4450" /> +<TGConnectingPoint num="25" id="4451" /> +<TGConnectingPoint num="26" id="4452" /> +<TGConnectingPoint num="27" id="4453" /> +<TGConnectingPoint num="28" id="4454" /> +<TGConnectingPoint num="29" id="4455" /> +<TGConnectingPoint num="30" id="4456" /> +<TGConnectingPoint num="31" id="4457" /> +<TGConnectingPoint num="32" id="4458" /> +<TGConnectingPoint num="33" id="4459" /> +<TGConnectingPoint num="34" id="4460" /> +<TGConnectingPoint num="35" id="4461" /> +<TGConnectingPoint num="36" id="4462" /> +<TGConnectingPoint num="37" id="4463" /> +<TGConnectingPoint num="38" id="4464" /> +<TGConnectingPoint num="39" id="4465" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5103" id="4477" > <cdparam x="432" y="207" /> <sizeparam width="145" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="startButton(duration)" /> -<TGConnectingPoint num="0" id="4410" /> -<TGConnectingPoint num="1" id="4411" /> -<TGConnectingPoint num="2" id="4412" /> -<TGConnectingPoint num="3" id="4413" /> -<TGConnectingPoint num="4" id="4414" /> -<TGConnectingPoint num="5" id="4415" /> -<TGConnectingPoint num="6" id="4416" /> -<TGConnectingPoint num="7" id="4417" /> -<TGConnectingPoint num="8" id="4418" /> -<TGConnectingPoint num="9" id="4419" /> -</COMPONENT> - -<COMPONENT type="5100" id="4422" > +<TGConnectingPoint num="0" id="4467" /> +<TGConnectingPoint num="1" id="4468" /> +<TGConnectingPoint num="2" id="4469" /> +<TGConnectingPoint num="3" id="4470" /> +<TGConnectingPoint num="4" id="4471" /> +<TGConnectingPoint num="5" id="4472" /> +<TGConnectingPoint num="6" id="4473" /> +<TGConnectingPoint num="7" id="4474" /> +<TGConnectingPoint num="8" id="4475" /> +<TGConnectingPoint num="9" id="4476" /> +</COMPONENT> + +<COMPONENT type="5100" id="4479" > <cdparam x="474" y="54" /> <sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="4421" /> +<TGConnectingPoint num="0" id="4478" /> </COMPONENT> </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="Bell" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="5102" id="4429" > +<CONNECTOR type="5102" id="4486" > <cdparam x="419" y="209" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="4428" /> -<P1 x="419" y="209" id="4499" /> -<P2 x="419" y="313" id="4458" /> +<TGConnectingPoint num="0" id="4485" /> +<P1 x="419" y="209" id="4556" /> +<P2 x="419" y="313" id="4515" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4427" > -<father id="4429" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4484" > +<father id="4486" num="0" /> <cdparam x="429" y="249" /> <sizeparam width="53" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4423" /> -<TGConnectingPoint num="1" id="4424" /> -<TGConnectingPoint num="2" id="4425" /> -<TGConnectingPoint num="3" id="4426" /> +<TGConnectingPoint num="0" id="4480" /> +<TGConnectingPoint num="1" id="4481" /> +<TGConnectingPoint num="2" id="4482" /> +<TGConnectingPoint num="3" id="4483" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9098,55 +9213,55 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4442" > +<CONNECTOR type="5102" id="4499" > <cdparam x="419" y="209" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from Send signal to state0" value="null" /> -<TGConnectingPoint num="0" id="4438" /> -<TGConnectingPoint num="1" id="4439" /> -<TGConnectingPoint num="2" id="4440" /> -<TGConnectingPoint num="3" id="4441" /> -<P1 x="419" y="363" id="4463" /> -<P2 x="369" y="123" id="4512" /> +<TGConnectingPoint num="0" id="4495" /> +<TGConnectingPoint num="1" id="4496" /> +<TGConnectingPoint num="2" id="4497" /> +<TGConnectingPoint num="3" id="4498" /> +<P1 x="419" y="363" id="4520" /> +<P2 x="369" y="123" id="4569" /> <Point x="412" y="419" /> <Point x="332" y="419" /> <Point x="332" y="123" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4430" > -<father id="4442" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4487" > +<father id="4499" num="0" /> <cdparam x="412" y="419" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4431" > -<father id="4442" num="1" /> +<SUBCOMPONENT type="-1" id="4488" > +<father id="4499" num="1" /> <cdparam x="332" y="419" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4432" > -<father id="4442" num="2" /> +<SUBCOMPONENT type="-1" id="4489" > +<father id="4499" num="2" /> <cdparam x="332" y="123" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="point " value="null" /> </SUBCOMPONENT> -<SUBCOMPONENT type="-1" id="4437" > -<father id="4442" num="3" /> +<SUBCOMPONENT type="-1" id="4494" > +<father id="4499" num="3" /> <cdparam x="430" y="402" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4433" /> -<TGConnectingPoint num="1" id="4434" /> -<TGConnectingPoint num="2" id="4435" /> -<TGConnectingPoint num="3" id="4436" /> +<TGConnectingPoint num="0" id="4490" /> +<TGConnectingPoint num="1" id="4491" /> +<TGConnectingPoint num="2" id="4492" /> +<TGConnectingPoint num="3" id="4493" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9156,25 +9271,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4449" > +<CONNECTOR type="5102" id="4506" > <cdparam x="420" y="151" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from state0 to Send signal" value="null" /> -<TGConnectingPoint num="0" id="4448" /> -<P1 x="419" y="148" id="4515" /> -<P2 x="419" y="179" id="4498" /> +<TGConnectingPoint num="0" id="4505" /> +<P1 x="419" y="148" id="4572" /> +<P2 x="419" y="179" id="4555" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4447" > -<father id="4449" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4504" > +<father id="4506" num="0" /> <cdparam x="420" y="191" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4443" /> -<TGConnectingPoint num="1" id="4444" /> -<TGConnectingPoint num="2" id="4445" /> -<TGConnectingPoint num="3" id="4446" /> +<TGConnectingPoint num="0" id="4500" /> +<TGConnectingPoint num="1" id="4501" /> +<TGConnectingPoint num="2" id="4502" /> +<TGConnectingPoint num="3" id="4503" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9184,25 +9299,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4456" > +<CONNECTOR type="5102" id="4513" > <cdparam x="407" y="70" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> -<TGConnectingPoint num="0" id="4455" /> -<P1 x="407" y="70" id="4550" /> -<P2 x="419" y="98" id="4510" /> +<TGConnectingPoint num="0" id="4512" /> +<P1 x="407" y="70" id="4607" /> +<P2 x="419" y="98" id="4567" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4454" > -<father id="4456" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4511" > +<father id="4513" 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="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4450" /> -<TGConnectingPoint num="1" id="4451" /> -<TGConnectingPoint num="2" id="4452" /> -<TGConnectingPoint num="3" id="4453" /> +<TGConnectingPoint num="0" id="4507" /> +<TGConnectingPoint num="1" id="4508" /> +<TGConnectingPoint num="2" id="4509" /> +<TGConnectingPoint num="3" id="4510" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9212,166 +9327,166 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="4497" > +<COMPONENT type="5106" id="4554" > <cdparam x="369" y="313" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Ringing" /> -<TGConnectingPoint num="0" id="4457" /> -<TGConnectingPoint num="1" id="4458" /> -<TGConnectingPoint num="2" id="4459" /> -<TGConnectingPoint num="3" id="4460" /> -<TGConnectingPoint num="4" id="4461" /> -<TGConnectingPoint num="5" id="4462" /> -<TGConnectingPoint num="6" id="4463" /> -<TGConnectingPoint num="7" id="4464" /> -<TGConnectingPoint num="8" id="4465" /> -<TGConnectingPoint num="9" id="4466" /> -<TGConnectingPoint num="10" id="4467" /> -<TGConnectingPoint num="11" id="4468" /> -<TGConnectingPoint num="12" id="4469" /> -<TGConnectingPoint num="13" id="4470" /> -<TGConnectingPoint num="14" id="4471" /> -<TGConnectingPoint num="15" id="4472" /> -<TGConnectingPoint num="16" id="4473" /> -<TGConnectingPoint num="17" id="4474" /> -<TGConnectingPoint num="18" id="4475" /> -<TGConnectingPoint num="19" id="4476" /> -<TGConnectingPoint num="20" id="4477" /> -<TGConnectingPoint num="21" id="4478" /> -<TGConnectingPoint num="22" id="4479" /> -<TGConnectingPoint num="23" id="4480" /> -<TGConnectingPoint num="24" id="4481" /> -<TGConnectingPoint num="25" id="4482" /> -<TGConnectingPoint num="26" id="4483" /> -<TGConnectingPoint num="27" id="4484" /> -<TGConnectingPoint num="28" id="4485" /> -<TGConnectingPoint num="29" id="4486" /> -<TGConnectingPoint num="30" id="4487" /> -<TGConnectingPoint num="31" id="4488" /> -<TGConnectingPoint num="32" id="4489" /> -<TGConnectingPoint num="33" id="4490" /> -<TGConnectingPoint num="34" id="4491" /> -<TGConnectingPoint num="35" id="4492" /> -<TGConnectingPoint num="36" id="4493" /> -<TGConnectingPoint num="37" id="4494" /> -<TGConnectingPoint num="38" id="4495" /> -<TGConnectingPoint num="39" id="4496" /> +<TGConnectingPoint num="0" id="4514" /> +<TGConnectingPoint num="1" id="4515" /> +<TGConnectingPoint num="2" id="4516" /> +<TGConnectingPoint num="3" id="4517" /> +<TGConnectingPoint num="4" id="4518" /> +<TGConnectingPoint num="5" id="4519" /> +<TGConnectingPoint num="6" id="4520" /> +<TGConnectingPoint num="7" id="4521" /> +<TGConnectingPoint num="8" id="4522" /> +<TGConnectingPoint num="9" id="4523" /> +<TGConnectingPoint num="10" id="4524" /> +<TGConnectingPoint num="11" id="4525" /> +<TGConnectingPoint num="12" id="4526" /> +<TGConnectingPoint num="13" id="4527" /> +<TGConnectingPoint num="14" id="4528" /> +<TGConnectingPoint num="15" id="4529" /> +<TGConnectingPoint num="16" id="4530" /> +<TGConnectingPoint num="17" id="4531" /> +<TGConnectingPoint num="18" id="4532" /> +<TGConnectingPoint num="19" id="4533" /> +<TGConnectingPoint num="20" id="4534" /> +<TGConnectingPoint num="21" id="4535" /> +<TGConnectingPoint num="22" id="4536" /> +<TGConnectingPoint num="23" id="4537" /> +<TGConnectingPoint num="24" id="4538" /> +<TGConnectingPoint num="25" id="4539" /> +<TGConnectingPoint num="26" id="4540" /> +<TGConnectingPoint num="27" id="4541" /> +<TGConnectingPoint num="28" id="4542" /> +<TGConnectingPoint num="29" id="4543" /> +<TGConnectingPoint num="30" id="4544" /> +<TGConnectingPoint num="31" id="4545" /> +<TGConnectingPoint num="32" id="4546" /> +<TGConnectingPoint num="33" id="4547" /> +<TGConnectingPoint num="34" id="4548" /> +<TGConnectingPoint num="35" id="4549" /> +<TGConnectingPoint num="36" id="4550" /> +<TGConnectingPoint num="37" id="4551" /> +<TGConnectingPoint num="38" id="4552" /> +<TGConnectingPoint num="39" id="4553" /> <extraparam> <entryCode value="" /> <entryCode value="printf("\nDRING DRING DRING !!!!\n\n");" /> </extraparam> </COMPONENT> -<COMPONENT type="5104" id="4508" > +<COMPONENT type="5104" id="4565" > <cdparam x="393" y="184" /> <sizeparam width="52" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="ring()" /> -<TGConnectingPoint num="0" id="4498" /> -<TGConnectingPoint num="1" id="4499" /> -<TGConnectingPoint num="2" id="4500" /> -<TGConnectingPoint num="3" id="4501" /> -<TGConnectingPoint num="4" id="4502" /> -<TGConnectingPoint num="5" id="4503" /> -<TGConnectingPoint num="6" id="4504" /> -<TGConnectingPoint num="7" id="4505" /> -<TGConnectingPoint num="8" id="4506" /> -<TGConnectingPoint num="9" id="4507" /> -</COMPONENT> - -<COMPONENT type="5106" id="4549" > +<TGConnectingPoint num="0" id="4555" /> +<TGConnectingPoint num="1" id="4556" /> +<TGConnectingPoint num="2" id="4557" /> +<TGConnectingPoint num="3" id="4558" /> +<TGConnectingPoint num="4" id="4559" /> +<TGConnectingPoint num="5" id="4560" /> +<TGConnectingPoint num="6" id="4561" /> +<TGConnectingPoint num="7" id="4562" /> +<TGConnectingPoint num="8" id="4563" /> +<TGConnectingPoint num="9" id="4564" /> +</COMPONENT> + +<COMPONENT type="5106" id="4606" > <cdparam x="369" y="98" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Active" /> -<TGConnectingPoint num="0" id="4509" /> -<TGConnectingPoint num="1" id="4510" /> -<TGConnectingPoint num="2" id="4511" /> -<TGConnectingPoint num="3" id="4512" /> -<TGConnectingPoint num="4" id="4513" /> -<TGConnectingPoint num="5" id="4514" /> -<TGConnectingPoint num="6" id="4515" /> -<TGConnectingPoint num="7" id="4516" /> -<TGConnectingPoint num="8" id="4517" /> -<TGConnectingPoint num="9" id="4518" /> -<TGConnectingPoint num="10" id="4519" /> -<TGConnectingPoint num="11" id="4520" /> -<TGConnectingPoint num="12" id="4521" /> -<TGConnectingPoint num="13" id="4522" /> -<TGConnectingPoint num="14" id="4523" /> -<TGConnectingPoint num="15" id="4524" /> -<TGConnectingPoint num="16" id="4525" /> -<TGConnectingPoint num="17" id="4526" /> -<TGConnectingPoint num="18" id="4527" /> -<TGConnectingPoint num="19" id="4528" /> -<TGConnectingPoint num="20" id="4529" /> -<TGConnectingPoint num="21" id="4530" /> -<TGConnectingPoint num="22" id="4531" /> -<TGConnectingPoint num="23" id="4532" /> -<TGConnectingPoint num="24" id="4533" /> -<TGConnectingPoint num="25" id="4534" /> -<TGConnectingPoint num="26" id="4535" /> -<TGConnectingPoint num="27" id="4536" /> -<TGConnectingPoint num="28" id="4537" /> -<TGConnectingPoint num="29" id="4538" /> -<TGConnectingPoint num="30" id="4539" /> -<TGConnectingPoint num="31" id="4540" /> -<TGConnectingPoint num="32" id="4541" /> -<TGConnectingPoint num="33" id="4542" /> -<TGConnectingPoint num="34" id="4543" /> -<TGConnectingPoint num="35" id="4544" /> -<TGConnectingPoint num="36" id="4545" /> -<TGConnectingPoint num="37" id="4546" /> -<TGConnectingPoint num="38" id="4547" /> -<TGConnectingPoint num="39" id="4548" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5100" id="4551" > +<TGConnectingPoint num="0" id="4566" /> +<TGConnectingPoint num="1" id="4567" /> +<TGConnectingPoint num="2" id="4568" /> +<TGConnectingPoint num="3" id="4569" /> +<TGConnectingPoint num="4" id="4570" /> +<TGConnectingPoint num="5" id="4571" /> +<TGConnectingPoint num="6" id="4572" /> +<TGConnectingPoint num="7" id="4573" /> +<TGConnectingPoint num="8" id="4574" /> +<TGConnectingPoint num="9" id="4575" /> +<TGConnectingPoint num="10" id="4576" /> +<TGConnectingPoint num="11" id="4577" /> +<TGConnectingPoint num="12" id="4578" /> +<TGConnectingPoint num="13" id="4579" /> +<TGConnectingPoint num="14" id="4580" /> +<TGConnectingPoint num="15" id="4581" /> +<TGConnectingPoint num="16" id="4582" /> +<TGConnectingPoint num="17" id="4583" /> +<TGConnectingPoint num="18" id="4584" /> +<TGConnectingPoint num="19" id="4585" /> +<TGConnectingPoint num="20" id="4586" /> +<TGConnectingPoint num="21" id="4587" /> +<TGConnectingPoint num="22" id="4588" /> +<TGConnectingPoint num="23" id="4589" /> +<TGConnectingPoint num="24" id="4590" /> +<TGConnectingPoint num="25" id="4591" /> +<TGConnectingPoint num="26" id="4592" /> +<TGConnectingPoint num="27" id="4593" /> +<TGConnectingPoint num="28" id="4594" /> +<TGConnectingPoint num="29" id="4595" /> +<TGConnectingPoint num="30" id="4596" /> +<TGConnectingPoint num="31" id="4597" /> +<TGConnectingPoint num="32" id="4598" /> +<TGConnectingPoint num="33" id="4599" /> +<TGConnectingPoint num="34" id="4600" /> +<TGConnectingPoint num="35" id="4601" /> +<TGConnectingPoint num="36" id="4602" /> +<TGConnectingPoint num="37" id="4603" /> +<TGConnectingPoint num="38" id="4604" /> +<TGConnectingPoint num="39" id="4605" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5100" id="4608" > <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="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="4550" /> +<TGConnectingPoint num="0" id="4607" /> </COMPONENT> </AVATARStateMachineDiagramPanel> <AVATARStateMachineDiagramPanel name="RemoteControl" minX="10" maxX="1400" minY="10" maxY="900" > -<CONNECTOR type="118" id="4552" > +<CONNECTOR type="118" id="4609" > <cdparam x="516" y="268" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from List of all parameters of an Avatar SMD transition to UML Note" value="null" /> -<P1 x="516" y="129" id="4555" /> -<P2 x="661" y="85" id="4625" /> +<P1 x="516" y="146" id="4612" /> +<P2 x="661" y="85" id="4682" /> <AutomaticDrawing data="false" /> </CONNECTOR> -<CONNECTOR type="5102" id="4559" > +<CONNECTOR type="5102" id="4616" > <cdparam x="290" y="140" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to state0" value="null" /> -<TGConnectingPoint num="0" id="4558" /> -<P1 x="309" y="119" id="4693" /> -<P2 x="325" y="163" id="4640" /> +<TGConnectingPoint num="0" id="4615" /> +<P1 x="309" y="119" id="4750" /> +<P2 x="325" y="163" id="4697" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4557" > -<father id="4559" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4614" > +<father id="4616" num="0" /> <cdparam x="343" y="131" /> <sizeparam width="173" height="30" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4553" /> -<TGConnectingPoint num="1" id="4554" /> -<TGConnectingPoint num="2" id="4555" /> -<TGConnectingPoint num="3" id="4556" /> +<TGConnectingPoint num="0" id="4610" /> +<TGConnectingPoint num="1" id="4611" /> +<TGConnectingPoint num="2" id="4612" /> +<TGConnectingPoint num="3" id="4613" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9383,25 +9498,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4566" > +<CONNECTOR type="5102" id="4623" > <cdparam x="327" y="221" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from start state to Send signal" value="null" /> -<TGConnectingPoint num="0" id="4565" /> -<P1 x="325" y="213" id="4645" /> -<P2 x="347" y="291" id="4682" /> +<TGConnectingPoint num="0" id="4622" /> +<P1 x="325" y="213" id="4702" /> +<P2 x="347" y="291" id="4739" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4564" > -<father id="4566" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4621" > +<father id="4623" num="0" /> <cdparam x="364" y="248" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4560" /> -<TGConnectingPoint num="1" id="4561" /> -<TGConnectingPoint num="2" id="4562" /> -<TGConnectingPoint num="3" id="4563" /> +<TGConnectingPoint num="0" id="4617" /> +<TGConnectingPoint num="1" id="4618" /> +<TGConnectingPoint num="2" id="4619" /> +<TGConnectingPoint num="3" id="4620" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9411,25 +9526,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4573" > +<CONNECTOR type="5102" id="4630" > <cdparam x="347" y="321" /> <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="4572" /> -<P1 x="347" y="321" id="4683" /> -<P2 x="348" y="377" id="4589" /> +<TGConnectingPoint num="0" id="4629" /> +<P1 x="347" y="321" id="4740" /> +<P2 x="348" y="377" id="4646" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4571" > -<father id="4573" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4628" > +<father id="4630" num="0" /> <cdparam x="347" y="361" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4567" /> -<TGConnectingPoint num="1" id="4568" /> -<TGConnectingPoint num="2" id="4569" /> -<TGConnectingPoint num="3" id="4570" /> +<TGConnectingPoint num="0" id="4624" /> +<TGConnectingPoint num="1" id="4625" /> +<TGConnectingPoint num="2" id="4626" /> +<TGConnectingPoint num="3" id="4627" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9439,25 +9554,25 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<CONNECTOR type="5102" id="4580" > +<CONNECTOR type="5102" id="4637" > <cdparam x="373" y="427" /> <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="4579" /> -<P1 x="373" y="427" id="4587" /> -<P2 x="375" y="442" id="4680" /> +<TGConnectingPoint num="0" id="4636" /> +<P1 x="373" y="427" id="4644" /> +<P2 x="375" y="442" id="4737" /> <AutomaticDrawing data="true" /> -</CONNECTOR><SUBCOMPONENT type="-1" id="4578" > -<father id="4580" num="0" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="4635" > +<father id="4637" num="0" /> <cdparam x="373" y="467" /> <sizeparam width="10" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="List of all parameters of an Avatar SMD transition" value="" /> -<TGConnectingPoint num="0" id="4574" /> -<TGConnectingPoint num="1" id="4575" /> -<TGConnectingPoint num="2" id="4576" /> -<TGConnectingPoint num="3" id="4577" /> +<TGConnectingPoint num="0" id="4631" /> +<TGConnectingPoint num="1" id="4632" /> +<TGConnectingPoint num="2" id="4633" /> +<TGConnectingPoint num="3" id="4634" /> <extraparam> <guard value="[ ]" /> <afterMin value="" /> @@ -9467,168 +9582,168 @@ or by a maintenance station </extraparam> </SUBCOMPONENT> -<COMPONENT type="5106" id="4621" > +<COMPONENT type="5106" id="4678" > <cdparam x="323" y="377" /> <sizeparam width="100" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="Msg1Sent" /> -<TGConnectingPoint num="0" id="4581" /> -<TGConnectingPoint num="1" id="4582" /> -<TGConnectingPoint num="2" id="4583" /> -<TGConnectingPoint num="3" id="4584" /> -<TGConnectingPoint num="4" id="4585" /> -<TGConnectingPoint num="5" id="4586" /> -<TGConnectingPoint num="6" id="4587" /> -<TGConnectingPoint num="7" id="4588" /> -<TGConnectingPoint num="8" id="4589" /> -<TGConnectingPoint num="9" id="4590" /> -<TGConnectingPoint num="10" id="4591" /> -<TGConnectingPoint num="11" id="4592" /> -<TGConnectingPoint num="12" id="4593" /> -<TGConnectingPoint num="13" id="4594" /> -<TGConnectingPoint num="14" id="4595" /> -<TGConnectingPoint num="15" id="4596" /> -<TGConnectingPoint num="16" id="4597" /> -<TGConnectingPoint num="17" id="4598" /> -<TGConnectingPoint num="18" id="4599" /> -<TGConnectingPoint num="19" id="4600" /> -<TGConnectingPoint num="20" id="4601" /> -<TGConnectingPoint num="21" id="4602" /> -<TGConnectingPoint num="22" id="4603" /> -<TGConnectingPoint num="23" id="4604" /> -<TGConnectingPoint num="24" id="4605" /> -<TGConnectingPoint num="25" id="4606" /> -<TGConnectingPoint num="26" id="4607" /> -<TGConnectingPoint num="27" id="4608" /> -<TGConnectingPoint num="28" id="4609" /> -<TGConnectingPoint num="29" id="4610" /> -<TGConnectingPoint num="30" id="4611" /> -<TGConnectingPoint num="31" id="4612" /> -<TGConnectingPoint num="32" id="4613" /> -<TGConnectingPoint num="33" id="4614" /> -<TGConnectingPoint num="34" id="4615" /> -<TGConnectingPoint num="35" id="4616" /> -<TGConnectingPoint num="36" id="4617" /> -<TGConnectingPoint num="37" id="4618" /> -<TGConnectingPoint num="38" id="4619" /> -<TGConnectingPoint num="39" id="4620" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="301" id="4638" > +<TGConnectingPoint num="0" id="4638" /> +<TGConnectingPoint num="1" id="4639" /> +<TGConnectingPoint num="2" id="4640" /> +<TGConnectingPoint num="3" id="4641" /> +<TGConnectingPoint num="4" id="4642" /> +<TGConnectingPoint num="5" id="4643" /> +<TGConnectingPoint num="6" id="4644" /> +<TGConnectingPoint num="7" id="4645" /> +<TGConnectingPoint num="8" id="4646" /> +<TGConnectingPoint num="9" id="4647" /> +<TGConnectingPoint num="10" id="4648" /> +<TGConnectingPoint num="11" id="4649" /> +<TGConnectingPoint num="12" id="4650" /> +<TGConnectingPoint num="13" id="4651" /> +<TGConnectingPoint num="14" id="4652" /> +<TGConnectingPoint num="15" id="4653" /> +<TGConnectingPoint num="16" id="4654" /> +<TGConnectingPoint num="17" id="4655" /> +<TGConnectingPoint num="18" id="4656" /> +<TGConnectingPoint num="19" id="4657" /> +<TGConnectingPoint num="20" id="4658" /> +<TGConnectingPoint num="21" id="4659" /> +<TGConnectingPoint num="22" id="4660" /> +<TGConnectingPoint num="23" id="4661" /> +<TGConnectingPoint num="24" id="4662" /> +<TGConnectingPoint num="25" id="4663" /> +<TGConnectingPoint num="26" id="4664" /> +<TGConnectingPoint num="27" id="4665" /> +<TGConnectingPoint num="28" id="4666" /> +<TGConnectingPoint num="29" id="4667" /> +<TGConnectingPoint num="30" id="4668" /> +<TGConnectingPoint num="31" id="4669" /> +<TGConnectingPoint num="32" id="4670" /> +<TGConnectingPoint num="33" id="4671" /> +<TGConnectingPoint num="34" id="4672" /> +<TGConnectingPoint num="35" id="4673" /> +<TGConnectingPoint num="36" id="4674" /> +<TGConnectingPoint num="37" id="4675" /> +<TGConnectingPoint num="38" id="4676" /> +<TGConnectingPoint num="39" id="4677" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="301" id="4695" > <cdparam x="661" y="78" /> <sizeparam width="271" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="UML Note" value="Encrypting data with the pre shared key " /> -<TGConnectingPoint num="0" id="4622" /> -<TGConnectingPoint num="1" id="4623" /> -<TGConnectingPoint num="2" id="4624" /> -<TGConnectingPoint num="3" id="4625" /> -<TGConnectingPoint num="4" id="4626" /> -<TGConnectingPoint num="5" id="4627" /> -<TGConnectingPoint num="6" id="4628" /> -<TGConnectingPoint num="7" id="4629" /> -<TGConnectingPoint num="8" id="4630" /> -<TGConnectingPoint num="9" id="4631" /> -<TGConnectingPoint num="10" id="4632" /> -<TGConnectingPoint num="11" id="4633" /> -<TGConnectingPoint num="12" id="4634" /> -<TGConnectingPoint num="13" id="4635" /> -<TGConnectingPoint num="14" id="4636" /> -<TGConnectingPoint num="15" id="4637" /> +<TGConnectingPoint num="0" id="4679" /> +<TGConnectingPoint num="1" id="4680" /> +<TGConnectingPoint num="2" id="4681" /> +<TGConnectingPoint num="3" id="4682" /> +<TGConnectingPoint num="4" id="4683" /> +<TGConnectingPoint num="5" id="4684" /> +<TGConnectingPoint num="6" id="4685" /> +<TGConnectingPoint num="7" id="4686" /> +<TGConnectingPoint num="8" id="4687" /> +<TGConnectingPoint num="9" id="4688" /> +<TGConnectingPoint num="10" id="4689" /> +<TGConnectingPoint num="11" id="4690" /> +<TGConnectingPoint num="12" id="4691" /> +<TGConnectingPoint num="13" id="4692" /> +<TGConnectingPoint num="14" id="4693" /> +<TGConnectingPoint num="15" id="4694" /> <extraparam> <Line value="Encrypting data with the pre shared key" /> </extraparam> </COMPONENT> -<COMPONENT type="5106" id="4679" > +<COMPONENT type="5106" id="4736" > <cdparam x="239" y="163" /> <sizeparam width="172" height="50" minWidth="40" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="state0" value="SendingRemoteOrder" /> -<TGConnectingPoint num="0" id="4639" /> -<TGConnectingPoint num="1" id="4640" /> -<TGConnectingPoint num="2" id="4641" /> -<TGConnectingPoint num="3" id="4642" /> -<TGConnectingPoint num="4" id="4643" /> -<TGConnectingPoint num="5" id="4644" /> -<TGConnectingPoint num="6" id="4645" /> -<TGConnectingPoint num="7" id="4646" /> -<TGConnectingPoint num="8" id="4647" /> -<TGConnectingPoint num="9" id="4648" /> -<TGConnectingPoint num="10" id="4649" /> -<TGConnectingPoint num="11" id="4650" /> -<TGConnectingPoint num="12" id="4651" /> -<TGConnectingPoint num="13" id="4652" /> -<TGConnectingPoint num="14" id="4653" /> -<TGConnectingPoint num="15" id="4654" /> -<TGConnectingPoint num="16" id="4655" /> -<TGConnectingPoint num="17" id="4656" /> -<TGConnectingPoint num="18" id="4657" /> -<TGConnectingPoint num="19" id="4658" /> -<TGConnectingPoint num="20" id="4659" /> -<TGConnectingPoint num="21" id="4660" /> -<TGConnectingPoint num="22" id="4661" /> -<TGConnectingPoint num="23" id="4662" /> -<TGConnectingPoint num="24" id="4663" /> -<TGConnectingPoint num="25" id="4664" /> -<TGConnectingPoint num="26" id="4665" /> -<TGConnectingPoint num="27" id="4666" /> -<TGConnectingPoint num="28" id="4667" /> -<TGConnectingPoint num="29" id="4668" /> -<TGConnectingPoint num="30" id="4669" /> -<TGConnectingPoint num="31" id="4670" /> -<TGConnectingPoint num="32" id="4671" /> -<TGConnectingPoint num="33" id="4672" /> -<TGConnectingPoint num="34" id="4673" /> -<TGConnectingPoint num="35" id="4674" /> -<TGConnectingPoint num="36" id="4675" /> -<TGConnectingPoint num="37" id="4676" /> -<TGConnectingPoint num="38" id="4677" /> -<TGConnectingPoint num="39" id="4678" /> -<extraparam> -</extraparam> -</COMPONENT> - -<COMPONENT type="5101" id="4681" > +<TGConnectingPoint num="0" id="4696" /> +<TGConnectingPoint num="1" id="4697" /> +<TGConnectingPoint num="2" id="4698" /> +<TGConnectingPoint num="3" id="4699" /> +<TGConnectingPoint num="4" id="4700" /> +<TGConnectingPoint num="5" id="4701" /> +<TGConnectingPoint num="6" id="4702" /> +<TGConnectingPoint num="7" id="4703" /> +<TGConnectingPoint num="8" id="4704" /> +<TGConnectingPoint num="9" id="4705" /> +<TGConnectingPoint num="10" id="4706" /> +<TGConnectingPoint num="11" id="4707" /> +<TGConnectingPoint num="12" id="4708" /> +<TGConnectingPoint num="13" id="4709" /> +<TGConnectingPoint num="14" id="4710" /> +<TGConnectingPoint num="15" id="4711" /> +<TGConnectingPoint num="16" id="4712" /> +<TGConnectingPoint num="17" id="4713" /> +<TGConnectingPoint num="18" id="4714" /> +<TGConnectingPoint num="19" id="4715" /> +<TGConnectingPoint num="20" id="4716" /> +<TGConnectingPoint num="21" id="4717" /> +<TGConnectingPoint num="22" id="4718" /> +<TGConnectingPoint num="23" id="4719" /> +<TGConnectingPoint num="24" id="4720" /> +<TGConnectingPoint num="25" id="4721" /> +<TGConnectingPoint num="26" id="4722" /> +<TGConnectingPoint num="27" id="4723" /> +<TGConnectingPoint num="28" id="4724" /> +<TGConnectingPoint num="29" id="4725" /> +<TGConnectingPoint num="30" id="4726" /> +<TGConnectingPoint num="31" id="4727" /> +<TGConnectingPoint num="32" id="4728" /> +<TGConnectingPoint num="33" id="4729" /> +<TGConnectingPoint num="34" id="4730" /> +<TGConnectingPoint num="35" id="4731" /> +<TGConnectingPoint num="36" id="4732" /> +<TGConnectingPoint num="37" id="4733" /> +<TGConnectingPoint num="38" id="4734" /> +<TGConnectingPoint num="39" id="4735" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5101" id="4738" > <cdparam x="365" y="447" /> <sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="stop state" value="null" /> -<TGConnectingPoint num="0" id="4680" /> +<TGConnectingPoint num="0" id="4737" /> </COMPONENT> -<COMPONENT type="5103" id="4692" > +<COMPONENT type="5103" id="4749" > <cdparam x="258" y="296" /> <sizeparam width="179" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" /> <infoparam name="Send signal" value="wirelessChannelWrite(msg)" /> -<TGConnectingPoint num="0" id="4682" /> -<TGConnectingPoint num="1" id="4683" /> -<TGConnectingPoint num="2" id="4684" /> -<TGConnectingPoint num="3" id="4685" /> -<TGConnectingPoint num="4" id="4686" /> -<TGConnectingPoint num="5" id="4687" /> -<TGConnectingPoint num="6" id="4688" /> -<TGConnectingPoint num="7" id="4689" /> -<TGConnectingPoint num="8" id="4690" /> -<TGConnectingPoint num="9" id="4691" /> -</COMPONENT> - -<COMPONENT type="5100" id="4694" > +<TGConnectingPoint num="0" id="4739" /> +<TGConnectingPoint num="1" id="4740" /> +<TGConnectingPoint num="2" id="4741" /> +<TGConnectingPoint num="3" id="4742" /> +<TGConnectingPoint num="4" id="4743" /> +<TGConnectingPoint num="5" id="4744" /> +<TGConnectingPoint num="6" id="4745" /> +<TGConnectingPoint num="7" id="4746" /> +<TGConnectingPoint num="8" id="4747" /> +<TGConnectingPoint num="9" id="4748" /> +</COMPONENT> + +<COMPONENT type="5100" id="4751" > <cdparam x="302" 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="1400" minY="10" maxY="900" /> <infoparam name="start state" value="null" /> -<TGConnectingPoint num="0" id="4693" /> +<TGConnectingPoint num="0" id="4750" /> </COMPONENT> diff --git a/modeling/testModelCheckerAvatar/testClocks.xml b/modeling/testModelCheckerAvatar/testClocks.xml index a5f9af8a4cf78997c19815dfe7522987020113a1..0c3d80d51cd0c48dfd621063ca2a7e605d5283e6 100644 --- a/modeling/testModelCheckerAvatar/testClocks.xml +++ b/modeling/testModelCheckerAvatar/testClocks.xml @@ -551,8 +551,6 @@ <afterMax value="40" /> <computeMin value="" /> <computeMax value="" /> -<filesToIncludeLine value="" /> -<codeToIncludeLine value="" /> </extraparam> </SUBCOMPONENT> @@ -836,4 +834,624 @@ +<Modeling type="AVATAR Design" nameTab="testInitState" > +<AVATARBlockDiagramPanel name="Block Diagram" minX="10" maxX="2500" minY="10" maxY="1500" > +<MainCode value="void __user_init() {"/> +<MainCode value="}"/> +<Optimized value="true" /> +<Validated value="Block1;Block0;" /> +<Ignored value="" /> + +<CONNECTOR type="5002" id="353" > +<cdparam x="422" y="277" /> +<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="352" /> +<P1 x="378" y="283" id="383" /> +<P2 x="552" y="284" id="357" /> +<AutomaticDrawing data="true" /> +<extraparam> +<isd value="in receive(int x)" /> +<oso value="out send(int x)" /> +<FIFOType asynchronous="false" size="1" blocking="false" private="true" broadcast="false" lossy="false" /> +</extraparam> +</CONNECTOR> +<COMPONENT type="5000" id="378" > +<cdparam x="552" y="184" /> +<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="354" /> +<TGConnectingPoint num="1" id="355" /> +<TGConnectingPoint num="2" id="356" /> +<TGConnectingPoint num="3" id="357" /> +<TGConnectingPoint num="4" id="358" /> +<TGConnectingPoint num="5" id="359" /> +<TGConnectingPoint num="6" id="360" /> +<TGConnectingPoint num="7" id="361" /> +<TGConnectingPoint num="8" id="362" /> +<TGConnectingPoint num="9" id="363" /> +<TGConnectingPoint num="10" id="364" /> +<TGConnectingPoint num="11" id="365" /> +<TGConnectingPoint num="12" id="366" /> +<TGConnectingPoint num="13" id="367" /> +<TGConnectingPoint num="14" id="368" /> +<TGConnectingPoint num="15" id="369" /> +<TGConnectingPoint num="16" id="370" /> +<TGConnectingPoint num="17" id="371" /> +<TGConnectingPoint num="18" id="372" /> +<TGConnectingPoint num="19" id="373" /> +<TGConnectingPoint num="20" id="374" /> +<TGConnectingPoint num="21" id="375" /> +<TGConnectingPoint num="22" id="376" /> +<TGConnectingPoint num="23" id="377" /> +<extraparam> +<CryptoBlock value="false" /> +<Attribute access="0" id="x" value="" type="8" typeOther="" /> +<Signal value="in receive(int x)" /> +</extraparam> +</COMPONENT> + +<COMPONENT type="5000" id="403" > +<cdparam x="128" y="183" /> +<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="Block0" value="Block0" /> +<TGConnectingPoint num="0" id="379" /> +<TGConnectingPoint num="1" id="380" /> +<TGConnectingPoint num="2" id="381" /> +<TGConnectingPoint num="3" id="382" /> +<TGConnectingPoint num="4" id="383" /> +<TGConnectingPoint num="5" id="384" /> +<TGConnectingPoint num="6" id="385" /> +<TGConnectingPoint num="7" id="386" /> +<TGConnectingPoint num="8" id="387" /> +<TGConnectingPoint num="9" id="388" /> +<TGConnectingPoint num="10" id="389" /> +<TGConnectingPoint num="11" id="390" /> +<TGConnectingPoint num="12" id="391" /> +<TGConnectingPoint num="13" id="392" /> +<TGConnectingPoint num="14" id="393" /> +<TGConnectingPoint num="15" id="394" /> +<TGConnectingPoint num="16" id="395" /> +<TGConnectingPoint num="17" id="396" /> +<TGConnectingPoint num="18" id="397" /> +<TGConnectingPoint num="19" id="398" /> +<TGConnectingPoint num="20" id="399" /> +<TGConnectingPoint num="21" id="400" /> +<TGConnectingPoint num="22" id="401" /> +<TGConnectingPoint num="23" id="402" /> +<extraparam> +<CryptoBlock value="false" /> +<Attribute access="0" id="x" value="0" type="8" typeOther="" /> +<Signal value="out send(int x)" /> +</extraparam> +</COMPONENT> + + +</AVATARBlockDiagramPanel> + +<AVATARStateMachineDiagramPanel name="Block1" minX="10" maxX="2500" minY="10" maxY="1500" > +<CONNECTOR type="5102" id="416" > +<cdparam x="457" y="277" /> +<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="412" /> +<TGConnectingPoint num="1" id="413" /> +<TGConnectingPoint num="2" id="414" /> +<TGConnectingPoint num="3" id="415" /> +<P1 x="457" y="277" id="432" /> +<P2 x="392" y="163" id="463" /> +<Point x="452" y="338" /> +<Point x="356" y="336" /> +<Point x="348" y="131" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="404" > +<father id="416" num="0" /> +<cdparam x="452" y="338" /> +<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="405" > +<father id="416" num="1" /> +<cdparam x="356" y="336" /> +<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="406" > +<father id="416" num="2" /> +<cdparam x="348" y="131" /> +<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="411" > +<father id="416" num="3" /> +<cdparam x="457" y="317" /> +<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="407" /> +<TGConnectingPoint num="1" id="408" /> +<TGConnectingPoint num="2" id="409" /> +<TGConnectingPoint num="3" id="410" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="423" > +<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="422" /> +<P1 x="407" y="70" id="483" /> +<P2 x="417" y="145" id="450" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="421" > +<father id="423" 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="417" /> +<TGConnectingPoint num="1" id="418" /> +<TGConnectingPoint num="2" id="419" /> +<TGConnectingPoint num="3" id="420" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="430" > +<cdparam x="454" y="195" /> +<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="429" /> +<P1 x="454" y="195" id="472" /> +<P2 x="457" y="247" id="431" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="428" > +<father id="430" num="0" /> +<cdparam x="454" y="235" /> +<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="424" /> +<TGConnectingPoint num="1" id="425" /> +<TGConnectingPoint num="2" id="426" /> +<TGConnectingPoint num="3" id="427" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<COMPONENT type="5104" id="441" > +<cdparam x="418" y="252" /> +<sizeparam width="79" 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(x)" /> +<TGConnectingPoint num="0" id="431" /> +<TGConnectingPoint num="1" id="432" /> +<TGConnectingPoint num="2" id="433" /> +<TGConnectingPoint num="3" id="434" /> +<TGConnectingPoint num="4" id="435" /> +<TGConnectingPoint num="5" id="436" /> +<TGConnectingPoint num="6" id="437" /> +<TGConnectingPoint num="7" id="438" /> +<TGConnectingPoint num="8" id="439" /> +<TGConnectingPoint num="9" id="440" /> +</COMPONENT> + +<COMPONENT type="5106" id="482" > +<cdparam x="392" y="145" /> +<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="442" /> +<TGConnectingPoint num="1" id="443" /> +<TGConnectingPoint num="2" id="444" /> +<TGConnectingPoint num="3" id="445" /> +<TGConnectingPoint num="4" id="446" /> +<TGConnectingPoint num="5" id="447" /> +<TGConnectingPoint num="6" id="448" /> +<TGConnectingPoint num="7" id="449" /> +<TGConnectingPoint num="8" id="450" /> +<TGConnectingPoint num="9" id="451" /> +<TGConnectingPoint num="10" id="452" /> +<TGConnectingPoint num="11" id="453" /> +<TGConnectingPoint num="12" id="454" /> +<TGConnectingPoint num="13" id="455" /> +<TGConnectingPoint num="14" id="456" /> +<TGConnectingPoint num="15" id="457" /> +<TGConnectingPoint num="16" id="458" /> +<TGConnectingPoint num="17" id="459" /> +<TGConnectingPoint num="18" id="460" /> +<TGConnectingPoint num="19" id="461" /> +<TGConnectingPoint num="20" id="462" /> +<TGConnectingPoint num="21" id="463" /> +<TGConnectingPoint num="22" id="464" /> +<TGConnectingPoint num="23" id="465" /> +<TGConnectingPoint num="24" id="466" /> +<TGConnectingPoint num="25" id="467" /> +<TGConnectingPoint num="26" id="468" /> +<TGConnectingPoint num="27" id="469" /> +<TGConnectingPoint num="28" id="470" /> +<TGConnectingPoint num="29" id="471" /> +<TGConnectingPoint num="30" id="472" /> +<TGConnectingPoint num="31" id="473" /> +<TGConnectingPoint num="32" id="474" /> +<TGConnectingPoint num="33" id="475" /> +<TGConnectingPoint num="34" id="476" /> +<TGConnectingPoint num="35" id="477" /> +<TGConnectingPoint num="36" id="478" /> +<TGConnectingPoint num="37" id="479" /> +<TGConnectingPoint num="38" id="480" /> +<TGConnectingPoint num="39" id="481" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5100" id="484" > +<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="483" /> +</COMPONENT> + + +</AVATARStateMachineDiagramPanel> + +<AVATARStateMachineDiagramPanel name="Block0" minX="10" maxX="2500" minY="10" maxY="1500" > +<CONNECTOR type="5102" id="491" > +<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="490" /> +<P1 x="407" y="70" id="589" /> +<P2 x="491" y="222" id="592" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="489" > +<father id="491" 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="485" /> +<TGConnectingPoint num="1" id="486" /> +<TGConnectingPoint num="2" id="487" /> +<TGConnectingPoint num="3" id="488" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="504" > +<cdparam x="506" 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="500" /> +<TGConnectingPoint num="1" id="501" /> +<TGConnectingPoint num="2" id="502" /> +<TGConnectingPoint num="3" id="503" /> +<P1 x="544" y="528" id="538" /> +<P2 x="441" y="240" id="612" /> +<Point x="460" y="602" /> +<Point x="364" y="600" /> +<Point x="397" y="208" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="492" > +<father id="504" num="0" /> +<cdparam x="460" y="602" /> +<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="493" > +<father id="504" num="1" /> +<cdparam x="364" y="600" /> +<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="494" > +<father id="504" num="2" /> +<cdparam x="397" y="208" /> +<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="499" > +<father id="504" num="3" /> +<cdparam x="278" y="422" /> +<sizeparam width="46" 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="495" /> +<TGConnectingPoint num="1" id="496" /> +<TGConnectingPoint num="2" id="497" /> +<TGConnectingPoint num="3" id="498" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +<actions value="x = x -1" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="511" > +<cdparam x="547" y="465" /> +<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="510" /> +<P1 x="547" y="465" id="579" /> +<P2 x="544" y="498" id="537" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="509" > +<father id="511" num="0" /> +<cdparam x="547" y="505" /> +<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="505" /> +<TGConnectingPoint num="1" id="506" /> +<TGConnectingPoint num="2" id="507" /> +<TGConnectingPoint num="3" id="508" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="518" > +<cdparam x="541" y="272" /> +<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="517" /> +<P1 x="541" y="272" id="598" /> +<P2 x="592" y="349" id="526" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="516" > +<father id="518" num="0" /> +<cdparam x="541" y="312" /> +<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="512" /> +<TGConnectingPoint num="1" id="513" /> +<TGConnectingPoint num="2" id="514" /> +<TGConnectingPoint num="3" id="515" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +</extraparam> +</SUBCOMPONENT> + +<CONNECTOR type="5102" id="525" > +<cdparam x="592" y="379" /> +<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="524" /> +<P1 x="592" y="379" id="527" /> +<P2 x="560" y="415" id="550" /> +<AutomaticDrawing data="true" /> +</CONNECTOR><SUBCOMPONENT type="-1" id="523" > +<father id="525" num="0" /> +<cdparam x="592" y="419" /> +<sizeparam width="52" 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="519" /> +<TGConnectingPoint num="1" id="520" /> +<TGConnectingPoint num="2" id="521" /> +<TGConnectingPoint num="3" id="522" /> +<extraparam> +<guard value="[ ]" /> +<afterMin value="" /> +<afterMax value="" /> +<computeMin value="" /> +<computeMax value="" /> +<actions value="x = x +1" /> +</extraparam> +</SUBCOMPONENT> + +<COMPONENT type="5103" id="536" > +<cdparam x="564" y="354" /> +<sizeparam width="57" 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(x)" /> +<TGConnectingPoint num="0" id="526" /> +<TGConnectingPoint num="1" id="527" /> +<TGConnectingPoint num="2" id="528" /> +<TGConnectingPoint num="3" id="529" /> +<TGConnectingPoint num="4" id="530" /> +<TGConnectingPoint num="5" id="531" /> +<TGConnectingPoint num="6" id="532" /> +<TGConnectingPoint num="7" id="533" /> +<TGConnectingPoint num="8" id="534" /> +<TGConnectingPoint num="9" id="535" /> +</COMPONENT> + +<COMPONENT type="5103" id="547" > +<cdparam x="516" y="503" /> +<sizeparam width="57" 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(x)" /> +<TGConnectingPoint num="0" id="537" /> +<TGConnectingPoint num="1" id="538" /> +<TGConnectingPoint num="2" id="539" /> +<TGConnectingPoint num="3" id="540" /> +<TGConnectingPoint num="4" id="541" /> +<TGConnectingPoint num="5" id="542" /> +<TGConnectingPoint num="6" id="543" /> +<TGConnectingPoint num="7" id="544" /> +<TGConnectingPoint num="8" id="545" /> +<TGConnectingPoint num="9" id="546" /> +</COMPONENT> + +<COMPONENT type="5106" id="588" > +<cdparam x="460" y="415" /> +<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="Main2" /> +<TGConnectingPoint num="0" id="548" /> +<TGConnectingPoint num="1" id="549" /> +<TGConnectingPoint num="2" id="550" /> +<TGConnectingPoint num="3" id="551" /> +<TGConnectingPoint num="4" id="552" /> +<TGConnectingPoint num="5" id="553" /> +<TGConnectingPoint num="6" id="554" /> +<TGConnectingPoint num="7" id="555" /> +<TGConnectingPoint num="8" id="556" /> +<TGConnectingPoint num="9" id="557" /> +<TGConnectingPoint num="10" id="558" /> +<TGConnectingPoint num="11" id="559" /> +<TGConnectingPoint num="12" id="560" /> +<TGConnectingPoint num="13" id="561" /> +<TGConnectingPoint num="14" id="562" /> +<TGConnectingPoint num="15" id="563" /> +<TGConnectingPoint num="16" id="564" /> +<TGConnectingPoint num="17" id="565" /> +<TGConnectingPoint num="18" id="566" /> +<TGConnectingPoint num="19" id="567" /> +<TGConnectingPoint num="20" id="568" /> +<TGConnectingPoint num="21" id="569" /> +<TGConnectingPoint num="22" id="570" /> +<TGConnectingPoint num="23" id="571" /> +<TGConnectingPoint num="24" id="572" /> +<TGConnectingPoint num="25" id="573" /> +<TGConnectingPoint num="26" id="574" /> +<TGConnectingPoint num="27" id="575" /> +<TGConnectingPoint num="28" id="576" /> +<TGConnectingPoint num="29" id="577" /> +<TGConnectingPoint num="30" id="578" /> +<TGConnectingPoint num="31" id="579" /> +<TGConnectingPoint num="32" id="580" /> +<TGConnectingPoint num="33" id="581" /> +<TGConnectingPoint num="34" id="582" /> +<TGConnectingPoint num="35" id="583" /> +<TGConnectingPoint num="36" id="584" /> +<TGConnectingPoint num="37" id="585" /> +<TGConnectingPoint num="38" id="586" /> +<TGConnectingPoint num="39" id="587" /> +<extraparam> +</extraparam> +</COMPONENT> + +<COMPONENT type="5100" id="590" > +<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="589" /> +</COMPONENT> + +<COMPONENT type="5106" id="631" > +<cdparam x="441" y="222" /> +<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="Main1" /> +<TGConnectingPoint num="0" id="591" /> +<TGConnectingPoint num="1" id="592" /> +<TGConnectingPoint num="2" id="593" /> +<TGConnectingPoint num="3" id="594" /> +<TGConnectingPoint num="4" id="595" /> +<TGConnectingPoint num="5" id="596" /> +<TGConnectingPoint num="6" id="597" /> +<TGConnectingPoint num="7" id="598" /> +<TGConnectingPoint num="8" id="599" /> +<TGConnectingPoint num="9" id="600" /> +<TGConnectingPoint num="10" id="601" /> +<TGConnectingPoint num="11" id="602" /> +<TGConnectingPoint num="12" id="603" /> +<TGConnectingPoint num="13" id="604" /> +<TGConnectingPoint num="14" id="605" /> +<TGConnectingPoint num="15" id="606" /> +<TGConnectingPoint num="16" id="607" /> +<TGConnectingPoint num="17" id="608" /> +<TGConnectingPoint num="18" id="609" /> +<TGConnectingPoint num="19" id="610" /> +<TGConnectingPoint num="20" id="611" /> +<TGConnectingPoint num="21" id="612" /> +<TGConnectingPoint num="22" id="613" /> +<TGConnectingPoint num="23" id="614" /> +<TGConnectingPoint num="24" id="615" /> +<TGConnectingPoint num="25" id="616" /> +<TGConnectingPoint num="26" id="617" /> +<TGConnectingPoint num="27" id="618" /> +<TGConnectingPoint num="28" id="619" /> +<TGConnectingPoint num="29" id="620" /> +<TGConnectingPoint num="30" id="621" /> +<TGConnectingPoint num="31" id="622" /> +<TGConnectingPoint num="32" id="623" /> +<TGConnectingPoint num="33" id="624" /> +<TGConnectingPoint num="34" id="625" /> +<TGConnectingPoint num="35" id="626" /> +<TGConnectingPoint num="36" id="627" /> +<TGConnectingPoint num="37" id="628" /> +<TGConnectingPoint num="38" id="629" /> +<TGConnectingPoint num="39" id="630" /> +<extraparam> +</extraparam> +</COMPONENT> + + +</AVATARStateMachineDiagramPanel> + +</Modeling> + + + + </TURTLEGMODELING> \ No newline at end of file diff --git a/src/avatartranslator/AvatarStateMachine.java b/src/avatartranslator/AvatarStateMachine.java index b6f4df7ce885be5b735e3a03a30f712c9996429a..77f7c1fa9e60f79b09fba820fdd889ebc1c49429 100644 --- a/src/avatartranslator/AvatarStateMachine.java +++ b/src/avatartranslator/AvatarStateMachine.java @@ -1564,7 +1564,9 @@ public class AvatarStateMachine extends AvatarElement { */ public void removeEmptyTransitions (AvatarBlock _block, boolean _canOptimize) { - // Look for such a transition + TraceManager.addDev("Remove empty transitions with optimize=" + _canOptimize); + + // Look for such a transition // states -> tr -> state with tr is empty // a tr is empty when it has no action or guard AvatarStateElement foundState1 = null, foundState2=null; @@ -1578,6 +1580,7 @@ public class AvatarStateMachine extends AvatarElement { if (at.getNext(0) instanceof AvatarStateElement) { if (at.isEmpty() && at.hasNonDeterministicGuard()) { if ((_canOptimize) && (!(elt.isCheckable()))){ + TraceManager.addDev("State found:" + elt); foundState1 = (AvatarStateElement) elt; foundAt = at; foundState2 = (AvatarStateElement)(at.getNext(0)); diff --git a/src/avatartranslator/modelchecker/AvatarModelChecker.java b/src/avatartranslator/modelchecker/AvatarModelChecker.java index 06e3f34b4bfbef8ba1fa977c0d5f0af42b66b000..223563b695978018f7d67598dc166b83d8d7cf0b 100644 --- a/src/avatartranslator/modelchecker/AvatarModelChecker.java +++ b/src/avatartranslator/modelchecker/AvatarModelChecker.java @@ -265,7 +265,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { } - TraceManager.addDev("Preparing Avatar specification :" + spec.toString()); + //TraceManager.addDev("Preparing Avatar specification :" + spec.toString()); prepareStates(); prepareTransitions(); @@ -296,7 +296,8 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { // Compute initial state SpecificationState initialState = new SpecificationState(); - initialState.setInit(spec, ignoreEmptyTransitions); + //initialState.setInit(spec, ignoreEmptyTransitions); + initialState.setInit(spec, false); for(AvatarBlock block: spec.getListOfBlocks()) { checkElement(block.getStateMachine().getStartState(), initialState); } @@ -992,7 +993,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { AvatarStateElement aseAfter = getStateWithNonEmptyUniqueTransition(ase, block, sb, _ss); if (aseAfter != ase) { - checkElement(aseAfter, _ss); + //checkElement(aseAfter, _ss); // Must modify the state of the considered block sb.values[SpecificationBlock.STATE_INDEX] = asm.getIndexOfState(aseAfter); } @@ -1044,7 +1045,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { AvatarStateElement ase = (AvatarStateElement)(at.getNext(0)); checkElement(ase, _ss); - //TraceManager.addDev("Handling Empty transition of " + _block.getName() + " with nextState = " + ase.getName() + " and previous=" + _ase.getName()); + TraceManager.addDev("Handling Empty transition of " + _block.getName() + " with nextState = " + ase.getName() + " and previous=" + _ase.getName()); if (listOfStates == null) { if (ase == _ase) { @@ -1079,7 +1080,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { re.result = SpecificationReachabilityType.REACHABLE; re.state = _ss; nbOfRemainingReachabilities --; - TraceManager.addDev("Remaining reachabilities:" + nbOfRemainingReachabilities); + //TraceManager.addDev("Remaining reachabilities:" + nbOfRemainingReachabilities); } } }