Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: StringT.vdmpp Sprache: Cobol

Untersuchungsergebnis.mco Download desPython {Python[46] Fortran[100] Ada[114]}zum Wurzelverzeichnis wechseln

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

DECLARE DATA802  CURSOR FOR
               SELECT FEATURE_ID, FEATURE_NAME, CLASSIFICATION,
               IS_SUPPORTED, IS_VERIFIED
               FROM FIPS_DOCUMENTATION.SQL_FEATURES
               ORDER BY FEATURE_ID

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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE);
    OPEN data802;

PROCEDURE SUB4 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM FIPS_DOCUMENTATION.SQL_FEATURES;

PROCEDURE SUB5 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM FIPS_DOCUMENTATION.SQL_FEATURES
                    WHERE FEATURE_COMMENTS IS NOT NULL
                    OR FEATURE_ID BETWEEN 1 AND 89;

PROCEDURE SUB6 (SQLCODE, SQLSTATE,
    :FID NUMERIC (4),
    :FNAM CHAR(50),
    :CLAS CHAR(12),
    :ISS CHAR(3),
    :ISV CHAR(3));
      FETCH data802
                    INTO :FID, :FNAM, :CLAS, :ISS, :ISV;

PROCEDURE SUB7 (SQLCODE, SQLSTATE,
    :CO2 NUMERIC (4));
      SELECT COUNT (*) INTO :CO2
                    FROM FIPS_DOCUMENTATION.SQL_FEATURES
                    WHERE IS_VERIFIED = 'YES' AND
                    NOT IS_SUPPORTED = 'YES';

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
      CLOSE data802;

PROCEDURE SUB9 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB12 (SQLCODE, SQLSTATE);
      COMMIT WORK;