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 Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/PVS/trig_fnd/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 3 kB

Quelle yts756.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module yts756.mco
-- 59-byte ID
--
MODULE YTS756
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 DOMAIN d AS INTEGER
                    CHECK (VALUE IN (3,5,7,9,11));

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      CREATE DOMAIN e AS CHAR
                    CHECK (VALUE LIKE 'a');

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
      CREATE DOMAIN f AS INTEGER
                    CHECK (VALUE * VALUE > 1 + VALUE);

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB9 (SQLCODE, SQLSTATE);
      CREATE TABLE def_chk
                    ( d_chk    d,
                    e_chk    e,
                    f_chk    f);

PROCEDURE SUB10 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB11 (SQLCODE, SQLSTATE);
      INSERT INTO def_chk VALUES (3,'a',3);

PROCEDURE SUB12 (SQLCODE, SQLSTATE);
      INSERT INTO def_chk VALUES (2,'a',3);

PROCEDURE SUB13 (SQLCODE, SQLSTATE);
      INSERT INTO def_chk VALUES (3,'z',3);

PROCEDURE SUB14 (SQLCODE, SQLSTATE);
      INSERT INTO def_chk VALUES (3,'a',1);

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB16 (SQLCODE, SQLSTATE);
      DROP TABLE DEF_CHK CASCADE;

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB18 (SQLCODE, SQLSTATE);
      DROP DOMAIN d CASCADE;

PROCEDURE SUB19 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      DROP DOMAIN e CASCADE;

PROCEDURE SUB21 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB22 (SQLCODE, SQLSTATE);
      DROP DOMAIN f CASCADE;

PROCEDURE SUB23 (SQLCODE, SQLSTATE);
      COMMIT WORK;

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

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

PROCEDURE SUB26 (SQLCODE, SQLSTATE);
      COMMIT WORK;