Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale sprachen/Isabelle/HOL/Analysis/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: yts775.mco   Sprache: Unknown

Untersuchungsergebnis.mco Download desPython {Python[82] Fortran[106] Ada[120]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module xts723.mco
-- 59-byte ID
-- 
MODULE XTS723
LANGUAGE COBOL
AUTHORIZATION CTS4

DECLARE F7023  CURSOR FOR SELECT 
               COLUMN_NAME,CONSTRAINT_NAME
               FROM INFORMATION_SCHEMA.CONSTRAINT_COLUMN_USAGE
               ORDER BY CONSTRAINT_NAME


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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE,
    :COUN1 NUMERIC (9));
      SELECT COUNT(*) INTO :COUN1
                    FROM INFORMATION_SCHEMA.CONSTRAINT_COLUMN_USAGE
                    WHERE TABLE_SCHEMA = 'CTS4';

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      CREATE TABLE TAB722a 
                    (COLNUM1 NUMERIC(5),
                    COLNUM2 NUMERIC(5),
                    COLSTR1 CHAR(3),
                    CONSTRAINT 722ACONS1 PRIMARY KEY (COLSTR1),
                    CONSTRAINT 722ACONS2 CHECK(COLNUM2 > 0));

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
      CREATE TABLE TAB722b
                    ( C1 CHAR(3),
                    C2 CHAR(10),
                    CONSTRAINT 722B FOREIGN KEY(C1) 
                    REFERENCES TAB722a(COLSTR1));

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB9 (SQLCODE, SQLSTATE);
    OPEN F7023;

PROCEDURE SUB10 (SQLCODE, SQLSTATE,
    :COLNAM CHAR(128),
    :CONNAM CHAR(128));
      FETCH F7023 INTO :COLNAM,:CONNAM;

PROCEDURE SUB11 (SQLCODE, SQLSTATE,
    :COLNAM CHAR(128),
    :CONNAM CHAR(128));
      FETCH F7023 INTO :COLNAM,:CONNAM;

PROCEDURE SUB12 (SQLCODE, SQLSTATE,
    :COLNAM CHAR(128),
    :CONNAM CHAR(128));
      FETCH F7023 INTO :COLNAM,:CONNAM;

PROCEDURE SUB13 (SQLCODE, SQLSTATE);
      CLOSE F7023;

PROCEDURE SUB14 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      DROP TABLE TAB722a CASCADE;

PROCEDURE SUB16 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB17 (SQLCODE, SQLSTATE,
    :COUN1 NUMERIC (9));
      SELECT COUNT(CONSTRAINT_NAME)
                    INTO :COUN1
                    FROM INFORMATION_SCHEMA.CONSTRAINT_COLUMN_USAGE;

PROCEDURE SUB18 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB19 (SQLCODE, SQLSTATE);
      DROP TABLE TAB722b CASCADE;

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      COMMIT WORK;

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

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

PROCEDURE SUB23 (SQLCODE, SQLSTATE);
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.151Quellennavigators  ]