products/sources/formale Sprachen/Isabelle/HOL/SPARK/Manual/document image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: dml080.cob   Sprache: Unknown

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


      * EMBEDDED COBOL (file "DML080.PCO")  

      ****************************************************************
      *                                                              
      *                 COMMENT SECTION                              
      *                                                              
      * DATE 1992/06/08 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.
      *                                                              
      * DML080.PCO                                                    
      * WRITTEN BY: DAVID W. FLATER                                  
      *                                                              
      *   THIS ROUTINE TESTS THE DATA MANIPULATION LANGUAGE FOR SQL. 
      *                                                              
      * REFERENCES                                                   
      *       AMERICAN NATIONAL STANDARD database language - SQL     
      *                         X3.135-1989                          
      *                                                              
      *                SECTION 7.3 Procedure                         
      *                                                              
      ****************************************************************



           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       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(9) DISPLAY SIGN LEADING SEPARATE.
      *date_time declaration 
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).
       01  ii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

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

       PROCEDURE DIVISION.
       P0.

             MOVE "SCHANZLE" TO uid
             CALL "AUTHID" USING uid
             MOVE "not logged in, not" TO uidx
             EXEC SQL SELECT USER INTO :uidx FROM HU.ECCO END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (uid  NOT  =   uidx) then
               DISPLAY "ERROR: User ", uid " expected. User ", uidx "
      -    " connected"
             STOP RUN
             END-IF
             MOVE 0 TO errcnt
           DISPLAY
              "SQL Test Suite, V6.0, Embedded COBOL, dml080.pco"
           DISPLAY
           "59-byte ID"
             DISPLAY "TEd Version #"
      *date_time print 
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      ******************** BEGIN TEST0462 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0462 "
             DISPLAY " SQLCODE = 100: DELETE with no data"
             DISPLAY " Reference X3.135-89 section 7.3 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

      *WHERE clause not satisfied - no data 
             MOVE 0 TO SQLCODE
             DISPLAY "DELETE FROM HU.STAFF WHERE EMPNUM = 'E7';"
             EXEC SQL DELETE FROM HU.STAFF WHERE EMPNUM = 'E7' END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

      *DELETE all rows from empty table - no data (on second DELETE) 
             DISPLAY  " "
             DISPLAY "DELETE FROM HU.STAFF;"
             EXEC SQL DELETE FROM HU.STAFF END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 0; its value is ", SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "
             DISPLAY "DELETE FROM HU.STAFF;"
             EXEC SQL DELETE FROM HU.STAFF END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

      *DELETE one row from empty table with WHERE clause - no data 
             DISPLAY  " "
             MOVE 0 TO SQLCODE
             DISPLAY "DELETE FROM HU.STAFF WHERE EMPNUM = 'E1';"
             EXEC SQL DELETE FROM HU.STAFF WHERE EMPNUM = 'E1' END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

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

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0462','pass','PCO'END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml080.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0462','fail','PCO'END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

             DISPLAY "==============================================="

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

      ******************** BEGIN TEST0463 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0463 "
             DISPLAY " SQLCODE = 100: UPDATE with no data"
             DISPLAY " Reference X3.135-89 section 7.3 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

      *WHERE clause not satisfied - no data 
             MOVE 0 TO SQLCODE
             DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE'"
             DISPLAY " WHERE EMPNAME = 'NOBODY';"
             EXEC SQL UPDATE HU.STAFF
               SET CITY = 'NOWHERE'
               WHERE EMPNAME = 'NOBODY' END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

      *global update of grade column - successful completion 
             DISPLAY  " "
             MOVE 100 TO SQLCODE
             DISPLAY "UPDATE HU.STAFF SET GRADE = 11;"
             EXEC SQL UPDATE HU.STAFF
               SET GRADE = 11 END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 0; its value is ", SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 0 TO flag
             END-IF

      *UPDATE all rows from empty table - no data (after DELETE) 
             DISPLAY  " "
             MOVE 100 TO SQLCODE
             DISPLAY "DELETE FROM HU.STAFF;"
             EXEC SQL DELETE FROM HU.STAFF END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 0; its value is ", SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "
             DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE';"
             EXEC SQL UPDATE HU.STAFF SET CITY = 'NOWHERE' END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

      *UPDATE rows with WHERE clause from empty table - no data 
             DISPLAY  " "
             MOVE 0 TO SQLCODE
             DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE'"
             DISPLAY " WHERE EMPNAME = 'NOBODY';"
             EXEC SQL UPDATE HU.STAFF
               SET CITY = 'NOWHERE'
               WHERE EMPNAME = 'NOBODY' END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be 100; its value is ", SQL-COD
             if (SQLCODE  NOT =  100) then
               MOVE 0 TO flag
             END-IF

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

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0463','pass','PCO'END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml080.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0463','fail','PCO'END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

             DISPLAY "==============================================="

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

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

      *    ****  Procedures for PERFORM statements

[ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet)  ]