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/PVS/lnexp_fnd/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 1 MB

Impressum sdl018.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "SDL018.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1988/06/20 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.
      *
      * SDL018.PCO
      * WRITTEN BY: HU YANPING
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE SAME TABLE NAME IN DIFFERENT SCHEMA.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                         X3.135-1989
      *
      *                   SECTION 6. Schema definition
      *
      ****************************************************************

           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  iii 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(4) DISPLAY SIGN LEADING SEPARATE.
       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

      * date_time declaration *
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).

       PROCEDURE DIVISION.
       P0.

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

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

           DISPLAY " TEST0154 "
           DISPLAY "Reference X3.135-1989 section 6. General Rules"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           MOVE 0 TO i
           MOVE 0 TO ii
           MOVE 0 TO iii

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

           EXEC SQL SELECT COUNT(*)
             INTO   :ii
             FROM   CUGINI.VTABLE END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL INSERT INTO CUGINI.VTABLE
             SELECT *
             FROM   VTABLE END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL SELECT COUNT(*)
             INTO   :iii
             FROM   CUGINI.VTABLE END-EXEC
           MOVE SQLCODE TO SQL-COD

           EXEC SQL ROLLBACK WORK END-EXEC
           MOVE SQLCODE TO SQL-COD

           DISPLAY " i = ", i ", ii = ", ii " , iii = ", iii " "
           DISPLAY "The correct answer should be i=4, ii=0 & iii=4 "

           if (i  =  4  AND  ii  =  0  AND  iii  =  4) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0154','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0154','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " sdl018.pco *** fail *** "
           END-IF
           DISPLAY "================================================"
           DISPLAY  " "

           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%