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: bug_3463.v   Sprache: Coq

Untersuchungsergebnis.mco Download desLex {Lex[71] CS[80] Ada[132]}zum Wurzelverzeichnis wechseln

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

MODULE SDL019
LANGUAGE COBOL
AUTHORIZATION HU



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

PROCEDURE SUB1 SQLCODE
    :I NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :I
                  FROM   WORKS;

PROCEDURE SUB2 SQLCODE;
      INSERT INTO WORKS
                  SELECT 'E3',PNUM,100
                  FROM   PROJ;

PROCEDURE SUB3 SQLCODE
    :III NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :III
                  FROM   WORKS;

PROCEDURE SUB4 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB5 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0155','pass','MCO');

PROCEDURE SUB6 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0155','fail','MCO');

PROCEDURE SUB7 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.87Quellennavigators  ]