products/Sources/formale Sprachen/Coq/proofs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: evar_refiner.mli   Sprache: REXX

Untersuchung REXX©
/* Versuch, alle bei ISPF allokierten Dateien zu finden  */                     
/* von ISP16200 bis ISP18299                             */                     
      say "searching for dataset..."                                            
      pvsname=''                                                                
      do i=16200 to 18299                                                       
         ddname="isp"i                                                          
         rc_d=listdsi(ddname "FILE")                                            
         if rc_d = 0 then do                                                    
            nam=sysdsname                                                       
            dso=sysdsorg                                                        
            if substr(nam,1,3)='PVS' & sysdsorg='PS' then do                    
               say "Print "sysdsname " ?"                                       
               pvsname=sysdsname                                                
               leave                                                            
            end                                                                 
         end                                                                    
      end                                                                       
      parm1="'"pvsname"'"                                                       

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.18Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Kontakt
Drucken
Kontakt
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff