Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Nonstandard_Analysis/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 22 kB image not shown  

Quelle  dml025.mco

  Sprache: Cobol
 

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

MODULE DML025
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE S1 CURSOR FOR
             SELECT SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E1'
DECLARE S2 CURSOR FOR
             SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E8'
             GROUP BY PNUM
DECLARE S3 CURSOR FOR
             SELECT SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E8'
             GROUP BY PNUM
DECLARE S4 CURSOR FOR
             SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             GROUP BY PNUM


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

PROCEDURE SUB1 SQLCODE;
    OPEN S1;

PROCEDURE SUB2 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0114','pass','MCO');

PROCEDURE SUB3 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0114','fail','MCO');

PROCEDURE SUB4 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB5 SQLCODE;
    OPEN S2;

PROCEDURE SUB6 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0115','pass','MCO');

PROCEDURE SUB7 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0115','fail','MCO');

PROCEDURE SUB8 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB9 SQLCODE;
    OPEN S3;

PROCEDURE SUB10 SQLCODE
    :SUMH NUMERIC (9)
    :INDIC1 NUMERIC (4)
    :AVGH NUMERIC (9)
    :INDIC2 NUMERIC (4)
    :MINH NUMERIC (9)
    :INDIC3 NUMERIC (4)
    :MAXH NUMERIC (9)
    :INDIC4 NUMERIC (4);
      FETCH S3 INTO
                   :SUMH :INDIC1, :AVGH :INDIC2, :MINH :INDIC3, :MAXH :INDIC4
                 ;

PROCEDURE SUB11 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0116','pass','MCO');

PROCEDURE SUB12 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0116','fail','MCO');

PROCEDURE SUB13 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB14 SQLCODE;
    OPEN S4;

PROCEDURE SUB15 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0117','pass','MCO');

PROCEDURE SUB16 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0117','fail','MCO');

PROCEDURE SUB17 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB18 SQLCODE
    :SUMH NUMERIC (9)
    :AVGH NUMERIC (9)
    :MINH NUMERIC (9)
    :MAXH NUMERIC (9);
      FETCH S1 INTO
                     :SUMH, :AVGH, :MINH, :MAXH;

PROCEDURE SUB19 SQLCODE
    :WPNUM CHAR(3)
    :AVGH NUMERIC (9)
    :MINH NUMERIC (9)
    :MAXH NUMERIC (9);
      FETCH S2 INTO
                     :WPNUM, :AVGH, :MINH, :MAXH;

PROCEDURE SUB20 SQLCODE
    :WPNUM CHAR(3)
    :AVGH NUMERIC (9)
    :MINH NUMERIC (9)
    :MAXH NUMERIC (9);
      FETCH S4 INTO
                     :WPNUM, :AVGH, :MINH, :MAXH;

Messung V0.5 in Prozent
C=100 H=94 G=96

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet am  2026-04-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.