| products/Sources/formale Sprachen/COBOL/Test-Suite/SQL M/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: reduce_walks.pvs Sprache: PVS
|
Untersuchungsergebnis.mco Download desLex {Lex[131] Fortran[145] BAT[176]}zum Wurzelverzeichnis wechseln -- SQL Test Suite, V6.0, SQL Module xts751.mco -- 59-byte ID -- MODULE XTS751 LANGUAGE COBOL AUTHORIZATION CTS1 PROCEDURE SUB1 (SQLCODE, SQLSTATE, :UIDX CHAR(18)); SELECT USER INTO :UIDX FROM CTS1.ECCO; PROCEDURE SUB2 (SQLCODE, SQLSTATE); ROLLBACK WORK; PROCEDURE SUB3 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TEST12849A VALUES(2,'JACK','TOKYO',2,'BLACK',2,3); PROCEDURE SUB4 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TEST12849A VALUES(3,'JACK','TOKYO',3,'WHITE',3,2); PROCEDURE SUB5 (SQLCODE, SQLSTATE, :RSTATE CHAR(5), :CNTNAM CHAR(8)); GET DIAGNOSTICS EXCEPTION 1 :RSTATE = RETURNED_SQLSTATE, :CNTNAM = CONSTRAINT_NAME; PROCEDURE SUB6 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TEST12849A VALUES(4,'KEVIN','DUBLIN',9,'RED',9,4); PROCEDURE SUB7 (SQLCODE, SQLSTATE, :RSTATE CHAR(5), :CNTNAM CHAR(8)); GET DIAGNOSTICS EXCEPTION 1 :RSTATE = RETURNED_SQLSTATE, :CNTNAM = CONSTRAINT_NAME; PROCEDURE SUB8 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TEST12849A VALUES(5,'FOO','LONDON',5,'GREEN',2,5); PROCEDURE SUB9 (SQLCODE, SQLSTATE, :RSTATE CHAR(5), :CNTNAM CHAR(8)); GET DIAGNOSTICS EXCEPTION 1 :RSTATE = RETURNED_SQLSTATE, :CNTNAM = CONSTRAINT_NAME; PROCEDURE SUB10 (SQLCODE, SQLSTATE); ROLLBACK WORK; PROCEDURE SUB11 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TESTREPORT VALUES('7051','pass','MCO'); PROCEDURE SUB12 (SQLCODE, SQLSTATE); INSERT INTO CTS1.TESTREPORT VALUES('7051','fail','MCO'); PROCEDURE SUB13 (SQLCODE, SQLSTATE); COMMIT WORK; [ zur Elbe Produktseite wechseln0.118Quellennavigators ] |