Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/COBOL/Test-Suite/SQL M/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: Affine.thy Sprache: Isabelle

Spracherkennung für: .mco vermutete Sprache: Shell {Shell[51] Scala[86] CS[102]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

-- SQL Test Suite, V6.0, SQL Module mpb004.mco
-- 59-byte ID
--
MODULE MPB004
LANGUAGE COBOL
AUTHORIZATION SULLIVAN1

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

PROCEDURE SUB2 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB3 SQLCODE
    :KNUM NUMERIC (9);
      SELECT COUNT(*)
                    INTO :KNUM
                    FROM MP4_NEXTKEY WHERE AUTHOR = 'A';

PROCEDURE SUB4 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB5 SQLCODE;
      INSERT INTO MP4_NEXTKEY (KEYNUM,AUTHOR)
                    VALUES(2, 'B');

PROCEDURE SUB6 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB7 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB8 SQLCODE
    :WHO2 NUMERIC (9);
      SELECT NUMTEST INTO :WHO2  FROM MP4_MM2;

PROCEDURE SUB9 SQLCODE;
      UPDATE MP4_MM2
                    SET NUMTEST = NUMTEST - 3;

PROCEDURE SUB10 SQLCODE
    :WHO1 NUMERIC (9);
      SELECT NUMTEST INTO :WHO1 FROM MP4_NN;

PROCEDURE SUB11 SQLCODE;
      UPDATE MP4_NN
                    SET NUMTEST = NUMTEST - 5;

PROCEDURE SUB12 SQLCODE
    :RSLT1 NUMERIC (9);
      SELECT NUMTEST INTO :RSLT1 FROM MP4_NN;

PROCEDURE SUB13 SQLCODE
    :RSLT2 NUMERIC (9);
      SELECT NUMTEST INTO :RSLT2 FROM MP4_MM2;

PROCEDURE SUB14 SQLCODE;
      COMMIT WORK;

PROCEDURE SUB15 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB16 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0268','pass','MCO');

PROCEDURE SUB17 SQLCODE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0268','fail','MCO');

PROCEDURE SUB18 SQLCODE;
      COMMIT WORK;