Quelle dml151.cob Sprache: Cobol

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

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

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1995/09/07 Module 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.
      *
      * DML151.SCO
      * WRITTEN BY: David Flater
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED COBOL BY CHRIS SCHANZLE
      *
      * This routine tests exceptions not affecting position of
      * cursor.
      *
      * REFERENCES
      *   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(9) DISPLAY SIGN LEADING SEPARATE.
       01  enaam PIC  X(20).
       01  enuum PIC  X(3).
       01  flt1 PIC S9(4)V9(4) 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;
             CALL "SUB1" USING SQLCODE SQLSTATE uidx
             MOVE SQLCODE TO SQL-COD
      *  EXEC SQL ROLLBACK WORK;
             CALL "SUB2" USING SQLCODE SQLSTATE
             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, Module COBOL, dml151.sco"
             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

      *TEST0540, SQLSTATE 01001: cursor operation conflict, is deleted

      ******************** BEGIN TEST0853 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0853 "
             DISPLAY "Exceptions not affecting position of cursor"
             DISPLAY "References:"
             DISPLAY " 13.3 GR.9 -- Assignment error doesn't move
      -    " cursor"
             DISPLAY " 13.3 GR.7 -- Derived column error doesn't move
      -    " cursor"
             DISPLAY " 13.9 GR.7 -- Error in positioned update
      -    " doesn't move cursor"
             DISPLAY " X3H2-95-439 -- Failed ISO (prohibit
      -    " out-of-place exceptions)"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "(These rules were not in SQL-89, but exist in
      -    " SQL-92.)"

             COMPUTE SQLCODE = -1
             MOVE "xxxxx" TO SQLSTATE

      *9.1 GR.1.b  SQLSTATE 22002 (null value no indicator parm)

             DISPLAY "UPDATE HU.STAFF SET EMPNAME = NULL WHERE GRADE =
      -    " 10;"
      *  EXEC SQL UPDATE HU.STAFF SET EMPNAME = NULL WHERE GRADE =
      *  10;
             CALL "SUB3" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "DECLARE C15122 CURSOR FOR"
             DISPLAY " SELECT EMPNAME, GRADE FROM HU.STAFF"
             DISPLAY " ORDER BY GRADE, EMPNAME DESC;"
      *  EXEC SQL DECLARE C15122 CURSOR FOR
      *    SELECT EMPNAME, GRADE FROM HU.STAFF
      *    ORDER BY GRADE, EMPNAME DESC END-EXEC

             DISPLAY "OPEN C15122;"
      *  EXEC SQL OPEN C15122;
             CALL "SUB4" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "FETCH C15122 INTO :enaam, :int1;"
      *  EXEC SQL FETCH C15122 INTO :enaam, :int1;
             CALL "SUB5" USING SQLCODE SQLSTATE enaam int1
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLCODE should be < 0; its value is ", SQL-COD
             DISPLAY "SQLSTATE should be '22002'; its value is ",
             SQLSTATE
             if (SQLCODE  NOT <  0  OR  SQLSTATE  NOT  =   "22002") then
               MOVE 0 TO flag
             END-IF

             MOVE "xxxxxxxxxxxxxxxxxxxx" TO enaam
             MOVE 0 TO int1
             DISPLAY "FETCH C15122 INTO :enaam, :int1;"
      *  EXEC SQL FETCH C15122 INTO :enaam, :int1;
             CALL "SUB6" USING SQLCODE SQLSTATE enaam int1
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "enaam should be 'Don '; its value
      -    " is '", enaam, "'"
             DISPLAY "int1 should be 12; its value is ", int1
             if (enaam  NOT  =   "Don "  OR  int1  NOT =
              12) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "ROLLBACK WORK;"
      *  EXEC SQL ROLLBACK WORK;
             CALL "SUB7" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD

      *GR.7 as written:  if the exception is returned on the row that
      *causes it, then cursor position cannot be lost.  Unfortunately,
      *the exception can be returned in plenty of other places,
      *resulting in a pass by default.

             DISPLAY "DECLARE C15123 CURSOR FOR"
             DISPLAY " SELECT EMPNUM, GRADE / (GRADE - 10)"
             DISPLAY " FROM HU.STAFF ORDER BY EMPNUM;"
      *  EXEC SQL DECLARE C15123 CURSOR FOR
      *    SELECT EMPNUM, GRADE / (GRADE - 10)
      *    FROM HU.STAFF ORDER BY EMPNUM END-EXEC

             DISPLAY "OPEN C15123;"
      *  EXEC SQL OPEN C15123;
             CALL "SUB8" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
             if (SQLSTATE   =   "22012") then
               GO TO P101
             END-IF
           PERFORM CHCKOK
             DISPLAY  " "

             MOVE "xxx" TO enuum
             MOVE 0.0 TO flt1
             DISPLAY "FETCH C15123 INTO :enuum, :flt1;"
      *  EXEC SQL FETCH C15123 INTO :enuum, :flt1;
             CALL "SUB9" USING SQLCODE SQLSTATE enuum flt1
             MOVE SQLCODE TO SQL-COD
             if (SQLSTATE   =   "22012") then
               GO TO P101
             END-IF
           PERFORM CHCKOK
             DISPLAY "enuum should be 'E1 '; its value is '", enuum, "'"
             DISPLAY "flt1 should be 6 +- 0.01; its value is ", flt1
             if (enuum  NOT  =   "E1 ") then
               MOVE 0 TO flag
             END-IF
             if (flt1  <  5.99  OR  flt1  >  6.01) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "FETCH C15123 INTO :enuum, :flt1;"
      *  EXEC SQL FETCH C15123 INTO :enuum, :flt1;
             CALL "SUB10" USING SQLCODE SQLSTATE enuum flt1
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLSTATE should be '22012'; its value is '",
             SQLSTATE, "'"
             if (SQLSTATE  NOT  =   "22012") then
               MOVE 0 TO flag
             END-IF

             MOVE "xxx" TO enuum
             MOVE 0.0 TO flt1
             DISPLAY "FETCH C15123 INTO :enuum, :flt1;"
      *  EXEC SQL FETCH C15123 INTO :enuum, :flt1;
             CALL "SUB11" USING SQLCODE SQLSTATE enuum flt1
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "enuum should be 'E3 '; its value is '", enuum, "'"
      *Either 4.0 or 4.3 would be reasonable depending on exact
      *numeric expression semantics
             DISPLAY "flt1 should be 4.3 +- 0.4; its value is ", flt1
             if (enuum  NOT  =   "E3 ") then
               MOVE 0 TO flag
             END-IF
             if (flt1  <  3.9  OR  flt1  >  4.7) then
               MOVE 0 TO flag
             END-IF

      *Test 13.9 GR.7 (exception in positioned update)
      *The rule for assignment error is missing.  Hmmm....

             DISPLAY "UPDATE HU.STAFF"
             DISPLAY " SET GRADE = 500 / (GRADE - 13)"
             DISPLAY " WHERE CURRENT OF C15123;"
      *  EXEC SQL UPDATE HU.STAFF
      *    SET GRADE = 500 / (GRADE - 13)
      *    WHERE CURRENT OF C15123;
             CALL "SUB12" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLSTATE should be '22012'; its value is '",
             SQLSTATE, "'"
             if (SQLSTATE  NOT  =   "22012") then
               MOVE 0 TO flag
             END-IF

             MOVE "xxx" TO enuum
             MOVE 0.0 TO flt1
             DISPLAY "FETCH C15123 INTO :enuum, :flt1;"
      *  EXEC SQL FETCH C15123 INTO :enuum, :flt1;
             CALL "SUB13" USING SQLCODE SQLSTATE enuum flt1
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "enuum should be 'E4 '; its value is '", enuum, "'"
             DISPLAY "flt1 should be 6 +- 0.01; its value is ", flt1
             if (enuum  NOT  =   "E4 ") then
               MOVE 0 TO flag
             END-IF
             if (flt1  <  5.99  OR  flt1  >  6.01) then
               MOVE 0 TO flag
             END-IF

             MOVE "xxx" TO enuum
             MOVE 0.0 TO flt1
             DISPLAY "FETCH C15123 INTO :enuum, :flt1;"
      *  EXEC SQL FETCH C15123 INTO :enuum, :flt1;
             CALL "SUB14" USING SQLCODE SQLSTATE enuum flt1
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "enuum should be 'E5 '; its value is '", enuum, "'"
      *Either 4.0 or 4.3 would be reasonable depending on exact
      *numeric expression semantics
             DISPLAY "flt1 should be 4.3 +- 0.4; its value is ", flt1
             if (enuum  NOT  =   "E5 ") then
               MOVE 0 TO flag
             END-IF
             if (flt1  <  3.9  OR  flt1  >  4.7) then
               MOVE 0 TO flag
             END-IF

             GO TO P100

           .
        P101.
             DISPLAY "Exception raised early -- pass by default"

           .
        P100.
             DISPLAY "ROLLBACK WORK;"
      *  EXEC SQL ROLLBACK WORK;
             CALL "SUB15" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD

             if (flag  =  1) then
               DISPLAY " *** pass *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0853','pass','MCO');
               CALL "SUB16" USING SQLCODE SQLSTATE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " dml151.mco *** fail *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0853','fail','MCO');
               CALL "SUB17" USING SQLCODE SQLSTATE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF
      *  EXEC SQL COMMIT WORK;
             CALL "SUB18" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
             DISPLAY "================================================"

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

quality97%

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