products/sources/formale sprachen/Cobol/Test-Suite/COBOL/ST image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: bug_3374.v   Sprache: Coq

000100 IDENTIFICATION DIVISION.                                         RL2054.2
000200 PROGRAM-ID.                                                      RL2054.2
000300     RL205A.                                                      RL2054.2
000400****************************************************************  RL2054.2
000500*                                                              *  RL2054.2
000600*    VALIDATION FOR:-                                          *  RL2054.2
000700*                                                              *  RL2054.2
000800*    "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH.     ".RL2054.2
000900*                                                              *  RL2054.2
001000*    "COBOL 85 VERSION 4.2, Apr  1993 SSVG                      ".RL2054.2
001100*                                                              *  RL2054.2
001200****************************************************************  RL2054.2
001300*    THE FUNCTION OF THIS PROGRAM IS TO TEST THE PERMISSIBLE SYN- RL2054.2
001400*    TACTICAL CONSTRUCTS OF COBOL ELEMENTS ASSOCIATED WITH LEVEL 2RL2054.2
001500*    OF THE RELATIVE I-O MODULE.  THE ELEMENTS TESTED IN THIS     RL2054.2
001600*    ROUTINE ARE:                                                 RL2054.2
001700*                                                                 RL2054.2
001800*            USE AFTER ERROR PROCEDURE FILE-NAME-1 FILE-NAME-2    RL2054.2
001900*            READ .....  NEXT                                     RL2054.2
002000*            READ .....  NEXT RECORD INTO ....                    RL2054.2
002100*            READ .....  NEXT INTO .....                          RL2054.2
002200*            READ .....  NEXT INTO ..... AT END ....              RL2054.2
002300*            READ .....                                           RL2054.2
002400*            READ .....  INTO .....                               RL2054.2
002500*            READ .....  RECORD                                   RL2054.2
002600*            READ .....  RECORD  INVALID .....                    RL2054.2
002700*            READ .....  RECORD  INVALID KEY ....                 RL2054.2
002800*            START FILE-NAME-2                                    RL2054.2
002900*            START FILE-NAME-2 KEY EQUAL TO ....                  RL2054.2
003000*            START FILE-NAME-2 KEY IS EQUAL TO  ....              RL2054.2
003100*            START FILE-NAME-2 KEY IS EQUAL .....                 RL2054.2
003200*            START FILE-NAME-2 KEY IS =  ......                   RL2054.2
003300*            START FILE-NAME-2 KEY IS GREATER  .....              RL2054.2
003400*            START FILE-NAME-2 KEY  GREATER THAN ....             RL2054.2
003500*            START FILE-NAME-2 KEY IS GREATER  .....              RL2054.2
003600*            START FILE-NAME-2 KEY IS  >   ....                   RL2054.2
003700*            START FILE-NAME-2 KEY     >   ....                   RL2054.2
003800*            START FILE-NAME-2 KEY IS NOT LESS THAN ....          RL2054.2
003900*            START FILE-NAME-2 KEY IS NOT LESS  ....              RL2054.2
004000*            START FILE-NAME-2 KEY    NOT LESS  ....              RL2054.2
004100*            START FILE-NAME-2 KEY IS NOT  <  .....               RL2054.2
004200*            START FILE-NAME-1 KEY IS EQUAL TO INVALID KEY .....  RL2054.2
004300*            START FILE-NAME-1 KEY IS EQUAL TO INVALID ....       RL2054.2
004400*            START FILE-NAME-1 INVALID KEY ....                   RL2054.2
004500*            START FILE-NAME-1 ; INVALID KEY ....                 RL2054.2
004600*            START FILE-NAME-1 KEY EQUAL TO  .....                RL2054.2
004700*            FILE POSITION INDICATOR                              RL2054.2
004800*                                                                 RL2054.2
004900*    EACH ELEMENT TESTED WILL BE EXERCISED SEMANTICALLY BY THIS   RL2054.2
005000*    ROUTINE.                                                     RL2054.2
005100*    FOR A RELATIVE OR INDEXED FILE IN THE DYNAMIC ACCESS MODE,   RL2054.2
005200*    EXECUTION OF AN "OPEN I-O" STATEMENT FOLLOWED BYONE OR       RL2054.2
005300*    MORE "WRITE" STATEMENTS AND THEN A "READ NEXT" STATEMENT     RL2054.2
005400*    WILL CAUSE THE "READ" STATEMENT TO ACCESS THE FIRST RECORD   RL2054.2
005500*    IN THE FILE AT THE TIME OF EXECUTION OF THE "READ"           RL2054.2
005600*    STATEMENT.  SYNTAX TESTS FOR THE "START" STATEMENT ARE       RL2054.2
005700*    ALSO INCLUDED.                                               RL2054.2
005800*                                                                 RL2054.2
005900*                                                                 RL2054.2
006000*       X-CARDS  WHICH MUST BE REPLACED FOR THIS PROGRAM ARE      RL2054.2
006100*                                                                 RL2054.2
006200*             X-21   RELATIVE FILE IMPLEMENTOR-NAME IN ASSGN TO   RL2054.2
006300*                    CLAUSE FOR DATA FILE RL-FS1                  RL2054.2
006400*             X-22   RELATIVE FILE IMPLEMENTOR-NAME IN ASSIGN TO  RL2054.2
006500*                    CLAUSE FOR DATA FILE RL-FD2                  RL2054.2
006600*             X-55   IMPLEMENTOR-NAME FOR SYSTEM PRINTER          RL2054.2
006700*             X-69   ADDITIONAL VALUE OF PHRASES                  RL2054.2
006800*             X-74   VALUE OF IMPLEMENTOR-NAME                    RL2054.2
006900*             X-75   OBJECT OF VALUE OF CLAUSE FOR FILE RL-FS1    RL2054.2
007000*             X-76   OBJECT OF VALUE OF CLAUSE FOR FILE RL-FD2    RL2054.2
007100*             X-82   IMPLEMENTOR-NAME FOR SOURCE-COMPUTER         RL2054.2
007200*             X-83   IMPLEMENTOR-NAME FOR OBJECT-COMPUTER         RL2054.2
007300*                                                                 RL2054.2
007400*        NOTE:  X-CARDS 69,74,75 AND 76 ARE OPTIONAL              RL2054.2
007500*               AND NEED ONLY TO BE PRESENT IF THE COMPILER RE-   RL2054.2
007600*               QUIRES THIS CODE BE AVAILABLE FOR PROPER PROGRAM  RL2054.2
007700*               COMPILATION AND EXECUTION. IF THE VP-ROUTINE IS   RL2054.2
007800*               USED THE  X-CARDS MAY BE AUTOMATICALLY SELECTED   RL2054.2
007900*               FOR INCLUSION IN THE PROGRAM BY SPECIFYING THE    RL2054.2
008000*               APPROPRIATE LETTER IN THE "*OPT" VP-ROUTINE       RL2054.2
008100*               CONTROL CARD. THE LETTER  CORRESPONDS TO A        RL2054.2
008200*               CHARACTER IN POSITION 7 OF THE SOURCE LINE AND    RL2054.2
008300*               THEY ARE AS FOLLOWS                               RL2054.2
008400*                                                                 RL2054.2
008500*                  C  SELECTS X-CARDS 74,75 AND 76                RL2054.2
008600*                  G  SELECTS X-CARDS 69                          RL2054.2
008700*                                                                 RL2054.2
008800*        NOTE:  THERE IS OPTIONAL SOURCE CODE IN THIS PROGRAM     RL2054.2
008900*               FOR THE CONVENIENCE OF THE USER.  THIS OPTIONAL   RL2054.2
009000*               CODE IS IDENTIFIED BY THE LETTER  X IN            RL2054.2
009100*               POSITION 7  OF THE SOURCE LINE.  USE OF           RL2054.2
009200*               SOURCE CODE WITH LETTER X WILL PRINT THE CONTENTS RL2054.2
009300*               OF THE FILES AFTER THE TEST REPORT.               RL2054.2
009400*               IF THE VP-ROUTINE IS USED THE APPROPRIATE         RL2054.2
009500*               SOURCE CODE MAY BE SELECTED BY SPECIFYING THE     RL2054.2
009600*               RESPECTIVE LETTER IN THE "*OPT" VP-ROUTINE CONTROLRL2054.2
009700*               CARD.                                             RL2054.2
009800*                                                                 RL2054.2
009900******************************************************            RL2054.2
010000 ENVIRONMENT DIVISION.                                            RL2054.2
010100 CONFIGURATION SECTION.                                           RL2054.2
010200 SOURCE-COMPUTER.                                                 RL2054.2
010300     Card0130.                                                    RL2054.2
010400 OBJECT-COMPUTER.                                                 RL2054.2
010500     Card0131.                                                    RL2054.2
010600 INPUT-OUTPUT SECTION.                                            RL2054.2
010700 FILE-CONTROL.                                                    RL2054.2
010800     SELECT PRINT-FILE ASSIGN TO                                  RL2054.2
010900     "C0085" .                                                    RL2054.2
011000     SELECT   RL-FD1                                              RL2054.2
011100        ASSIGN TO                                                 RL2054.2
011200     "C0033"                                                      RL2054.2
011300         ORGANIZATION IS RELATIVE                                 RL2054.2
011400       ACCESS MODE IS DYNAMIC                                     RL2054.2
011500       RELATIVE KEY IS RL-FD1-KEY.                                RL2054.2
011600     SELECT   RL-FS2                                              RL2054.2
011700         ASSIGN TO                                                RL2054.2
011800     "C0034"                                                      RL2054.2
011900        ACCESS MODE IS SEQUENTIAL                                 RL2054.2
012000       RELATIVE KEY IS RL-FS2-KEY                                 RL2054.2
012100         ORGANIZATION IS RELATIVE.                                RL2054.2
012200 DATA DIVISION.                                                   RL2054.2
012300 FILE SECTION.                                                    RL2054.2
012400 FD  PRINT-FILE.                                                  RL2054.2
012500 01  PRINT-REC PICTURE X(120).                                    RL2054.2
012600 01  DUMMY-RECORD PICTURE X(120).                                 RL2054.2
012700 FD  RL-FD1                                                       RL2054.2
012800     RECORD CONTAINS 240 CHARACTERS                               RL2054.2
012900     VALUE OF                                                     RL2054.2
013000     Impl1                                                        RL2054.2
013100     IS                                                           RL2054.2
013200     4711                                                         RL2054.2
013300                                                                  RL2054.2
013400     .                                                            RL2054.2
013500 01  RL-FD1R1-F-G-240.                                            RL2054.2
013600     05 RL-FD1-REC-001-120        PICTURE X(120).                 RL2054.2
013700     05 RL-FD1-REC-121-240.                                       RL2054.2
013800     10 FILLER          PICTURE X(8).                             RL2054.2
013900     10 RL-FD1-FILLER.                                            RL2054.2
014000        15 RL-FS1-KEYNUM PICTURE 9(5).                            RL2054.2
014100    10 FILLER           PICTURE X(5).                             RL2054.2
014200     10 FILLER           PICTURE X(19).                           RL2054.2
014300     10 FILLER           PICTURE X(9).                            RL2054.2
014400     10 RL-FD1-FILLER1.                                           RL2054.2
014500        15 RL-FD1-FILLER1NUM      PICTURE 9(5).                   RL2054.2
014600    10 FILLER                    PICTURE 9(5).                    RL2054.2
014700     10 FILLER                    PICTURE X(19).                  RL2054.2
014800     10 FILLER                    PICTURE X(45).                  RL2054.2
014900 FD  RL-FS2                                                       RL2054.2
015000     VALUE OF                                                     RL2054.2
015100     Impl1                                                        RL2054.2
015200     IS                                                           RL2054.2
015300     4711                                                         RL2054.2
015400                                                                  RL2054.2
015500     .                                                            RL2054.2
015600 01  RL-FS2R1-F-G-240.                                            RL2054.2
015700     05 RL-FS2-REC-001-120        PICTURE X(120).                 RL2054.2
015800     05 RL-FS2-REC-121-240.                                       RL2054.2
015900        10 FILLER                 PICTURE X(8).                   RL2054.2
016000        10 RL-FS2-FILLER.                                         RL2054.2
016100           15 RL-FS2-KEYNUM       PICTURE 9(5).                   RL2054.2
016200       10 FILLER                 PICTURE 9(5).                    RL2054.2
016300        10 FILLER                 PICTURE X(19).                  RL2054.2
016400        10 FILLER                 PICTURE X(9).                   RL2054.2
016500        10 RL-FS2-FILLER1.                                        RL2054.2
016600           15 RL-FS2-FILLER1NUM   PICTURE 9(5).                   RL2054.2
016700       10 FILLER                 PICTURE 9(5).                    RL2054.2
016800        10 FILLER                 PICTURE X(19).                  RL2054.2
016900        10 FILLER                 PICTURE X(45).                  RL2054.2
017000 WORKING-STORAGE SECTION.                                         RL2054.2
017100 01  WRK-XN-00001    PIC X.                                       RL2054.2
017200 01  WRK-XN-00002    PIC X.                                       RL2054.2
017300 01  RL-FD1-KEY           PICTURE 9(5)  VALUE ZERO.               RL2054.2
017400 01  RL-FS2-KEY           PICTURE 9(5)  VALUE ZERO.               RL2054.2
017500 01  RL-FD1-FILESIZE              PICTURE 9(6) VALUE 300.         RL2054.2
017600 01  RL-FS2-FILESIZE              PICTURE 9(6) VALUE 300.         RL2054.2
017700 01  WRK-RL-FD1-RECKEY-CHAR.                                      RL2054.2
017800  03 WRK-RL-FD1-RECKEY   PIC 9(5)  VALUE ZERO.                    RL2054.2
017900 01  WRK-RL-FS2-RECKEY    PIC 9(5)  VALUE ZERO.                   RL2054.2
018000 01  WRK-RL-FD1-FILLER.                                           RL2054.2
018100     03 WRK-DU-05V00-002          PICTURE 9(5)  VALUE  ZERO.      RL2054.2
018200 01  WRK-RL-FS2-FILLER.                                           RL2054.2
018300     03 WRK-DU-05V00-004          PICTURE 9(5)  VALUE  ZERO.      RL2054.2
018400 01  EXCUT-COUNTER-06V00          PICTURE S9(6) VALUE  ZERO.      RL2054.2
018500 01  INV-KEY-COUNTER              PICTURE S9(6) VALUE  ZERO.      RL2054.2
018600 01  LOGICAL-FILE-REC             PICTURE S9(6) VALUE  ZERO.      RL2054.2
018700 01  ERROR-COUNTER-06V00          PICTURE S9(6) VALUE  ZERO.      RL2054.2
018800 01  ASCEND-DESEND-SWITCH        PICTURE XX   VALUE "UP".         RL2054.2
018900             88 ASCEND VALUE "UP".                                RL2054.2
019000             88 DSCEND VALUE "DN".                                RL2054.2
019100 01  FILE-RECORD-INFORMATION-REC.                                 RL2054.2
019200     03 FILE-RECORD-INFO-SKELETON.                                RL2054.2
019300        05 FILLER                 PICTURE X(48)       VALUE       RL2054.2
019400             "FILE= ,RECORD= /0,RECNO=000000,UPDT=00".  RL2054.2
019500        05 FILLER                 PICTURE X(46)       VALUE       RL2054.2
019600             ",ODO=0000,PGM= ,LRECL=000000,BLKSIZ =0000".    RL2054.2
019700        05 FILLER                 PICTURE X(26)       VALUE       RL2054.2
019800             ",LFIL=000000,ORG= ,LBLR= ".                        RL2054.2
019900        05 FILLER                 PICTURE X(37)       VALUE       RL2054.2
020000             ",RECKEY= ".             RL2054.2
020100        05 FILLER                 PICTURE X(38)       VALUE       RL2054.2
020200             ",ALTKEY1= ".            RL2054.2
020300        05 FILLER                 PICTURE X(38)       VALUE       RL2054.2
020400             ",ALTKEY2= ".            RL2054.2
020500        05 FILLER                 PICTURE X(7)        VALUE SPACE.RL2054.2
020600     03 FILE-RECORD-INFO          OCCURS  10  TIMES.              RL2054.2
020700        05 FILE-RECORD-INFO-P1-120.                               RL2054.2
020800           07 FILLER              PIC X(5).                       RL2054.2
020900           07 XFILE-NAME           PIC X(6).                      RL2054.2
021000           07 FILLER              PIC X(8).                       RL2054.2
021100           07 XRECORD-NAME         PIC X(6).                      RL2054.2
021200           07 FILLER              PIC X(1).                       RL2054.2
021300           07 REELUNIT-NUMBER     PIC 9(1).                       RL2054.2
021400           07 FILLER              PIC X(7).                       RL2054.2
021500           07 XRECORD-NUMBER       PIC 9(6).                      RL2054.2
021600           07 FILLER              PIC X(6).                       RL2054.2
021700           07 UPDATE-NUMBER       PIC 9(2).                       RL2054.2
021800           07 FILLER              PIC X(5).                       RL2054.2
021900           07 ODO-NUMBER          PIC 9(4).                       RL2054.2
022000           07 FILLER              PIC X(5).                       RL2054.2
022100           07 XPROGRAM-NAME        PIC X(5).                      RL2054.2
022200           07 FILLER              PIC X(7).                       RL2054.2
022300           07 XRECORD-LENGTH       PIC 9(6).                      RL2054.2
022400           07 FILLER              PIC X(7).                       RL2054.2
022500           07 CHARS-OR-RECORDS    PIC X(2).                       RL2054.2
022600           07 FILLER              PIC X(1).                       RL2054.2
022700           07 XBLOCK-SIZE          PIC 9(4).                      RL2054.2
022800           07 FILLER              PIC X(6).                       RL2054.2
022900           07 RECORDS-IN-FILE     PIC 9(6).                       RL2054.2
023000           07 FILLER              PIC X(5).                       RL2054.2
023100           07 XFILE-ORGANIZATION   PIC X(2).                      RL2054.2
023200           07 FILLER              PIC X(6).                       RL2054.2
023300           07 XLABEL-TYPE          PIC X(1).                      RL2054.2
023400        05 FILE-RECORD-INFO-P121-240.                             RL2054.2
023500           07 FILLER              PIC X(8).                       RL2054.2
023600           07 XRECORD-KEY          PIC X(29).                     RL2054.2
023700           07 FILLER              PIC X(9).                       RL2054.2
023800           07 ALTERNATE-KEY1      PIC X(29).                      RL2054.2
023900           07 FILLER              PIC X(9).                       RL2054.2
024000           07 ALTERNATE-KEY2      PIC X(29).                      RL2054.2
024100           07 FILLER              PIC X(7).                       RL2054.2
024200 01  TEST-RESULTS.                                                RL2054.2
024300     02 FILLER                   PIC X      VALUE SPACE.          RL2054.2
024400     02 FEATURE                  PIC X(20)  VALUE SPACE.          RL2054.2
024500     02 FILLER                   PIC X      VALUE SPACE.          RL2054.2
024600     02 P-OR-F                   PIC X(5)   VALUE SPACE.          RL2054.2
024700     02 FILLER                   PIC X      VALUE SPACE.          RL2054.2
024800     02  PAR-NAME.                                                RL2054.2
024900       03 FILLER                 PIC X(19)  VALUE SPACE.          RL2054.2
025000       03  PARDOT-X              PIC X      VALUE SPACE.          RL2054.2
025100       03 DOTVALUE               PIC 99     VALUE ZERO.           RL2054.2
025200     02 FILLER                   PIC X(8)   VALUE SPACE.          RL2054.2
025300     02 RE-MARK                  PIC X(61).                       RL2054.2
025400 01  TEST-COMPUTED.                                               RL2054.2
025500     02 FILLER                   PIC X(30)  VALUE SPACE.          RL2054.2
025600     02 FILLER                   PIC X(17)  VALUE                 RL2054.2
025700            " COMPUTED=".                                   RL2054.2
025800     02 COMPUTED-X.                                               RL2054.2
025900     03 COMPUTED-A               PIC X(20)  VALUE SPACE.          RL2054.2
026000     03 COMPUTED-N               REDEFINES COMPUTED-A             RL2054.2
026100                                 PIC -9(9).9(9).                  RL2054.2
026200     03 COMPUTED-0V18 REDEFINES COMPUTED-A   PIC -.9(18).         RL2054.2
026300     03 COMPUTED-4V14 REDEFINES COMPUTED-A   PIC -9(4).9(14).     RL2054.2
026400     03 COMPUTED-14V4 REDEFINES COMPUTED-A   PIC -9(14).9(4).     RL2054.2
026500     03       CM-18V0 REDEFINES COMPUTED-A.                       RL2054.2
026600         04 COMPUTED-18V0                    PIC -9(18).          RL2054.2
026700         04 FILLER                           PIC X.               RL2054.2
026800     03 FILLER PIC X(50) VALUE SPACE.                             RL2054.2
026900 01  TEST-CORRECT.                                                RL2054.2
027000     02 FILLER PIC X(30) VALUE SPACE.                             RL2054.2
027100     02 FILLER PIC X(17) VALUE " CORRECT =".                RL2054.2
027200     02 CORRECT-X.                                                RL2054.2
027300     03 CORRECT-A                  PIC X(20) VALUE SPACE.         RL2054.2
027400     03 CORRECT-N    REDEFINES CORRECT-A     PIC -9(9).9(9).      RL2054.2
027500     03 CORRECT-0V18 REDEFINES CORRECT-A     PIC -.9(18).         RL2054.2
027600     03 CORRECT-4V14 REDEFINES CORRECT-A     PIC -9(4).9(14).     RL2054.2
027700     03 CORRECT-14V4 REDEFINES CORRECT-A     PIC -9(14).9(4).     RL2054.2
027800     03      CR-18V0 REDEFINES CORRECT-A.                         RL2054.2
027900         04 CORRECT-18V0                     PIC -9(18).          RL2054.2
028000         04 FILLER                           PIC X.               RL2054.2
028100     03 FILLER PIC X(2) VALUE SPACE.                              RL2054.2
028200     03 COR-ANSI-REFERENCE             PIC X(48) VALUE SPACE.     RL2054.2
028300 01  CCVS-C-1.                                                    RL2054.2
028400     02 FILLER  PIC IS X(99)    VALUE IS " FEATURE PARL2054.2
028500-    "SS PARAGRAPH-NAME RL2054.2
028600-    " REMARKS".                                            RL2054.2
028700     02 FILLER                     PIC X(20)    VALUE SPACE.      RL2054.2
028800 01  CCVS-C-2.                                                    RL2054.2
028900     02 FILLER                     PIC X        VALUE SPACE.      RL2054.2
029000     02 FILLER                     PIC X(6)     VALUE "TESTED".   RL2054.2
029100     02 FILLER                     PIC X(15)    VALUE SPACE.      RL2054.2
029200     02 FILLER                     PIC X(4)     VALUE "FAIL".     RL2054.2
029300     02 FILLER                     PIC X(94)    VALUE SPACE.      RL2054.2
029400 01  REC-SKL-SUB                   PIC 9(2)     VALUE ZERO.       RL2054.2
029500 01  REC-CT                        PIC 99       VALUE ZERO.       RL2054.2
029600 01  DELETE-COUNTER                PIC 999      VALUE ZERO.       RL2054.2
029700 01  ERROR-COUNTER                 PIC 999      VALUE ZERO.       RL2054.2
029800 01  INSPECT-COUNTER               PIC 999      VALUE ZERO.       RL2054.2
029900 01  PASS-COUNTER                  PIC 999      VALUE ZERO.       RL2054.2
030000 01  TOTAL-ERROR                   PIC 999      VALUE ZERO.       RL2054.2
030100 01  ERROR-HOLD                    PIC 999      VALUE ZERO.       RL2054.2
030200 01  DUMMY-HOLD                    PIC X(120)   VALUE SPACE.      RL2054.2
030300 01  RECORD-COUNT                  PIC 9(5)     VALUE ZERO.       RL2054.2
030400 01  ANSI-REFERENCE                PIC X(48)    VALUE SPACES.     RL2054.2
030500 01  CCVS-H-1.                                                    RL2054.2
030600     02  FILLER                    PIC X(39)    VALUE SPACES.     RL2054.2
030700     02  FILLER                    PIC X(42)    VALUE             RL2054.2
030800     "OFFICIAL COBOL COMPILER VALIDATION SYSTEM".                 RL2054.2
030900     02  FILLER                    PIC X(39)    VALUE SPACES.     RL2054.2
031000 01  CCVS-H-2A.                                                   RL2054.2
031100   02  FILLER                        PIC X(40)  VALUE SPACE.      RL2054.2
031200   02  FILLER                        PIC X(7)   VALUE "CCVS85 ".  RL2054.2
031300   02  FILLER                        PIC XXXX   VALUE             RL2054.2
031400     "4.2 ".                                                      RL2054.2
031500   02  FILLER                        PIC X(28)  VALUE             RL2054.2
031600            " COPY - NOT FOR DISTRIBUTION".                       RL2054.2
031700   02  FILLER                        PIC X(41)  VALUE SPACE.      RL2054.2
031800                                                                  RL2054.2
031900 01  CCVS-H-2B.                                                   RL2054.2
032000   02  FILLER                        PIC X(15)  VALUE             RL2054.2
032100            "TEST RESULT OF ".                                    RL2054.2
032200   02  TEST-ID                       PIC X(9).                    RL2054.2
032300   02  FILLER                        PIC X(4)   VALUE             RL2054.2
032400            " IN ".                                               RL2054.2
032500   02  FILLER                        PIC X(12)  VALUE             RL2054.2
032600     " HIGH ".                                              RL2054.2
032700   02  FILLER                        PIC X(22)  VALUE             RL2054.2
032800            " LEVEL VALIDATION FOR ".                             RL2054.2
032900   02  FILLER                        PIC X(58)  VALUE             RL2054.2
033000     "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH. ".RL2054.2
033100 01  CCVS-H-3.                                                    RL2054.2
033200     02  FILLER                      PIC X(34)  VALUE             RL2054.2
033300            " FOR OFFICIAL USE ONLY ".                         RL2054.2
033400     02  FILLER                      PIC X(58)  VALUE             RL2054.2
033500     "COBOL 85 VERSION 4.2, Apr 1993 SSVG ".RL2054.2
033600     02  FILLER                      PIC X(28)  VALUE             RL2054.2
033700            " COPYRIGHT 1985 ".                                RL2054.2
033800 01  CCVS-E-1.                                                    RL2054.2
033900     02 FILLER                       PIC X(52)  VALUE SPACE.      RL2054.2
034000     02 FILLER  PIC X(14) VALUE IS "END OF TEST- ".              RL2054.2
034100     02 ID-AGAIN                     PIC X(9).                    RL2054.2
034200     02 FILLER                       PIC X(45)  VALUE SPACES.     RL2054.2
034300 01  CCVS-E-2.                                                    RL2054.2
034400     02  FILLER                      PIC X(31)  VALUE SPACE.      RL2054.2
034500     02  FILLER                      PIC X(21)  VALUE SPACE.      RL2054.2
034600     02 CCVS-E-2-2.                                               RL2054.2
034700         03 ERROR-TOTAL              PIC XXX    VALUE SPACE.      RL2054.2
034800         03 FILLER                   PIC X      VALUE SPACE.      RL2054.2
034900         03 ENDER-DESC               PIC X(44)  VALUE             RL2054.2
035000            "ERRORS ENCOUNTERED".                                 RL2054.2
035100 01  CCVS-E-3.                                                    RL2054.2
035200     02  FILLER                      PIC X(22)  VALUE             RL2054.2
035300            " FOR OFFICIAL USE ONLY".                             RL2054.2
035400     02  FILLER                      PIC X(12)  VALUE SPACE.      RL2054.2
035500     02  FILLER                      PIC X(58)  VALUE             RL2054.2
035600     "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH. ".RL2054.2
035700     02  FILLER                      PIC X(13)  VALUE SPACE.      RL2054.2
035800     02 FILLER                       PIC X(15)  VALUE             RL2054.2
035900             " COPYRIGHT 1985".                                   RL2054.2
036000 01  CCVS-E-4.                                                    RL2054.2
036100     02 CCVS-E-4-1                   PIC XXX    VALUE SPACE.      RL2054.2
036200     02 FILLER                       PIC X(4)   VALUE " OF ".     RL2054.2
036300     02 CCVS-E-4-2                   PIC XXX    VALUE SPACE.      RL2054.2
036400     02 FILLER                       PIC X(40)  VALUE             RL2054.2
036500      " TESTS WERE EXECUTED SUCCESSFULLY".                       RL2054.2
036600 01  XXINFO.                                                      RL2054.2
036700     02 FILLER                       PIC X(19)  VALUE             RL2054.2
036800            "*** INFORMATION ***".                                RL2054.2
036900     02 INFO-TEXT.                                                RL2054.2
037000       04 FILLER                     PIC X(8)   VALUE SPACE.      RL2054.2
037100       04 XXCOMPUTED                 PIC X(20).                   RL2054.2
037200       04 FILLER                     PIC X(5)   VALUE SPACE.      RL2054.2
037300       04 XXCORRECT                  PIC X(20).                   RL2054.2
037400     02 INF-ANSI-REFERENCE           PIC X(48).                   RL2054.2
037500 01  HYPHEN-LINE.                                                 RL2054.2
037600     02 FILLER  PIC IS X VALUE IS SPACE.                          RL2054.2
037700     02 FILLER  PIC IS X(65)    VALUE IS "************************RL2054.2
037800-    "*****************************************".                 RL2054.2
037900     02 FILLER  PIC IS X(54)    VALUE IS "************************RL2054.2
038000-    "******************************".                            RL2054.2
038100 01  CCVS-PGM-ID                     PIC X(9)   VALUE             RL2054.2
038200     "RL205A".                                                    RL2054.2
038300 PROCEDURE DIVISION.                                              RL2054.2
038400 DECLARATIVES.                                                    RL2054.2
038500 USE-RL205-TEST SECTION.                                          RL2054.2
038600     USE      AFTER ERROR PROCEDURE RL-FD1  RL-FS2.               RL2054.2
038700 USE-PAR-001.                                                     RL2054.2
038800     ADD      010000  TO ERROR-COUNTER-06V00.                     RL2054.2
038900 USE-PAR-EXIT.                                                    RL2054.2
039000     EXIT.                                                        RL2054.2
039100 END DECLARATIVES.                                                RL2054.2
039200 CCVS1 SECTION.                                                   RL2054.2
039300 OPEN-FILES.                                                      RL2054.2
039400     OPEN    OUTPUT PRINT-FILE.                                   RL2054.2
039500     MOVE  CCVS-PGM-ID TO TEST-ID. MOVE CCVS-PGM-ID TO ID-AGAIN.  RL2054.2
039600     MOVE    SPACE TO TEST-RESULTS.                               RL2054.2
039700     PERFORM HEAD-ROUTINE THRU COLUMN-NAMES-ROUTINE.              RL2054.2
039800     MOVE    ZERO TO REC-SKL-SUB.                                 RL2054.2
039900     PERFORM CCVS-INIT-FILE 9 TIMES.                              RL2054.2
040000 CCVS-INIT-FILE.                                                  RL2054.2
040100     ADD     1 TO REC-SKL-SUB.                                    RL2054.2
040200     MOVE    FILE-RECORD-INFO-SKELETON                            RL2054.2
040300          TO FILE-RECORD-INFO (REC-SKL-SUB).                      RL2054.2
040400 CCVS-INIT-EXIT.                                                  RL2054.2
040500     GO TO CCVS1-EXIT.                                            RL2054.2
040600 CLOSE-FILES.                                                     RL2054.2
040700     PERFORM END-ROUTINE THRU END-ROUTINE-13. CLOSE PRINT-FILE.   RL2054.2
040800 TERMINATE-CCVS.                                                  RL2054.2
040900     EXIT PROGRAM.                                                RL2054.2
041000 TERMINATE-CALL.                                                  RL2054.2
041100     STOP     RUN.                                                RL2054.2
041200 INSPT. MOVE "INSPT" TO P-OR-F. ADD 1 TO INSPECT-COUNTER.         RL2054.2
041300 PASS.  MOVE "PASS " TO P-OR-F.  ADD 1 TO PASS-COUNTER.           RL2054.2
041400 FAIL.  MOVE "FAIL*" TO P-OR-F.  ADD 1 TO ERROR-COUNTER.          RL2054.2
041500 DE-LETE.  MOVE "*****" TO P-OR-F.  ADD 1 TO DELETE-COUNTER.      RL2054.2
041600     MOVE "****TEST DELETED****" TO RE-MARK.                      RL2054.2
041700 PRINT-DETAIL.                                                    RL2054.2
041800     IF REC-CT NOT EQUAL TO ZERO                                  RL2054.2
041900             MOVE "." TO PARDOT-X                                 RL2054.2
042000             MOVE REC-CT TO DOTVALUE.                             RL2054.2
042100     MOVE     TEST-RESULTS TO PRINT-REC. PERFORM WRITE-LINE.      RL2054.2
042200     IF P-OR-F EQUAL TO "FAIL*"  PERFORM WRITE-LINE               RL2054.2
042300        PERFORM FAIL-ROUTINE THRU FAIL-ROUTINE-EX                 RL2054.2
042400          ELSE PERFORM BAIL-OUT THRU BAIL-OUT-EX.                 RL2054.2
042500     MOVE SPACE TO P-OR-F. MOVE SPACE TO COMPUTED-X.              RL2054.2
042600     MOVE SPACE TO CORRECT-X.                                     RL2054.2
042700     IF     REC-CT EQUAL TO ZERO  MOVE SPACE TO PAR-NAME.         RL2054.2
042800     MOVE     SPACE TO RE-MARK.                                   RL2054.2
042900 HEAD-ROUTINE.                                                    RL2054.2
043000     MOVE CCVS-H-1  TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.  RL2054.2
043100     MOVE CCVS-H-2A TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.  RL2054.2
043200     MOVE CCVS-H-2B TO DUMMY-RECORD. PERFORM WRITE-LINE 3 TIMES.  RL2054.2
043300     MOVE CCVS-H-3  TO DUMMY-RECORD. PERFORM WRITE-LINE 3 TIMES.  RL2054.2
043400 COLUMN-NAMES-ROUTINE.                                            RL2054.2
043500     MOVE CCVS-C-1 TO DUMMY-RECORD. PERFORM WRITE-LINE.           RL2054.2
043600     MOVE CCVS-C-2 TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   RL2054.2
043700     MOVE HYPHEN-LINE TO DUMMY-RECORD. PERFORM WRITE-LINE.        RL2054.2
043800 END-ROUTINE.                                                     RL2054.2
043900     MOVE HYPHEN-LINE TO DUMMY-RECORD. PERFORM WRITE-LINE 5 TIMES.RL2054.2
044000 END-RTN-EXIT.                                                    RL2054.2
044100     MOVE CCVS-E-1 TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   RL2054.2
044200 END-ROUTINE-1.                                                   RL2054.2
044300      ADD ERROR-COUNTER TO ERROR-HOLD ADD INSPECT-COUNTER TO      RL2054.2
044400      ERROR-HOLD. ADD DELETE-COUNTER TO ERROR-HOLD.               RL2054.2
044500      ADD PASS-COUNTER TO ERROR-HOLD.                             RL2054.2
044600*     IF PASS-COUNTER EQUAL TO ERROR-HOLD GO TO END-ROUTINE-12.   RL2054.2
044700      MOVE PASS-COUNTER TO CCVS-E-4-1.                            RL2054.2
044800      MOVE ERROR-HOLD TO CCVS-E-4-2.                              RL2054.2
044900      MOVE CCVS-E-4 TO CCVS-E-2-2.                                RL2054.2
045000      MOVE CCVS-E-2 TO DUMMY-RECORD PERFORM WRITE-LINE.           RL2054.2
045100  END-ROUTINE-12.                                                 RL2054.2
045200      MOVE "TEST(S) FAILED" TO ENDER-DESC.                        RL2054.2
045300     IF       ERROR-COUNTER IS EQUAL TO ZERO                      RL2054.2
045400         MOVE "NO " TO ERROR-TOTAL                                RL2054.2
045500         ELSE                                                     RL2054.2
045600         MOVE ERROR-COUNTER TO ERROR-TOTAL.                       RL2054.2
045700     MOVE     CCVS-E-2 TO DUMMY-RECORD.                           RL2054.2
045800     PERFORM WRITE-LINE.                                          RL2054.2
045900 END-ROUTINE-13.                                                  RL2054.2
046000     IF DELETE-COUNTER IS EQUAL TO ZERO                           RL2054.2
046100         MOVE "NO " TO ERROR-TOTAL  ELSE                          RL2054.2
046200         MOVE DELETE-COUNTER TO ERROR-TOTAL.                      RL2054.2
046300     MOVE "TEST(S) DELETED " TO ENDER-DESC.                   RL2054.2
046400     MOVE CCVS-E-2 TO DUMMY-RECORD. PERFORM WRITE-LINE.           RL2054.2
046500      IF   INSPECT-COUNTER EQUAL TO ZERO                          RL2054.2
046600          MOVE "NO " TO ERROR-TOTAL                               RL2054.2
046700      ELSE MOVE INSPECT-COUNTER TO ERROR-TOTAL.                   RL2054.2
046800      MOVE "TEST(S) REQUIRE INSPECTION" TO ENDER-DESC.            RL2054.2
046900      MOVE CCVS-E-2 TO DUMMY-RECORD. PERFORM WRITE-LINE.          RL2054.2
047000     MOVE CCVS-E-3 TO DUMMY-RECORD. PERFORM WRITE-LINE.           RL2054.2
047100 WRITE-LINE.                                                      RL2054.2
047200     ADD 1 TO RECORD-COUNT.                                       RL2054.2
047300     IF RECORD-COUNT GREATER 50                                   RL2054.2
047400         MOVE DUMMY-RECORD TO DUMMY-HOLD                          RL2054.2
047500         MOVE SPACE TO DUMMY-RECORD                               RL2054.2
047600         WRITE DUMMY-RECORD AFTER ADVANCING PAGE                  RL2054.2
047700         MOVE CCVS-C-1 TO DUMMY-RECORD PERFORM WRT-LN             RL2054.2
047800         MOVE CCVS-C-2 TO DUMMY-RECORD PERFORM WRT-LN 2 TIMES     RL2054.2
047900         MOVE HYPHEN-LINE TO DUMMY-RECORD PERFORM WRT-LN          RL2054.2
048000         MOVE DUMMY-HOLD TO DUMMY-RECORD                          RL2054.2
048100         MOVE ZERO TO RECORD-COUNT.                               RL2054.2
048200     PERFORM WRT-LN.                                              RL2054.2
048300 WRT-LN.                                                          RL2054.2
048400     WRITE    DUMMY-RECORD AFTER ADVANCING 1 LINES.               RL2054.2
048500     MOVE SPACE TO DUMMY-RECORD.                                  RL2054.2
048600 BLANK-LINE-PRINT.                                                RL2054.2
048700     PERFORM WRT-LN.                                              RL2054.2
048800 FAIL-ROUTINE.                                                    RL2054.2
048900     IF     COMPUTED-X NOT EQUAL TO SPACE                         RL2054.2
049000            GO TO   FAIL-ROUTINE-WRITE.                           RL2054.2
049100     IF     CORRECT-X NOT EQUAL TO SPACE GO TO FAIL-ROUTINE-WRITE.RL2054.2
049200     MOVE   ANSI-REFERENCE TO INF-ANSI-REFERENCE.                 RL2054.2
049300     MOVE  "NO FURTHER INFORMATION, SEE PROGRAM." TO INFO-TEXT.   RL2054.2
049400     MOVE   XXINFO TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   RL2054.2
049500     MOVE   SPACES TO INF-ANSI-REFERENCE.                         RL2054.2
049600     GO TO  FAIL-ROUTINE-EX.                                      RL2054.2
049700 FAIL-ROUTINE-WRITE.                                              RL2054.2
049800     MOVE   TEST-COMPUTED TO PRINT-REC PERFORM WRITE-LINE         RL2054.2
049900     MOVE   ANSI-REFERENCE TO COR-ANSI-REFERENCE.                 RL2054.2
050000     MOVE   TEST-CORRECT TO PRINT-REC PERFORM WRITE-LINE 2 TIMES. RL2054.2
050100     MOVE   SPACES TO COR-ANSI-REFERENCE.                         RL2054.2
050200 FAIL-ROUTINE-EX. EXIT.                                           RL2054.2
050300 BAIL-OUT.                                                        RL2054.2
050400     IF     COMPUTED-A NOT EQUAL TO SPACE GO TO BAIL-OUT-WRITE.   RL2054.2
050500     IF     CORRECT-A EQUAL TO SPACE GO TO BAIL-OUT-EX.           RL2054.2
050600 BAIL-OUT-WRITE.                                                  RL2054.2
050700     MOVE CORRECT-A TO XXCORRECT. MOVE COMPUTED-A TO XXCOMPUTED.  RL2054.2
050800     MOVE   ANSI-REFERENCE TO INF-ANSI-REFERENCE.                 RL2054.2
050900     MOVE   XXINFO TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   RL2054.2
051000     MOVE   SPACES TO INF-ANSI-REFERENCE.                         RL2054.2
051100 BAIL-OUT-EX. EXIT.                                               RL2054.2
051200 CCVS1-EXIT.                                                      RL2054.2
051300     EXIT.                                                        RL2054.2
051400 SECT-RL205-0001 SECTION.                                         RL2054.2
051500 REL-INIT-001.                                                    RL2054.2
051600     OPEN     OUTPUT  RL-FD1.                                     RL2054.2
051700     OPEN     OUTPUT  RL-FS2.                                     RL2054.2
051800     MOVE     "RL-FD1"  TO XFILE-NAME (1).                        RL2054.2
051900     MOVE     "R1-F-G"  TO XRECORD-NAME (1).                      RL2054.2
052000     MOVE     ZERO      TO XRECORD-NUMBER (1).                    RL2054.2
052100     MOVE ".XXX."       TO XPROGRAM-NAME (1).                     RL2054.2
052200     MOVE     000240    TO XRECORD-LENGTH (1).                    RL2054.2
052300     MOVE     0001      TO XBLOCK-SIZE (1).                       RL2054.2
052400     MOVE     "RC"      TO CHARS-OR-RECORDS (1).                  RL2054.2
052500     MOVE     "RL"      TO XFILE-ORGANIZATION (1).                RL2054.2
052600     MOVE     "S"       TO XLABEL-TYPE (1).                       RL2054.2
052700     MOVE     000300    TO RL-FD1-FILESIZE.                       RL2054.2
052800     MOVE     000300    TO RECORDS-IN-FILE (1).                   RL2054.2
052900     MOVE     00001     TO WRK-RL-FD1-RECKEY.                     RL2054.2
053000     MOVE     00300     TO WRK-DU-05V00-002.                      RL2054.2
053100     MOVE     ZERO      TO EXCUT-COUNTER-06V00.                   RL2054.2
053200     MOVE     ZERO      TO INV-KEY-COUNTER.                       RL2054.2
053300     MOVE     "REL-TEST-001" TO PAR-NAME.                         RL2054.2
053400     MOVE     ZERO TO REC-CT.                                     RL2054.2
053500     MOVE     "RL-FS2"  TO XFILE-NAME (2).                        RL2054.2
053600     MOVE     "R1-F-G"  TO XRECORD-NAME (2).                      RL2054.2
053700     MOVE     ZERO      TO XRECORD-NUMBER (2).                    RL2054.2
053800     MOVE ".XXX."       TO XPROGRAM-NAME (2).                     RL2054.2
053900     MOVE     000240    TO XRECORD-LENGTH (2).                    RL2054.2
054000     MOVE     0001      TO XBLOCK-SIZE (2).                       RL2054.2
054100     MOVE     "RC"      TO CHARS-OR-RECORDS (2).                  RL2054.2
054200     MOVE     "RL"      TO XFILE-ORGANIZATION (2).                RL2054.2
054300     MOVE     "S"       TO XLABEL-TYPE (2).                       RL2054.2
054400     MOVE     00300     TO RL-FS2-FILESIZE.                       RL2054.2
054500     MOVE     00300     TO RECORDS-IN-FILE (2).                   RL2054.2
054600     MOVE     00001     TO  WRK-RL-FS2-RECKEY.                    RL2054.2
054700     MOVE     00300     TO WRK-DU-05V00-004.                      RL2054.2
054800 REL-TEST-001-R1.                                                 RL2054.2
054900     ADD      0001 TO   XRECORD-NUMBER (1).                       RL2054.2
055000     MOVE     WRK-RL-FD1-RECKEY  TO XRECORD-KEY (1).              RL2054.2
055100     MOVE     WRK-RL-FD1-FILLER  TO ALTERNATE-KEY1 (1).           RL2054.2
055200     MOVE     FILE-RECORD-INFO (1) TO RL-FD1R1-F-G-240.           RL2054.2
055300     MOVE     WRK-RL-FD1-RECKEY TO RL-FD1-KEY.                    RL2054.2
055400     WRITE    RL-FD1R1-F-G-240                                    RL2054.2
055500              INVALID KEY                                         RL2054.2
055600              ADD       000001 TO INV-KEY-COUNTER.                RL2054.2
055700     ADD      000001  TO EXCUT-COUNTER-06V00.                     RL2054.2
055800     ADD      00001   TO WRK-RL-FD1-RECKEY.                       RL2054.2
055900     SUBTRACT 00001   FROM WRK-DU-05V00-002.                      RL2054.2
056000     IF       XRECORD-NUMBER (1) LESS THAN RL-FD1-FILESIZE        RL2054.2
056100              GO TO REL-TEST-001-R1.                              RL2054.2
056200     CLOSE    RL-FD1.                                             RL2054.2
056300 REL-TEST-001-01.                                                 RL2054.2
056400     MOVE     "CREATE FILE RL-FD1"  TO FEATURE.                   RL2054.2
056500     MOVE     01 TO REC-CT.                                       RL2054.2
056600     IF       EXCUT-COUNTER-06V00  NOT EQUAL TO RL-FD1-FILESIZE   RL2054.2
056700              PERFORM   FAIL                                      RL2054.2
056800              MOVE      RL-FD1-FILESIZE  TO  CORRECT-N            RL2054.2
056900              MOVE      EXCUT-COUNTER-06V00 TO COMPUTED-N         RL2054.2
057000              MOVE      "INCORRECT NUMBER OF WRITES" TO RE-MARK   RL2054.2
057100              PERFORM   PRINT-DETAIL                              RL2054.2
057200              GO TO     REL-INIT-001-R2.                          RL2054.2
057300     IF       INV-KEY-COUNTER NOT EQUAL TO ZERO                   RL2054.2
057400              PERFORM   FAIL                                      RL2054.2
057500              MOVE      INV-KEY-COUNTER TO COMPUTED-N             RL2054.2
057600              MOVE      ZERO TO  CORRECT-N                        RL2054.2
057700              MOVE      "INVALID KEY ON WRITE" TO RE-MARK         RL2054.2
057800              PERFORM   PRINT-DETAIL                              RL2054.2
057900              GO TO     REL-INIT-001-R2.                          RL2054.2
058000*                                                                 RL2054.2
058100*    01                                                           RL2054.2
058200*                                                                 RL2054.2
058300     PERFORM  PASS.                                               RL2054.2
058400     PERFORM  REL-WRITE-001.                                      RL2054.2
058500 REL-INIT-001-R2.                                                 RL2054.2
058600     MOVE     ZERO   TO INV-KEY-COUNTER.                          RL2054.2
058700     MOVE     ZERO   TO EXCUT-COUNTER-06V00.                      RL2054.2
058800 REL-TEST-001-R2.                                                 RL2054.2
058900     ADD      0001  TO  XRECORD-NUMBER (2).                       RL2054.2
059000     MOVE     WRK-RL-FS2-RECKEY  TO  XRECORD-KEY (2).             RL2054.2
059100     MOVE     WRK-RL-FS2-FILLER  TO  ALTERNATE-KEY1 (2).          RL2054.2
059200     MOVE     FILE-RECORD-INFO (2) TO RL-FS2R1-F-G-240.           RL2054.2
059300     WRITE    RL-FS2R1-F-G-240                                    RL2054.2
059400              INVALID KEY                                         RL2054.2
059500              ADD   000001 TO INV-KEY-COUNTER.                    RL2054.2
059600     ADD      000001 TO EXCUT-COUNTER-06V00.                      RL2054.2
059700     ADD      00001  TO  WRK-RL-FS2-RECKEY.                       RL2054.2
059800     SUBTRACT 00001  FROM WRK-DU-05V00-004.                       RL2054.2
059900     IF       XRECORD-NUMBER (2) LESS THAN RL-FS2-FILESIZE        RL2054.2
060000              GO TO  REL-TEST-001-R2.                             RL2054.2
060100     CLOSE    RL-FS2.                                             RL2054.2
060200 REL-TEST-001-02.                                                 RL2054.2
060300     MOVE     "CREATE FILE RL-FS2" TO  FEATURE.                   RL2054.2
060400     MOVE     02  TO REC-CT.                                      RL2054.2
060500     IF       EXCUT-COUNTER-06V00 NOT EQUAL TO RL-FS2-FILESIZE    RL2054.2
060600              PERFORM   FAIL                                      RL2054.2
060700              MOVE      RL-FS2-FILESIZE  TO  CORRECT-N            RL2054.2
060800              MOVE      EXCUT-COUNTER-06V00 TO COMPUTED-N         RL2054.2
060900              MOVE      "INCORRECT NUMBER OF WRITES" TO RE-MARK   RL2054.2
061000              PERFORM   PRINT-DETAIL                              RL2054.2
061100              GO  TO    REL-EXIT-001.                             RL2054.2
061200*                                                                 RL2054.2
061300*    02                                                           RL2054.2
061400*                                                                 RL2054.2
061500     IF       INV-KEY-COUNTER  NOT EQUAL TO ZERO                  RL2054.2
061600              PERFORM   FAIL                                      RL2054.2
061700              MOVE      INV-KEY-COUNTER  TO COMPUTED-N            RL2054.2
061800              MOVE      ZERO TO CORRECT-N                         RL2054.2
061900              MOVE      "INVALID KEY ON WRITE" TO RE-MARK         RL2054.2
062000              PERFORM   PRINT-DETAIL                              RL2054.2
062100              GO TO     REL-EXIT-001.                             RL2054.2
062200     PERFORM  PASS.                                               RL2054.2
062300     PERFORM  REL-WRITE-001.                                      RL2054.2
062400     GO TO    REL-EXIT-001.                                       RL2054.2
062500 REL-WRITE-001.                                                   RL2054.2
062600     PERFORM  PRINT-DETAIL.                                       RL2054.2
062700 REL-DELETE-001.                                                  RL2054.2
062800     PERFORM  DE-LETE.                                            RL2054.2
062900     PERFORM  PRINT-DETAIL.                                       RL2054.2
063000 REL-EXIT-001.                                                    RL2054.2
063100     EXIT.                                                        RL2054.2
063200 REL-INIT-002.                                                    RL2054.2
063300     PERFORM  BLANK-LINE-PRINT.                                   RL2054.2
063400     MOVE     "THE FOLLOWING TESTS ACCESS A FILE DEFINED AS RL2054.2
063500-             "ACCESS MODE IS DYNAMIC."  TO  PRINT-REC.           RL2054.2
063600     PERFORM  WRITE-LINE.                                         RL2054.2
063700     PERFORM  BLANK-LINE-PRINT.                                   RL2054.2
063800     MOVE     "READ NEXT"  TO FEATURE.                            RL2054.2
063900     MOVE     ZERO  TO  REC-CT.                                   RL2054.2
064000     MOVE     "REL-TEST-002"  TO  PAR-NAME.                       RL2054.2
064100 REL-INIT-002-R1.                                                 RL2054.2
064200     OPEN  INPUT  RL-FD1.                                         RL2054.2
064300     PERFORM  REL-INIT-002-R.                                     RL2054.2
064400 REL-TEST-002-R1.                                                 RL2054.2
064500     READ     RL-FD1 NEXT.                                        RL2054.2
064600     MOVE     RL-FD1R1-F-G-240  TO  FILE-RECORD-INFO (1).         RL2054.2
064700     PERFORM  REL-VERIFY-002                                      RL2054.2
064800     IF       EXCUT-COUNTER-06V00 LESS THAN  10                   RL2054.2
064900              GO TO REL-TEST-002-R1.                              RL2054.2
065000     CLOSE    RL-FD1.                                             RL2054.2
065100 REL-TEST-002-01.                                                 RL2054.2
065200     MOVE     01  TO REC-CT.                                      RL2054.2
065300     PERFORM  REL-TEST-002.                                       RL2054.2
065400     GO TO    REL-EXIT-002-01.                                    RL2054.2
065500*                                                                 RL2054.2
065600*    01                                                           RL2054.2
065700*                                                                 RL2054.2
065800 REL-DELETE-002-01.                                               RL2054.2
065900     MOVE     01  TO REC-CT.                                      RL2054.2
066000     PERFORM  DE-LETE.                                            RL2054.2
066100     PERFORM  REL-WRITE-002.                                      RL2054.2
066200 REL-EXIT-002-01.                                                 RL2054.2
066300     EXIT.                                                        RL2054.2
066400 REL-INIT-002-R2.                                                 RL2054.2
066500     PERFORM  REL-INIT-002-R.                                     RL2054.2
066600     OPEN     INPUT     RL-FD1.                                   RL2054.2
066700 REL-TEST-002-R2.                                                 RL2054.2
066800     MOVE     SPACE TO FILE-RECORD-INFO (9).                      RL2054.2
066900     MOVE     SPACE TO FILE-RECORD-INFO (1).                      RL2054.2
067000     READ     RL-FD1   NEXT RECORD                                RL2054.2
067100              INTO   FILE-RECORD-INFO (9).                        RL2054.2
067200     MOVE     RL-FD1R1-F-G-240  TO  FILE-RECORD-INFO (1).         RL2054.2
067300     PERFORM  REL-VERIFY-002.                                     RL2054.2
067400     IF       XRECORD-NUMBER (9) NOT EQUAL TO LOGICAL-FILE-REC    RL2054.2
067500              ADD   000100  TO ERROR-COUNTER-06V00.               RL2054.2
067600     IF       EXCUT-COUNTER-06V00 LESS THAN 10                    RL2054.2
067700              GO TO  REL-TEST-002-R2.                             RL2054.2
067800     CLOSE    RL-FD1.                                             RL2054.2
067900 REL-TEST-002-02.                                                 RL2054.2
068000     MOVE     02 TO REC-CT.                                       RL2054.2
068100     PERFORM  REL-TEST-002.                                       RL2054.2
068200*                                                                 RL2054.2
068300*    02                                                           RL2054.2
068400*                                                                 RL2054.2
068500     GO TO    REL-EXIT-002-02.                                    RL2054.2
068600 REL-DELETE-002-02.                                               RL2054.2
068700     MOVE     02  TO REC-CT.                                      RL2054.2
068800     PERFORM  DE-LETE.                                            RL2054.2
068900     PERFORM  REL-WRITE-002.                                      RL2054.2
069000 REL-EXIT-002-02.                                                 RL2054.2
069100     EXIT.                                                        RL2054.2
069200 REL-INIT-002-R3.                                                 RL2054.2
069300     OPEN     INPUT  RL-FD1.                                      RL2054.2
069400     PERFORM  REL-INIT-002-R.                                     RL2054.2
069500 REL-TEST-002-R3.                                                 RL2054.2
069600     MOVE     SPACE TO FILE-RECORD-INFO (9).                      RL2054.2
069700     MOVE     SPACE TO FILE-RECORD-INFO (1).                      RL2054.2
069800     READ     RL-FD1  NEXT                                        RL2054.2
069900              INTO   FILE-RECORD-INFO (9).                        RL2054.2
070000     MOVE     RL-FD1R1-F-G-240 TO FILE-RECORD-INFO (1).           RL2054.2
070100     PERFORM  REL-VERIFY-002.                                     RL2054.2
070200     IF       XRECORD-NUMBER (9) NOT EQUAL TO LOGICAL-FILE-REC    RL2054.2
070300              ADD   000100  TO  ERROR-COUNTER-06V00.              RL2054.2
070400     IF       EXCUT-COUNTER-06V00 LESS THAN 10                    RL2054.2
070500              GO TO  REL-TEST-002-R3.                             RL2054.2
070600     CLOSE    RL-FD1.                                             RL2054.2
070700 REL-TEST-002-03.                                                 RL2054.2
070800     MOVE     03 TO REC-CT.                                       RL2054.2
070900     PERFORM  REL-TEST-002.                                       RL2054.2
071000*                                                                 RL2054.2
071100*    03                                                           RL2054.2
071200*                                                                 RL2054.2
071300     GO  TO   REL-EXIT-002-03.                                    RL2054.2
071400 REL-DELETE-002-03.                                               RL2054.2
071500     MOVE     03  TO REC-CT.                                      RL2054.2
071600     PERFORM  DE-LETE.                                            RL2054.2
071700     PERFORM  REL-WRITE-002.                                      RL2054.2
071800 REL-EXIT-002-03.                                                 RL2054.2
071900     EXIT.                                                        RL2054.2
072000 REL-INIT-002-R4.                                                 RL2054.2
072100     OPEN     INPUT  RL-FD1.                                      RL2054.2
072200     PERFORM  REL-INIT-002-R.                                     RL2054.2
072300     MOVE     RL-FD1-FILESIZE TO ERROR-COUNTER-06V00.             RL2054.2
072400     ADD      000001  TO ERROR-COUNTER-06V00.                     RL2054.2
072500 REL-TEST-002-R4.                                                 RL2054.2
072600     MOVE     SPACE TO FILE-RECORD-INFO (9).                      RL2054.2
072700     MOVE     SPACE TO FILE-RECORD-INFO (1).                      RL2054.2
072800     READ     RL-FD1  NEXT INTO  FILE-RECORD-INFO (9) AT END      RL2054.2
072900              SUBTRACT   000001  FROM  ERROR-COUNTER-06V00        RL2054.2
073000             GO TO   REL-TEST-002-04.                             RL2054.2
073100     MOVE     RL-FD1R1-F-G-240  TO  FILE-RECORD-INFO (1).         RL2054.2
073200     PERFORM  REL-VERIFY-002.                                     RL2054.2
073300     IF      XRECORD-NUMBER (9) NOT EQUAL TO LOGICAL-FILE-REC     RL2054.2
073400             ADD  00100  TO ERROR-COUNTER-06V00.                  RL2054.2
073500     IF       EXCUT-COUNTER-06V00  GREATER THAN RL-FD1-FILESIZE   RL2054.2
073600              NEXT SENTENCE                                       RL2054.2
073700              ELSE                                                RL2054.2
073800              GO TO    REL-TEST-002-R4.                           RL2054.2
073900*                                                                 RL2054.2
074000*    TEST REL-002-04 TESTS THE COBOL CONSTRUCT  "READ FILE-       RL2054.2
074100*    NAME NEXT INTO IDENTIFIER AT END".  THE TEST READS THE FILE  RL2054.2
074200*    SEQUENTIALY VIA THE RELATIVE KEY  (RECORD KEY IS THE KEY OF  RL2054.2
074300*    REFERENCE) UNTIL AN END-OF-FILE CONDITION OCCURS.  A CHECK   RL2054.2
074400*    IS MADE TO VERIFY THAT THE PROPER RECORDS WERE RETRIVED AND  RL2054.2
074500*    THE AT END PATH WAS TAKEN ON THE 301 ST READ.                RL2054.2
074600*                                                                 RL2054.2
074700 REL-TEST-002-04.                                                 RL2054.2
074800     CLOSE   RL-FD1.                                              RL2054.2
074900     MOVE     04   TO REC-CT.                                     RL2054.2
075000     PERFORM  REL-TEST-002.                                       RL2054.2
075100*   .04                                                           RL2054.2
075200     GO TO    REL-EXIT-002-04.                                    RL2054.2
075300 REL-DELETE-002-04.                                               RL2054.2
075400     MOVE     04  TO REC-CT.                                      RL2054.2
075500     PERFORM  DE-LETE.                                            RL2054.2
075600     PERFORM  REL-WRITE-002.                                      RL2054.2
075700 REL-EXIT-002-04.                                                 RL2054.2
075800     EXIT.                                                        RL2054.2
075900 REL-INIT-002-R5.                                                 RL2054.2
076000     OPEN     INPUT  RL-FD1.                                      RL2054.2
076100     PERFORM  REL-INIT-002-R.                                     RL2054.2
076200     MOVE    "READ"  TO FEATURE.                                  RL2054.2
076300     MOVE     ZERO TO WRK-RL-FD1-RECKEY.                          RL2054.2
076400 REL-TEST-002-R5.                                                 RL2054.2
076500     ADD      00005   TO WRK-RL-FD1-RECKEY.                       RL2054.2
076600     ADD      000004  TO LOGICAL-FILE-REC.                        RL2054.2
076700     MOVE     WRK-RL-FD1-RECKEY TO RL-FD1-KEY.                    RL2054.2
076800     READ RL-FD1.                                                 RL2054.2
076900     MOVE     RL-FD1R1-F-G-240  TO  FILE-RECORD-INFO (1).         RL2054.2
077000     PERFORM  REL-VERIFY-002.                                     RL2054.2
077100     MOVE     SPACE TO FILE-RECORD-INFO (1).                      RL2054.2
077200     IF       EXCUT-COUNTER-06V00  LESS THAN 10                   RL2054.2
077300              GO TO    REL-TEST-002-R5.                           RL2054.2
077400     CLOSE    RL-FD1.                                             RL2054.2
077500 REL-TEST-002-05.                                                 RL2054.2
077600     MOVE     05   TO REC-CT.                                     RL2054.2
077700     PERFORM  REL-TEST-002.                                       RL2054.2
077800*   .05                                                           RL2054.2
077900     GO TO    REL-EXIT-002-05.                                    RL2054.2
078000 REL-DELETE-002-05.                                               RL2054.2
078100     MOVE     05  TO REC-CT.                                      RL2054.2
078200     PERFORM  DE-LETE.                                            RL2054.2
078300     PERFORM  REL-WRITE-002.                                      RL2054.2
078400 REL-EXIT-002-05.                                                 RL2054.2
078500     EXIT.                                                        RL2054.2
078600 REL-INIT-002-R6.                                                 RL2054.2
078700     OPEN     INPUT  RL-FD1.                                      RL2054.2
078800     PERFORM  REL-INIT-002-R.                                     RL2054.2
078900     MOVE     ZERO TO WRK-RL-FD1-RECKEY.                          RL2054.2
079000 REL-TEST-002-R6.                                                 RL2054.2
079100     MOVE     SPACE TO FILE-RECORD-INFO (9).                      RL2054.2
079200     MOVE     SPACE TO FILE-RECORD-INFO (1).                      RL2054.2
079300     ADD      00005   TO WRK-RL-FD1-RECKEY.                       RL2054.2
079400     ADD      000004  TO LOGICAL-FILE-REC.                        RL2054.2
079500     MOVE     WRK-RL-FD1-RECKEY TO RL-FD1-KEY.                    RL2054.2
079600     READ     RL-FD1  INTO   FILE-RECORD-INFO (9).                RL2054.2
079700     MOVE     RL-FD1R1-F-G-240  TO  FILE-RECORD-INFO (1).         RL2054.2
079800     PERFORM  REL-VERIFY-002.                                     RL2054.2
079900     IF       XRECORD-NUMBER (9)   NOT EQUAL   TO LOGICAL-FILE-RECRL2054.2
080000              ADD   000100 TO ERROR-COUNTER-06V00.                RL2054.2
080100     IF       EXCUT-COUNTER-06V00  LESS THAN 10                   RL2054.2
080200              GO TO    REL-TEST-002-R6.                           RL2054.2
080300     CLOSE    RL-FD1.                                             RL2054.2
080400 REL-TEST-002-06.                                                 RL2054.2
080500     MOVE     06   TO REC-CT.                                     RL2054.2
080600     PERFORM  REL-TEST-002.                                       RL2054.2
080700*   .06                                                           RL2054.2
080800     GO TO    REL-EXIT-002-06.                                    RL2054.2
080900 REL-DELETE-002-06.                                               RL2054.2
--> --------------------

--> maximum size reached

--> --------------------

¤ Dauer der Verarbeitung: 0.188 Sekunden  (vorverarbeitet)  ¤





Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




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.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff