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/topology/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 16 kB

Quelle dml076.mco Sprache: unbekannt

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

MODULE DML076
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE X CURSOR
               FOR SELECT PNUM
               FROM PROJ
               WHERE PNAME = :NME1 :INDIC1 OR BUDGET > :COUNT1 :INDIC2

DECLARE Y CURSOR
               FOR SELECT CITY
               FROM PROJ
               WHERE PNAME = :NME1 :INDIC2 OR BUDGET < :COUNT1 :INDIC1

DECLARE DINO CURSOR
               FOR SELECT EMPNUM, CITY
               FROM STAFF
               WHERE CITY > 'Dino'

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

PROCEDURE SUB1 SQLCODE
    :NME1 CHAR(20)
    :INDIC1 NUMERIC (4)
    :COUNT1 NUMERIC (9)
    :INDIC2 NUMERIC (4);
    OPEN X;

PROCEDURE SUB2 SQLCODE
    :NME1 CHAR(20)
    :INDIC2 NUMERIC (4)
    :COUNT1 NUMERIC (9)
    :INDIC1 NUMERIC (4);
    OPEN Y;

PROCEDURE SUB3 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0410','pass','MCO');

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0410','fail','MCO');

PROCEDURE SUB5 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB6 SQLCODE;
    OPEN DINO;

PROCEDURE SUB7 SQLCODE
    :GRDE NUMERIC (9)
    :CITY1 CHAR(15);
      SELECT SUM(GRADE) INTO :GRDE
                    FROM STAFF
                    WHERE CITY = :CITY1;

PROCEDURE SUB8 SQLCODE
    :NME1 CHAR(20);
      SELECT EMPNAME INTO :NME1
                    FROM STAFF
                    WHERE EMPNAME > 'Ed';

PROCEDURE SUB9 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB10 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0435','pass','MCO');

PROCEDURE SUB11 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0435','fail','MCO');

PROCEDURE SUB12 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB13 SQLCODE;
      INSERT INTO BB VALUES(NULL);

PROCEDURE SUB14 SQLCODE;
      INSERT INTO EE VALUES(NULL);

PROCEDURE SUB15 SQLCODE;
      INSERT INTO GG VALUES(NULL);

PROCEDURE SUB16 SQLCODE;
      INSERT INTO HH VALUES(NULL);

PROCEDURE SUB17 SQLCODE;
      INSERT INTO II VALUES(NULL);

PROCEDURE SUB18 SQLCODE;
      INSERT INTO JJ VALUES(NULL);

PROCEDURE SUB19 SQLCODE;
      INSERT INTO MM VALUES(NULL);

PROCEDURE SUB20 SQLCODE;
      INSERT INTO SS VALUES(NULL);

PROCEDURE SUB21 SQLCODE
    :CHARTP CHAR(1)
    :INDIC1 NUMERIC (4);
      SELECT CHARTEST INTO :CHARTP :INDIC1
                    FROM BB;

PROCEDURE SUB22 SQLCODE
    :INTTP NUMERIC (9)
    :INDIC2 NUMERIC (4);
      SELECT INTTEST INTO :INTTP :INDIC2
                    FROM EE;

PROCEDURE SUB24 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT1
                    FROM GG
                    WHERE REALTEST IS NULL;

PROCEDURE SUB25 SQLCODE
    :SMLTP NUMERIC (4)
    :INDIC4 NUMERIC (4);
      SELECT SMALLTEST INTO :SMLTP :INDIC4
                    FROM HH;

PROCEDURE SUB27 SQLCODE
    :COUNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT2
                    FROM II
                    WHERE DOUBLETEST IS NULL;

PROCEDURE SUB29 SQLCODE
    :COUNT3 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT3
                    FROM JJ
                    WHERE FLOATTEST IS NULL;

PROCEDURE SUB30 SQLCODE
    :NUMTP NUMERIC (9)
    :INDIC7 NUMERIC (4);
      SELECT NUMTEST INTO :NUMTP :INDIC7
                    FROM MM;

PROCEDURE SUB31 SQLCODE
    :DECTP NUMERIC (9)
    :INDIC8 NUMERIC (4);
      SELECT NUMTEST INTO :DECTP :INDIC8
                    FROM SS;

PROCEDURE SUB32 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB33 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0436','pass','MCO');

PROCEDURE SUB34 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0436','fail','MCO');

PROCEDURE SUB35 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB36 SQLCODE
    :CHARTP CHAR(1)
    :INDIC1 NUMERIC (4);
      INSERT INTO BB VALUES(:CHARTP  :INDIC1);

PROCEDURE SUB37 SQLCODE
    :DECTP NUMERIC (9)
    :INDIC2 NUMERIC (4);
      INSERT INTO SS VALUES(:DECTP   :INDIC2);

PROCEDURE SUB38 SQLCODE
    :REALTP NUMERIC(8,2)
    :INDIC3 NUMERIC (4);
      INSERT INTO GG VALUES(:REALTP  :INDIC3);

PROCEDURE SUB39 SQLCODE
    :CHARTP CHAR(1)
    :INDIC4 NUMERIC (4);
      INSERT INTO BB VALUES(:CHARTP  :INDIC4);

PROCEDURE SUB40 SQLCODE
    :DECTP NUMERIC (9)
    :INDIC5 NUMERIC (4);
      INSERT INTO SS VALUES(:DECTP   :INDIC5);

PROCEDURE SUB41 SQLCODE
    :REALTP NUMERIC(8,2)
    :INDIC6 NUMERIC (4);
      INSERT INTO GG VALUES(:REALTP  :INDIC6);

