Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/TU_Games/   (Beweissystem der NASA Version 6.0.9©) image not shown  

Quelle  cdr019.mco   Sprache: unbekannt

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

MODULE CDR019
LANGUAGE COBOL
AUTHORIZATION SUN



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

PROCEDURE SUB1 SQLCODE;
      INSERT INTO EMP VALUES
                  (41,'Tom','China Architecture',
                  20,'Architecture',040553);

PROCEDURE SUB2 SQLCODE;
      INSERT INTO DEPT VALUES
                  (20,'Architecture','Richard');

PROCEDURE SUB3 SQLCODE;
      INSERT INTO EMP VALUES
                  (41,'Tom','China Architecture',
                  20,'Architecture',040553);

PROCEDURE SUB4 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1 FROM EMP
                  WHERE ENO = 41;

PROCEDURE SUB5 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB6 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0365','pass','MCO');

PROCEDURE SUB7 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0365','fail','MCO');

PROCEDURE SUB8 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB9 SQLCODE;
      DELETE FROM EMP
                  WHERE ENO = 21;

PROCEDURE SUB10 SQLCODE;
      DELETE FROM EXPERIENCE
                  WHERE EXP_NAME = 'Tom' AND BTH_DATE = 040523;

PROCEDURE SUB11 SQLCODE;
      DELETE FROM EMP
                  WHERE ENO = 21;

PROCEDURE SUB12 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1 FROM EMP
                  WHERE ENO = 21;

PROCEDURE SUB13 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB14 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0366','pass','MCO');

PROCEDURE SUB15 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0366','fail','MCO');

PROCEDURE SUB16 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB17 SQLCODE;
      UPDATE EMP
                  SET ENAME = 'Thomas'
                  WHERE ENO = 21;

PROCEDURE SUB18 SQLCODE;
      UPDATE EMP
                  SET DNAME = 'Agriculture'
                  WHERE  ENO = 21;

PROCEDURE SUB19 SQLCODE;
      UPDATE EMP
                  SET DNAME = 'Education'
                  WHERE  ENO = 21;

PROCEDURE SUB20 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1
                  FROM EMP
                  WHERE DNO = 12 AND DNAME = 'Education'
                  AND ENO = 21 AND ENAME = 'Tom';

PROCEDURE SUB21 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB22 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0367','pass','MCO');

PROCEDURE SUB23 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0367','fail','MCO');

PROCEDURE SUB24 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB25 SQLCODE;
      UPDATE EMP
                  SET ENAME = 'Thomas'
                  WHERE ENO = 21;

PROCEDURE SUB26 SQLCODE;
      INSERT INTO EMP VALUES
                  (30,'Thomas','Languages & Operating System',
                  12,'Computer',040523);

PROCEDURE SUB27 SQLCODE;
      UPDATE EXPERIENCE
                  SET EXP_NAME = 'Thomas'
                  WHERE EXP_NAME = 'Tom' AND BTH_DATE = 040523;

PROCEDURE SUB28 SQLCODE;
      DELETE FROM EMP
                  WHERE  ENO = 21;

PROCEDURE SUB29 SQLCODE
    :COUNT1 NUMERIC (9);
      SELECT COUNT(*) INTO  :COUNT1
                  FROM EMP
                  WHERE DNO = 12 AND ENO = 21 
                  AND ENAME = 'Tom';

PROCEDURE SUB30 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB31 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0368','pass','MCO');

PROCEDURE SUB32 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0368','fail','MCO');

PROCEDURE SUB33 SQLCODE;
      COMMIT WORK;

[ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ]