Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/tactics/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 5 kB image not shown  

Quelle  mpa001.mco

  Sprache: Cobol
 

-- SQL Test Suite, V6.0, SQL Module mpa001.mco
-- 59-byte ID
-- 
MODULE MPA001
LANGUAGE COBOL
AUTHORIZATION SULLIVAN1



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

PROCEDURE SUB2 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB3 SQLCODE;
      DELETE FROM MP1_NEXTKEY;

PROCEDURE SUB4 SQLCODE;
      INSERT
                    INTO MP1_NEXTKEY (KEYNUM,AUTHOR)
                    VALUES (1,'A');

PROCEDURE SUB5 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB6 SQLCODE;
      DELETE FROM MP1_NN;

PROCEDURE SUB7 SQLCODE
    :I NUMERIC (9);
      INSERT INTO MP1_NN VALUES (:I);

PROCEDURE SUB8 SQLCODE
    :KNUM NUMERIC (9);
      SELECT COUNT(*)
                    INTO :KNUM
                    FROM MP1_NEXTKEY WHERE AUTHOR = 'B';

PROCEDURE SUB9 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB10 SQLCODE
    :NEWMAX NUMERIC (9);
      SELECT MAX(KEYNUM)
                    INTO :NEWMAX
                    FROM MP1_NEXTKEY;

PROCEDURE SUB11 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB12 SQLCODE
    :NEWMAX NUMERIC (9);
      INSERT
                    INTO MP1_NEXTKEY (KEYNUM,AUTHOR)
                    VALUES (:NEWMAX,'A');

PROCEDURE SUB13 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB14 SQLCODE
    :I NUMERIC (9);
      SELECT COUNT(*)
                    INTO :I
                    FROM MP1_NEXTKEY;

PROCEDURE SUB15 SQLCODE
    :II NUMERIC (9);
      SELECT COUNT(DISTINCT KEYNUM) 
                    INTO :II
                    FROM MP1_NEXTKEY;

PROCEDURE SUB16 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0230','pass','MCO');

PROCEDURE SUB17 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0230','fail','MCO');

PROCEDURE SUB18 SQLCODE;
      COMMIT WORK;

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

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-05-01) ¤

*© 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.