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/Roqc/vernac/ (Beweissystem des Inria Version 9.1.0^©) Datei vom 15.8.2025 mit Größe 9 kB

SSL dml003.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module dml003.mco
-- 59-byte ID

MODULE DML003
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE X CURSOR
             FOR SELECT EMPNUM,HOURS
             FROM   WORKS
             WHERE  PNUM='P2'
             ORDER  BY EMPNUM ASC

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

PROCEDURE SUB1 SQLCODE;
    OPEN X;

PROCEDURE SUB2 SQLCODE;
      CLOSE X;

PROCEDURE SUB3 SQLCODE;
      CLOSE X;

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0007','pass','MCO');

PROCEDURE SUB5 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0007','fail','MCO');

PROCEDURE SUB6 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE
    :EMPNO1 CHAR(3)
    :HOURS1 NUMERIC (9);
      FETCH X INTO  :EMPNO1, :HOURS1;