Quelle sdl030.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "SDL030.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/06/11 EMBEDDED 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.
      *
      * SDL030.PCO
      * WRITTEN BY: DAVID W. FLATER
      *
      *   THIS ROUTINE TESTS THE SCHEMA DEFINITION LANGUAGE FOR SQL.
      *
      * REFERENCES
      *   ANSI SQL-1992
      *     11.36  <grant statement>
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  tmpint PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
       01  tmpcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
             EXEC SQL END DECLARE SECTION END-EXEC

       01  SQLCODE PIC S9(9) COMP.
       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  ii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

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

       PROCEDURE DIVISION.
       P0.

             MOVE "SCHANZLE" 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
             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, sdl030.
      -    "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 TEST0464 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0464 "
             DISPLAY " Priv.violation: GRANT only SELECT to PUBLIC"
             DISPLAY "Reference ANSI SQL-1992 11.36 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             COMPUTE tmpint = -99
             DISPLAY "SELECT INTTEST INTO :tmpint FROM CUGINI.EE;"
             EXEC SQL SELECT INTTEST
               INTO :tmpint FROM CUGINI.EE END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "tmpint should be 0; its value is ", tmpint

             if (ii  NOT =  0  OR  tmpint  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "INSERT INTO CUGINI.EE VALUES (9);"
             EXEC SQL INSERT INTO CUGINI.EE
               VALUES (9) END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "SELECT COUNT(*) FROM CUGINI.EE;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt
               FROM CUGINI.EE END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "COUNT should be 1; its value is ", tmpcnt

             if (ii  NOT =  0  OR  tmpcnt  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE CUGINI.EE"
             DISPLAY " SET INTTEST = 1;"
             EXEC SQL UPDATE CUGINI.EE
               SET INTTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "SELECT COUNT(*) FROM CUGINI.EE WHERE INTTEST = 1;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt
               FROM CUGINI.EE WHERE INTTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "COUNT should be 0; its value is ", tmpcnt

             if (ii  NOT =  0  OR  tmpcnt  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "DELETE FROM CUGINI.EE;"
             EXEC SQL DELETE FROM CUGINI.EE END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "SELECT COUNT(*) FROM CUGINI.EE;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt FROM CUGINI.EE
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "COUNT should be 1; its value is ", tmpcnt

             if (ii  NOT =  0  OR  tmpcnt  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0464','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " sdl030.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0464','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 TEST0464 ********************

      ******************** BEGIN TEST0465 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0465 "
             DISPLAY " Priv.violation: GRANT only INSERT to PUBLIC"
             DISPLAY "Reference ANSI SQL-1992 11.36 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "INSERT INTO CUGINI.FF VALUES (-99);"
             EXEC SQL INSERT INTO CUGINI.FF
               VALUES (-99) END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be = 0; its value is ", ii

             if (ii  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             MOVE 0 TO tmpint
             DISPLAY "SELECT INTTEST INTO :tmpint FROM CUGINI.FF;"
             EXEC SQL SELECT INTTEST INTO :tmpint FROM CUGINI.FF
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii
             DISPLAY "tmpint should NOT be -99; its value is ", tmpint

             if (ii  NOT <  0  OR  tmpint  =  -99) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE CUGINI.FF SET INTTEST = 1;"
             EXEC SQL UPDATE CUGINI.FF
               SET INTTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "DELETE FROM CUGINI.FF;"
             EXEC SQL DELETE FROM CUGINI.FF END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0465','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " sdl030.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0465','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 TEST0465 ********************

      ******************** BEGIN TEST0466 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0466 "
             DISPLAY " Priv.violation: GRANT only UPDATE to PUBLIC"
             DISPLAY "Reference ANSI SQL-1992 11.36 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "UPDATE CUGINI.GG"
             DISPLAY " SET C1 = 3;"
             EXEC SQL UPDATE CUGINI.GG
               SET C1 = 3 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be = 0; its value is ", ii

             if (ii  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "SELECT C1 INTO :tmpint FROM CUGINI.GG;"
             COMPUTE tmpint = -1
             EXEC SQL SELECT C1
               INTO :tmpint FROM CUGINI.GG END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii
             DISPLAY "tmpint should NOT be 1 or 3; its value is ",
             tmpint

             if (ii  NOT <  0  OR  tmpint  =  1  OR  tmpint  =  3) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "INSERT INTO CUGINI.GG VALUES (-99);"
             EXEC SQL INSERT INTO CUGINI.GG
               VALUES (-99) END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "DELETE FROM CUGINI.GG;"
             EXEC SQL DELETE FROM CUGINI.GG END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0466','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " sdl030.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0466','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 TEST0466 ********************

      ******************** BEGIN TEST0467 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0467 "
             DISPLAY " Priv.violation: GRANT only DELETE to PUBLIC"
             DISPLAY "Reference ANSI SQL-1992 11.36 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "DELETE FROM CUGINI.HH;"
             EXEC SQL DELETE FROM CUGINI.HH END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be = 0; its value is ", ii

             if (ii  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "INSERT INTO CUGINI.HH VALUES (99);"
             EXEC SQL INSERT INTO CUGINI.HH
               VALUES (99) END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             COMPUTE tmpint = -1
             DISPLAY "SELECT SMALLTEST INTO :tmpint FROM CUGINI.HH;"
             EXEC SQL SELECT SMALLTEST INTO :tmpint FROM CUGINI.HH
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii
             DISPLAY "tmpint should NOT be 2 or 99; its value is ",
             tmpint

             if (ii  NOT <  0  OR  tmpint  =  2  OR  tmpint  =  99) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "UPDATE CUGINI.HH SET SMALLTEST = -99;"
             EXEC SQL UPDATE CUGINI.HH
               SET SMALLTEST = -99 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii

             if (ii  NOT <  0) then
               MOVE 0 TO flag
             END-IF

             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0467','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " sdl030.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0467','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 TEST0467 ********************

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

      *    ****  Procedures for PERFORM statements

quality100%

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