Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/summaries/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 40 kB image not shown  

Quelle  ISPLIST.REXX   Sprache: 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"'"                                                       

50%


¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.