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/algebra/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 795 B

Quelle xts768.cob Sprache: Cobol

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

      * Standard COBOL (file "XTS768.SCO") calling SQL
      * procedures in file "XTS768.MCO".

      *Copyright 1995 National Computing Centre Limited
      *and Computer Logic R&D S.A
      *on behalf of the CTS5 SQL2 Project.
      *All rights reserved.
      *The CTS5 SQL2 Project is sponsored by the European Community.
      *
      *The National Computing Centre Limited and Computer Logic R&D
      *have given permission to NIST to distribute this program
      *over the World Wide Web in order to promote SQL standards.
      *DISCLAIMER:
      *This program was reviewed by employees of NIST for
      *conformance to the SQL standards.
      *NIST assumes no responsibility for any party's use of
      *this program.

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * SQL VALIDATION TEST SUITE V6.0
      *
      * XTS768.SCO                     TEST7068
      * WRITTEN BY: Nickos Backalidis
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED COBOL BY CHRIS SCHANZLE
      *
      * Presence of SQL_TEXT in CHARACTER_SETS view.
      *
      * REFERENCES
      *   21.2.18 -- CHARACTER_SETS view
      *   21.3.23 -- CHARACTER_SETS base table
      *   21.3.23 DE.5
      *   5.1  -- <SQL terminal character>
      *   4.2  -- Character strings
      *   F#2  -- Basic Information schema
      *   F#46 -- Named character sets
      *
      * DATE LAST ALTERED  18/12/95 CTS5 Hand-over Test
      *
      * Cleanups and fixes by V. Kogakis 18/12/95
      *        Print timestamp
      *        Include Files
      *        Define NOSUBCLASS/CHCKOK at test beginning
      *
      * QA STATUS : FC
      *
      * Revised by DWF 1996-02-26
      *   Fixed SQL syntax errors
      ****************************************************************

      * EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  SQLSTATE PIC  X(5).
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
       01  counok PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  dcsch PIC  X(128).
       01  dcname PIC  X(128).
       01  cat1 PIC  X(128).
       01  cat2 PIC  X(128).
       01  indic1 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  indic2 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  nchars PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
      *  EXEC SQL END DECLARE SECTION END-EXEC
       01  norm1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  norm2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  ALPNUM-TABLE VALUE IS
               "01234ABCDEFGH56789IJKLMNOPQRSTUVWXYZ".
           05  ALPNUM PIC X OCCURS 36 TIMES.
       01  NORMSQ.
           05  NORMSQX PIC X OCCURS 5 TIMES.
       01  errcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
      *date_time declaration
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

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

       PROCEDURE DIVISION.
       P0.

             MOVE "CTS1 " TO uid
             CALL "AUTHID" USING uid
             MOVE "not logged in, not" TO uidx
      *  EXEC SQL SELECT USER INTO :uidx FROM CTS1.ECCO;
             CALL "SUB1" USING SQLCODE SQLSTATE uidx
             MOVE SQLCODE TO SQL-COD
      *  EXEC SQL ROLLBACK WORK;
             CALL "SUB2" USING SQLCODE SQLSTATE
             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, Module COBOL, xts768.sco"
             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

      ******************** BEGIN TEST7068 *******************
             MOVE 1 TO flag
             DISPLAY " TEST7068"
             DISPLAY " Presence of SQL_TEXT in CHARACTER_SETS view"
             DISPLAY " References "
             DISPLAY " 21.2.18 -- CHARACTER_SETS view "
             DISPLAY " 21.3.23 -- CHARACTER_SETS base table "
             DISPLAY " 21.3.23 DE.5"
             DISPLAY " 5.1 -- "
             DISPLAY " 4.2 -- Character strings "
             DISPLAY " F#2 -- Basic Information schema "
             DISPLAY " F#46 -- Named character sets "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

      *Initialise error reporting variables
             COMPUTE SQLCODE = -1
             MOVE "xxxxx" TO SQLSTATE

             MOVE 0 TO counok

             DISPLAY "SELECT COUNT(CHARACTER_SET_NAME) INTO :counok"
             DISPLAY "FROM INFORMATION_SCHEMA.CHARACTER_SETS"
             DISPLAY "WHERE CHARACTER_SET_SCHEMA = 'INFORMATION_SCHEMA'"
             DISPLAY "AND CHARACTER_SET_NAME = 'SQL_TEXT';"
      *  EXEC SQL SELECT COUNT(CHARACTER_SET_NAME) INTO :counok
      *    FROM INFORMATION_SCHEMA.CHARACTER_SETS
      *    WHERE CHARACTER_SET_SCHEMA = 'INFORMATION_SCHEMA'
      *    AND CHARACTER_SET_NAME = 'SQL_TEXT';
             CALL "SUB3" USING SQLCODE SQLSTATE counok
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "counok should be 1; its value is ", counok
             if (counok  NOT =  1) then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *initialise host variables
             MOVE "xxxxxxxxxx" TO dcsch
             MOVE "xxxxxxxxxx" TO dcname
             MOVE "xxxxxxxxxx" TO cat1
             MOVE "xxxxxxxxxx" TO cat2
             MOVE 0 TO nchars
             MOVE 99 TO indic1
             MOVE 99 TO indic2

      *2nd SELECT
             DISPLAY "SELECT
      -    " DEFAULT_COLLATE_SCHEMA,DEFAULT_COLLATE_NAME,"
             DISPLAY "
      -    " CHARACTER_SET_CATALOG,DEFAULT_COLLATE_CATALOG,"
             DISPLAY " NUMBER_OF_CHARACTERS"
             DISPLAY " INTO
      -    " :dcsch,:dcname,:cat1:indic1,:cat2:indic2,:nchars"
             DISPLAY " FROM INFORMATION_SCHEMA.CHARACTER_SETS"
             DISPLAY " WHERE CHARACTER_SET_SCHEMA =
      -    " 'INFORMATION_SCHEMA'"
             DISPLAY " AND CHARACTER_SET_NAME = 'SQL_TEXT';"
      *  EXEC SQL SELECT
      *  DEFAULT_COLLATE_SCHEMA,DEFAULT_COLLATE_NAME,
      *    CHARACTER_SET_CATALOG,DEFAULT_COLLATE_CATALOG,
      *    NUMBER_OF_CHARACTERS
      *    INTO :dcsch,:dcname,:cat1:indic1,:cat2:indic2,:nchars
      *    FROM INFORMATION_SCHEMA.CHARACTER_SETS
      *    WHERE CHARACTER_SET_SCHEMA = 'INFORMATION_SCHEMA'
      *    AND CHARACTER_SET_NAME = 'SQL_TEXT';
             CALL "SUB4" USING SQLCODE SQLSTATE dcsch dcname cat1 indic1
             cat2 indic2 nchars
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY "dcsch should be INFORMATION_SCHEMA; it is ", dcsch
             DISPLAY "dcname should be SQL_TEXT;it is ", dcname
             DISPLAY "nchars should be >= 83; it is ", nchars
             DISPLAY "indic1 should be >= 0; its value is ", indic1
             DISPLAY "indic2 should be >= 0; its value is ", indic2
             DISPLAY "cat1 is ", cat1
             DISPLAY "cat2 is ", cat2
             if (dcsch  NOT  =   "INFORMATION_SCHEMA"  OR  nchars  <
             83) then
               MOVE 0 TO flag
             END-IF
             if (dcname  NOT  =   "SQL_TEXT"  OR  indic1  <  0  OR
             indic2  <  0) then
               MOVE 0 TO flag
             END-IF
             DISPLAY  " "

      *Previous tests have enforced indicator = 0.  This would only
      *break if the catalog name were longer than 128 characters, a
      *very unlikely possibility.  At this point it isn't worth changi
      *unless it causes a problem for someone.

             DISPLAY "ROLLBACK WORK;"
      *  EXEC SQL ROLLBACK WORK;
             CALL "SUB5" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
           PERFORM CHCKOK
             DISPLAY  " "

      *record results

             if ( flag  =  1 ) then
               DISPLAY " xts768.mco *** pass *** "
      *    EXEC SQL INSERT INTO CTS1.TESTREPORT
      *      VALUES('7068','pass','MCO');
               CALL "SUB6" USING SQLCODE SQLSTATE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " xts768.mco *** fail *** "
      *    EXEC SQL INSERT INTO CTS1.TESTREPORT
      *      VALUES('7068','fail','MCO');
               CALL "SUB7" USING SQLCODE SQLSTATE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

             DISPLAY "========================================"

      *  EXEC SQL COMMIT WORK;
             CALL "SUB8" USING SQLCODE SQLSTATE
             MOVE SQLCODE TO SQL-COD
      ******************** END TEST7068 ********************

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

      *    ****  Procedures for PERFORM statements

      *Test SQLCODE and SQLSTATE for normal completion.
       CHCKOK.
             DISPLAY "SQLCODE should be 0; its value is ", SQL-COD
             DISPLAY "SQLSTATE should be 00000; its value is ", SQLSTATE
             PERFORM NOSUBCLASS THRU EXIT-NOSUBCLASS
             if (SQLCODE NOT =  0  OR   NORMSQ NOT = "00000") then
               MOVE 0 TO flag
             END-IF
             if (NORMSQ = "00000"  AND  NORMSQ NOT = SQLSTATE)
             then
               DISPLAY "Valid implementation-defined SQLSTATE accepted."
             END-IF
             .

       NOSUBCLASS.

      *This routine replaces valid implementation-defined
      *subclasses with 000.  This replacement equates valid
      *implementation-defined subclasses with the 000 value
      *expected by the test case; otherwise the test will fail.
      *After calling NOSUBCLASS, NORMSQ will be tested
      *                          SQLSTATE will be printed.

           MOVE SQLSTATE TO NORMSQ

           MOVE 3 TO norm1
      *subclass begins in position 3 of char array NORMSQ
      *valid subclass begins with 5-9, I-Z, end of ALPNUM table
           PERFORM VARYING norm2 FROM 14 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

      *Quit if NORMSQ is unchanged.  Subclass is not impl.-def.
      *Changed NORMSQ means implementation-defined subclass,
      *so proceed to zero it out, if valid (0-9,A-Z)
           if (NORMSQ   =   SQLSTATE) then
             GO TO EXIT-NOSUBCLASS
           END-IF

           MOVE 4 TO norm1
      *examining position 4 of char array NORMSQ
      *valid characters are 0-9, A-Z
           PERFORM VARYING norm2 FROM 1 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

           MOVE 5 TO norm1
      *valid characters are 0-9, A-Z
      *examining position 5 of char array NORMSQ
           PERFORM VARYING norm2 FROM 1 BY 1 UNTIL norm2 > 36
           if (NORMSQX(norm1)  =  ALPNUM(norm2)) then
             MOVE "0" TO NORMSQX(norm1)
           END-IF
           END-PERFORM

      *implementation-defined subclasses are allowed for warnings
      *(class = 01).  These equate to successful completion
      *SQLSTATE values of 00000.
      *Reference SQL-92 4.28 SQL-transactions, paragraph 2

           if (NORMSQX(1)  =  "0"  AND  NORMSQX(2)  =  "1") then
             MOVE "0" TO NORMSQX(2)
           END-IF
           .

       EXIT-NOSUBCLASS.
           EXIT.

quality98%

¤ 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.0.13Bemerkung: (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.