Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: bug_1905.v Sprache: Coq

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

      * EMBEDDED COBOL (file "XTS770.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
      *
      * XTS770.PCO                       TEST7070
      * WRITTEN BY: Nickos Backalidis
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *<Character set specification> of SQL_CHARACTER in an
      *   <identifier>
      *
      * REFERENCES
      *   10.4    -- <Character set specification>
      *    5.4    -- <Names and identifiers>
      *    5.4 SR.2a
      *    F#3  -- Basic schema manipulation
      *    F#46 -- Named character sets
      *
      * 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-26
      *   Added FIPS notice
      *   Fixed variable declaration
      *   Fixed string lengths
      *   Fixed SQL syntax errors
      *   Removed status checks after cursor definitions
      *   Removed field widths from printfs
      ****************************************************************

           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  cnum1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cstr1 CHARACTER SET SQL_CHARACTER PIC X(10).
             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 "CTS3 " 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, xts770.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 TEST7070 *******************
             MOVE 1 TO flag
             DISPLAY " FIPS TEST7070"
             DISPLAY " of SQL_CHARACTER
      -    " in an "
             DISPLAY " References:"
             DISPLAY " 10.4 -- "
             DISPLAY " 5.4 -- "
             DISPLAY " 5.4 SR.2a "
             DISPLAY " F#3 -- Basic schema manipulation"
             DISPLAY " F#46 -- Named character sets "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "Support for LATIN1 is only required by FIPS
      -    " 127-2,"
             DISPLAY "not by SQL-92."

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

      *create a table under the current schema TAB770
             DISPLAY "CREATE TABLE TAB770"
             DISPLAY " (COLNUM1 NUMERIC(5),"
             DISPLAY " COLSTR1 CHAR(10) CHARACTER SET
      -    " SQL_CHARACTER);"
             EXEC SQL CREATE TABLE TAB770
               (COLNUM1 NUMERIC(5),
               COLSTR1 CHAR(10) CHARACTER SET SQL_CHARACTER) 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  " "

      *insert three rows in the table
             DISPLAY "INSERT INTO TAB770 VALUES(10, _SQL_CHARACTER
      -    " 'BARBIE');"
             EXEC SQL INSERT INTO TAB770 VALUES(10, _SQL_CHARACTER
             'BARBIE') END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "INSERT INTO TAB770 VALUES(30, _SQL_CHARACTER
      -    " 'KILLER');"
             EXEC SQL INSERT INTO TAB770 VALUES(30, _SQL_CHARACTER
             'KILLER') END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "INSERT INTO TAB770 VALUES(20, _SQL_CHARACTER '205
      -    " GTi');"
             EXEC SQL INSERT INTO TAB770 VALUES(20, _SQL_CHARACTER '205
             GTi') END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

             DISPLAY "DECLARE F CURSOR"
             DISPLAY "FOR SELECT COLNUM1,COLSTR1"
             DISPLAY "FROM TAB770"
             DISPLAY "ORDER BY COLNUM1;"
             EXEC SQL DECLARE F CURSOR
               FOR SELECT COLNUM1,COLSTR1
               FROM TAB770
               ORDER BY COLNUM1 END-EXEC

             DISPLAY "OPEN F;"
             EXEC SQL OPEN F END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *fetch the rows that satisfy the <search condition> - three in t

      *initialise host variables
             MOVE 0 TO cnum1
             MOVE "xxxxxxxxx" TO cstr1

      *fetch first row
             DISPLAY "FETCH F INTO :cnum1,:cstr1;"
             EXEC SQL FETCH F INTO :cnum1,:cstr1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "COLNUM1 should be 10; its value is ", cnum1
             DISPLAY "COLSTR1 should be BARBIE; its value is ", cstr1
             if (cstr1  NOT  =   "BARBIE"  OR  cnum1  NOT = 10)  then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *initialise host variables
             MOVE 0 TO cnum1
             MOVE "xxxxxxxxx" TO cstr1

      *fetch second row
             DISPLAY "FETCH F INTO :cnum1,:cstr1;"
             EXEC SQL FETCH F INTO :cnum1,:cstr1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "COLNUM1 should be 20; its value is ", cnum1
             DISPLAY "COLSTR1 should be 205 GTi; its value is ", cstr1
             if (cstr1  NOT  =   "205 GTi"  OR  cnum1  NOT = 20)  then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *initialise host variables
             MOVE 0 TO cnum1
             MOVE "xxxxxxxxx" TO cstr1

      *fetch third and final row
             DISPLAY "FETCH F INTO :cnum1,:cstr1;"
             EXEC SQL FETCH F INTO :cnum1,:cstr1 END-EXEC
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "COLNUM1 should be 30; its value is ", cnum1
             DISPLAY "COLSTR1 should be KILLER; its value is ", cstr1
             if (cstr1  NOT  =   "KILLER"  OR  cnum1  NOT = 30)  then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *close the cursor
             DISPLAY "CLOSE F;"
             EXEC SQL CLOSE F 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  " "

             DISPLAY "DROP TABLE TAB770 CASCADE;"
             EXEC SQL DROP TABLE TAB770 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 " xts770.pco *** pass *** "
               EXEC SQL INSERT INTO CTS1.TESTREPORT
                 VALUES('7070','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " xts770.pco *** fail *** "
               EXEC SQL INSERT INTO CTS1.TESTREPORT
                 VALUES('7070','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 TEST7070 ********************

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