Quelle sdl033.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "SDL033.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/06/16 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.
      *
      * SDL033.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  tmpcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cc1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cc2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
             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  i PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       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, sdl033.
      -    "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 TEST0473 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0473 "
             DISPLAY " Priv.violation: GRANT all on view/not table"
             DISPLAY "Reference ANSI SQL-1992 11.36 "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

      *Part one:  make sure we can do everything to the view.

             DISPLAY "DELETE FROM FLATER.VS1 WHERE C2 = 1;"
             DISPLAY "SELECT COUNT(*) FROM FLATER.VS1;"
             EXEC SQL DELETE FROM FLATER.VS1 WHERE C2 = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             COMPUTE cc1 = -1
             EXEC SQL SELECT COUNT(*) INTO :cc1 FROM FLATER.VS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO i
             DISPLAY "SQLCODE should be 0, 0; its value is ", ii ", ", i
             DISPLAY "COUNT should be 1; its value is ", cc1

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

             DISPLAY "INSERT INTO FLATER.VS1 VALUES (0,7);"
             EXEC SQL INSERT INTO FLATER.VS1 VALUES (0,7) 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 "UPDATE FLATER.VS1 SET C2 = 8 WHERE C2 = 7;"
             EXEC SQL UPDATE FLATER.VS1
               SET C2 = 8
               WHERE C2 = 7 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, C2 INTO :cc1, :cc2 FROM FLATER.VS1"
             DISPLAY " WHERE C2 = 0;"
             COMPUTE cc1 = -1
             COMPUTE cc2 = -1
             EXEC SQL SELECT C1, C2 INTO :cc1, :cc2
               FROM FLATER.VS1
               WHERE C2 = 0 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "cc1 should be 0; its value is ", cc1
             DISPLAY "cc2 should be 0; its value is ", cc2

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

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

      *Part two:  make sure we can't do anything to the table.

             DISPLAY "DELETE FROM FLATER.BASE_VS1;"
             EXEC SQL DELETE FROM FLATER.BASE_VS1 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 FLATER.VS1;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt
               FROM FLATER.VS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "COUNT should be 2; its value is ", tmpcnt

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

             DISPLAY "INSERT INTO FLATER.BASE_VS1 VALUES (0,7);"
             EXEC SQL INSERT INTO FLATER.BASE_VS1 VALUES (0,7) 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 FLATER.VS1;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt
               FROM FLATER.VS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be 0; its value is ", ii
             DISPLAY "COUNT should be 2; its value is ", tmpcnt

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

             DISPLAY "UPDATE FLATER.BASE_VS1 SET C2 = 1;"
             EXEC SQL UPDATE FLATER.BASE_VS1
               SET C2 = 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 FLATER.VS1"
             DISPLAY "WHERE C2 = 1;"
             COMPUTE tmpcnt = -1
             EXEC SQL SELECT COUNT(*) INTO :tmpcnt
               FROM FLATER.VS1 WHERE C2 = 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 1; its value is ", tmpcnt

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

             COMPUTE cc1 = -1
             DISPLAY "SELECT COUNT(*) FROM FLATER.BASE_VS1;"
             EXEC SQL SELECT COUNT(*) INTO :cc1 FROM FLATER.BASE_VS1
             END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE SQLCODE TO ii
             DISPLAY "SQLCODE should be < 0; its value is ", ii
             DISPLAY "COUNT should NOT be 4; its value is ", cc1

             if (ii  NOT <  0  OR  cc1  =  4) 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('0473','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " sdl033.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0473','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 TEST0473 ********************

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

      *    ****  Procedures for PERFORM statements

quality100%

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