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: xts736.cob   Sprache: PVS

Untersuchungsergebnis.mco Download desLex {Lex[67] Fortran[87] CS[92]}zum Wurzelverzeichnis wechseln

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

MODULE DML027
LANGUAGE COBOL
AUTHORIZATION HU



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

PROCEDURE SUB1 SQLCODE;
      UPDATE UPUNIQ
                  SET NUMKEY = NUMKEY+1;

PROCEDURE SUB2 SQLCODE
    :I NUMERIC (9)
    :II NUMERIC (9);
      SELECT COUNT(*),SUM(NUMKEY)
                  INTO    :I, :II
                  FROM   UPUNIQ;

PROCEDURE SUB3 SQLCODE;
      ROLLBACK WORK;

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

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

PROCEDURE SUB6 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE;
      UPDATE UPUNIQ
                  SET NUMKEY = NUMKEY+1
                  WHERE NUMKEY >= 4;

PROCEDURE SUB8 SQLCODE
    :I NUMERIC (9)
    :II NUMERIC (9);
      SELECT COUNT(*),SUM(NUMKEY)
                  INTO    :I, :II
                  FROM   UPUNIQ;

PROCEDURE SUB9 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB10 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0125','pass','MCO');

PROCEDURE SUB11 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0125','fail','MCO');

PROCEDURE SUB12 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.358Quellennavigators  ]