Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/lib/crypto/arm/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 84 B image not shown  

Quelle  cdr016.mco

  Sprache: Cobol
 

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

MODULE CDR016
LANGUAGE COBOL
AUTHORIZATION SUN



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

PROCEDURE SUB1 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT1
                  FROM SIZ1_P
                  WHERE S1 = 'E1' AND S2 = 'TTS' AND S3 = 1;

PROCEDURE SUB2 SQLCODE;
      UPDATE SIZ1_P
                  SET S2 = 'TTT'
                  WHERE S1 = 'E1' AND S2 = 'TTS' AND S3 = 1;

PROCEDURE SUB3 SQLCODE
    :COUNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT2
                  FROM SIZ1_P
                  WHERE S1 = 'E1' AND S2 = 'TTT' AND S3 = 1;

PROCEDURE SUB4 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB5 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0352','pass','MCO');

PROCEDURE SUB6 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0352','fail','MCO');

PROCEDURE SUB7 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB8 SQLCODE;
      UPDATE SIZ1_F
                  SET F1 = 'E9'
                  WHERE F1 = 'E2';

PROCEDURE SUB9 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1
                  FROM SIZ1_F
                  WHERE F1 = 'E2';

PROCEDURE SUB10 SQLCODE;
      ROLLBACK WORK;

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

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

PROCEDURE SUB13 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB14 SQLCODE;
      UPDATE SIZ1_F
                  SET F1 = 'E1'
                  WHERE F1 = 'E2' AND F6 = 'RRR';

PROCEDURE SUB15 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1
                  FROM SIZ1_F
                  WHERE F1 = 'E1';

PROCEDURE SUB16 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB17 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0354','pass','MCO');

PROCEDURE SUB18 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0354','fail','MCO');

PROCEDURE SUB19 SQLCODE;
      COMMIT WORK;

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

¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet am  2026-06-14) ¤

*© Formatika GbR, Deutschland






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders