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/VDMRT/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 13.4.2020 mit Größe 1 kB

SSL yts784.mco Interaktion und
Portierbarkeitunbekannt

-- SQL Test Suite, V6.0, SQL Module yts784.mco
-- 59-byte ID
--
MODULE YTS784
LANGUAGE COBOL
AUTHORIZATION CTS1

DECLARE DATA1  SCROLL CURSOR
               FOR SELECT STAFF.EMPNAME, WORKS.PNUM
               FROM STAFF LEFT OUTER JOIN WORKS USING (EMPNUM)
               WHERE WORKS.PNUM IN ('P1','P4','P6')

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 STAFF (EMPNUM) VALUES ('E6');

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      INSERT INTO WORKS (EMPNUM, PNUM) VALUES ('E6',
                  'P6');

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
    OPEN data1;

PROCEDURE SUB6 (SQLCODE, SQLSTATE,
    :ENAME1 CHAR(20),
    :INDIC1 NUMERIC (4),
    :PROJN1 CHAR(3));
      FETCH data1 INTO :ENAME1:INDIC1, :PROJN1;

PROCEDURE SUB7 (SQLCODE, SQLSTATE,
    :ENAME2 CHAR(20),
    :INDIC2 NUMERIC (4),
    :PROJN2 CHAR(3));
      FETCH data1 INTO :ENAME2:INDIC2, :PROJN2;

PROCEDURE SUB8 (SQLCODE, SQLSTATE,
    :ENAME3 CHAR(20),
    :INDIC3 NUMERIC (4),
    :PROJN3 CHAR(3));
      FETCH data1 INTO :ENAME3:INDIC3, :PROJN3;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :ENAME4 CHAR(20),
    :INDIC4 NUMERIC (4),
    :PROJN4 CHAR(3));
      FETCH data1 INTO :ENAME4:INDIC4, :PROJN4;

PROCEDURE SUB10 (SQLCODE, SQLSTATE,
    :ENAME5 CHAR(20),
    :INDIC5 NUMERIC (4),
    :PROJN5 CHAR(3));
      FETCH data1 INTO :ENAME5:INDIC5, :PROJN5;

PROCEDURE SUB11 (SQLCODE, SQLSTATE,
    :ENAME6 CHAR(20),
    :INDIC6 NUMERIC (4),
    :PROJN6 CHAR(3));
      FETCH data1 INTO :ENAME6:INDIC6, :PROJN6;

PROCEDURE SUB12 (SQLCODE, SQLSTATE,
    :ENAME7 CHAR(20),
    :INDIC7 NUMERIC (4),
    :PROJN7 CHAR(3));
      FETCH data1 INTO :ENAME7:INDIC7, :PROJN7;

PROCEDURE SUB13 (SQLCODE, SQLSTATE,
    :ENAME7 CHAR(20),
    :INDIC7 NUMERIC (4),
    :PROJN7 CHAR(3));
      FETCH ABSOLUTE 2 FROM data1 INTO :ENAME7:INDIC7,
                  :PROJN7;

PROCEDURE SUB14 (SQLCODE, SQLSTATE,
    :ENAME7 CHAR(20),
    :INDIC7 NUMERIC (4),
    :PROJN7 CHAR(3));
      FETCH ABSOLUTE 4 FROM data1 INTO :ENAME7:INDIC7,
                  :PROJN7;

PROCEDURE SUB15 (SQLCODE, SQLSTATE,
    :ENAME7 CHAR(20),
    :INDIC7 NUMERIC (4),
    :PROJN7 CHAR(3));
      FETCH ABSOLUTE 5 FROM data1 INTO :ENAME7:INDIC7,
                  :PROJN7;

PROCEDURE SUB16 (SQLCODE, SQLSTATE,
    :ENAME7 CHAR(20),
    :INDIC7 NUMERIC (4),
    :PROJN7 CHAR(3));
      FETCH ABSOLUTE 30 FROM data1 INTO :ENAME7:INDIC7,
                  :PROJN7;

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
      CLOSE data1;

PROCEDURE SUB18 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB19 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7513','pass','MCO');

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7513','fail','MCO');

PROCEDURE SUB21 (SQLCODE, SQLSTATE);
      COMMIT WORK;