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

Untersuchungsergebnis.mco Download desShell {Shell[60] CS[75] Ada[128]}zum Wurzelverzeichnis wechseln

-- SQL Test Suite, V6.0, SQL Module cob010.mco
-- 59-byte ID
-- 
MODULE COB010
LANGUAGE COBOL
AUTHORIZATION HU

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

PROCEDURE SUB2 SQLCODE;
      DELETE FROM HH;

PROCEDURE SUB3 SQLCODE;
      INSERT INTO HH
                VALUES(10);

PROCEDURE SUB4 SQLCODE
    :VAR2 SMALLINT;
      SELECT * 
                INTO   :VAR2
                FROM   HH;

PROCEDURE SUB5 SQLCODE;
      DELETE FROM EE;

PROCEDURE SUB6 SQLCODE;
      INSERT INTO EE
                VALUES(100000);

PROCEDURE SUB7 SQLCODE
    :VAR6 INTEGER;
      SELECT * 
                INTO   :VAR6
                FROM   EE;

PROCEDURE SUB8 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB9 SQLCODE;
      INSERT INTO TESTREPORT
                VALUES('0535','pass','MCO');

PROCEDURE SUB10 SQLCODE;
      INSERT INTO TESTREPORT
                VALUES('0535','fail','MCO');

PROCEDURE SUB11 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB12 SQLCODE;
      DELETE FROM EE;

PROCEDURE SUB13 SQLCODE;
      INSERT INTO EE
                VALUES(100000000);

PROCEDURE SUB14 SQLCODE
    :VAR9 INTEGER;
      SELECT * 
                INTO   :VAR9
                FROM   EE;

PROCEDURE SUB15 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB16 SQLCODE;
      INSERT INTO TESTREPORT
                VALUES('0536','pass','MCO');

PROCEDURE SUB17 SQLCODE;
      INSERT INTO TESTREPORT
                VALUES('0536','fail','MCO');

PROCEDURE SUB18 SQLCODE;
      COMMIT WORK;

[ zur Elbe Produktseite wechseln0.84Quellennavigators  ]