Quelle cdr009.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "CDR009.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1987/12/07 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.
      *
      * CDR009.PCO
      * WRITTEN BY: SUN DAJUN
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE REFERENCE INTEGRITY CONSTRAINT FOR
      * SQL.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                          with Integrity Enhancement
      *
      *            SECTION 6.6 <unique constraint definition>
      *               <unique constraint definition>::=
      *                       <unique specifition>(<unique column
      *                       list>)
      *                <unique specifition>::= UNIQUE|PRIMARY KEY
      *
      *            SECTION 6.7 <referential constraint definition>
      *               <referential constraint definition>::=
      *                     FOREIGN KEY (<referencing columns>)
      *                     <references specification>
      *               <references specification>::=
      *                     REFERENCES <referenced table and columns>
      *               <referencing columns>::=
      *                       <reference column list>
      *               <refereced table and columns>::=
      *                       <table name>((<reference column list>
      *               <reference column list>::=
      *                       <column name>({,<column name>}...)
      *
      ****************************************************************

           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  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  code1 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 "SUN" TO uid
           CALL "AUTHID" USING uid
           MOVE "not logged in, not" TO uidx
           EXEC SQL SELECT
                 USER INTO :uidx FROM SUN.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, cdr009.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 TEST0327 *******************
      *This program inserts two rows into PRIMARY KEY TABLE
      *-- STAFF3, these two rows have the same value 'E1' in
      *PRIMARY COLUMN and there is no (E1,*,*) in referen-
      *cing table.

           DISPLAY " TEST0327 "
           DISPLAY " PRIMARY KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "

           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " VALUES('E1','Alice',12,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF3;"
           DISPLAY  " "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " VALUES('E1','Tom',12,'Newyork');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF3;"
           MOVE 0 TO count1
           MOVE 0 TO count2
           EXEC SQL DELETE FROM WORKS3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             VALUES('E1','Alice',12,'Deale') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL SELECT COUNT(*) INTO:count1
             FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL INSERT INTO STAFF3
             VALUES('E1','Tom',12,'Newyork') END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO:count2
             FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " SQLCODE of second INSERT not equal to 0."
           DISPLAY " count1 is 1"
           DISPLAY " count2 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " SQLCOD of second INSERT is ", code1
           DISPLAY " count1 is ", count1
           DISPLAY " count2 is ", count2
           if (code1  NOT =  0  AND  count1  =  1  AND  count2  =  1)
             then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0327','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0327','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr009.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0327 **********

      ******************** BEGIN TEST0328 *******************
      *This program updates a row in PRIMARY KEY TABLE
      *-- STAFF3, set (E2,*,*,*) to (E9,*,*,*) ,there
      *are (E2,*,*) In WORKS3.

           DISPLAY " TEST0328 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6,6.7"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY " UPDATE STAFF3"
           DISPLAY " SET EMPNUM='E9'"
           DISPLAY " WHERE EMPNUM='E2';"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF3"
           DISPLAY " WHERE EMPNUM = 'E2';"
           EXEC SQL DELETE  FROM WORKS3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM PROJ3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             SELECT * FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO PROJ3
             SELECT * FROM PROJ END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO WORKS3
             SELECT * FROM WORKS END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE STAFF3
             SET EMPNUM = 'E9'
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM STAFF3
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct result is code1 not equal 0"
           DISPLAY " count1 = 1"
           DISPLAY " Your answer is code1=", code1
           DISPLAY " count1 = ", count1
           if (code1  <  0  AND  count1  =  1) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0328','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0328','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr009.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      ******************** END TEST0328 *************************

      ******************** BEGIN TEST0329 *******************
      *This program updates a row in PRIMARY KEY TABLE
      *-- STAFF3, that cause two rows have the same value
      *'E1' in  PRIMARY COLUMN.

           DISPLAY " TEST0329 "
           DISPLAY " PRIMARY KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " VALUES('E1','Alice',45,'Deale');"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " VALUES('E2','Tom',45,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF3;"
           DISPLAY  " "
           DISPLAY " UPDATE STAFF3"
           DISPLAY " SET EMPNUM = 'E1'"
           DISPLAY " WHERE EMPNUM = 'E2';"
           DISPLAY  " "
           MOVE 0 TO count1
           MOVE 0 TO count2
           EXEC SQL DELETE FROM WORKS3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             VALUES('E1','Alice',45,'Deale') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             VALUES('E2','Tom',45,'Deale') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL SELECT COUNT(*) INTO:count1
             FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL UPDATE STAFF3
             SET EMPNUM = 'E1'
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO:count2
             FROM STAFF3
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " SQLCODE of second INSERT not equal to 0."
           DISPLAY " count1 is 2"
           DISPLAY " count2 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " SQLCOD of second INSERT is ", code1
           DISPLAY " count1 is ", count1
           DISPLAY " count2 is ", count2
           if (code1  NOT =  0  AND  count1  =  2  AND  count2  =  1)
             then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0329','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0329','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr009.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0329 **********

      ******************** BEGIN TEST0330 *******************
      *This test update a row or rows on FOREIGN KEY
      *column in table WORKS3,set those rows (E1,*,*) to
      *(E9,*,*),but there is not a row ('E9',*,*,*) in
      * PRIMARY TABLE -- STAFF3, this will bring about an
      * ERROR.

           DISPLAY " TEST0330 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6,6.7"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " DELETE FROM WORKS3;"
           DISPLAY  " "
           DISPLAY " DELETE FROM PROJ3;"
           DISPLAY  " "
           DISPLAY " DELETE FROM STAFF3;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " SELECT * FROM STAFF;"
           DISPLAY  " "
           DISPLAY " INSERT INTO PROJ3"
           DISPLAY " SELECT * FROM PROJ;"
           DISPLAY  " "
           DISPLAY " INSERT INTO WORKS3"
           DISPLAY " SELECT * FROM WORKS;"
           DISPLAY  " "
           DISPLAY " UPDATE WORKS3"
           DISPLAY " SET EMPNUM='E9'"
           DISPLAY " WHERE EMPNUM='E2';"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM WORKS3"
           DISPLAY " WHERE EMPNUM = 'E2';"
           EXEC SQL DELETE  FROM WORKS3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM PROJ3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             SELECT * FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO PROJ3
             SELECT * FROM PROJ END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO WORKS3
             SELECT * FROM WORKS END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE WORKS3
             SET EMPNUM = 'E9'
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM WORKS3
             WHERE EMPNUM = 'E2' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct result is code1 not equal 0"
           DISPLAY " count1 = 2"
           DISPLAY " Your answer is code1=", code1
           DISPLAY " count1 = ", count1
           if (code1  NOT =  0  AND  count1  =  2) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0330','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0330','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr009.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      ******************** END TEST0330 *************************

      ******************** BEGIN TEST0331 ******************
      *This test update a row or rows on FOREIGN KEY
      *column in table WORKS3,set those rows (E1,*,*) to
      *(E2,*,*),and there are such a row (E2,-,-,-) in
      * PRIMARY TABLE -- STAFF3 and rows (E2,*,*) in
      *WORKS3.

           DISPLAY " TEST0331 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6,6.7"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " DELETE FROM WORKS3;"
           DISPLAY  " "
           DISPLAY " DELETE FROM PROJ3;"
           DISPLAY  " "
           DISPLAY " DELETE FROM STAFF3;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF3"
           DISPLAY " SELECT * FROM STAFF;"
           DISPLAY  " "
           DISPLAY " INSERT INTO PROJ3"
           DISPLAY " SELECT * FROM PROJ;"
           DISPLAY  " "
           DISPLAY " INSERT INTO WORKS3"
           DISPLAY " SELECT * FROM WORKS;"
           DISPLAY  " "
           DISPLAY " UPDATE WORKS3"
           DISPLAY " SET EMPNUM='E2'"
           DISPLAY " WHERE EMPNUM='E1';"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM WORKS3"
           DISPLAY " WHERE EMPNUM = 'E1';"
           MOVE 0 TO count1
           EXEC SQL DELETE  FROM WORKS3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM STAFF3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE  FROM PROJ3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF3
             SELECT * FROM STAFF END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO PROJ3
             SELECT * FROM PROJ END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO WORKS3
             SELECT * FROM WORKS END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE WORKS3
             SET EMPNUM = 'E2'
             WHERE EMPNUM = 'E1' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM WORKS3
             WHERE EMPNUM = 'E1' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct result is code1 equal 0"
           DISPLAY " count1 = 0"
           DISPLAY " Your answer is code1=", code1
           DISPLAY " count1 = ", count1
           if (code1  =  0  AND  count1  =  0) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0331','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0331','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr009.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      ******************** END TEST0331 *************************

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

      *    ****  Procedures for PERFORM statements

quality100%

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