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


Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/ (Beweissystem des Inria Version 9.1.0^©) Datei vom 4.1.2008 mit Größe 8 kB

Quelle yts767.mco Sprache: unbekannt

-- SQL Test Suite, V6.0, SQL Module yts767.mco
-- 59-byte ID
--
MODULE YTS767
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,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1' AND
                    TABLE_NAME = 'STAFF7' AND
                    CONSTRAINT_TYPE = 'CHECK';

PROCEDURE SUB4 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30),
    :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB5 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1B' AND
                    TABLE_NAME = 'STAFF7';

PROCEDURE SUB6 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30),
    :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB7 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1' AND
                    TABLE_NAME = 'PROJ_DURATION';

PROCEDURE SUB8 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1B' AND
                    TABLE_NAME = 'PROJ_DURATION';

PROCEDURE SUB10 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB11 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB14 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                        VALUES('7544','nogo','MCO');

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB16 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1' AND
                    CONSTRAINT_TYPE = 'CHECK' AND
                    TABLE_NAME = 'STAFFZ';

PROCEDURE SUB17 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB18 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.TABLE_CONSTRAINTS
                    WHERE TABLE_SCHEMA = 'CTS1B' AND
                    CONSTRAINT_TYPE = 'CHECK' AND
                    TABLE_NAME = 'STAFFZ';

PROCEDURE SUB19 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB23 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                        VALUES('7545','nogo','MCO');

PROCEDURE SUB24 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB25 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.DOMAIN_CONSTRAINTS
                    WHERE DOMAIN_SCHEMA = 'CTS1' AND
                    DOMAIN_NAME = 'ESAL';

PROCEDURE SUB26 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB27 (SQLCODE, SQLSTATE,
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CONSTRAINT_SCHEMA, CONSTRAINT_NAME
                    INTO :COSCH1, :CONAM1
                    FROM INFORMATION_SCHEMA.DOMAIN_CONSTRAINTS
                    WHERE DOMAIN_SCHEMA = 'CTS1B' AND
                    DOMAIN_NAME = 'ESAL';

PROCEDURE SUB28 (SQLCODE, SQLSTATE,
    :CHCK CHAR(30), :INDIC1 NUMERIC (4),
    :COSCH1 CHAR(128),
    :CONAM1 CHAR(128));
      SELECT CHECK_CLAUSE INTO :CHCK:INDIC1
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA = :COSCH1
                    AND CONSTRAINT_NAME = :CONAM1;

PROCEDURE SUB29 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB32 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.TESTREPORT
                        VALUES('7546','nogo','MCO');

PROCEDURE SUB33 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB34 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_CATALOG IS NULL;

PROCEDURE SUB35 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_SCHEMA IS NULL;

PROCEDURE SUB36 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_NAME IS NULL;

PROCEDURE SUB37 (SQLCODE, SQLSTATE,
    :CO NUMERIC (4));
      SELECT COUNT (*) INTO :CO
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS;

PROCEDURE SUB38 (SQLCODE, SQLSTATE,
    :CO2 NUMERIC (4));
      SELECT COUNT (*) INTO :CO2
                    FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS AS T
                    WHERE
                    UNIQUE (
                    SELECT * FROM INFORMATION_SCHEMA.CHECK_CONSTRAINTS
                    WHERE CONSTRAINT_CATALOG = T.CONSTRAINT_CATALOG AND
                    CONSTRAINT_NAME = T.CONSTRAINT_NAME AND
                    CONSTRAINT_SCHEMA = T.CONSTRAINT_SCHEMA
                    );

PROCEDURE SUB39 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB42 (SQLCODE, SQLSTATE);
      COMMIT WORK;