Quelle cdr002.cob Sprache: Cobol

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

      * Standard COBOL (file "CDR002.SCO") calling SQL
      * procedures in file "CDR002.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.
      *
      * CDR002.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, cdr002.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 TEST0302 *******************
      *This test case checks the integrity constraint:
      *         GRADE > 0 AND GRADE < 20     on STAFF5
      *   declared in <table constraint definition>
      *    <Comparison Predicate>

           DISPLAY " TEST0302 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF5"
           DISPLAY " VALUES('E1','Alice',0,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY " INSERT INTO STAFF5"
           DISPLAY " VALUES('E2','Tom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY " INSERT INTO STAFF5"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF5;"
      * EXEC SQL DELETE FROM STAFF5
           CALL "SUB40" USING SQLCODE
      * EXEC SQL INSERT INTO STAFF5
      *  VALUES('E1','Alice',0,'Deale') END-EXEC
           CALL "SUB1" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF5
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB2" USING SQLCODE
           MOVE SQLCODE TO SQL-COD

      * EXEC SQL INSERT INTO STAFF5
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB3" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF5 END-EXEC
           CALL "SUB4" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL ROLLBACK WORK;
           CALL "SUB5" USING SQLCODE
           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  <  0  AND  code2  <  0  AND  count1  =  1 ) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0302','pass','MCO') END-EXEC
             CALL "SUB6" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0302','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB7" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr002.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0303 *******************
      *This test case checks the integrity constraint:
      *         GRADE > 0 AND GRADE < 20     on STAFF6
      *      declared in <column definition>
      *       <Comparison Predicate>

           DISPLAY " TEST0303 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF6"
           DISPLAY " VALUES('E1','Alice',0,'Deale');"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF6"
           DISPLAY " VALUES('E2','Tom',22,'Newyork');"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF6"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT GRADE INTO :count1"
           DISPLAY " FROM STAFF6"
           DISPLAY " WHERE GRADE > 22;"
      * EXEC SQL DELETE FROM STAFF6
           CALL "SUB41" USING SQLCODE
      * EXEC SQL INSERT INTO STAFF6
      *  VALUES('E1','Alice',0,'Deale') END-EXEC
           CALL "SUB9" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF6
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB10" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF6
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB11" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           COMPUTE count1 = -1
      * EXEC SQL SELECT GRADE INTO :count1
      *  FROM STAFF6
      *  WHERE GRADE > 10 END-EXEC
           CALL "SUB12" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL ROLLBACK WORK;
           CALL "SUB13" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,code2 < 0,count1 = 11."
           DISPLAY " Your answer is:"
           DISPLAY " code1 = ", code1 ",code2 = ", code2
           DISPLAY ",count1= ", count1
           if (code1  <  0  AND  code2  <  0  AND  count1  =  11 ) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0303','pass','MCO') END-EXEC
             CALL "SUB14" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0303','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB15" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr002.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0304 *******************
      *This test case checks the integrity constraint:
      *         GRADE BETWEEN 1 AND 20
      *      declared in <table constraint definition>
      *       <between Predicate>

           DISPLAY " TEST0304 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF7"
           DISPLAY " VALUES('E1','Alice',0,'Deale');"
           DISPLAY "code1 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF7"
           DISPLAY " VALUES('E2','Tom',22,'Newyork');"
           DISPLAY "code2 = SQLCODE;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF7"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF7;"
      * EXEC SQL DELETE FROM STAFF7
           CALL "SUB42" USING SQLCODE
      * EXEC SQL INSERT INTO STAFF7
      *  VALUES('E1','Alice',0,'Deale') END-EXEC
           CALL "SUB17" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL INSERT INTO STAFF7
      *  VALUES('E2','Tom',22,'Newyork') END-EXEC
           CALL "SUB18" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code2
      * EXEC SQL INSERT INTO STAFF7
      *  VALUES('E3','Susan',11,'Hawaii') END-EXEC
           CALL "SUB19" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO :count1
      *  FROM STAFF7 END-EXEC
           CALL "SUB20" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL ROLLBACK WORK;
           CALL "SUB21" USING SQLCODE
           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  <  0  AND  code2  <  0  AND  count1  =  1 ) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0304','pass','MCO') END-EXEC
             CALL "SUB22" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0304','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB23" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr002.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

      ******************** BEGIN TEST0305 *******************
      *This test case checks the integrity constraint:
      *         EMPNAME IS NOT NULL     on STAFF8
      *      declared in <table constraint definition>
      *          <null predicate>

           DISPLAY " TEST0305 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF8"
           DISPLAY " VALUES('E1','Alice',34,'Deale');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF8;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF8"
           DISPLAY " VALUES('E1',NULL,34,'Newyork');"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count2"
           DISPLAY " FROM STAFF8;"
           MOVE 0 TO count1
           MOVE 0 TO count2
      * EXEC SQL DELETE FROM STAFF8;
           CALL "SUB25" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL INSERT INTO STAFF8
      *  VALUES('E1','Alice',34,'Deale') END-EXEC
           CALL "SUB26" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
      * EXEC SQL SELECT COUNT(*) INTO:count1
      *  FROM STAFF8 END-EXEC
           CALL "SUB27" USING SQLCODE count1
           MOVE SQLCODE TO SQL-COD

      * EXEC SQL INSERT INTO STAFF8
      *  VALUES('E2',NULL,34,'Newyork') END-EXEC
           CALL "SUB28" USING SQLCODE
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
      * EXEC SQL SELECT COUNT(*) INTO:count2
      *  FROM STAFF8 END-EXEC
           CALL "SUB29" USING SQLCODE count2
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 < 0."
           DISPLAY " count1 is 1"
           DISPLAY " count2 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " count1 is ", count1
           DISPLAY " count2 is ", count2
           if (code1  <  0  AND  count1  =  1  AND  count2  =  1) then
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0305','pass','MCO') END-EXEC
             CALL "SUB30" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
      *  EXEC SQL INSERT INTO TESTREPORT
      *    VALUES('0305','fail','MCO') END-EXEC
             ADD 1 TO errcnt
             CALL "SUB31" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr002.sco *** fail *** "
           END-IF
           DISPLAY "================================================"

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

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

      *    ****  Procedures for PERFORM statements

quality100%

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