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: pathname.pvs   Sprache: PVS

Untersuchungsergebnis.mco Download desLex {Lex[64] Fortran[89] CS[121]}zum Wurzelverzeichnis wechseln

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

MODULE SDL002
LANGUAGE COBOL
AUTHORIZATION SULLIVAN



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

PROCEDURE SUB1 SQLCODE
    :EMPNO1 CHAR(3)
    :EMPNA1 CHAR(20)
    :USERID CHAR(19);
      SELECT EMPNUM,EMPNAME,USER
                  INTO    :EMPNO1, :EMPNA1, :USERID
                  FROM   HU.STAFF
                  WHERE  EMPNUM = 'E3';

PROCEDURE SUB2 SQLCODE;
      INSERT INTO HU.STAFF
                  VALUES('E7','SULLIVAN',15,'Gaithersburg');

PROCEDURE SUB3 SQLCODE
    :EMPNO1 CHAR(3)
    :EMPNA1 CHAR(20);
      SELECT EMPNUM,EMPNAME
                  INTO  :EMPNO1, :EMPNA1
                  FROM HU.STAFF
                  WHERE EMPNUM='E7';

PROCEDURE SUB4 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB5 SQLCODE;
      INSERT INTO HU.TESTREPORT
                    VALUES('0138','pass','MCO');

PROCEDURE SUB6 SQLCODE;
      INSERT INTO HU.TESTREPORT
                    VALUES('0138','fail','MCO');

PROCEDURE SUB7 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.108Quellennavigators  ]