tests/SFC_TEST.xml
changeset 45 3b6bf2b5f1df
parent 44 3fb449ba9a72
child 215 15c98c40f6f4
equal deleted inserted replaced
44:3fb449ba9a72 45:3b6bf2b5f1df
   340               <connectionPointOut>
   340               <connectionPointOut>
   341                 <relPosition y="2" x="10"/>
   341                 <relPosition y="2" x="10"/>
   342               </connectionPointOut>
   342               </connectionPointOut>
   343               <condition>
   343               <condition>
   344                 <inline name="">
   344                 <inline name="">
   345                   <ST>QX1 OR GX2 OR QX3 = FALSE</ST>
   345                   <ST>NOT ( QX1 OR QX2 OR QX3 )</ST>
   346                 </inline>
   346                 </inline>
   347               </condition>
   347               </condition>
   348             </transition>
   348             </transition>
   349             <step localId="24" height="27" width="26" initialStep="false" name="E1">
   349             <step localId="24" height="27" width="26" initialStep="false" name="E1">
   350               <position y="404" x="885"/>
   350               <position y="404" x="885"/>
   374               <connectionPointOut>
   374               <connectionPointOut>
   375                 <relPosition y="2" x="10"/>
   375                 <relPosition y="2" x="10"/>
   376               </connectionPointOut>
   376               </connectionPointOut>
   377               <condition>
   377               <condition>
   378                 <inline name="">
   378                 <inline name="">
   379                   <ST>QX1 OR GX2 OR QX3 = FALSE</ST>
   379                   <ST>NOT ( QX1 OR QX2 OR QX3 )</ST>
   380                 </inline>
   380                 </inline>
   381               </condition>
   381               </condition>
   382             </transition>
   382             </transition>
   383             <step localId="26" height="27" width="26" initialStep="false" name="E2">
   383             <step localId="26" height="27" width="26" initialStep="false" name="E2">
   384               <position y="404" x="1134"/>
   384               <position y="404" x="1134"/>
   408               <connectionPointOut>
   408               <connectionPointOut>
   409                 <relPosition y="2" x="10"/>
   409                 <relPosition y="2" x="10"/>
   410               </connectionPointOut>
   410               </connectionPointOut>
   411               <condition>
   411               <condition>
   412                 <inline name="">
   412                 <inline name="">
   413                   <ST>QX1 OR GX2 OR QX3 = FALSE</ST>
   413                   <ST>NOT ( QX1 OR QX2 OR QX3 )</ST>
   414                 </inline>
   414                 </inline>
   415               </condition>
   415               </condition>
   416             </transition>
   416             </transition>
   417             <step localId="28" height="27" width="26" initialStep="false" name="E3">
   417             <step localId="28" height="27" width="26" initialStep="false" name="E3">
   418               <position y="408" x="1371"/>
   418               <position y="408" x="1371"/>
   469               <connectionPointOut>
   469               <connectionPointOut>
   470                 <relPosition y="2" x="10"/>
   470                 <relPosition y="2" x="10"/>
   471               </connectionPointOut>
   471               </connectionPointOut>
   472               <condition>
   472               <condition>
   473                 <inline name="">
   473                 <inline name="">
   474                   <ST>QX1 AND GX2 AND QX3 = TRUE</ST>
   474                   <ST>QX1 AND QX2 AND QX3</ST>
   475                 </inline>
   475                 </inline>
   476               </condition>
   476               </condition>
   477             </transition>
   477             </transition>
   478             <jumpStep localId="33" height="13" width="12" targetName="GO">
   478             <jumpStep localId="33" height="13" width="12" targetName="GO">
   479               <position y="515" x="1075"/>
   479               <position y="515" x="1075"/>
   496               </connectionPointIn>
   496               </connectionPointIn>
   497               <action qualifier="N">
   497               <action qualifier="N">
   498                 <reference name="ONSTEP1"/>
   498                 <reference name="ONSTEP1"/>
   499               </action>
   499               </action>
   500             </actionBlock>
   500             </actionBlock>
   501             <actionBlock localId="35" height="30" width="289">
   501             <actionBlock localId="35" height="30" width="293">
   502               <position y="186" x="140"/>
   502               <position y="186" x="140"/>
   503               <connectionPointIn>
   503               <connectionPointIn>
   504                 <relPosition y="15" x="0"/>
   504                 <relPosition y="15" x="0"/>
   505                 <connection refLocalId="5">
   505                 <connection refLocalId="5">
   506                   <position y="201" x="140"/>
   506                   <position y="201" x="140"/>
   507                   <position y="201" x="115"/>
   507                   <position y="201" x="115"/>
   508                 </connection>
   508                 </connection>
   509               </connectionPointIn>
   509               </connectionPointIn>
   510               <action qualifier="P">
   510               <action qualifier="P">
   511                 <inline>
   511                 <inline>
   512                   <ST>QX1 := QX2 XOR QX1; QX2 := NOT QX2</ST>
   512                   <ST>QX1 := QX2 XOR QX1; QX2 := NOT QX2;</ST>
   513                 </inline>
   513                 </inline>
   514               </action>
   514               </action>
   515             </actionBlock>
   515             </actionBlock>
   516             <transition localId="36" height="2" width="20">
   516             <transition localId="36" height="2" width="20">
   517               <position y="266" x="384"/>
   517               <position y="266" x="384"/>
   636                   <position y="398" x="90"/>
   636                   <position y="398" x="90"/>
   637                   <position y="373" x="90"/>
   637                   <position y="373" x="90"/>
   638                 </connection>
   638                 </connection>
   639               </connectionPointIn>
   639               </connectionPointIn>
   640             </jumpStep>
   640             </jumpStep>
   641             <actionBlock localId="54" height="30" width="107">
   641             <actionBlock localId="54" height="30" width="111">
   642               <position y="291" x="135"/>
   642               <position y="291" x="135"/>
   643               <connectionPointIn>
   643               <connectionPointIn>
   644                 <relPosition y="15" x="0"/>
   644                 <relPosition y="15" x="0"/>
   645                 <connection refLocalId="8">
   645                 <connection refLocalId="8">
   646                   <position y="306" x="135"/>
   646                   <position y="306" x="135"/>
   647                   <position y="306" x="110"/>
   647                   <position y="306" x="110"/>
   648                 </connection>
   648                 </connection>
   649               </connectionPointIn>
   649               </connectionPointIn>
   650               <action qualifier="N">
   650               <action qualifier="N">
   651                 <inline>
   651                 <inline>
   652                   <ST>IX1 := TRUE</ST>
   652                   <ST>IX1 := TRUE;</ST>
   653                 </inline>
   653                 </inline>
   654               </action>
   654               </action>
   655             </actionBlock>
   655             </actionBlock>
   656             <actionBlock localId="55" height="30" width="113">
   656             <actionBlock localId="55" height="30" width="117">
   657               <position y="291" x="439"/>
   657               <position y="291" x="439"/>
   658               <connectionPointIn>
   658               <connectionPointIn>
   659                 <relPosition y="15" x="0"/>
   659                 <relPosition y="15" x="0"/>
   660                 <connection refLocalId="37">
   660                 <connection refLocalId="37">
   661                   <position y="306" x="439"/>
   661                   <position y="306" x="439"/>
   662                   <position y="306" x="414"/>
   662                   <position y="306" x="414"/>
   663                 </connection>
   663                 </connection>
   664               </connectionPointIn>
   664               </connectionPointIn>
   665               <action qualifier="N">
   665               <action qualifier="N">
   666                 <inline>
   666                 <inline>
   667                   <ST>IX1 := FALSE</ST>
   667                   <ST>IX1 := FALSE;</ST>
   668                 </inline>
   668                 </inline>
   669               </action>
   669               </action>
   670             </actionBlock>
   670             </actionBlock>
   671             <actionBlock localId="56" height="30" width="107">
   671             <actionBlock localId="56" height="30" width="111">
   672               <position y="291" x="714"/>
   672               <position y="291" x="714"/>
   673               <connectionPointIn>
   673               <connectionPointIn>
   674                 <relPosition y="15" x="0"/>
   674                 <relPosition y="15" x="0"/>
   675                 <connection refLocalId="12">
   675                 <connection refLocalId="12">
   676                   <position y="306" x="714"/>
   676                   <position y="306" x="714"/>
   677                   <position y="306" x="689"/>
   677                   <position y="306" x="689"/>
   678                 </connection>
   678                 </connection>
   679               </connectionPointIn>
   679               </connectionPointIn>
   680               <action qualifier="N">
   680               <action qualifier="N">
   681                 <inline>
   681                 <inline>
   682                   <ST>IX1 := TRUE</ST>
   682                   <ST>IX1 := TRUE;</ST>
   683                 </inline>
   683                 </inline>
   684               </action>
   684               </action>
   685             </actionBlock>
   685             </actionBlock>
   686             <actionBlock localId="57" height="30" width="124">
   686             <actionBlock localId="57" height="30" width="124">
   687               <position y="323" x="943"/>
   687               <position y="323" x="943"/>
   692                   <position y="338" x="918"/>
   692                   <position y="338" x="918"/>
   693                 </connection>
   693                 </connection>
   694               </connectionPointIn>
   694               </connectionPointIn>
   695               <action qualifier="N">
   695               <action qualifier="N">
   696                 <inline>
   696                 <inline>
   697                   <ST>QX1 : = FALSE</ST>
   697                   <ST>QX1 := FALSE;</ST>
   698                 </inline>
   698                 </inline>
   699               </action>
   699               </action>
   700             </actionBlock>
   700             </actionBlock>
   701             <actionBlock localId="58" height="30" width="124">
   701             <actionBlock localId="58" height="30" width="124">
   702               <position y="323" x="1192"/>
   702               <position y="323" x="1192"/>
   707                   <position y="338" x="1167"/>
   707                   <position y="338" x="1167"/>
   708                 </connection>
   708                 </connection>
   709               </connectionPointIn>
   709               </connectionPointIn>
   710               <action qualifier="N">
   710               <action qualifier="N">
   711                 <inline>
   711                 <inline>
   712                   <ST>QX2 : = FALSE</ST>
   712                   <ST>QX2 := FALSE;</ST>
   713                 </inline>
   713                 </inline>
   714               </action>
   714               </action>
   715             </actionBlock>
   715             </actionBlock>
   716             <actionBlock localId="59" height="30" width="124">
   716             <actionBlock localId="59" height="30" width="124">
   717               <position y="323" x="1429"/>
   717               <position y="323" x="1429"/>
   722                   <position y="338" x="1404"/>
   722                   <position y="338" x="1404"/>
   723                 </connection>
   723                 </connection>
   724               </connectionPointIn>
   724               </connectionPointIn>
   725               <action qualifier="N">
   725               <action qualifier="N">
   726                 <inline>
   726                 <inline>
   727                   <ST>QX2 : = FALSE</ST>
   727                   <ST>QX2 := FALSE;</ST>
   728                 </inline>
   728                 </inline>
   729               </action>
   729               </action>
   730             </actionBlock>
   730             </actionBlock>
   731             <actionBlock localId="60" height="30" width="114">
   731             <actionBlock localId="60" height="30" width="118">
   732               <position y="402" x="936"/>
   732               <position y="402" x="936"/>
   733               <connectionPointIn>
   733               <connectionPointIn>
   734                 <relPosition y="15" x="0"/>
   734                 <relPosition y="15" x="0"/>
   735                 <connection refLocalId="24">
   735                 <connection refLocalId="24">
   736                   <position y="417" x="936"/>
   736                   <position y="417" x="936"/>
   737                   <position y="417" x="911"/>
   737                   <position y="417" x="911"/>
   738                 </connection>
   738                 </connection>
   739               </connectionPointIn>
   739               </connectionPointIn>
   740               <action qualifier="N">
   740               <action qualifier="N">
   741                 <inline>
   741                 <inline>
   742                   <ST>QX1 := TRUE</ST>
   742                   <ST>QX1 := TRUE;</ST>
   743                 </inline>
   743                 </inline>
   744               </action>
   744               </action>
   745             </actionBlock>
   745             </actionBlock>
   746             <actionBlock localId="61" height="30" width="114">
   746             <actionBlock localId="61" height="30" width="118">
   747               <position y="402" x="1185"/>
   747               <position y="402" x="1185"/>
   748               <connectionPointIn>
   748               <connectionPointIn>
   749                 <relPosition y="15" x="0"/>
   749                 <relPosition y="15" x="0"/>
   750                 <connection refLocalId="26">
   750                 <connection refLocalId="26">
   751                   <position y="417" x="1185"/>
   751                   <position y="417" x="1185"/>
   752                   <position y="417" x="1160"/>
   752                   <position y="417" x="1160"/>
   753                 </connection>
   753                 </connection>
   754               </connectionPointIn>
   754               </connectionPointIn>
   755               <action qualifier="N">
   755               <action qualifier="N">
   756                 <inline>
   756                 <inline>
   757                   <ST>QX2 := TRUE</ST>
   757                   <ST>QX2 := TRUE;</ST>
   758                 </inline>
   758                 </inline>
   759               </action>
   759               </action>
   760             </actionBlock>
   760             </actionBlock>
   761             <actionBlock localId="62" height="30" width="114">
   761             <actionBlock localId="62" height="30" width="118">
   762               <position y="406" x="1422"/>
   762               <position y="406" x="1422"/>
   763               <connectionPointIn>
   763               <connectionPointIn>
   764                 <relPosition y="15" x="0"/>
   764                 <relPosition y="15" x="0"/>
   765                 <connection refLocalId="28">
   765                 <connection refLocalId="28">
   766                   <position y="421" x="1422"/>
   766                   <position y="421" x="1422"/>
   767                   <position y="421" x="1397"/>
   767                   <position y="421" x="1397"/>
   768                 </connection>
   768                 </connection>
   769               </connectionPointIn>
   769               </connectionPointIn>
   770               <action qualifier="N">
   770               <action qualifier="N">
   771                 <inline>
   771                 <inline>
   772                   <ST>QX3 := TRUE</ST>
   772                   <ST>QX3 := TRUE;</ST>
   773                 </inline>
   773                 </inline>
   774               </action>
   774               </action>
   775             </actionBlock>
   775             </actionBlock>
   776           </SFC>
   776           </SFC>
   777         </body>
   777         </body>