products/sources/formale sprachen/Cobol/Test-Suite/SQL M image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: testalarm.vdmsl   Sprache: Cobol

rahmenlose Ansicht.mco DruckansichtPython {Python[51] Fortran[103] Ada[123]}Entwicklung

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

DECLARE DATA63  CURSOR FOR 
               SELECT col2, col3, col4
               FROM CTS1.ET
               ORDER BY col3, col4


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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE,
    :I NUMERIC (4));
      SELECT COUNT (*) INTO :I FROM STAFF_CTS2;

PROCEDURE SUB4 (SQLCODE, SQLSTATE,
    :I NUMERIC (4));
      SELECT COUNT (*) INTO :I FROM STAFF_CTS;

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.ET(col2, col3, col4)
                    SELECT * FROM STAFF_CTS2
                    INTERSECT CORRESPONDING
                    SELECT * FROM STAFF_CTS;

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
    OPEN data63;

PROCEDURE SUB7 (SQLCODE, SQLSTATE,
    :ENAME CHAR(20),
    :EGRAD NUMERIC (9),
    :ECIT CHAR(15));
      FETCH data63 INTO :ENAME, :EGRAD, :ECIT;

PROCEDURE SUB8 (SQLCODE, SQLSTATE,
    :ENAME CHAR(20),
    :EGRAD NUMERIC (9),
    :ECIT CHAR(15));
      FETCH data63 INTO :ENAME, :EGRAD, :ECIT;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :ENAME CHAR(20),
    :EGRAD NUMERIC (9),
    :ECIT CHAR(15));
      FETCH data63 INTO :ENAME, :EGRAD, :ECIT;

PROCEDURE SUB10 (SQLCODE, SQLSTATE);
      CLOSE data63;

PROCEDURE SUB11 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB14 (SQLCODE, SQLSTATE);
      COMMIT WORK;

[ Verzeichnis aufwärts0.106unsichere Verbindung  ]