products/sources/formale sprachen/VDM/VDMRT/PacemakerRT/tests image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Apt-p129.cbl   Sprache: Cobol

       identification division.
       program-id. apt-p129.
      * aus Apt-Olderog - Programmverifikation
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       linkage section.
       77 x  pic 9(4).
       77 y  pic 9(4).
       procedure division using x y.
      * -------------------------------------- 
      *   S1 and S2 should run in parallel
      * -------------------------------------- 
         perform S1
         perform S2
         stop run.
        S1.
         perform until x<=0
           move 0 to y
           if y=0 then move 0 to x
           else        move 0 to y end-if
         end-perform.
        S2.
         perform until x<=0
           move 1 to y
           if y=1 then move 0 to x
           else        move 1 to y end-if
         end-perform.
        end-program apt-p129.

[ zur Elbe Produktseite wechseln0.16Quellennavigators  Analyse erneut starten  ]