DRAKON.SU

<scheme kind=”drakon” version=”0.0.001” type=”primitive”>
   <branch>
      <item name=”begin”>
         <text_plain>QuickSort</text_plain>
         <dextral>
            <item name="parameters">
               <text_plain>
                  (VAR a:ARRAY OF INTEGER;
                  l,r:INTEGER);
                  VAR
                  i,j,x,t:INTEGER;
               </text_plain>
            </item>
         </dextral>
      </item>
     
       <item name=”action”>
         <text_plain>
            i:=I;
            j:=r;
            x:=a[(r+I) DIV 2)];
         </text_plain>
      </item>

      <top_join/>
      <top_join/>

      <item name=”question”>
         <context_right>yes</context_right>
         <text_plain>a[i] < x</text_plain>
         <text_right>Да</text_right>
         <text_bottom>Нет</text_bottom>
      </item>

      <route>
          <item name=”action”>
            <text_plain>INC(i)</text_plain>
         </item>

         <top_connect>
      </route>

      <top_join/>

      <item name=”question”>
         <context_right>yes</context_right>
         <text_plain>x < a[i]</text_plain>
         <text_right>Да</text_right>
         <text_bottom>Нет</text_bottom>
      </item>

      <route>
          <item name=”action”>
            <text_plain>DEC(i)</text_plain>
         </item>

         <top_connect>
      </route>

      <item name=”question”>
         <context_right>no</context_right>
         <text_plain>i <= j</text_plain>
         <text_right>Нет</text_right>
         <text_bottom>Да</text_bottom>
      </item>

      <route>
         <bottom_connect/>
      </route>

      <item name=”action”>
         <text_plain>t:=a[i]; a[i]:=a[j]:=t;
            INC(i); DEC(j);
         </text_plain>
      </item>

      <bottom_join/>

      <item name=”question”>
         <context_right>no</context_right>
         <text_plain>i>j</text_plain>
         <text_right>Нет</text_right>
         <text_bottom>Да</text_bottom>
      </item>

      <route>
         <top_connect/>
      </route>

      <item name=”question”>
         <context_right>no</context_right>
         <text_plain>i<j</text_plain>
         <text_right>Нет</text_right>
         <text_bottom>Да</text_bottom>
      </item>

      <route>
         <bottom_connect/>
      </route>

      <item name=”action”>
         <text_plain>QuickSort(a,i,r)</text_plain>
      </item>

      <bottom_join/>

      <item name=”question”>
         <context_right>no</context_right>
         <text_plain>i<r</text_plain>
         <text_right>Нет</text_right>
         <text_bottom>Да</text_bottom>
      </item>

      <route>
         <bottom_connect/>
      </route>

      <item name=”action”>
         <text_plain>QuickSort(a,i,r)</text_plain>
      </item>

      <bottom_join/>

      <item name=”end”>
         <text_plain>Конец</text_plain>
      </item>

   </branch>
</scheme>