products/sources/formale Sprachen/PVS/vect_analysis/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 2 kB image not shown  

Quelle  sdl009.mco   Sprache: unbekannt

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

MODULE SDL009
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)
    :HOURS1 NUMERIC (9)
    :USERID CHAR(19);
      SELECT HU.STAFF.EMPNUM,EMPNAME,HOURS,USER
                  INTO    :EMPNO1, :EMPNA1, :HOURS1, :USERID
                  FROM   HU.STAFF,HU.WORKS
                  WHERE  HU.STAFF.EMPNUM='E1' AND PNUM='P3';

PROCEDURE SUB2 SQLCODE;
      INSERT INTO HU.TESTREPORT
                    VALUES('0145','pass','MCO');

PROCEDURE SUB3 SQLCODE;
      INSERT INTO HU.TESTREPORT
                    VALUES('0145','fail','MCO');

PROCEDURE SUB4 SQLCODE;
      COMMIT WORK;

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]