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: TestSuite.vdmpp   Sprache: VDM

Untersuchungsergebnis.mco Download desLex {Lex[83] Fortran[90] CS[117]}zum Wurzelverzeichnis wechseln

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

MODULE DML040
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE X CURSOR FOR
             SELECT  COL1, EMPNUM, GRADE
             FROM    CUGINI.VTABLE, STAFF
             WHERE   COL1 < 200 AND GRADE > 12


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

PROCEDURE SUB1 SQLCODE;
      INSERT INTO CUGINI.VTABLE
                  SELECT *
                  FROM   VTABLE;

PROCEDURE SUB2 SQLCODE;
    OPEN X;

PROCEDURE SUB3 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0209','pass','MCO');

PROCEDURE SUB5 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0209','fail','MCO');

PROCEDURE SUB6 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE
    :COL2 NUMERIC (9)
    :EMPNO1 CHAR(3)
    :GRADE1 NUMERIC (9);
      FETCH X INTO  :COL2,  :EMPNO1,  :GRADE1;

[ zur Elbe Produktseite wechseln0.90Quellennavigators  ]