| products/Sources/formale Sprachen/Coq/test-suite/bugs/closed/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: ic224a.cob Sprache: Coq |
|
||||||
|
IDENTIFICATION DIVISION.
PROGRAM-ID. XTS714. ENVIRONMENT DIVISION. CONFIGURATION SECTION. SOURCE-COMPUTER. xyz. OBJECT-COMPUTER. xyz. DATA DIVISION. WORKING-STORAGE SECTION. * EMBEDDED COBOL (file "XTS714.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 * * XTS714.PCO * WRITTEN BY: Manolis Megaloikonomou * REVIEWED BY: Nickos Backalidis * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE * * Schema definition named schema, implicit auth-id. * * REFERENCES * 11.1 -- <schema definition> * 11.1 SR.2 * 11.1 SR.3 * 11.1 AR.1 * 11.1 GR.3 * 12.5 -- <SQL procedure statement> * 12.5 LR.2a --Entry SQL restriction * "An <SQL procedure statement> shall not be * an <SQL schema definition statement> (Raised)" * F#1 -- Dynamic SQL * F#31 -- Schema definition statement. * * DATE LAST ALTERED 12/12/95 CTS5 Hand-over Test * * Cleanups and fixes by V. Kogakis 01/12/95: * Correct value checking in tables * * QA Status: QA CHECK * *Revised by DWF 1/22/96 * Fixed SQL syntax errors * Fixed truncation * Fixed SDL transactions * Removed bogus status checks * Added whitespace subtest **************************************************************** 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 bb PIC X(3). 01 aa PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 longst PIC X(240). 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 "CTS2 " 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, xts714.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 TEST7014 ******************* MOVE 1 TO flag DISPLAY " TEST7014 " DISPLAY " Schema definition named schema, implicit - " auth-id." DISPLAY "References:" DISPLAY " 11.1 -- DISPLAY " 11.1 SR.2" DISPLAY " 11.1 SR.3" DISPLAY " 11.1 AR.1" DISPLAY " 11.1 GR.3" DISPLAY " 12.5 -- DISPLAY " LR.2a --Entry SQL restriction" DISPLAY " ""An - " not be" DISPLAY " an - " (Raised)""" DISPLAY " F#1 -- Dynamic SQL." DISPLAY " F#31 -- Schema definition statement." DISPLAY " - - - - - - - - - - - - - - - - - - -" *Initialise error reporting variables COMPUTE SQLCODE = -1 MOVE "xxxxx" TO SQLSTATE *Create schema with one table definition DISPLAY "CREATE SCHEMA T2831C" DISPLAY " " DISPLAY "CREATE TABLE TESTAB2831" DISPLAY " " DISPLAY " (TNUM NUMERIC(5)," DISPLAY " " DISPLAY " TCHAR CHAR(3));" EXEC SQL CREATE SCHEMA T2831C CREATE TABLE TESTAB2831 (TNUM NUMERIC(5), TCHAR CHAR(3)) 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 5 rows into the table DISPLAY "INSERT INTO T2831C.TESTAB2831" DISPLAY "VALUES(1,'AA');" EXEC SQL INSERT INTO T2831C.TESTAB2831 VALUES(1,'AA') END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " DISPLAY "INSERT INTO T2831C.TESTAB2831" DISPLAY "VALUES(2,'BB');" EXEC SQL INSERT INTO T2831C.TESTAB2831 VALUES(2,'BB') END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " DISPLAY "INSERT INTO T2831C.TESTAB2831" DISPLAY "VALUES(3,'CC');" EXEC SQL INSERT INTO T2831C.TESTAB2831 VALUES(3,'CC') END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " DISPLAY "INSERT INTO T2831C.TESTAB2831" DISPLAY "VALUES(4,'DD');" EXEC SQL INSERT INTO T2831C.TESTAB2831 VALUES(4,'DD') END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " DISPLAY "INSERT INTO T2831C.TESTAB2831" DISPLAY "VALUES(5,'EE');" EXEC SQL INSERT INTO T2831C.TESTAB2831 VALUES(5,'EE') END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " *Declare cursor to check the values in the table DISPLAY "DECLARE ALPHA CURSOR" DISPLAY "FOR SELECT * FROM T2831C.TESTAB2831 ORDER BY - " TNUM;" EXEC SQL DECLARE ALPHA CURSOR FOR SELECT * FROM T2831C.TESTAB2831 ORDER BY TNUM END-EXEC DISPLAY "OPEN ALPHA;" EXEC SQL OPEN ALPHA END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " *init host variables and check 1st value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH ALPHA INTO :aa, :bb ;" EXEC SQL FETCH ALPHA INTO :aa, :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 1; its value is ", aa DISPLAY "bb should be AA; its value is ", bb if (aa NOT = 1 AND bb NOT = "AA") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 2nd value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH ALPHA INTO :aa , :bb ;" EXEC SQL FETCH ALPHA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 2; its value is ", aa DISPLAY "bb should be BB; its value is ", bb if (aa NOT = 2 AND bb NOT = "BB") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 3rd value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH ALPHA INTO :aa, :bb ;" EXEC SQL FETCH ALPHA INTO :aa ,:bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 3; its value is ", aa DISPLAY "bb should be CC; its value is ", bb if (aa NOT = 3 AND bb NOT = "CC") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 4th value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH ALPHA INTO :aa , :bb ;" EXEC SQL FETCH ALPHA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 4; its value is ", aa DISPLAY "bb should be DD; its value is ", bb if (aa NOT = 4 AND bb NOT = "DD") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 5th value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH ALPHA INTO :aa , :bb ;" EXEC SQL FETCH ALPHA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 5; its value is ", aa DISPLAY "bb should be EE; its value is ", bb if (aa NOT = 5 AND bb NOT = "EE") then MOVE 0 TO flag END-IF DISPLAY " " DISPLAY "CLOSE ALPHA;" EXEC SQL CLOSE ALPHA END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " EXEC SQL DELETE FROM CTS1.CONCATBUF END-EXEC MOVE SQLCODE TO SQL-COD EXEC SQL INSERT INTO CTS1.CONCATBUF VALUES ( 'CREATE SCHEMA DT2831C' || ' CREATE TABLE DTESTAB2831 (TNUM NUMERIC(5),' || ' TCHAR CHAR(3))' ) END-EXEC MOVE SQLCODE TO SQL-COD EXEC SQL SELECT ZZ INTO :longst FROM CTS1.CONCATBUF END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "longst=""", longst, """" DISPLAY "COMMIT WORK;" EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " *Execute Immediate from the host variable DISPLAY "EXECUTE IMMEDIATE :longst;" EXEC SQL EXECUTE IMMEDIATE :longst 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 " " *Populate table with copy of rows from the other new table *in order to check correct creation of the table DISPLAY "Populate table with copy of rows from other new - " table" DISPLAY "INSERT INTO DT2831C.DTESTAB2831" DISPLAY "SELECT * FROM T2831C.TESTAB2831;" EXEC SQL INSERT INTO DT2831C.DTESTAB2831 SELECT * FROM T2831C.TESTAB2831 END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " *Check contents in table MOVE 0 TO aa DISPLAY "SELECT COUNT(*) INTO :aa FROM - " DT2831C.DTESTAB2831;" EXEC SQL SELECT COUNT(*) INTO :aa FROM DT2831C.DTESTAB2831 END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 5; its value is ", aa if (aa NOT = 5) then MOVE 0 TO flag END-IF DISPLAY " " *Init host vars and check the 1st value using SELECT MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "SELECT DT2831C.DTESTAB2831.TNUM, - " DT2831C.DTESTAB2831.TCHAR" DISPLAY "INTO :aa , :bb FROM DT2831C.DTESTAB2831" DISPLAY "WHERE DT2831C.DTESTAB2831.TNUM = 1;" EXEC SQL SELECT DT2831C.DTESTAB2831.TNUM, DT2831C.DTESTAB2831.TCHAR INTO :aa , :bb FROM DT2831C.DTESTAB2831 WHERE DT2831C.DTESTAB2831.TNUM = 1 END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 1; its value is ", aa DISPLAY "bb should be AA; its value is ", bb if ( aa NOT = 1 AND bb NOT = "AA") then MOVE 0 TO flag END-IF DISPLAY " " *Use a cursor to check the rest of the values in the table DISPLAY "DECLARE BETA CURSOR" DISPLAY "FOR SELECT * FROM DT2831C.DTESTAB2831" DISPLAY "WHERE TNUM <> 1 ORDER BY TNUM;" EXEC SQL DECLARE BETA CURSOR FOR SELECT * FROM DT2831C.DTESTAB2831 WHERE TNUM <> 1 ORDER BY TNUM END-EXEC DISPLAY "OPEN BETA;" EXEC SQL OPEN BETA END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY " " *init host variables and check 2nd value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH BETA INTO :aa , :bb ;" EXEC SQL FETCH BETA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 2; its value is ", aa DISPLAY "bb should be BB; its value is ", bb if (aa NOT = 2 AND bb NOT = "BB") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 3rd value MOVE 0 TO aa MOVE "xxx" TO bb DISPLAY "FETCH BETA INTO :aa , :bb ;" EXEC SQL FETCH BETA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 3; its value is ", aa DISPLAY "bb should be CC; its value is ", bb if ( aa NOT = 3 AND bb NOT = "CC") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 4th value MOVE 0 TO aa MOVE "XXX" TO bb DISPLAY "FETCH BETA INTO :aa , :bb ;" EXEC SQL FETCH BETA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 4; its value is ", aa DISPLAY "bb should be DD; its value is ", bb if ( aa NOT = 4 AND bb NOT = "DD") then MOVE 0 TO flag END-IF DISPLAY " " *init host variables and check 5th value MOVE 0 TO aa MOVE "XXX" TO bb DISPLAY "FETCH BETA INTO :aa , :bb ;" EXEC SQL FETCH BETA INTO :aa , :bb END-EXEC MOVE SQLCODE TO SQL-COD PERFORM CHCKOK DISPLAY "aa should be 5; its value is ", aa DISPLAY "bb should be EE; its value is ", bb if ( aa NOT = 5 AND bb NOT = "EE") then MOVE 0 TO flag END-IF DISPLAY " " DISPLAY "CLOSE BETA;" EXEC SQL CLOSE BETA 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 clean up database DISPLAY "DROP SCHEMA T2831C CASCADE;" EXEC SQL DROP SCHEMA T2831C 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 " " DISPLAY "DROP SCHEMA DT2831C CASCADE;" EXEC SQL DROP SCHEMA DT2831C 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 " xts714.pco *** pass *** " EXEC SQL INSERT INTO CTS1.TESTREPORT VALUES('7014','pass','PCO') END-EXEC MOVE SQLCODE TO SQL-COD else DISPLAY " xts714.pco *** fail *** " EXEC SQL INSERT INTO CTS1.TESTREPORT VALUES('7014','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 TEST7014 ******************** **** 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.49 Sekunden (vorverarbeitet) ¤ |
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.Bot Zugriff |
