Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale sprachen/Cobol/Test-Suite/SQL M/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Polytope.thy   Sprache: Unknown

Untersuchungsergebnis.mco Download desScala {Scala[55] Pl1[76] Isabelle[115]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module mpa007.mco
-- 59-byte ID
-- 
MODULE MPA007
LANGUAGE COBOL
AUTHORIZATION SULLIVAN1

DECLARE YOOK  CURSOR FOR
               SELECT ANUM FROM MP7_AA
DECLARE ZOOK  CURSOR FOR
               SELECT BNUM FROM MP7_BB


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

PROCEDURE SUB2 SQLCODE;
      DELETE FROM MP7_AA;

PROCEDURE SUB3 SQLCODE;
      INSERT INTO MP7_AA VALUES (1);

PROCEDURE SUB4 SQLCODE;
      INSERT INTO MP7_AA VALUES (2);

PROCEDURE SUB5 SQLCODE;
      INSERT INTO MP7_AA VALUES (3);

PROCEDURE SUB6 SQLCODE;
      INSERT INTO MP7_AA VALUES (4);

PROCEDURE SUB7 SQLCODE;
      INSERT INTO MP7_AA VALUES (5);

PROCEDURE SUB8 SQLCODE;
      DELETE FROM MP7_BB;

PROCEDURE SUB9 SQLCODE;
      INSERT INTO MP7_BB VALUES (6);

PROCEDURE SUB10 SQLCODE;
      INSERT INTO MP7_BB VALUES (7);

PROCEDURE SUB11 SQLCODE;
      INSERT INTO MP7_BB VALUES (8);

PROCEDURE SUB12 SQLCODE;
      INSERT INTO MP7_BB VALUES (9);

PROCEDURE SUB13 SQLCODE;
      INSERT INTO MP7_BB VALUES (10);

PROCEDURE SUB14 SQLCODE;
      DELETE FROM MP7_NEXTKEY;

PROCEDURE SUB15 SQLCODE;
      INSERT
                    INTO MP7_NEXTKEY (KEYNUM,AUTHOR)
                    VALUES (1,'A');

PROCEDURE SUB16 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB17 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB18 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB19 SQLCODE;
      UPDATE MP7_NN
                    SET NUMTEST = 1;

PROCEDURE SUB20 SQLCODE
    :KNUM NUMERIC (9);
      SELECT COUNT(*)
                    INTO :KNUM
                    FROM MP7_NEXTKEY WHERE AUTHOR = 'B';

PROCEDURE SUB21 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB22 SQLCODE;
    OPEN YOOK;

PROCEDURE SUB23 SQLCODE
    :TMPINT NUMERIC (9);
      FETCH YOOK INTO :TMPINT;

PROCEDURE SUB24 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB25 SQLCODE
    :TMPINT NUMERIC (9);
      INSERT INTO MP7_BB VALUES (:TMPINT);

PROCEDURE SUB26 SQLCODE;
      DELETE FROM MP7_AA WHERE CURRENT OF YOOK;

PROCEDURE SUB27 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB28 SQLCODE;
      UPDATE MP7_NN
                    SET NUMTEST = 1;

PROCEDURE SUB29 SQLCODE;
    OPEN ZOOK;

PROCEDURE SUB30 SQLCODE
    :TMPINT NUMERIC (9);
      FETCH ZOOK INTO :TMPINT;

PROCEDURE SUB31 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB32 SQLCODE
    :TMPINT NUMERIC (9);
      INSERT INTO MP7_AA VALUES (:TMPINT);

PROCEDURE SUB33 SQLCODE;
      DELETE FROM MP7_BB WHERE CURRENT OF ZOOK;

PROCEDURE SUB34 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB35 SQLCODE;
      UPDATE MP7_NN
                    SET NUMTEST = 1;

PROCEDURE SUB36 SQLCODE;
      UPDATE MP7_NEXTKEY
                    SET KEYNUM = KEYNUM +1;

PROCEDURE SUB37 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB38 SQLCODE
    :CNT1 NUMERIC (9);
      SELECT COUNT(DISTINCT ANUM) INTO :CNT1 FROM MP7_AA
                 ;

PROCEDURE SUB39 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB40 SQLCODE
    :CNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :CNT2 FROM MP7_AA;

PROCEDURE SUB41 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB42 SQLCODE
    :CNT1 NUMERIC (9);
      SELECT COUNT(DISTINCT BNUM) INTO :CNT1 FROM MP7_BB
                 ;

PROCEDURE SUB43 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB44 SQLCODE
    :CNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :CNT2 FROM MP7_BB;

PROCEDURE SUB45 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB46 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0507','pass','MCO');

PROCEDURE SUB47 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0507','fail','MCO');

PROCEDURE SUB48 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB49 SQLCODE;
      DELETE FROM MP7_NEXTKEY;

PROCEDURE SUB50 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.151Quellennavigators  ]