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: MATH.vdmrt   Sprache: VDM

Untersuchungsergebnis.mco Download desScala {Scala[61] Pl1[100] Latech[123]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module dml111.mco
-- 59-byte ID
-- 
MODULE DML111
LANGUAGE COBOL
AUTHORIZATION FLATER

DECLARE C11111  CURSOR FOR S11111
DECLARE C11113  CURSOR FOR S11113
DECLARE C11114  CURSOR FOR S11114
DECLARE C11115  CURSOR FOR S11115
DECLARE C11116  CURSOR FOR S11116


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

PROCEDURE SUB2 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB3 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB4 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'CREATE TABLE TEMPS ('      ||
                    ' ENTERED TIMESTAMP,'     ||
                    ' START DATE,'          ||
                    ' APPT INTERVAL DAY,'  ||
                    ' HOUR_IN TIME,'          ||
                    ' HOUR_OUT TIME,'          ||
                    ' LUNCH INTERVAL HOUR TO MINUTE)'
                    );

PROCEDURE SUB5 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB6 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      EXECUTE IMMEDIATE :LONGST;

PROCEDURE SUB8 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB9 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB10 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'INSERT INTO TEMPS VALUES ('                      ||
                    ' TIMESTAMP ''1993-11-10 12:25:14'','            ||
                    ' DATE ''1993-11-12'','                          ||
                    ' INTERVAL ''4'' DAY,'                           ||
                    ' TIME ''08:30:00'','                            ||
                    ' TIME ''16:30:00'','                            ||
                    ' INTERVAL ''1:00'' HOUR TO MINUTE)'
                    );

PROCEDURE SUB11 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB12 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      EXECUTE IMMEDIATE :LONGST;

PROCEDURE SUB13 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB14 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'INSERT INTO TEMPS VALUES ('                      ||
                    ' TIMESTAMP ''1993-11-10 13:15:14'','            ||
                    ' DATE ''1993-11-15'','                          ||
                    ' INTERVAL ''5'' DAY,'                           ||
                    ' TIME ''08:30:00'','                            ||
                    ' TIME ''17:30:00'','                            ||
                    ' INTERVAL ''0:30'' HOUR TO MINUTE)'
                    );

PROCEDURE SUB15 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB16 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      EXECUTE IMMEDIATE :LONGST;

PROCEDURE SUB17 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB18 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'INSERT INTO TEMPS VALUES ('                      ||
                    ' TIMESTAMP ''1993-11-17 09:56:48'','            ||
                    ' DATE ''1994-11-18'','                          ||
                    ' INTERVAL ''3'' DAY,'                           ||
                    ' TIME ''09:00:00'','                            ||
                    ' TIME ''17:00:00'','                            ||
                    ' INTERVAL ''1:00'' HOUR TO MINUTE)'
                    );

PROCEDURE SUB19 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB20 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      EXECUTE IMMEDIATE :LONGST;

PROCEDURE SUB21 SQLCODE SQLSTATE
    :DSTMT CHAR(50);
      PREPARE S11111 FROM :DSTMT;

PROCEDURE SUB22 SQLCODE SQLSTATE;
    OPEN C11111;

PROCEDURE SUB23 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11111 INTO :INT1;

PROCEDURE SUB24 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11111 INTO :INT1;

PROCEDURE SUB25 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11111 INTO :INT1;

PROCEDURE SUB26 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11111 INTO :INT1;

PROCEDURE SUB27 SQLCODE SQLSTATE;
      CLOSE C11111;

PROCEDURE SUB29 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11111 INTO :INT1;

PROCEDURE SUB30 SQLCODE SQLSTATE;
      UPDATE TEMPS
                    SET LUNCH = INTERVAL '0:45' HOUR TO MINUTE
                    WHERE CURRENT OF C11111;

PROCEDURE SUB31 SQLCODE SQLSTATE;
      CLOSE C11111;

PROCEDURE SUB32 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB33 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'SELECT COUNT(*) FROM TEMPS WHERE'   ||
                    ' EXTRACT (MINUTE FROM LUNCH) <> 0' ||
                    ' AND EXTRACT (MINUTE FROM LUNCH) <> 30'
                    );

PROCEDURE SUB34 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB35 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      PREPARE S11113 FROM :LONGST;

PROCEDURE SUB36 SQLCODE SQLSTATE;
    OPEN C11113;

PROCEDURE SUB37 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11113 INTO :INT1;

PROCEDURE SUB38 SQLCODE SQLSTATE;
      CLOSE C11113;

PROCEDURE SUB39 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB40 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'SELECT COUNT(*) FROM TEMPS WHERE' ||
                    ' EXTRACT (MINUTE FROM LUNCH) = 45'
                    );

PROCEDURE SUB41 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB42 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      PREPARE S11114 FROM :LONGST;

PROCEDURE SUB43 SQLCODE SQLSTATE;
    OPEN C11114;

PROCEDURE SUB44 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11114 INTO :INT1;

PROCEDURE SUB45 SQLCODE SQLSTATE;
      CLOSE C11114;

PROCEDURE SUB46 SQLCODE SQLSTATE;
      DELETE FROM CONCATBUF;

PROCEDURE SUB47 SQLCODE SQLSTATE;
      INSERT INTO CONCATBUF VALUES (
                    'SELECT EXTRACT (YEAR FROM ENTERED) FROM TEMPS WHERE' ||
                    ' LUNCH = INTERVAL ''0:45'' HOUR TO MINUTE'
                    );

PROCEDURE SUB48 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      SELECT ZZ INTO :LONGST FROM CONCATBUF;

PROCEDURE SUB49 SQLCODE SQLSTATE
    :LONGST CHAR(240);
      PREPARE S11115 FROM :LONGST;

PROCEDURE SUB50 SQLCODE SQLSTATE;
    OPEN C11115;

PROCEDURE SUB51 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11115 INTO :INT1;

PROCEDURE SUB52 SQLCODE SQLSTATE;
      DELETE FROM TEMPS
                    WHERE CURRENT OF C11115;

PROCEDURE SUB53 SQLCODE SQLSTATE;
      CLOSE C11115;

PROCEDURE SUB55 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11114 INTO :INT1;

PROCEDURE SUB56 SQLCODE SQLSTATE;
      CLOSE C11114;

PROCEDURE SUB57 SQLCODE SQLSTATE
    :DSTMT CHAR(50);
      PREPARE S11116 FROM :DSTMT;

PROCEDURE SUB58 SQLCODE SQLSTATE;
    OPEN C11116;

PROCEDURE SUB59 SQLCODE SQLSTATE
    :INT1 NUMERIC (9);
      FETCH C11116 INTO :INT1;

PROCEDURE SUB60 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB61 SQLCODE SQLSTATE
    :DSTMT CHAR(50);
      EXECUTE IMMEDIATE :DSTMT;

PROCEDURE SUB62 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB63 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0620','pass','MCO');

PROCEDURE SUB64 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0620','fail','MCO');

PROCEDURE SUB65 SQLCODE SQLSTATE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.109Quellennavigators  ]