products/Sources/formale Sprachen/VDM/VDMSL/AlarmErrSL/   (Beweissystem Isabelle Version 2025-1©) image not shown  

Quelle  flg008.mco   Sprache: unbekannt

 
-- SQL Test Suite, V6.0, SQL Module flg008.mco
-- 59-byte ID
-- 
MODULE FLG008
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE GROUPX  CURSOR FOR
               SELECT PTYPE, CITY, SUM (BUDGET), COUNT(*)
               FROM PROJ
               GROUP BY CITY
               ORDER BY CITY


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

PROCEDURE SUB2 SQLCODE;
    OPEN GROUPX;

PROCEDURE SUB3 SQLCODE;
      INSERT INTO TESTREPORT
                  VALUES('0454','pass','MCO');

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TESTREPORT VALUES
                  ('0454','nogo','MCO');

PROCEDURE SUB5 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB6 SQLCODE
    :PTYPE1 CHAR(6)
    :CITY1 CHAR(5)
    :SUM1 NUMERIC (9)
    :COUNT1 NUMERIC (9);
      FETCH GROUPX
                      INTO :PTYPE1, :CITY1, :SUM1, :COUNT1;

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]