Quelle cdr019.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "CDR019.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1989/04/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.
      *
      * CDR019.PCO
      * WRITTEN BY: SUN DAJUN
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE REFERENTIAL INTEGRITY CONSTRAINT FOR
      * SQL.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                          with Integrity Enhancement
      *
      *            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  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  code2 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, cdr019.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 TEST0365 *******************

      * insert row into FOREIGN KEY TABLE EMP, check
      * referential integrity.  TABLE EMP is also a PRIMARY
      * KEY TABLE to EXPERIENCE TABLE

           DISPLAY " TEST0365 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO EMP VALUES"
           DISPLAY " (41,'Tom','China Architecture',"
           DISPLAY " 20,'Architecture',040553);"
           DISPLAY  " "
           DISPLAY " INSERT INTO DEPT VALUES"
           DISPLAY " (20,'Architecture','Richard');"
           DISPLAY  " "
           DISPLAY " INSERT INTO EMP VALUES"
           DISPLAY " (41,'Tom','China Architecture',"
           DISPLAY " 20,'Architecture',040553);"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1 FROM EMP"
           DISPLAY " WHERE ENO = 41;"
           DISPLAY  " "
           COMPUTE count1 = -1
           EXEC SQL INSERT INTO EMP VALUES
             (41,'Tom','China Architecture',
             20,'Architecture',040553) END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL INSERT INTO DEPT VALUES
             (20,'Architecture','Richard') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO EMP VALUES
             (41,'Tom','China Architecture',
             20,'Architecture',040553) END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
           EXEC SQL SELECT COUNT(*) INTO :count1 FROM EMP
             WHERE ENO = 41 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is less than 0."
           DISPLAY " code2 is equal to 0."
           DISPLAY " count1 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           if (code1  <  0  AND  count1  =  1  AND  code2  =  0) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0365','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0365','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr019.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0366 *******************

      * insert row into PRIMARY KEY TABLE EMP, check
      * referential integrity.  TABLE EMP is also a FOREIGN
      * KEY TABLE to TABLE DEPT

           DISPLAY " TEST0366 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " DELETE FROM EMP"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " DELETE FROM EXPERIENCE"
           DISPLAY " WHERE EXP_NAME = 'Tom' AND BTH_DATE = 040523;"
           DISPLAY  " "
           DISPLAY " DELETE FROM EMP"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1 FROM EMP"
           DISPLAY " WHERE ENO = 21;"
           COMPUTE count1 = -1
           EXEC SQL DELETE FROM EMP
             WHERE ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL DELETE FROM EXPERIENCE
             WHERE EXP_NAME = 'Tom' AND BTH_DATE = 040523 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL DELETE FROM EMP
             WHERE ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
           EXEC SQL SELECT COUNT(*) INTO :count1 FROM EMP
             WHERE ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is not equal to 0."
           DISPLAY " code2 is equal to 0."
           DISPLAY " count1 is 0"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           if (code1  NOT =  0  AND  count1  =  0  AND  code2  =  0)
             then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0366','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0366','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr019.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0367 *******************

      * Update middle table, check the effect of this table
      * as both PRIMARY TABLE (to upper level) and FOREIGN
      * TABLE (to lower level).

           DISPLAY " TEST0367 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6,6.7"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " UPDATE EMP"
           DISPLAY " SET ENAME = 'Thomas'"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " UPDATE EMP"
           DISPLAY " SET DNAME = 'Agriculture'"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " UPDATE EMP"
           DISPLAY " SET DNAME = 'Education'"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM EMP"
           DISPLAY " WHERE DNO = 12 AND DNAME = 'Education'"
           DISPLAY " AND ENO = 21 AND ENAME = 'Tom';"
           DISPLAY  " "
           COMPUTE count1 = -1
           EXEC SQL UPDATE EMP
             SET ENAME = 'Thomas'
             WHERE ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL UPDATE EMP
             SET DNAME = 'Agriculture'
             WHERE  ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
           EXEC SQL UPDATE EMP
             SET DNAME = 'Education'
             WHERE  ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM EMP
             WHERE DNO = 12 AND DNAME = 'Education'
             AND ENO = 21 AND ENAME = 'Tom' END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is not equal to 0."
           DISPLAY " code2 is not equal to 0."
           DISPLAY " count1 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           if (code1  <  0  AND  code2  <  0  AND  count1  =  1) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0367','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0367','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr019.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0368 *******************
      *The employee Tom in EMP, his name is changed into
      *Thomas, this will affect the integrity.
           DISPLAY " TEST0368 "
           DISPLAY " PRIMARY KEY & FOREIGN KEY "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6,6.7"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " UPDATE EMP"
           DISPLAY " SET ENAME = 'Thomas'"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " INSERT INTO EMP VALUES"
           DISPLAY " (30,'Thomas','Languages & Operating
      -    " System',"
           DISPLAY " 12,'Computer',040523);"
           DISPLAY  " "
           DISPLAY " UPDATE EXPERIENCE"
           DISPLAY " SET EXP_NAME = 'Thomas'"
           DISPLAY " WHERE EXP_NAME = 'Tom' AND BTH_DATE=040523;"
           DISPLAY  " "
           DISPLAY " DELETE EMP"
           DISPLAY " WHERE ENO = 21;"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM EMP"
           DISPLAY " WHERE DNO = 12 AND ENO = 21 "
           DISPLAY " AND ENAME = 'Tom';"
           DISPLAY  " "
           COMPUTE count1 = -1
           EXEC SQL UPDATE EMP
             SET ENAME = 'Thomas'
             WHERE ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL INSERT INTO EMP VALUES
             (30,'Thomas','Languages & Operating System',
             12,'Computer',040523) END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE EXPERIENCE
             SET EXP_NAME = 'Thomas'
             WHERE EXP_NAME = 'Tom' AND BTH_DATE = 040523 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
           EXEC SQL DELETE FROM EMP
             WHERE  ENO = 21 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM EMP
             WHERE DNO = 12 AND ENO = 21
             AND ENAME = 'Tom' END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is not equal to 0."
           DISPLAY " code2 is equal to 0."
           DISPLAY " count1 is 0"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           if (code1  <  0  AND  code2  =  0  AND  count1  =  0) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0368','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0368','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr019.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

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

      *    ****  Procedures for PERFORM statements

quality100%

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