Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/success/   (NIST Cobol Test-Suite ©)  Datei vom 15.8.2025 mit Größe 345 B image not shown  

SSL yts776.mco   Interaktion und
PortierbarkeitCobol

 

-- SQL Test Suite, V6.0, SQL Module yts776.mco
-- 59-byte ID
-- 
MODULE YTS776
LANGUAGE COBOL
AUTHORIZATION CTS1



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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE);
      CREATE SCHEMA MARPLE;

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB5 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.SCHEMATA 
                    WHERE SCHEMA_NAME = 'MARPLE';

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
      DROP SCHEMA MARPLE RESTRICT;

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.SCHEMATA 
                    WHERE SCHEMA_NAME = 'MARPLE';

PROCEDURE SUB10 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB11 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7510','pass','MCO');

PROCEDURE SUB12 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                      VALUES('7510','fail','MCO');

PROCEDURE SUB13 (SQLCODE, SQLSTATE);
      COMMIT WORK;

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

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.8Angebot  (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-09-27) ¤

*Eine klare Vorstellung vom Zielzustand






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders