products/sources/formale sprachen/Coq/plugins/derive image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: dml132.cob   Sprache: Cobol

Untersuchungsergebnis.mco Download desScala {Scala[66] Pl1[87] Latech[114]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module dml062.mco
-- 59-byte ID

MODULE DML062
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE CHICHI CURSOR FOR SELECT EMPNUM FROM STAFF1
             WHERE EMPNUM = 'E3'
DECLARE MAC CURSOR FOR SELECT EMPNUM FROM WORKS1
             WHERE EMPNUM = 'E3'
DECLARE KING CURSOR FOR SELECT PNUM FROM PROJ1
             WHERE PNUM = 'P2'
DECLARE PIGGY CURSOR FOR
             SELECT EMPNUM,SECOND2 FROM SULLIVAN1.MUL_SCH
             ORDER BY EMPNUM


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

PROCEDURE SUB1 SQLCODE;
      DELETE FROM SULLIVAN1.AUTH_TABLE;

PROCEDURE SUB2 SQLCODE;
      INSERT INTO SULLIVAN1.AUTH_TABLE
                  VALUES (10,'A');

PROCEDURE SUB3 SQLCODE;
      INSERT INTO SULLIVAN1.AUTH_TABLE
                  VALUES (100,'B');

PROCEDURE SUB4 SQLCODE;
      DELETE FROM AA;

PROCEDURE SUB5 SQLCODE;
      INSERT INTO AA
                  VALUES ('In God we trust');

PROCEDURE SUB6 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE;
      DELETE FROM SULLIVAN1.AUTH_TABLE;

PROCEDURE SUB8 SQLCODE;
      DELETE FROM AA;

PROCEDURE SUB9 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB10 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1 FROM
                  SULLIVAN1.AUTH_TABLE;

PROCEDURE SUB11 SQLCODE
    :TEST1 CHAR(20);
      SELECT CHARTEST INTO  :TEST1 FROM AA;

PROCEDURE SUB12 SQLCODE;
      DELETE FROM AA;

PROCEDURE SUB13 SQLCODE;
      DELETE FROM SULLIVAN1.AUTH_TABLE;

PROCEDURE SUB14 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0274','pass','MCO');

PROCEDURE SUB15 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0274','fail','MCO');

PROCEDURE SUB16 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB17 SQLCODE;
      DELETE FROM STAFF1;

PROCEDURE SUB18 SQLCODE;
      INSERT INTO STAFF1
                  SELECT * FROM STAFF;

PROCEDURE SUB19 SQLCODE;
      INSERT INTO WORKS1
                  SELECT * FROM WORKS;

PROCEDURE SUB20 SQLCODE;
      INSERT INTO PROJ1
                  SELECT * FROM PROJ;

PROCEDURE SUB21 SQLCODE;
    OPEN CHICHI;

PROCEDURE SUB22 SQLCODE;
    OPEN MAC;

PROCEDURE SUB23 SQLCODE;
    OPEN KING;

PROCEDURE SUB24 SQLCODE
    :EMPN1 CHAR(3);
      FETCH CHICHI INTO  :EMPN1;

PROCEDURE SUB25 SQLCODE
    :EMPN2 CHAR(3);
      FETCH MAC INTO  :EMPN2;

PROCEDURE SUB26 SQLCODE
    :PNUM1 CHAR(3);
      FETCH KING INTO  :PNUM1;

PROCEDURE SUB27 SQLCODE;
      UPDATE STAFF1
                  SET EMPNUM = 'E9'
                  WHERE CURRENT OF CHICHI;

PROCEDURE SUB28 SQLCODE;
      UPDATE WORKS1
                  SET EMPNUM = 'E9', PNUM = 'P9'
                  WHERE CURRENT OF MAC;

PROCEDURE SUB29 SQLCODE;
      UPDATE PROJ1
                  SET PNUM = 'P9'
                  WHERE CURRENT OF KING;

PROCEDURE SUB30 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB31 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1 FROM 
                  STAFF1,WORKS1,PROJ1
                  WHERE STAFF1.EMPNUM = 'E9' AND
                  STAFF1.EMPNUM = WORKS1.EMPNUM AND
                  PROJ1.PNUM = WORKS1.PNUM;

PROCEDURE SUB32 SQLCODE;
      DELETE FROM STAFF1;

PROCEDURE SUB33 SQLCODE;
      DELETE FROM PROJ1;

PROCEDURE SUB34 SQLCODE;
      DELETE FROM WORKS1;

PROCEDURE SUB35 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0275','pass','MCO');

PROCEDURE SUB36 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0275','fail','MCO');

PROCEDURE SUB37 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB38 SQLCODE;
      DELETE FROM SULLIVAN1.AUTH_TABLE;

PROCEDURE SUB39 SQLCODE;
      INSERT INTO SULLIVAN1.AUTH_TABLE
                  VALUES (12,'A');

PROCEDURE SUB40 SQLCODE;
    OPEN PIGGY;

PROCEDURE SUB41 SQLCODE
    :EMPN1 CHAR(3)
    :SECND1 CHAR(1);
      FETCH PIGGY INTO  :EMPN1,  :SECND1;

PROCEDURE SUB42 SQLCODE
    :EMPN2 CHAR(3)
    :SECND2 CHAR(1);
      FETCH PIGGY INTO  :EMPN2,  :SECND2;

PROCEDURE SUB43 SQLCODE;
      CLOSE PIGGY;

PROCEDURE SUB44 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB45 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0276','pass','MCO');

PROCEDURE SUB46 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0276','fail','MCO');

PROCEDURE SUB47 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB48 SQLCODE;
      UPDATE WORKS
                  SET HOURS = NULL
                  WHERE PNUM = 'P5' OR EMPNUM = 'E4';

PROCEDURE SUB49 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1 FROM STAFF;

PROCEDURE SUB50 SQLCODE
    :COUNT2 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT2 FROM STAFF
                  WHERE 40 IN (SELECT HOURS FROM WORKS
                  WHERE STAFF.EMPNUM = WORKS.EMPNUM);

PROCEDURE SUB51 SQLCODE
    :COUNT3 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT3 FROM STAFF
                  WHERE 40 NOT IN (SELECT HOURS FROM WORKS
                  WHERE STAFF.EMPNUM = WORKS.EMPNUM);

PROCEDURE SUB52 SQLCODE
    :COUNT4 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT4 FROM STAFF
                  WHERE EXISTS (SELECT * FROM WORKS
                  WHERE HOURS = 40 AND STAFF.EMPNUM = WORKS.EMPNUM);

PROCEDURE SUB53 SQLCODE
    :COUNT5 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT5 FROM STAFF
                  WHERE NOT EXISTS (SELECT * FROM WORKS
                  WHERE HOURS = 40 AND STAFF.EMPNUM = WORKS.EMPNUM);

PROCEDURE SUB54 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB55 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0279','pass','MCO');

PROCEDURE SUB56 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0279','fail','MCO');

PROCEDURE SUB57 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.89Quellennavigators  ]