Quelle cdr003.cob Sprache: Cobol

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

      * Standard COBOL (file "CDR003.SCO") calling SQL
      * procedures in file "CDR003.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.
      *
      * CDR003.SCO
      * WRITTEN BY: SUN DAJUN
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED COBOL BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE <unique constraint definition>
      *
      * 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  long1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  null1 PIC  X(2).
       01  indic1 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, cdr003.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 TEST0306 *******************
      *test if NOT X IS NULL and X IS NOT NULL has the same
      *meaning in CHECK condition
      *         NOT EMPNAME IS NULL     on STAFF13
      *   declared in <table constraint definition>
      *    <NULL Predicate>

           DISPLAY " TEST0306 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "

           DISPLAY " INSERT INTO STAFF13"
           DISPLAY " VALUES('E1','Alice',36,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF13;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF13"
           DISPLAY " VALUES('E1',NULL,36,'Newyork');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF13;"
           MOVE 0 TO count1
           MOVE 0 TO count2
      * EXEC SQL DELETE FROM STAFF13;
           CALL "SUB1" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF13
      *  VALUES('E1','Alice',36,'Deale') END-EXEC
           CALL "SUB2" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO:count1
      *  FROM STAFF13 END-EXEC
           CALL "SUB3" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD

      * EXEC SQL INSERT INTO STAFF13
      *  VALUES('E2',NULL,36,'Newyork') END-EXEC
           CALL "SUB4" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO:count2
      *  FROM STAFF13 END-EXEC
           CALL "SUB5" 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('0306','pass','MCO') END-EXEC
             CALL "SUB6" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0306','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB7" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr003.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0307 *******************
      *test LIKE predicate in <table constraints>
      * CHECK condition
      *          EMPNAME NOT LIKE 'T%'  on STAFF9
      *   declared in <table constraint definition>
      *    <NULL Predicate>

           DISPLAY " TEST0307 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF9"
           DISPLAY " VALUES('E1','Thomas',0,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF9"
           DISPLAY " VALUES('E2','Tom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF9"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF9;"
      * EXEC SQL DELETE FROM STAFF9
           CALL "SUB50" USING SQLCODE
      * EXEC SQL INSERT INTO STAFF9
      *  VALUES('E1','Thomas',0,'Deale') END-EXEC
           CALL "SUB9" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF9
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB10" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF9
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB11" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF9 END-EXEC
           CALL "SUB12" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,code2 < 0,count = 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('0307','pass','MCO') END-EXEC
             CALL "SUB13" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0307','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB14" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr003.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0308 *******************
      *This procedure tests IN element in CHECK specification
      *Syntax Rules 6.3.8
      *     CHECK condition
      *             GRADE NOT IN (5,22)   on STAFF10

           DISPLAY " TEST0308 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF10"
           DISPLAY " VALUES('E1','Thomas',5,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF10"
           DISPLAY " VALUES('E2','Tom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF10"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF10;"
      * EXEC SQL DELETE FROM STAFF10
           CALL "SUB51" USING SQLCODE
      * EXEC SQL INSERT INTO STAFF10
      *  VALUES('E1','Thomas',5,'Deale') END-EXEC
           CALL "SUB16" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF10
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB17" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF10
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB18" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF10 END-EXEC
           CALL "SUB19" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,code2 < 0,count = 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('0308','pass','MCO') END-EXEC
             CALL "SUB20" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0308','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB21" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr003.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0373 *******************
      *Check embeded variable violate CHECH rules.

           DISPLAY " TEST0373 "
           DISPLAY " EMBEDED VAR violate the integrity
      -    " "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           MOVE -1 TO count1
           MOVE -1 TO count2
           MOVE -1 TO indic1

           DISPLAY "indic1 = -1;"
           DISPLAY " INSERT INTO STAFF4"
           DISPLAY " VALUES(:null1:indic1,'R9',36,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF4;"
           DISPLAY  " "
           DISPLAY "long1 = 22;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF11"
           DISPLAY " VALUES('R9','Judy',:long1,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF11;"
           DISPLAY  " "
      * EXEC SQL DELETE FROM STAFF4;
           CALL "SUB23" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF4
      *  VALUES(:null1:indic1,'R9',36,'Deale') END-EXEC
           CALL "SUB24" USING SQLCODE null1 indic1
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO:count1
      *  FROM STAFF4 END-EXEC
           CALL "SUB25" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL DELETE FROM STAFF11;
           CALL "SUB26" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE 22 TO long1
      * EXEC SQL INSERT INTO STAFF11
      *  VALUES('R9','Judy',:long1,'Deale') END-EXEC
           CALL "SUB27" USING SQLCODE long1
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL SELECT COUNT(*) INTO:count2
      *  FROM STAFF11 END-EXEC
           CALL "SUB28" USING SQLCODE count2
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL ROLLBACK WORK;
           CALL "SUB29" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 < 0"
           DISPLAY " code2 < 0"
           DISPLAY " count1 is 0"
           DISPLAY " count2 is 0"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           DISPLAY " count2 is ", count2
           if (code1  <  0  AND  code2  <  0  AND  count1  =  0  AND
             count2  =  0) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0373','pass','MCO') END-EXEC
             CALL "SUB30" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0373','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB31" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr003.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0374 *******************
      *Check embeded variable violate CHECH rules.

           DISPLAY " TEST0374 "
           DISPLAY " EMBEDED VAR violate the integrity
      -    " "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF5"
           DISPLAY " VALUES('R9','Alice',15,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF5;"
           DISPLAY  " "
           DISPLAY " UPDATE STAFF5"
           DISPLAY " SET GRADE = 10 * :long1 / 5 + 1"
           DISPLAY " WHERE EMPNUM = 'R9';"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF5;"
           DISPLAY  " "
           MOVE -1 TO count1
           MOVE -1 TO count2
      * EXEC SQL DELETE FROM STAFF5;
           CALL "SUB33" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF5
      *  VALUES('R9','Alice',15,'Deale') END-EXEC
           CALL "SUB34" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO:count1
      *  FROM STAFF5 END-EXEC
           CALL "SUB35" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
           MOVE 10 TO long1
      * EXEC SQL UPDATE STAFF5
      *  SET GRADE = 10 * :long1 / 5 + 1
      *  WHERE EMPNUM = 'R9' END-EXEC
           CALL "SUB36" USING SQLCODE long1
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL SELECT COUNT(*) INTO:count2
      *  FROM STAFF5 END-EXEC
           CALL "SUB37" USING SQLCODE count2
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL ROLLBACK WORK;
           CALL "SUB38" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 = 0"
           DISPLAY " code2 < 0"
           DISPLAY " count1 is 1"
           DISPLAY " count2 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " code2 is ", code2
           DISPLAY " count1 is ", count1
           DISPLAY " count2 is ", count2
           if (code1  =  0  AND  code2  <  0  AND  count1  =  1  AND
             count2  =  1) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0374','pass','MCO') END-EXEC
             CALL "SUB39" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0374','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB40" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr003.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

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

      *    ****  Procedures for PERFORM statements

quality100%

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