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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: cdr019.cob   Sprache: Cobol

Untersuchungsergebnis.mco Download desPython {Python[58] Fortran[96] Ada[108]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module yts813.mco
-- 59-byte ID
-- 
MODULE YTS813
LANGUAGE COBOL
AUTHORIZATION CTS1

DECLARE DATA813  CURSOR FOR
               SELECT MONTHS FROM CTS1.PROJ_DURATION
               WHERE EMP_HOURS - TIME_LEFT IS NULL
               ORDER BY MONTHS


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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.PROJ_DURATION (MONTHS, EMP_HOURS)
                    VALUES (1, 2);

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.PROJ_DURATION VALUES (2,3,4)
                 ;

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.PROJ_DURATION (MONTHS, TIME_LEFT)
                    VALUES (3, 5);

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      INSERT INTO CTS1.PROJ_DURATION VALUES (4, 6, 7)
                 ;

PROCEDURE SUB7 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      SELECT COUNT (*) INTO :VAL1
                    FROM CTS1.PROJ_DURATION
                    WHERE TIME_LEFT + EMP_HOURS IS NOT NULL;

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
    OPEN data813;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      FETCH data813 INTO :VAL1;

PROCEDURE SUB10 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      FETCH data813 INTO :VAL1;

PROCEDURE SUB11 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      FETCH data813 INTO :VAL1;

PROCEDURE SUB12 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4),
    :INDIC1 NUMERIC (4));
      UPDATE CTS1.PROJ_DURATION
                    SET TIME_LEFT = 9
                    WHERE EMP_HOURS * :VAL1 INDICATOR :INDIC1 IS NOT NULL
                 ;

PROCEDURE SUB13 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      SELECT COUNT (*) INTO :VAL1
                    FROM CTS1.PROJ_DURATION
                    WHERE TIME_LEFT = 9;

PROCEDURE SUB14 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4),
    :INDIC1 NUMERIC (4));
      UPDATE CTS1.PROJ_DURATION 
                    SET EMP_HOURS = 3 
                    WHERE EMP_HOURS * :VAL1 INDICATOR :INDIC1 IS NOT NULL
                 ;

PROCEDURE SUB15 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4));
      SELECT COUNT (*) INTO :VAL1
                    FROM CTS1.PROJ_DURATION
                    WHERE EMP_HOURS = 3;

PROCEDURE SUB16 (SQLCODE, SQLSTATE,
    :VAL1 NUMERIC (4),
    :INDIC1 NUMERIC (4));
      SELECT EMP_HOURS INTO :VAL1:INDIC1
                    FROM CTS1.PROJ_DURATION
                    WHERE MONTHS = 3;

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

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

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

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.99Quellennavigators  ]