Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/parsing/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 9 kB image not shown  

Quelle  suntab0.cob   Sprache: Cobol

 
       IDENTIFICATION DIVISION.
       PROGRAM-ID.  SUNTAB0.
       ENVIRONMENT DIVISION.
       CONFIGURATION SECTION.
       SOURCE-COMPUTER.  xyz.
       OBJECT-COMPUTER.  xyz.
       DATA DIVISION.
       WORKING-STORAGE SECTION.


      * EMBEDDED COBOL (file "SUNTAB0.PCO")  

      ****************************************************************
      *                                                              
      *                 COMMENT SECTION                              
      *                                                              
      * DATE 1989/02/24  EMBEDDED COBOL LANGUAGE          
      * NIST SQL VALIDATION TEST SUITE V6.0                          
      *  DISCLAIMER:                                                  
      *  This program was written by employees of NIST to test SQL    
      *  implementations for conformance to the SQL standards.        
      *  NIST assumes no responsibility for any party's use of        
      *  this program.
      *                                                              
      * SUNTAB0.PCO                                                  
      * WRITTEN BY: SUN DAJUN                                        
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *                                                              
      *  This routine initializes the contents of tables:            
      *       STAFF, PROJ, and WORKS                                 
      *  This routine may be run at any time to re-initialize tables.
      *                                                              
      ****************************************************************


           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  i PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  ii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  iii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC X(18).
       01  uidx PIC X(18).
             EXEC SQL END DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE.

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

      * date_time declaration *
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).
    
       PROCEDURE DIVISION.
       P0.

             MOVE "SUN" TO uid
             CALL "AUTHID" USING uid

           MOVE 0 TO errcnt
           DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, suntab0.pco"
           DISPLAY " "
           DISPLAY
           "59-byte ID"
           DISPLAY "TEd Version #"
           DISPLAY " "
      * date_time print *
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

             EXEC SQL DELETE FROM STAFF END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL DELETE FROM PROJ END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL DELETE FROM WORKS END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL INSERT INTO STAFF VALUES ('E1','Alice',12,'Deale')
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO STAFF VALUES
             ('E2','Betty',10,'Vienna'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO STAFF VALUES
             ('E3','Carmen',13,'Vienna'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO STAFF VALUES ('E4','Don',12,'Deale')
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO STAFF VALUES ('E5','Ed',13,'Akron')
             END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL INSERT INTO PROJ VALUES 
             ('P1','MXSS','Design',10000,'Deale'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO PROJ VALUES 
             ('P2','CALM','Code',30000,'Vienna'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO PROJ VALUES 
             ('P3','SDP','Test',30000,'Tampa'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO PROJ VALUES 
             ('P4','SDP','Design',20000,'Deale'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO PROJ VALUES 
             ('P5','IRM','Test',10000,'Vienna'END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO PROJ VALUES 
             ('P6','PAYR','Design',50000,'Deale'END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P1',40) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P2',20) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P3',80) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P4',20) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P5',12) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E1','P6',12) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E2','P1',40) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E2','P2',80) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E3','P2',20) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E4','P2',20) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E4','P4',40) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO WORKS VALUES  ('E4','P5',80) END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL SELECT COUNT(*) INTO :i   FROM PROJ END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL SELECT COUNT(*) INTO :ii  FROM STAFF END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL SELECT COUNT(*) INTO :iii FROM WORKS END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (i  =  6  AND  ii  =  5  AND  iii  =  12) then
               DISPLAY "PROJ, STAFF, WORKS were created successfully!"
             else
               DISPLAY "*************************************"
               DISPLAY "* PROJ, STAFF or WORKS ERROR !!! *"
               DISPLAY "*************************************"
             END-IF

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD




      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

100%


¤ Dauer der Verarbeitung: 0.14 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.