products/Sources/formale Sprachen/Isabelle/HOL/Probability/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: xts746.mco   Sprache: Unknown

Spracherkennung für: .mco vermutete Sprache: Python {Python[107] Lex[137] Latech[158]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

-- SQL Test Suite, V6.0, SQL Module dml170.mco
-- 59-byte ID
-- 
MODULE DML170
LANGUAGE COBOL
AUTHORIZATION FLATER

DECLARE  
         "This change notice modifies Section 10 of FIPS PUB 127-2."
               CURSOR FOR
               SELECT C1 FROM T0880 ORDER BY C1


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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      ROLLBACK WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE);
      CREATE TABLE T0880 (
                    C1 INT, C2 INT,
                    CONSTRAINT
                    "It was the best of times; it was the worst of times."
                    PRIMARY KEY (C1, C2))
                   ;

PROCEDURE SUB4 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      INSERT INTO T0880 VALUES (0, 1);

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      INSERT INTO T0880 VALUES (1, 2);

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
    OPEN "This change notice modifies Section 10 of FIPS PUB 127-2.";

PROCEDURE SUB8 (SQLCODE, SQLSTATE,
    :INT1 NUMERIC (9));
   FETCH "This change notice modifies Section 10 of FIPS PUB 127-2."
                    INTO :INT1;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :INT1 NUMERIC (9));
      FETCH "This change notice modifies Section 10 of FIPS PUB 127-2."
                    INTO :INT1;

PROCEDURE SUB10 (SQLCODE, SQLSTATE);
      CLOSE "This change notice modifies Section 10 of FIPS PUB 127-2.";

PROCEDURE SUB11 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB12 (SQLCODE, SQLSTATE);
      ALTER TABLE T0880
       DROP CONSTRAINT "It was the best of times; it was the worst of times."
      CASCADE;

PROCEDURE SUB13 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB14 (SQLCODE, SQLSTATE);
      INSERT INTO T0880 VALUES (0, 1);

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB16 (SQLCODE, SQLSTATE);
      DROP TABLE T0880 CASCADE;

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB18 (SQLCODE, SQLSTATE);
      INSERT INTO HU.TESTREPORT
                      VALUES('0880','pass','MCO');

PROCEDURE SUB19 (SQLCODE, SQLSTATE);
      INSERT INTO HU.TESTREPORT
                      VALUES('0880','fail','MCO');

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB21 (SQLCODE, SQLSTATE);
      CREATE CHARACTER SET "Little boxes on the hillside, Little boxes made of ticky-tacky"
       GET SQL_TEXT;

PROCEDURE SUB22 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB23 (SQLCODE, SQLSTATE);
      CREATE DOMAIN "Little boxes on the hillside, Little boxes all the same."
        CHAR (4) CHARACTER SET "Little boxes on the hillside, Little boxes made of" ticky-tacky";

PROCEDURE SUB24 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB25 (SQLCODE, SQLSTATE);
      CREATE TABLE T0881 ( C1 "Little boxes on the hillside, Little boxes all the same.");

PROCEDURE SUB26 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB27 (SQLCODE, SQLSTATE);
      INSERT INTO T0881 VALUES ('ABCD');

PROCEDURE SUB28 (SQLCODE, SQLSTATE,
    :INT1 NUMERIC (9));
      SELECT COUNT(*) INTO :INT1 FROM T0881
                    WHERE C1 = 'ABCD';

PROCEDURE SUB29 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB30 (SQLCODE, SQLSTATE);
      DROP TABLE T0881 CASCADE;

PROCEDURE SUB31 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB32 (SQLCODE, SQLSTATE);
      DROP DOMAIN "Little boxes on the hillside, Little boxes all the same."
       CASCADE;

PROCEDURE SUB33 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB34 (SQLCODE, SQLSTATE);
      DROP CHARACTER SET "Little boxes on the hillside, Little boxes made of ticky-tacky";

PROCEDURE SUB35 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB36 (SQLCODE, SQLSTATE);
      INSERT INTO HU.TESTREPORT
                      VALUES('0881','pass','MCO');

PROCEDURE SUB37 (SQLCODE, SQLSTATE);
      INSERT INTO HU.TESTREPORT
                      VALUES('0881','fail','MCO');

PROCEDURE SUB38 (SQLCODE, SQLSTATE);
      COMMIT WORK;

[ Dauer der Verarbeitung: 0.67 Sekunden  ]