Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/rust/ppv-lite86/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 1 kB image not shown  

Quellcode-Bibliothek sdl020.mco   Sprache: Cobol

 

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

MODULE SDL020
LANGUAGE COBOL
AUTHORIZATION HU



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

PROCEDURE SUB1 SQLCODE;
      DELETE FROM TEMP_S;

PROCEDURE SUB2 SQLCODE;
      INSERT INTO TEMP_S
                  SELECT EMPNUM,GRADE,CITY
                  FROM   STAFF;

PROCEDURE SUB3 SQLCODE
    :I NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :I
                  FROM   TEMP_S;

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TEMP_S
                  SELECT EMPNUM,GRADE,CITY
                  FROM   STAFF;

PROCEDURE SUB5 SQLCODE
    :II NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :II
                  FROM   TEMP_S;

PROCEDURE SUB6 SQLCODE
    :III NUMERIC (9);
      SELECT COUNT(DISTINCT EMPNUM)
                  INTO    :III
                  FROM   TEMP_S;

PROCEDURE SUB7 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB8 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0156','pass','MCO');

PROCEDURE SUB9 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0156','fail','MCO');

PROCEDURE SUB10 SQLCODE;
      COMMIT WORK;

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

¤ 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.0.10Bemerkung:  (vorverarbeitet am  2026-09-27) ¤

*Bot Zugriff






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders