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: xts722.mco Sprache: Unknown

Untersuchungsergebnis.mco Download desScala {Scala[83] Pl1[108] Isabelle[123]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module dml116.mco
-- 59-byte ID
--
MODULE DML116
LANGUAGE COBOL
AUTHORIZATION FLATER

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

PROCEDURE SUB2 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB3 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM SHARE116 WHERE EMPNUM < 'E1' OR EMPNUM > 'E5'
                 ;

PROCEDURE SUB4 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT GRADE INTO :INT1
                    FROM SHARE116 WHERE EMPNUM = 'E2';

PROCEDURE SUB5 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1
                    FROM SHARE116 WHERE GRADE = 12;

PROCEDURE SUB6 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM SHARE116;

PROCEDURE SUB7 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB8 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      SELECT COUNT(*) INTO :INT1 FROM SHARE116;

PROCEDURE SUB9 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB10 SQLCODE SQLSTATE;
      DROP TABLE SHARE116 CASCADE;

PROCEDURE SUB11 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB12 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0644','pass','MCO');

PROCEDURE SUB13 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0644','fail','MCO');

PROCEDURE SUB14 SQLCODE SQLSTATE;
      COMMIT WORK;