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 Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/VDM/VDMRT/VDMRT/ Datei vom 13.4.2020 mit Größe 731 B

SSL flattab.cob Sprache: Cobol

       IDENTIFICATION DIVISION.
       PROGRAM-ID.  FLATTAB.
       ENVIRONMENT DIVISION.
       CONFIGURATION SECTION.
       SOURCE-COMPUTER.  xyz.
       OBJECT-COMPUTER.  xyz.
       DATA DIVISION.
       WORKING-STORAGE SECTION.

      * EMBEDDED COBOL (file "FLATTAB.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/06/16 EMBEDDED COBOL LANGUAGE
      * NIST SQL VALIDATION TEST SUITE V6.0
      *  DISCLAIMER:
      *  This program was written by employees of NIST to test SQL
      *  implementations for conformance to the SQL standards.
      *  NIST assumes no responsibility for any party's use of
      *  this program.
      *
      * FLATTAB.PCO
      * WRITTEN BY: David W. Flater
      *
      * Yet another table initialization module.
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  i PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  ii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
             EXEC SQL END DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  local PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
      *date_time declaration
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       PROCEDURE DIVISION.
       P0.

             MOVE "FLATER" TO uid
             CALL "AUTHID" USING uid

             MOVE "not logged in, not" TO uidx
             EXEC SQL SELECT USER INTO :uidx FROM HU.ECCO END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (uid  NOT  =   uidx) then
               DISPLAY "ERROR: User ", uid " expected. User ", uidx "
      -    " connected"
             STOP RUN
             END-IF

             MOVE 0 TO errcnt
           DISPLAY
              "SQL Test Suite, V6.0, Embedded COBOL, flattab.pco"
           DISPLAY
           "59-byte ID"
             DISPLAY "TEd Version #"
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

             EXEC SQL DELETE FROM BASE_VS1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO BASE_VS1 VALUES (0,1) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO BASE_VS1 VALUES (1,0) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO BASE_VS1 VALUES (0,0) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO BASE_VS1 VALUES (1,1) END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL SELECT COUNT(*) INTO :i FROM BASE_VS1 END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (i  =  4) then
               DISPLAY "BASE_VS1 was created successfully!"
             else
               DISPLAY "*****************************************"
               DISPLAY "* BASE_VS1 ERROR !!! *"
               DISPLAY "*****************************************"
               COMPUTE errcnt = errcnt + 1
             END-IF

             EXEC SQL DELETE FROM USIG END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO USIG VALUES (0,2) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO USIG VALUES (1,3) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL DELETE FROM U_SIG END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO U_SIG VALUES (4,6) END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL INSERT INTO U_SIG VALUES (5,7) END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL SELECT COUNT(*) INTO :i FROM USIG END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL SELECT COUNT(*) INTO :ii FROM U_SIG END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (i  =  2  AND  ii  =  2) then
               DISPLAY "USIG and U_SIG were created successfully!"
             else
               DISPLAY "*****************************************"
               DISPLAY "* USIG, U_SIG ERROR !!! *"
               DISPLAY "*****************************************"
               COMPUTE errcnt = errcnt + 1
             END-IF
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

quality100%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

*Bot Zugriff

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.