products/sources/formale Sprachen/PVS/ACCoRD/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Bool.thy   Sprache: Isabelle

Original von: REXX©
 /* REXX                                                 */                     
 /* STARTET DAUERND JOBS, DIE DIE JOBVARIABLE UMSCHIEßEN */                     
 /*                                                      */                     
   DO J=1 BY 1 TO 1000                                                          
      X=OUTTRAP('MSG.',,'NOCONCAT')                                             
      ADDRESS TSO "SUBMIT 'X2H100.JOB.CNTL(JOBVAR)'"                            
      JOB=SUBSTR(MSG.1,14,8)                                                    
      I=0                                                                       
      DO I=1 BY 1 TO 100000                                                     
        I=I*12/12+1                                                             
      END                                                                       
      MSG.1='INVALID'                                                           
      DO WHILE SUBSTR(MSG.1, 1, 7) = 'INVALID'                                  
         ADDRESS TSO "CANCEL X2H100JO("JOB") PURGE"                             
      END                                                                       
   END                                                                          

¤ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff