products/sources/formale Sprachen/Coq/test-suite/ssr/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: dml148.mco   Sprache: Unknown

rahmenlose Ansicht.mco DruckansichtLex {Lex[71] CS[80] Ada[132]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

-- 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;

[ Verzeichnis aufwärts0.171unsichere Verbindung  ]