Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/VDM/VDMRT/CMRT/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 13.4.2020 mit Größe 411 B

Quelle mpa009.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module mpa009.mco
-- 59-byte ID
--
MODULE MPA009
LANGUAGE COBOL
AUTHORIZATION SULLIVAN1

DECLARE YOOK  CURSOR FOR ERTY END-EXEC
DECLARE ZOOK  CURSOR FOR ZERTY END-EXEC

PROCEDURE SUB1 SQLCODE SQLSTATE
    :UIDX CHAR(18);
      SELECT USER INTO :UIDX FROM HU.ECCO;

PROCEDURE SUB2 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB3 SQLCODE SQLSTATE;
      DELETE FROM MP9_AA;

PROCEDURE SUB4 SQLCODE SQLSTATE;
      INSERT INTO MP9_AA VALUES (1);

PROCEDURE SUB5 SQLCODE SQLSTATE;
      INSERT INTO MP9_AA VALUES (2);

PROCEDURE SUB6 SQLCODE SQLSTATE;
      INSERT INTO MP9_AA VALUES (3);

PROCEDURE SUB7 SQLCODE SQLSTATE;
      INSERT INTO MP9_AA VALUES (4);

PROCEDURE SUB8 SQLCODE SQLSTATE;
      INSERT INTO MP9_AA VALUES (5);

PROCEDURE SUB9 SQLCODE SQLSTATE;
      DELETE FROM MP9_BB;

PROCEDURE SUB10 SQLCODE SQLSTATE;
      INSERT INTO MP9_BB VALUES (6);

PROCEDURE SUB11 SQLCODE SQLSTATE;
      INSERT INTO MP9_BB VALUES (7);

PROCEDURE SUB12 SQLCODE SQLSTATE;
      INSERT INTO MP9_BB VALUES (8);

PROCEDURE SUB13 SQLCODE SQLSTATE;
      INSERT INTO MP9_BB VALUES (9);

PROCEDURE SUB14 SQLCODE SQLSTATE;
      INSERT INTO MP9_BB VALUES (10);

PROCEDURE SUB15 SQLCODE SQLSTATE;
      DELETE FROM MP9_NEXTKEY;

PROCEDURE SUB16 SQLCODE SQLSTATE;
      INSERT
                    INTO MP9_NEXTKEY (KEYNUM,AUTHOR)
                    VALUES (1,'A');

PROCEDURE SUB17 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB18 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB19 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB20 SQLCODE SQLSTATE;
      UPDATE MP9_NN
                    SET NUMTEST = 1;

PROCEDURE SUB21 SQLCODE SQLSTATE
    :KNUM NUMERIC (9);
      SELECT COUNT(*)
                    INTO :KNUM
                    FROM MP9_NEXTKEY WHERE AUTHOR = 'B';

PROCEDURE SUB22 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB23 SQLCODE SQLSTATE
    :DSTMT CHAR(50);
      PREPARE ERTY FROM :DSTMT;

PROCEDURE SUB24 SQLCODE SQLSTATE
    :DSTMT CHAR(50);
      PREPARE ZERTY FROM :DSTMT;

PROCEDURE SUB25 SQLCODE SQLSTATE;
    OPEN YOOK;

PROCEDURE SUB26 SQLCODE SQLSTATE
    :TMPINT NUMERIC (9);
      FETCH YOOK INTO :TMPINT;

PROCEDURE SUB27 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB28 SQLCODE SQLSTATE
    :TMPINT NUMERIC (9);
      INSERT INTO MP9_BB VALUES (:TMPINT);

PROCEDURE SUB29 SQLCODE SQLSTATE;
      DELETE FROM MP9_AA WHERE CURRENT OF YOOK;

PROCEDURE SUB30 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB31 SQLCODE SQLSTATE;
      UPDATE MP9_NN
                    SET NUMTEST = 1;

PROCEDURE SUB32 SQLCODE SQLSTATE;
    OPEN ZOOK;

PROCEDURE SUB33 SQLCODE SQLSTATE
    :TMPINT NUMERIC (9);
      FETCH ZOOK INTO :TMPINT;

PROCEDURE SUB34 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB35 SQLCODE SQLSTATE
    :TMPINT NUMERIC (9);
      INSERT INTO MP9_AA VALUES (:TMPINT);

PROCEDURE SUB36 SQLCODE SQLSTATE;
      DELETE FROM MP9_BB WHERE CURRENT OF ZOOK;

PROCEDURE SUB37 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB38 SQLCODE SQLSTATE;
      UPDATE MP9_NN
                    SET NUMTEST = 1;

PROCEDURE SUB39 SQLCODE SQLSTATE;
      UPDATE MP9_NEXTKEY
                    SET KEYNUM = KEYNUM +1;

PROCEDURE SUB40 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB41 SQLCODE SQLSTATE
    :CNT1 NUMERIC (9);
      SELECT COUNT(DISTINCT ANUM) INTO :CNT1 FROM MP9_AA
                 ;

PROCEDURE SUB42 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB43 SQLCODE SQLSTATE
    :CNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :CNT2 FROM MP9_AA;

PROCEDURE SUB44 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB45 SQLCODE SQLSTATE
    :CNT1 NUMERIC (9);
      SELECT COUNT(DISTINCT BNUM) INTO :CNT1 FROM MP9_BB
                 ;

PROCEDURE SUB46 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB47 SQLCODE SQLSTATE
    :CNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :CNT2 FROM MP9_BB;

PROCEDURE SUB48 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB49 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0847','pass','MCO');

PROCEDURE SUB50 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0847','fail','MCO');

PROCEDURE SUB51 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB52 SQLCODE SQLSTATE;
      DELETE FROM MP9_NEXTKEY;

PROCEDURE SUB53 SQLCODE SQLSTATE;
      COMMIT WORK;