PROCEDURE SUB42 SQLCODE;
      INSERT INTO DD SELECT * FROM BB;

PROCEDURE SUB43 SQLCODE;
      INSERT INTO PP SELECT NUMTEST FROM SS;

PROCEDURE SUB44 SQLCODE;
      INSERT INTO JJ SELECT REALTEST FROM GG
                    WHERE REALTEST IS NULL OR REALTEST > 0;

PROCEDURE SUB45 SQLCODE
    :CHARTP CHAR(1);
      SELECT CHARTEST INTO :CHARTP
                    FROM DD
                    WHERE CHARTEST IS NOT NULL;

PROCEDURE SUB46 SQLCODE
    :DECTP NUMERIC (9);
      SELECT NUMTEST INTO :DECTP
                    FROM PP
                    WHERE NUMTEST IS NOT NULL;

PROCEDURE SUB47 SQLCODE
    :REALTP NUMERIC(8,2);
      SELECT COUNT(*) INTO :REALTP
                    FROM JJ
                    WHERE FLOATTEST BETWEEN 44 AND 46;

PROCEDURE SUB48 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT1
                    FROM JJ
                    WHERE FLOATTEST IS NOT NULL;

PROCEDURE SUB49 SQLCODE
    :COUNT2 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT2
                    FROM DD
                    WHERE CHARTEST IS NULL;

PROCEDURE SUB50 SQLCODE
    :COUNT3 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT3
                    FROM PP
                    WHERE NUMTEST IS NULL;

PROCEDURE SUB51 SQLCODE
    :COUNT4 NUMERIC (9);
      SELECT COUNT(*) INTO :COUNT4
                    FROM JJ
                    WHERE FLOATTEST IS NULL;

PROCEDURE SUB52 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB53 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0437','pass','MCO');

PROCEDURE SUB54 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0437','fail','MCO');

PROCEDURE SUB55 SQLCODE
    :COUNT1 NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDIC1 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT1
                    FROM STAFF
                    WHERE GRADE BETWEEN 9 AND :DECTP  :INDIC1;

PROCEDURE SUB56 SQLCODE
    :COUNT2 NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDIC2 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT2
                    FROM STAFF
                    WHERE GRADE BETWEEN 9 AND :DECTP  :INDIC2;

PROCEDURE SUB57 SQLCODE
    :COUNT3 NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDIC3 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT3
                    FROM PROJ
                    WHERE BUDGET NOT BETWEEN 9999 AND :DECTP  :INDIC3;

PROCEDURE SUB58 SQLCODE
    :COUNT4 NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDIC4 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT4
                    FROM PROJ
                    WHERE BUDGET NOT BETWEEN 999 AND :DECTP  :INDIC4;

PROCEDURE SUB59 SQLCODE
    :COUNT5 NUMERIC (9)
    :NME1 CHAR(20)
    :INDIC5 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT5
                    FROM  PROJ
                    WHERE PNAME LIKE :NME1  :INDIC5;

PROCEDURE SUB60 SQLCODE
    :COUNT6 NUMERIC (9)
    :NME1 CHAR(20)
    :INDIC6 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT6
                    FROM PROJ
                    WHERE PNAME LIKE :NME1  :INDIC6;

PROCEDURE SUB61 SQLCODE
    :COUNT7 NUMERIC (9)
    :CITY1 CHAR(15)
    :INDIC7 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT7
                    FROM STAFF
                    WHERE CITY NOT LIKE :CITY1  :INDIC7;

PROCEDURE SUB62 SQLCODE
    :COUNT8 NUMERIC (9)
    :CITY1 CHAR(15)
    :INDIC8 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT8
                    FROM STAFF
                    WHERE CITY NOT LIKE :CITY1  :INDIC8;

PROCEDURE SUB63 SQLCODE
    :COUNT9 NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDIC9 NUMERIC (4);
      SELECT COUNT(*) INTO :COUNT9
                    FROM WORKS
                    WHERE HOURS <> :DECTP  :INDIC9;

PROCEDURE SUB64 SQLCODE
    :COUNTX NUMERIC (9)
    :DECTP NUMERIC (9)
    :INDICX NUMERIC (4);
      SELECT COUNT(*) INTO :COUNTX
                    FROM WORKS
                    WHERE HOURS <> :DECTP  :INDICX;

PROCEDURE SUB65 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB66 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0441','pass','MCO');

PROCEDURE SUB67 SQLCODE;
      INSERT INTO TESTREPORT
                      VALUES('0441','fail','MCO');

PROCEDURE SUB68 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB69 SQLCODE
    :VAR1 CHAR(3);
      FETCH X INTO :VAR1;

PROCEDURE SUB70 SQLCODE
    :CITY1 CHAR(15);
      FETCH Y INTO :CITY1;

PROCEDURE SUB71 SQLCODE
    :VAR1 CHAR(3)
    :CITY1 CHAR(15);
      FETCH DINO INTO :VAR1, :CITY1;

PROCEDURE SUB72 SQLCODE
    :GRDE NUMERIC (9)
    :CITY1 CHAR(15);
      UPDATE STAFF
                        SET GRADE = :GRDE + 10, CITY = :CITY1
                        WHERE CURRENT OF DINO;

PROCEDURE SUB73 SQLCODE
    :GRDE NUMERIC (9)
    :NME1 CHAR(20);
      UPDATE STAFF
                        SET GRADE = GRADE * :GRDE, EMPNAME = :NME1
                        WHERE CURRENT OF DINO;