| products/sources/formale Sprachen/Isabelle/HOL/SPARK/Manual/document/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: dml080.cob Sprache: Unknown
|
IDENTIFICATION DIVISION.
PROGRAM-ID. DML080. ENVIRONMENT DIVISION. CONFIGURATION SECTION. SOURCE-COMPUTER. xyz. OBJECT-COMPUTER. xyz. DATA DIVISION. WORKING-STORAGE SECTION. * EMBEDDED COBOL (file "DML080.PCO") **************************************************************** * * COMMENT SECTION * * DATE 1992/06/08 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. * * DML080.PCO * WRITTEN BY: DAVID W. FLATER * * THIS ROUTINE TESTS THE DATA MANIPULATION LANGUAGE FOR SQL. * * REFERENCES * AMERICAN NATIONAL STANDARD database language - SQL * X3.135-1989 * * SECTION 7.3 Procedure * **************************************************************** EXEC SQL BEGIN DECLARE SECTION END-EXEC 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 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, dml080.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 TEST0462 ******************* MOVE 1 TO flag DISPLAY " TEST0462 " DISPLAY " SQLCODE = 100: DELETE with no data" DISPLAY " Reference X3.135-89 section 7.3 DISPLAY " - - - - - - - - - - - - - - - - - - -" *WHERE clause not satisfied - no data MOVE 0 TO SQLCODE DISPLAY "DELETE FROM HU.STAFF WHERE EMPNUM = 'E7';" EXEC SQL DELETE FROM HU.STAFF WHERE EMPNUM = 'E7' END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) then MOVE 0 TO flag END-IF *DELETE all rows from empty table - no data (on second DELETE) DISPLAY " " DISPLAY "DELETE FROM HU.STAFF;" EXEC SQL DELETE FROM HU.STAFF END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 0; its value is ", SQL-COD if (SQLCODE NOT = 0) then MOVE 0 TO flag END-IF DISPLAY " " DISPLAY "DELETE FROM HU.STAFF;" EXEC SQL DELETE FROM HU.STAFF END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) then MOVE 0 TO flag END-IF *DELETE one row from empty table with WHERE clause - no data DISPLAY " " MOVE 0 TO SQLCODE DISPLAY "DELETE FROM HU.STAFF WHERE EMPNUM = 'E1';" EXEC SQL DELETE FROM HU.STAFF WHERE EMPNUM = 'E1' END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) 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('0462','pass','PCO') END-EXEC MOVE SQLCODE TO SQL-COD else DISPLAY " dml080.pco *** fail *** " EXEC SQL INSERT INTO HU.TESTREPORT VALUES('0462','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 TEST0462 ******************** ******************** BEGIN TEST0463 ******************* MOVE 1 TO flag DISPLAY " TEST0463 " DISPLAY " SQLCODE = 100: UPDATE with no data" DISPLAY " Reference X3.135-89 section 7.3 DISPLAY " - - - - - - - - - - - - - - - - - - -" *WHERE clause not satisfied - no data MOVE 0 TO SQLCODE DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE'" DISPLAY " WHERE EMPNAME = 'NOBODY';" EXEC SQL UPDATE HU.STAFF SET CITY = 'NOWHERE' WHERE EMPNAME = 'NOBODY' END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) then MOVE 0 TO flag END-IF *global update of grade column - successful completion DISPLAY " " MOVE 100 TO SQLCODE DISPLAY "UPDATE HU.STAFF SET GRADE = 11;" EXEC SQL UPDATE HU.STAFF SET GRADE = 11 END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 0; its value is ", SQL-COD if (SQLCODE NOT = 0) then MOVE 0 TO flag END-IF *UPDATE all rows from empty table - no data (after DELETE) DISPLAY " " MOVE 100 TO SQLCODE DISPLAY "DELETE FROM HU.STAFF;" EXEC SQL DELETE FROM HU.STAFF END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 0; its value is ", SQL-COD if (SQLCODE NOT = 0) then MOVE 0 TO flag END-IF DISPLAY " " DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE';" EXEC SQL UPDATE HU.STAFF SET CITY = 'NOWHERE' END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) then MOVE 0 TO flag END-IF *UPDATE rows with WHERE clause from empty table - no data DISPLAY " " MOVE 0 TO SQLCODE DISPLAY "UPDATE HU.STAFF SET CITY = 'NOWHERE'" DISPLAY " WHERE EMPNAME = 'NOBODY';" EXEC SQL UPDATE HU.STAFF SET CITY = 'NOWHERE' WHERE EMPNAME = 'NOBODY' END-EXEC MOVE SQLCODE TO SQL-COD DISPLAY "SQLCODE should be 100; its value is ", SQL-COD if (SQLCODE NOT = 100) 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('0463','pass','PCO') END-EXEC MOVE SQLCODE TO SQL-COD else DISPLAY " dml080.pco *** fail *** " EXEC SQL INSERT INTO HU.TESTREPORT VALUES('0463','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 TEST0463 ******************** **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0 STOP RUN. * **** Procedures for PERFORM statements [ Dauer der Verarbeitung: 0.6 Sekunden (vorverarbeitet) ] |