Quelle cdr004.cob Sprache: Cobol

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

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

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1989/04/07 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.
      *
      * CDR004.SCO
      * WRITTEN BY: SUN DAJUN
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED COBOL BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE <CHECK> CONSTRAINT.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                          with Integrity Enhancement
      *
      *            SECTION 6.8
      *               <check constraint definition>::=
      *                     CHECK (<search condition>)
      ****************************************************************

      * 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  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
      * EXEC SQL END DECLARE SECTION END-EXEC

       01  code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  code2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  uidx PIC X(18).

       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
           CALL "AUTHCK" USING SQLCODE uidx
           MOVE SQLCODE TO SQL-COD
           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, Module COBOL, cdr004.sco"
           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 TEST0309 ******************
      *This procedure tests CHECK specification on two
      *columns with AND.
      *     CHECK condition
      *          GRADE NOT IN (5,22) AND EMPNAME LIKE 'T%'

           DISPLAY " TEST0309 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF11"
           DISPLAY " VALUES('E1','Thomas',0,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF11"
           DISPLAY " VALUES('E2','Dom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF11"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF11;"
      * EXEC SQL DELETE FROM STAFF11;
           CALL "SUB1" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF11
      *  VALUES('E1','Thomas',0,'Deale') END-EXEC
           CALL "SUB2" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF11
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB3" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF11
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB4" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF11 END-EXEC
           CALL "SUB5" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,code2 < 0,count1 = 1."
           DISPLAY " Your answer is:"
           DISPLAY " code1 = ", code1 ",code2 = ", code2
           DISPLAY ",count1= ", count1
           if (code1  NOT =  0  AND  count1  =  1 ) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0309','pass','MCO') END-EXEC
             CALL "SUB6" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0309','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB7" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr004.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
      * EXEC SQL COMMIT WORK;
           CALL "SUB8" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      ****************** END TEST0309 *****************************

      ******************** BEGIN TEST0310 ******************
      *This procedure tests if x NOT IN and NOT x IN of the
      *CHECK specification has the same meaning .
      *          CHECK condition
      *              NOT GRADE IN (5,22) on STAFF12

           DISPLAY " TEST0310 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF12"
           DISPLAY " VALUES('E1','Thomas',0,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF12"
           DISPLAY " VALUES('E2','Dom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF12"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF12;"
      * EXEC SQL DELETE FROM STAFF12;
           CALL "SUB9" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF12
      *  VALUES('E1','Thomas',0,'Deale') END-EXEC
           CALL "SUB10" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF12
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB11" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF12
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB12" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF12 END-EXEC
           CALL "SUB13" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,code2 < 0,count1 = 1."
           DISPLAY " Your answer is:"
           DISPLAY " code1 = ", code1 ",code2 = ", code2
           DISPLAY ",count1= ", count1
           if (code1  NOT =  0  AND  count1  =  1 ) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0310','pass','MCO') END-EXEC
             CALL "SUB14" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0310','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB15" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr004.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
      * EXEC SQL COMMIT WORK;
           CALL "SUB16" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      ****************** END TEST0310 *****************************

      ******************** BEGIN TEST0311 *******************
      *This test check the constraint NOT NULL in column
      *definition constraint.
      *      CHECK condition
      *            NOT NULL   in EMPNAME def. of STAFF15
      *    INSERT NULL INTO EMPNAME explicitly

           DISPLAY " TEST0311 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF15"
           DISPLAY " VALUES('E1','Alice',52,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF15;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF15"
           DISPLAY " VALUES('E1',NULL,52,'Newyork');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF15;"
           MOVE 0 TO count1
           MOVE 0 TO count2
      * EXEC SQL DELETE FROM STAFF15;
           CALL "SUB17" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF15
      *  VALUES('E1','Alice',52,'Deale') END-EXEC
           CALL "SUB18" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF15 END-EXEC
           CALL "SUB19" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD

      * EXEC SQL INSERT INTO STAFF15
      *  VALUES('E2',NULL,52,'Newyork') END-EXEC
           CALL "SUB20" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO :count2
      *  FROM STAFF15 END-EXEC
           CALL "SUB21" USING SQLCODE count2
           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('0311','pass','MCO') END-EXEC
             CALL "SUB22" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0311','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB23" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr004.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
      * EXEC SQL COMMIT WORK;
           CALL "SUB24" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0311 **********

      ******************** BEGIN TEST0312 *******************
      *This test checks NOT NULL in table definition con-
      *straint.
      *            CHECK condition
      *     EMPNAME IS NOT NULL.     on STAFF15
      *  INSERT VALUE INTO all columns except EMPNAME

           DISPLAY " TEST0312 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF15"
           DISPLAY " VALUES('E1','Alice',52,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF15;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF15(EMPNUM,GRADE,CITY)"
           DISPLAY " VALUES('E1',52,'Newyork');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count2"
           DISPLAY " FROM STAFF15;"
           COMPUTE count1 = -1
           COMPUTE count2 = -1
      * EXEC SQL DELETE FROM STAFF15;
           CALL "SUB25" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF15
      *  VALUES('E1','Alice',52,'Deale') END-EXEC
           CALL "SUB26" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF15 END-EXEC
           CALL "SUB27" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD

      * EXEC SQL INSERT INTO STAFF15(EMPNUM,GRADE,CITY)
      *  VALUES('E2',52,'Newyork') END-EXEC
           CALL "SUB28" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO :count2
      *  FROM STAFF15 END-EXEC
           CALL "SUB29" USING SQLCODE count2
           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('0312','pass','MCO') END-EXEC
             CALL "SUB30" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0312','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB31" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr004.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
      * EXEC SQL COMMIT WORK;
           CALL "SUB32" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0312 **********

      **** 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.