Suchen Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Haftungshinweis

Bemerkung: zur Agenda Produktseite wechseln Projekt Beratung

Suchen Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/HOL/Combinatorics/ (Beweissystem Isabelle Version 2025-1^©) Datei vom 16.11.2025 mit Größe 23 kB

Quellcode-Bibliothek dml080.cob Sprache: Cobol

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

      * Standard COBOL (file "DML080.SCO") calling SQL
      * procedures in file "DML080.MCO".
      * STANDARD COBOL (file "DML080.SCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/06/08 STANDARD 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.SCO
      * 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;
             CALL "SUB1" USING SQLCODE uidx
             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, Standard COBOL, dml080.sco"
           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';
             CALL "SUB2" USING SQLCODE
             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;
             CALL "SUB3" USING SQLCODE
             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;
             CALL "SUB4" USING SQLCODE
             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';
             CALL "SUB5" USING SQLCODE
             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;
             CALL "SUB6" USING SQLCODE
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0462','pass','MCO');
               CALL "SUB7" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml080.sco *** fail *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0462','fail','MCO');
               CALL "SUB8" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

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

      *  EXEC SQL COMMIT WORK;
             CALL "SUB9" USING SQLCODE
             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';
             CALL "SUB10" USING SQLCODE
             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;
             CALL "SUB11" USING SQLCODE
             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;
             CALL "SUB12" USING SQLCODE
             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';
             CALL "SUB13" USING SQLCODE
             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';
             CALL "SUB14" USING SQLCODE
             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;
             CALL "SUB15" USING SQLCODE
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0463','pass','MCO');
               CALL "SUB16" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml080.sco *** fail *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0463','fail','MCO');
               CALL "SUB17" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

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

      *  EXEC SQL COMMIT WORK;
             CALL "SUB18" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
      ******************** END TEST0463 ********************

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

      *    ****  Procedures for PERFORM statements

quality100%