Quelle dml177.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "DML177.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1996-05-14 EMBEDDED COBOL LANGUAGE
      * 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.
      *
      * DML177.PCO
      * WRITTEN BY:  David Flater
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      * This routine tests Intermediate SQL.
      *
      * REFERENCES
      *   FIPS PUB 127-2 14.2 Intermediate SQL
      *   ANSI SQL-1992
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  SQLSTATE PIC  X(5).
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
       01  int1 PIC S9(10) DISPLAY SIGN LEADING SEPARATE.
             EXEC SQL END DECLARE SECTION END-EXEC
       01  norm1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  norm2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  ALPNUM-TABLE VALUE IS
               "01234ABCDEFGH56789IJKLMNOPQRSTUVWXYZ".
           05  ALPNUM PIC X OCCURS 36 TIMES.
       01  NORMSQ.
           05  NORMSQX PIC X OCCURS 5 TIMES.
       01  errcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
      *date_time declaration
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       PROCEDURE DIVISION.
       P0.

             MOVE "FLATER " TO uid
             CALL "AUTHID" USING uid
             MOVE "not logged in, not" TO uidx
             EXEC SQL SELECT USER INTO :uidx FROM HU.ECCO END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (uid  NOT  =   uidx) then
               DISPLAY "ERROR: User ", uid, " expected. User ", uidx, "
      -    " connected"
            STOP RUN
             END-IF
             MOVE 0 TO errcnt

             DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, dml177.pco"
             DISPLAY
           "59-byte ID"
             DISPLAY "TEd Version #"
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      ******************** BEGIN TEST0889 *******************
             MOVE 1 TO flag

             DISPLAY " FIPS sizing TEST0889"
             DISPLAY " FIPS sizing, INTEGER binary prec >= 31"
             DISPLAY "References:"
             DISPLAY " FIPS 16.6 -- Sizing #11, INTEGER binary
      -    " precision"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             COMPUTE SQLCODE = -1
             MOVE "xxxxx" TO SQLSTATE

             DISPLAY "CREATE TABLE NOMAIL ("
             DISPLAY " C1 INT);"
             EXEC SQL CREATE TABLE NOMAIL (
               C1 INT) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *2 ^ 31 = 2147483648

             DISPLAY "INSERT INTO NOMAIL VALUES (2147483647);"
             EXEC SQL INSERT INTO NOMAIL VALUES (2147483647) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "INSERT INTO NOMAIL VALUES (-2147483647);"
             EXEC SQL INSERT INTO NOMAIL VALUES (-2147483647) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             MOVE 0 TO int1
             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM NOMAIL WHERE C1 > 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM NOMAIL WHERE C1 > 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 2147483647; its value is ", int1
             if (int1  NOT =  2147483647) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM NOMAIL WHERE C1 < 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM NOMAIL WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -2147483647; its value is ", int1
             if (int1  NOT =  -2147483647) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 - 2147483646 INTO :int1"
             DISPLAY " FROM NOMAIL"
             DISPLAY " WHERE C1 > 0;"
             EXEC SQL SELECT C1 - 2147483646 INTO :int1
               FROM NOMAIL
               WHERE C1 > 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 1; its value is ", int1
             if (int1  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 + 2147483646 INTO :int1"
             DISPLAY " FROM NOMAIL"
             DISPLAY " WHERE C1 < 0;"
             EXEC SQL SELECT C1 + 2147483646 INTO :int1
               FROM NOMAIL
               WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -1; its value is ", int1
             if (int1  NOT =  -1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE NOMAIL"
             DISPLAY " SET C1 = C1 + 2147483646"
             DISPLAY " WHERE C1 < 0;"
             EXEC SQL UPDATE NOMAIL
               SET C1 = C1 + 2147483646
               WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM NOMAIL WHERE C1 < 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM NOMAIL WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -1; its value is ", int1
             if (int1  NOT =  -1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE NOMAIL"
             DISPLAY " SET C1 = C1 - 1;"
             EXEC SQL UPDATE NOMAIL
               SET C1 = C1 - 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM NOMAIL"
             DISPLAY " WHERE C1 = 2147483645;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM NOMAIL
               WHERE C1 = 2147483645 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 0; its value is ", int1
             if (int1  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM NOMAIL"
             DISPLAY " WHERE C1 = 2147483646;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM NOMAIL
               WHERE C1 = 2147483646 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 1; its value is ", int1
             if (int1  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM NOMAIL"
             DISPLAY " WHERE C1 = 2147483647;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM NOMAIL
               WHERE C1 = 2147483647 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 0; its value is ", int1
             if (int1  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "DROP TABLE NOMAIL CASCADE;"
             EXEC SQL DROP TABLE NOMAIL CASCADE END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0889','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml177.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0889','fail','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

             DISPLAY "==============================================="

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
      ******************** END TEST0889 ********************
      ******************** BEGIN TEST0890 *******************
             MOVE 1 TO flag

             DISPLAY " FIPS sizing TEST0890"
             DISPLAY " FIPS sizing, SMALLINT binary prec >= 15"
             DISPLAY "References:"
             DISPLAY " FIPS 16.6 -- Sizing #13, SMALLINT binary
      -    " precision"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             COMPUTE SQLCODE = -1
             MOVE "xxxxx" TO SQLSTATE

             DISPLAY "CREATE TABLE YESMAIL ("
             DISPLAY " C1 SMALLINT);"
             EXEC SQL CREATE TABLE YESMAIL (
               C1 SMALLINT) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *2 ^ 15 = 32768

             DISPLAY "INSERT INTO YESMAIL VALUES (32767);"
             EXEC SQL INSERT INTO YESMAIL VALUES (32767) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "INSERT INTO YESMAIL VALUES (-32767);"
             EXEC SQL INSERT INTO YESMAIL VALUES (-32767) END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             MOVE 0 TO int1
             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM YESMAIL WHERE C1 > 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM YESMAIL WHERE C1 > 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 32767; its value is ", int1
             if (int1  NOT =  32767) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM YESMAIL WHERE C1 < 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM YESMAIL WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -32767; its value is ", int1
             if (int1  NOT =  -32767) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 - 32766 INTO :int1"
             DISPLAY " FROM YESMAIL"
             DISPLAY " WHERE C1 > 0;"
             EXEC SQL SELECT C1 - 32766 INTO :int1
               FROM YESMAIL
               WHERE C1 > 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 1; its value is ", int1
             if (int1  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO int1
             DISPLAY "SELECT C1 + 32766 INTO :int1"
             DISPLAY " FROM YESMAIL"
             DISPLAY " WHERE C1 < 0;"
             EXEC SQL SELECT C1 + 32766 INTO :int1
               FROM YESMAIL
               WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -1; its value is ", int1
             if (int1  NOT =  -1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE YESMAIL"
             DISPLAY " SET C1 = C1 + 32766"
             DISPLAY " WHERE C1 < 0;"
             EXEC SQL UPDATE YESMAIL
               SET C1 = C1 + 32766
               WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "SELECT C1 INTO :int1"
             DISPLAY " FROM YESMAIL WHERE C1 < 0;"
             EXEC SQL SELECT C1 INTO :int1
               FROM YESMAIL WHERE C1 < 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be -1; its value is ", int1
             if (int1  NOT =  -1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE YESMAIL"
             DISPLAY " SET C1 = C1 - 1;"
             EXEC SQL UPDATE YESMAIL
               SET C1 = C1 - 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM YESMAIL"
             DISPLAY " WHERE C1 = 32765;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM YESMAIL
               WHERE C1 = 32765 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 0; its value is ", int1
             if (int1  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM YESMAIL"
             DISPLAY " WHERE C1 = 32766;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM YESMAIL
               WHERE C1 = 32766 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 1; its value is ", int1
             if (int1  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             MOVE 99 TO int1
             DISPLAY "SELECT COUNT(*) INTO :int1"
             DISPLAY " FROM YESMAIL"
             DISPLAY " WHERE C1 = 32767;"
             EXEC SQL SELECT COUNT(*) INTO :int1
               FROM YESMAIL
               WHERE C1 = 32767 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "int1 should be 0; its value is ", int1
             if (int1  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "DROP TABLE YESMAIL CASCADE;"
             EXEC SQL DROP TABLE YESMAIL CASCADE END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0890','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml177.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0890','fail','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

             DISPLAY "==============================================="

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
      ******************** END TEST0890 ********************
      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

      *Test SQLCODE and SQLSTATE for normal completion.
       CHCKOK.
             DISPLAY "SQLCODE should be 0; its value is ", SQL-COD
             DISPLAY "SQLSTATE should be 00000; its value is ", SQLSTATE
             PERFORM NOSUBCLASS THRU EXIT-NOSUBCLASS
             if (SQLCODE NOT =  0  OR   NORMSQ NOT = "00000") then
               MOVE 0 TO flag
             END-IF
             if (NORMSQ = "00000"  AND  NORMSQ NOT = SQLSTATE)
             then
               DISPLAY "Valid implementation-defined SQLSTATE accepted."
             END-IF
             .

       NOSUBCLASS.

      *This routine replaces valid implementation-defined
      *subclasses with 000.  This replacement equates valid
      *implementation-defined subclasses with the 000 value
      *expected by the test case; otherwise the test will fail.
      *After calling NOSUBCLASS, NORMSQ will be tested
      *                          SQLSTATE will be printed.

           MOVE SQLSTATE TO NORMSQ

           MOVE 3 TO norm1
      *subclass begins in position 3 of char array NORMSQ
      *valid subclass begins with 5-9, I-Z, end of ALPNUM table
           PERFORM VARYING norm2 FROM 14 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

      *Quit if NORMSQ is unchanged.  Subclass is not impl.-def.
      *Changed NORMSQ means implementation-defined subclass,
      *so proceed to zero it out, if valid (0-9,A-Z)
           if (NORMSQ   =   SQLSTATE) then
             GO TO EXIT-NOSUBCLASS
           END-IF

           MOVE 4 TO norm1
      *examining position 4 of char array NORMSQ
      *valid characters are 0-9, A-Z
           PERFORM VARYING norm2 FROM 1 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

           MOVE 5 TO norm1
      *valid characters are 0-9, A-Z
      *examining position 5 of char array NORMSQ
           PERFORM VARYING norm2 FROM 1 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

      *implementation-defined subclasses are allowed for warnings
      *(class = 01).  These equate to successful completion
      *SQLSTATE values of 00000.
      *Reference SQL-92 4.28 SQL-transactions, paragraph 2

           if (NORMSQX(1)  =  "0"  AND  NORMSQX(2)  =  "1") then
             MOVE "0" TO NORMSQX(2)
           END-IF
           .

       EXIT-NOSUBCLASS.
           EXIT.

quality99%

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