Quelle dml054.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "DML054.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 6/9/89 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.
      *
      * DML054.PCO
      * WRITTEN BY: KATHY HARVILL
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE RULES FOR UPDATING VIA CURSORS
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                         X3.135-1989
      *
      *        5.25 <query specification> SR 11, Section 13.5
      *                   definition of "updatable"
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  COUNT1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  COUNT2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  COUNT3 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  CITY1 PIC  X(15).
       01  EMPNO PIC  X(3).
       01  PNUM1 PIC  X(3).
       01  HOURS1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  GRADE1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  EMPNAM PIC  X(20).
       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  ii PIC S9(9) 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 "HU" TO uid
           CALL "AUTHID" USING uid
           MOVE "not logged in, not" TO uidx
           EXEC SQL SELECT
                 USER INTO :uidx FROM HU.ECCO END-EXEC
           if (uid NOT = uidx) then
             DISPLAY "ERROR: User " uid " expected."
             DISPLAY "User " uidx " connected."
             DISPLAY " "
             STOP RUN
           END-IF

           MOVE 0 TO errcnt
           DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, dml054.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

      ******************** BEGIN TEST0240 *******************

           DISPLAY " TEST0240 "
           DISPLAY " This routine tests the rules for updatable
      -    " tables "
           DISPLAY " Reference X3.135-89 section 5.25
      -    " specification> "
           DISPLAY " SR 11, definition of 'updatable' "
           DISPLAY " Cursor with SELECT ALL, and predicates IN and
      -    " BETWEEN"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           EXEC SQL DECLARE C1 CURSOR FOR
             SELECT ALL CITY FROM PROJ END-EXEC

           EXEC SQL OPEN C1 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P50 UNTIL ii > 10
           EXEC SQL CLOSE C1 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT1 FROM PROJ END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT1 should be 3, COUNT1=", COUNT1 " "

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

           EXEC SQL DECLARE C2 CURSOR FOR
             SELECT HOURS, EMPNUM, PNUM FROM WORKS
             WHERE HOURS IN (10, 20, 40) END-EXEC

           EXEC SQL OPEN C2 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P49 UNTIL ii > 14
           EXEC SQL CLOSE C2 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT2 FROM WORKS WHERE HOURS
             = 10 END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT2 should be 2, COUNT2=", COUNT2 " "

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

           EXEC SQL DECLARE C3 CURSOR FOR
             SELECT * FROM WORKS
             WHERE PNUM BETWEEN 'P2' AND 'P4'
             AND EMPNUM NOT BETWEEN 'E2' AND 'E3' END-EXEC
           EXEC SQL OPEN C3 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P48 UNTIL ii > 14
           EXEC SQL CLOSE C3 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT3 FROM WORKS END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT3 should be 7, COUNT3 =", COUNT3 " "

           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           if (COUNT1  =  3  AND  COUNT2  =  2  AND  COUNT3  =  7) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0240','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml054.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0240','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

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

           DISPLAY  " "

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

      ******************** END TEST0240 *******************

      ******************** BEGIN TEST0241 *******************

           DISPLAY " TEST0241 "
           DISPLAY " This routine tests the rules for updatable
      -    " tables "
           DISPLAY " Reference X3.135-89 section 5.25
      -    " specification> "
           DISPLAY " SR 11, definition of 'updatable' "
           DISPLAY " Cursor with LIKE, IS NULL and comparison
      -    " predicates"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           EXEC SQL DECLARE C4 CURSOR FOR
             SELECT PNUM, EMPNUM FROM WORKS
             WHERE PNUM LIKE '_2%' END-EXEC

           EXEC SQL OPEN C4 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P47 UNTIL ii > 14
           EXEC SQL CLOSE C4 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT1
             FROM WORKS END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT1 should be 8, COUNT1=", COUNT1 " "

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

           EXEC SQL INSERT INTO STAFF VALUES ('E6',NULL,11,NULL)
             END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF VALUES ('E7',NULL,11,'Deale')
             END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF VALUES ('E8','Mary',11,NULL)
             END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL DECLARE C5 CURSOR FOR
             SELECT EMPNUM, EMPNAME FROM STAFF
             WHERE EMPNAME IS NOT NULL AND CITY IS NULL END-EXEC
           EXEC SQL OPEN C5 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P46 UNTIL ii > 9
           EXEC SQL CLOSE C5 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT2
             FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT2 should be 7, COUNT2=", COUNT2 " "

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

           EXEC SQL DECLARE C6 CURSOR FOR
             SELECT EMPNAME, CITY, GRADE FROM STAFF
             WHERE EMPNAME >= 'Betty' AND EMPNUM < 'E35'
             OR CITY <= 'Deale ' AND GRADE > 12
             OR GRADE = 13 AND CITY <> 'Akron' END-EXEC
           EXEC SQL OPEN C6 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P45 UNTIL ii > 9
           EXEC SQL CLOSE C6 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT3
             FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT3 should be 2, COUNT3=", COUNT3 " "

           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           if (COUNT1  =  8  AND  COUNT2  =  7  AND  COUNT3  =  2) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0241','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml054.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0241','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

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

           DISPLAY  " "

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

      ******************** END TEST0241 *******************

      ******************** BEGIN TEST0242 *******************

           DISPLAY " TEST0242 "
           DISPLAY " This routine tests the rules for updatable
      -    " tables "
           DISPLAY " Reference X3.135-89 section 5.25
      -    " specification> "
           DISPLAY " SR 11, definition of 'updatable' "
           DISPLAY " Cursor with view, correlation name, NOT"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           EXEC SQL DECLARE C7 CURSOR FOR
             SELECT EMPNAME, CITY, GRADE FROM STAFFV2
             WHERE EMPNAME >= 'Betty' AND EMPNUM < 'E35'
             OR CITY <= 'Deale ' AND GRADE > 12
             OR GRADE = 13 AND CITY <> 'Akron' END-EXEC
           EXEC SQL OPEN C7 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P44 UNTIL ii > 9
           EXEC SQL CLOSE C7 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT1
             FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT1 should be 3, COUNT1=", COUNT1 " "

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

           EXEC SQL DECLARE C8 CURSOR FOR
             SELECT MYTABLE.EMPNUM, MYTABLE.EMPNAME FROM STAFF MYTABLE
             WHERE MYTABLE.GRADE =12 END-EXEC
           EXEC SQL OPEN C8 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P43 UNTIL ii > 9
           EXEC SQL CLOSE C8 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT2
             FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT2 should be 3, COUNT2=", COUNT2 " "

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

           EXEC SQL DECLARE C9 CURSOR FOR
             SELECT EMPNAME, CITY, GRADE FROM STAFF
             WHERE NOT EMPNAME >= 'Betty' AND EMPNUM < 'E35'
             OR NOT (CITY <= 'Deale ') AND GRADE > 9
             AND NOT (GRADE = 13 AND CITY <> 'Akron')
             OR NOT CITY IN ('Vienna','New York','Deale') END-EXEC
           EXEC SQL OPEN C9 END-EXEC
           MOVE SQLCODE TO SQL-COD

           MOVE 1 TO ii
           PERFORM P42 UNTIL ii > 9
           EXEC SQL CLOSE C9 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT (*) INTO :COUNT3
             FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " COUNT3 should be 2, COUNT3=", COUNT3 " "

           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           if (COUNT1  =  3   AND  COUNT2  =  3  AND  COUNT3  =  2) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0242','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml054.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0242','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

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

           DISPLAY  " "

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

      ******************** END TEST0242 *******************

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

      *    ****  Procedures for PERFORM statements

        P50.
             EXEC SQL FETCH C1 INTO :CITY1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0  AND  CITY1   =   "Deale") then
               EXEC SQL DELETE FROM PROJ WHERE CURRENT OF C1 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P49.
             EXEC SQL FETCH C2 INTO :HOURS1, :EMPNO, :PNUM1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0  AND  EMPNO   =   "E4") then
               EXEC SQL UPDATE WORKS SET HOURS = 10 WHERE CURRENT OF C2
             END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P48.
             EXEC SQL FETCH C3 INTO :EMPNO, :PNUM1, :HOURS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM WORKS WHERE CURRENT OF C3 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P47.
             EXEC SQL FETCH C4 INTO :EMPNO, :PNUM1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM WORKS WHERE CURRENT OF C4 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P46.
             EXEC SQL FETCH C5 INTO :EMPNO, :EMPNAM END-EXEC
             MOVE SQLCODE TO SQL-COD
             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM STAFF WHERE CURRENT OF C5 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P45.
             EXEC SQL FETCH C6 INTO :EMPNAM,:CITY1,:GRADE1 END-EXEC
             MOVE SQLCODE TO SQL-COD

             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM STAFF WHERE CURRENT OF C6 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P44.
             EXEC SQL FETCH C7 INTO :EMPNAM, :CITY1, :GRADE1 END-EXEC
             MOVE SQLCODE TO SQL-COD

             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM STAFFV2 WHERE CURRENT OF C7 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P43.
             EXEC SQL FETCH C8 INTO :EMPNO, :EMPNAM END-EXEC
             MOVE SQLCODE TO SQL-COD

             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM STAFF WHERE CURRENT OF C8 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

        P42.
             EXEC SQL FETCH C9 INTO :EMPNAM, :CITY1, :GRADE1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if(SQLCODE  =  0) then
               EXEC SQL DELETE FROM STAFF WHERE CURRENT OF C9 END-EXEC
               MOVE SQLCODE TO SQL-COD
             END-IF
           ADD 1 TO ii
           .

quality98%

¤ Dauer der Verarbeitung: 0.17 Sekunden (vorverarbeitet) ¤

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.