Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: bug_3297.v Sprache: Coq

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

      * EMBEDDED COBOL (file "XTS764.PCO")

      *Copyright 1995 National Computing Centre Limited
      *and Computer Logic R&D S.A
      *on behalf of the CTS5 SQL2 Project.
      *All rights reserved.
      *The CTS5 SQL2 Project is sponsored by the European Community.
      *
      *The National Computing Centre Limited and Computer Logic R&D
      *have given permission to NIST to distribute this program
      *over the World Wide Web in order to promote SQL standards.
      *DISCLAIMER:
      *This program was reviewed by employees of NIST for
      *conformance to the SQL standards.
      *NIST assumes no responsibility for any party's use of
      *this program.

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * SQL VALIDATION TEST SUITE V6.0
      *
      * XTS764.PCO
      * WRITTEN BY: Nickos Backalidis
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      * REVOKE USAGE on character set RESTRICT
      *
      * REFERENCES
      *   11.37  -- <revoke statement>
      *   TC#2   -- 11.37 Errata
      *   11.37  SR.8
      *   11.37  SR.11
      *   11.37  SR.18a
      *   11.38  SR.25
      *   11.37  GR.2
      *   11.37  GR.8
      *   F#1    -- Dynamic SQL
      *   F#2    -- Basic Information Schema
      *   F#3    -- Basic schema manipulation
      *   F#32   -- User Authorization
      *   F#45   -- Character set definition
      *
      * DATE LAST ALTERED  18/12/95 CTS5 Hand-over Test
      *
      * Cleanups and fixes by V. Kogakis 18/12/95
      *        Print timestamp
      *        Include Files
      *        Define NOSUBCLASS/CHCKOK at test beginning
      *
      * QA STATUS : QA CHECK
      *
      * Revised by DWF 1996-02-21
      *  Added information on possible problems
      *  Fixed SDL transactions
      *  Fixed schema references
      *  Removed field widths in printfs
      *  Fixed wrong string lengths
      *  Fixed expected results
      *  Fixed character set usage
      *  Fixed SQL syntax errors
      ****************************************************************

           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  isgr PIC  X(128).
       01  coun PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  str1 PIC  X(51).
             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 "CTS1 " TO uid
             CALL "AUTHID" USING uid
             MOVE "not logged in, not" TO uidx
             EXEC SQL SELECT USER INTO :uidx FROM CTS1.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, xts764.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 TEST7064 *******************
             MOVE 1 TO flag
             DISPLAY " TEST7064"
             DISPLAY " REVOKE USAGE on character set RESTRICT "
             DISPLAY " References:"
             DISPLAY " 11.37 -- "
             DISPLAY " TC#2 -- 11.37 Errata "
             DISPLAY " 11.37 SR.8 "
             DISPLAY " 11.37 SR.11 "
             DISPLAY " 11.37 SR.18a "
             DISPLAY " 11.38 SR.25 "
             DISPLAY " 11.37 GR.2 "
             DISPLAY " 11.37 GR.8 "
             DISPLAY " F#1 -- Dynamic SQL "
             DISPLAY " F#2 -- Basic Information Schema"
             DISPLAY " F#3 -- Basic schema manipulation"
             DISPLAY " F#32 -- User Authorization "
             DISPLAY " F#45 -- Character set definition "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "This test attempts to change session
      -    " authorizations. Because"
             DISPLAY "authorizations are implementation-defined, this
      -    " test may need"
             DISPLAY "modification. The following actions may help to
      -    " pass the test:"
             DISPLAY " -- Change the initial authid to an authid with
      -    " DBA privileges"
             DISPLAY " -- Insert code to work around
      -    " implementation-defined"
             DISPLAY " authentication mechanisms (e.g. to reconnect
      -    " with a"
             DISPLAY " different authid)."
             DISPLAY "It might not be possible to change the session
      -    " authorization,"
             DISPLAY "as explained in 16.4 GR.4. In this case, the
      -    " restrictions that"
             DISPLAY "render it impossible should be documented and the
      -    " test assumed"
             DISPLAY "to be passed."

      *Initialise error reporting variables
             COMPUTE SQLCODE = -1
             MOVE "xxxxx" TO SQLSTATE

      *grant USAGE rights on CS to CTS2 and CTS3 users
             DISPLAY "GRANT USAGE ON CHARACTER SET CS TO CTS2"
             DISPLAY "WITH GRANT OPTION;"
             EXEC SQL GRANT USAGE ON CHARACTER SET CS TO CTS2
               WITH GRANT OPTION 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  " "

             DISPLAY "GRANT USAGE ON CHARACTER SET CS TO CTS3 WITH GRANT
      -    " OPTION;"
             EXEC SQL GRANT USAGE ON CHARACTER SET CS TO CTS3 WITH GRANT
             OPTION 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  " "

      *Set session authorization to CTS3 and create
      *a <schema element i.e. a table under schema CTS3
             DISPLAY "SET SESSION AUTHORIZATION 'CTS3';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS3' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "CREATE TABLE TEMP764C "
             DISPLAY " ( COLCH1 CHAR(10) CHARACTER SET CTS1.CS,"
             DISPLAY " COLCH2 CHAR(5) CHARACTER SET CTS1.CS);"
             EXEC SQL CREATE TABLE TEMP764C
               ( COLCH1 CHAR(10) CHARACTER SET CTS1.CS,
               COLCH2 CHAR(5)  CHARACTER SET CTS1.CS) 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  " "

      *now change back to CTS1
             DISPLAY "SET SESSION AUTHORIZATION 'CTS1';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS1' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *access the USAGE_PRIVILEGES view
             DISPLAY "SELECT COUNT(*) INTO :coun"
             DISPLAY "FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES"
             DISPLAY "WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS2'"
             DISPLAY "AND OBJECT_NAME = 'CS' AND OBJECT_TYPE =
      -    " 'CHARACTER SET'"
             DISPLAY "AND IS_GRANTABLE = 'YES';"
             MOVE 0 TO coun
             EXEC SQL SELECT COUNT(*) INTO :coun
               FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES
               WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS2'
               AND OBJECT_NAME = 'CS' AND OBJECT_TYPE = 'CHARACTER SET'
               AND IS_GRANTABLE = 'YES' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "Coun should be 1; its value is ", coun
             if (coun  NOT =  1) then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *initialise host variable
             MOVE "xxxxxxxxxxxxxxxxxxxx" TO isgr

      *check the view for CTS3
             DISPLAY "SELECT IS_GRANTABLE INTO :isgr"
             DISPLAY "FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES"
             DISPLAY "WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS3'"
             DISPLAY "AND OBJECT_TYPE = 'CHARACTER SET' AND OBJECT_NAME
      -    " = 'CS';"
             EXEC SQL SELECT IS_GRANTABLE INTO :isgr
               FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES
               WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS3'
               AND OBJECT_TYPE = 'CHARACTER SET' AND OBJECT_NAME = 'CS'
             END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "isgr should be YES; its value is ", isgr
             if (isgr  NOT  =   "YES") then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

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

      *revoke USAGE from CTS2  on CS RESTRICT
             DISPLAY "REVOKE USAGE ON CHARACTER SET CS FROM CTS2
      -    " RESTRICT;"
             EXEC SQL REVOKE USAGE ON CHARACTER SET CS FROM CTS2
             RESTRICT 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  " "

      *now for CTS3
             DISPLAY "REVOKE GRANT OPTION FOR USAGE ON CHARACTER SET CS
      -    " "
             DISPLAY "FROM CTS3 RESTRICT;"
             EXEC SQL REVOKE GRANT OPTION FOR USAGE ON CHARACTER SET CS
               FROM CTS3 RESTRICT 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  " "

      *initialise host variable
             MOVE "xxxxxxxxxxxxxxxxxxxx" TO isgr

             DISPLAY "SELECT IS_GRANTABLE INTO :isgr"
             DISPLAY "FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES"
             DISPLAY "WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS3'"
             DISPLAY "AND OBJECT_TYPE = 'CHARACTER SET' AND OBJECT_NAME
      -    " = 'CS';"
             EXEC SQL SELECT IS_GRANTABLE INTO :isgr
               FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES
               WHERE GRANTOR = 'CTS1' AND GRANTEE = 'CTS3'
               AND OBJECT_TYPE = 'CHARACTER SET' AND OBJECT_NAME = 'CS'
             END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "isgr should be NO; its value is ", isgr
             if (isgr  NOT  =   "NO") then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

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

             DISPLAY "SET SESSION AUTHORIZATION 'CTS2';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS2' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *access the INFORMATION_SCHEMA.USAGE_PRIVILEGES view
      *and check that no row exists FOR CTS2 identifying CS
             MOVE 5 TO coun
             DISPLAY "SELECT COUNT(*) INTO :coun "
             DISPLAY "FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES "
             DISPLAY "WHERE OBJECT_TYPE = 'CHARACTER SET'"
             DISPLAY "AND OBJECT_NAME = 'CS'"
             DISPLAY "AND GRANTEE = 'CTS2';"
             EXEC SQL SELECT COUNT(*) INTO :coun
               FROM INFORMATION_SCHEMA.USAGE_PRIVILEGES
               WHERE OBJECT_TYPE = 'CHARACTER SET' AND OBJECT_NAME =
             'CS'
               AND GRANTEE = 'CTS2' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "coun should be 0; its value is ", coun
             if (coun  NOT =  0)  then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

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

      *now change to user CTS1
             DISPLAY "SET SESSION AUTHORIZATION 'CTS1';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS1' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *now attempt to revoke USAGE on CS for CTS3
             MOVE "REVOKE USAGE ON CHARACTER SET CS FROM CTS3 RESTRICT"
             TO str1
             DISPLAY "str1 now contains the following SQL statement:"
             DISPLAY str1
             DISPLAY  " "

             DISPLAY "PREPARE S FROM :str1;"
             EXEC SQL PREPARE S FROM :str1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *this statement violates T.C. 11.37 SR.18a and should
      *return an SQLSTATE of "42000"

             DISPLAY "EXECUTE S;"
             EXEC SQL EXECUTE S END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY "SQLSTATE should be 42000; its value is ", SQLSTATE
           PERFORM NOSUBCLASS THRU EXIT-NOSUBCLASS
             if (NORMSQ  NOT  =   "42000") 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 "SET SESSION AUTHORIZATION 'CTS3';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS3' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *insert one row in TEMP764C
             DISPLAY "INSERT INTO TEMP764C VALUES(_CTS1.CS 'TEST',
      -    " _CTS1.CS 'DONE');"
             EXEC SQL INSERT INTO TEMP764C VALUES(_CTS1.CS 'TEST',
             _CTS1.CS 'DONE') END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

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

      *now restore Database in its original state
      *drop the table
             DISPLAY "DROP TABLE TEMP764C CASCADE;"
             EXEC SQL DROP TABLE TEMP764C 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  " "

      *change back to CTS1 and revoke all privileges on CS
      *from users CTS2 and CTS3
             DISPLAY "SET SESSION AUTHORIZATION 'CTS1';"
             EXEC SQL SET SESSION AUTHORIZATION 'CTS1' END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "REVOKE USAGE ON CHARACTER SET CS FROM CTS3
      -    " CASCADE;"
             EXEC SQL REVOKE USAGE ON CHARACTER SET CS FROM CTS3 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  " "

      *record results

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

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

¤ Dauer der Verarbeitung: 0.34 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
Eigene Datei ansehen

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.