products/Sources/formale Sprachen/Coq/test-suite/bugs/closed image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: bug_2775.v   Sprache: Coq

000100 IDENTIFICATION DIVISION.                                         NC2254.2
000200 PROGRAM-ID.                                                      NC2254.2
000300     NC225A.                                                      NC2254.2
000400****************************************************************  NC2254.2
000500*                                                              *  NC2254.2
000600*    VALIDATION FOR:-                                          *  NC2254.2
000700*                                                              *  NC2254.2
000800*    "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH.     ".NC2254.2
000900*                                                              *  NC2254.2
001000*    "COBOL 85 VERSION 4.2, Apr  1993 SSVG                      ".NC2254.2
001100*                                                              *  NC2254.2
001200****************************************************************  NC2254.2
001300*                                                              *  NC2254.2
001400*      X-CARDS USED BY THIS PROGRAM ARE :-                     *  NC2254.2
001500*                                                              *  NC2254.2
001600*        X-55  - SYSTEM PRINTER NAME.                          *  NC2254.2
001700*        X-82  - SOURCE COMPUTER NAME.                         *  NC2254.2
001800*        X-83  - OBJECT COMPUTER NAME.                         *  NC2254.2
001900*                                                              *  NC2254.2
002000****************************************************************  NC2254.2
002100*                                                              *  NC2254.2
002200*    PROGRAM NC225A TESTS THE USE OF THE "EVALUATE" STATEMENT. *  NC2254.2
002300*    VARIOUS COMBINATIONS OF IDENTIFIERS, LITERALS, ARITHMETIC *  NC2254.2
002400*    EXPRESSIONS AND CONDITIONAL EXPRESSIONS AS WELL AS THE    *  NC2254.2
002500*    OPTIONAL WORDS "TRUE" AND "FALSE" ARE USED AS SELECTION   *  NC2254.2
002600*    SUBJECTS AND SELECTION OBJECTS.                           *  NC2254.2
002700*    MULTIPLE SELECTION SUBJECTS AND SETS OF SELECTION         *  NC2254.2
002800*    OBJECTS ARE ALSO TESTED.                                  *  NC2254.2
002900*                                                              *  NC2254.2
003000****************************************************************  NC2254.2
003100 ENVIRONMENT DIVISION.                                            NC2254.2
003200 CONFIGURATION SECTION.                                           NC2254.2
003300 SOURCE-COMPUTER.                                                 NC2254.2
003400     Card0130.                                                    NC2254.2
003500 OBJECT-COMPUTER.                                                 NC2254.2
003600     Card0131.                                                    NC2254.2
003700 INPUT-OUTPUT SECTION.                                            NC2254.2
003800 FILE-CONTROL.                                                    NC2254.2
003900     SELECT PRINT-FILE ASSIGN TO                                  NC2254.2
004000     "C0085" .                                                    NC2254.2
004100 DATA DIVISION.                                                   NC2254.2
004200 FILE SECTION.                                                    NC2254.2
004300 FD  PRINT-FILE.                                                  NC2254.2
004400 01  PRINT-REC PICTURE X(120).                                    NC2254.2
004500 01  DUMMY-RECORD PICTURE X(120).                                 NC2254.2
004600 WORKING-STORAGE SECTION.                                         NC2254.2
004700 01  WRK-XN-00001-1              PIC   X.                         NC2254.2
004800 01  WRK-XN-00001-2              PIC   X.                         NC2254.2
004900 01  WRK-XN-00001-3              PIC   X.                         NC2254.2
005000 01  WRK-XN-00001-4              PIC   X.                         NC2254.2
005100 01  WRK-DU-02V00                PIC   99.                        NC2254.2
005200 01  WRK-DU-08V00                PIC   9(8).                      NC2254.2
005300 01  WRK-DU-08V00-1              PIC   9(8).                      NC2254.2
005400 01  WRK-DU-08V00-2              PIC   9(8).                      NC2254.2
005500         88 IT-IS-81         VALUE 81.                            NC2254.2
005600 01  WRK-DU-08V00-3              PIC   9(8).                      NC2254.2
005700 01  WRK-DU-08V00-4              PIC   9(8).                      NC2254.2
005800 01  TEST-3-DATA                 PIC   X(6)     VALUE "ABCDEF".   NC2254.2
005900 01  TEST-4-DATA                 PIC   XXBXXBXX VALUE "AB CD EF". NC2254.2
006000                                                                  NC2254.2
006100 01  WS-2                        PIC  S9        VALUE +2.         NC2254.2
006200 01  WS-3                        PIC  S9        VALUE +3.         NC2254.2
006300 01  WS-5                        PIC  S9        VALUE +5.         NC2254.2
006400 01  WS-6                        PIC  S9        VALUE +6.         NC2254.2
006500 01  WS-7                        PIC  S9        VALUE +7.         NC2254.2
006600 01  WS-10                       PIC  S99       VALUE +10.        NC2254.2
006700 01  WS-81                       PIC  S99       VALUE +81.        NC2254.2
006800 01  TEST-5-TABLE.                                                NC2254.2
006900   03        TABLE-GROUP         OCCURS 4.                        NC2254.2
007000     05      TABLE-1             PIC 9(8)                         NC2254.2
007100                                 OCCURS 2.                        NC2254.2
007200   03         TEST-5-DATA        PIC X(6).                        NC2254.2
007300*                                                                 NC2254.2
007400 01  TEST-RESULTS.                                                NC2254.2
007500     02 FILLER                   PIC X      VALUE SPACE.          NC2254.2
007600     02 FEATURE                  PIC X(20)  VALUE SPACE.          NC2254.2
007700     02 FILLER                   PIC X      VALUE SPACE.          NC2254.2
007800     02 P-OR-F                   PIC X(5)   VALUE SPACE.          NC2254.2
007900     02 FILLER                   PIC X      VALUE SPACE.          NC2254.2
008000     02  PAR-NAME.                                                NC2254.2
008100       03 FILLER                 PIC X(19)  VALUE SPACE.          NC2254.2
008200       03  PARDOT-X              PIC X      VALUE SPACE.          NC2254.2
008300       03 DOTVALUE               PIC 99     VALUE ZERO.           NC2254.2
008400     02 FILLER                   PIC X(8)   VALUE SPACE.          NC2254.2
008500     02 RE-MARK                  PIC X(61).                       NC2254.2
008600 01  TEST-COMPUTED.                                               NC2254.2
008700     02 FILLER                   PIC X(30)  VALUE SPACE.          NC2254.2
008800     02 FILLER                   PIC X(17)  VALUE                 NC2254.2
008900            " COMPUTED=".                                   NC2254.2
009000     02 COMPUTED-X.                                               NC2254.2
009100     03 COMPUTED-A               PIC X(20)  VALUE SPACE.          NC2254.2
009200     03 COMPUTED-N               REDEFINES COMPUTED-A             NC2254.2
009300                                 PIC -9(9).9(9).                  NC2254.2
009400     03 COMPUTED-0V18 REDEFINES COMPUTED-A   PIC -.9(18).         NC2254.2
009500     03 COMPUTED-4V14 REDEFINES COMPUTED-A   PIC -9(4).9(14).     NC2254.2
009600     03 COMPUTED-14V4 REDEFINES COMPUTED-A   PIC -9(14).9(4).     NC2254.2
009700     03       CM-18V0 REDEFINES COMPUTED-A.                       NC2254.2
009800         04 COMPUTED-18V0                    PIC -9(18).          NC2254.2
009900         04 FILLER                           PIC X.               NC2254.2
010000     03 FILLER PIC X(50) VALUE SPACE.                             NC2254.2
010100 01  TEST-CORRECT.                                                NC2254.2
010200     02 FILLER PIC X(30) VALUE SPACE.                             NC2254.2
010300     02 FILLER PIC X(17) VALUE " CORRECT =".                NC2254.2
010400     02 CORRECT-X.                                                NC2254.2
010500     03 CORRECT-A                  PIC X(20) VALUE SPACE.         NC2254.2
010600     03 CORRECT-N    REDEFINES CORRECT-A     PIC -9(9).9(9).      NC2254.2
010700     03 CORRECT-0V18 REDEFINES CORRECT-A     PIC -.9(18).         NC2254.2
010800     03 CORRECT-4V14 REDEFINES CORRECT-A     PIC -9(4).9(14).     NC2254.2
010900     03 CORRECT-14V4 REDEFINES CORRECT-A     PIC -9(14).9(4).     NC2254.2
011000     03      CR-18V0 REDEFINES CORRECT-A.                         NC2254.2
011100         04 CORRECT-18V0                     PIC -9(18).          NC2254.2
011200         04 FILLER                           PIC X.               NC2254.2
011300     03 FILLER PIC X(2) VALUE SPACE.                              NC2254.2
011400     03 COR-ANSI-REFERENCE             PIC X(48) VALUE SPACE.     NC2254.2
011500 01  CCVS-C-1.                                                    NC2254.2
011600     02 FILLER  PIC IS X(99)    VALUE IS " FEATURE PANC2254.2
011700-    "SS PARAGRAPH-NAME NC2254.2
011800-    " REMARKS".                                            NC2254.2
011900     02 FILLER                     PIC X(20)    VALUE SPACE.      NC2254.2
012000 01  CCVS-C-2.                                                    NC2254.2
012100     02 FILLER                     PIC X        VALUE SPACE.      NC2254.2
012200     02 FILLER                     PIC X(6)     VALUE "TESTED".   NC2254.2
012300     02 FILLER                     PIC X(15)    VALUE SPACE.      NC2254.2
012400     02 FILLER                     PIC X(4)     VALUE "FAIL".     NC2254.2
012500     02 FILLER                     PIC X(94)    VALUE SPACE.      NC2254.2
012600 01  REC-SKL-SUB                   PIC 9(2)     VALUE ZERO.       NC2254.2
012700 01  REC-CT                        PIC 99       VALUE ZERO.       NC2254.2
012800 01  DELETE-COUNTER                PIC 999      VALUE ZERO.       NC2254.2
012900 01  ERROR-COUNTER                 PIC 999      VALUE ZERO.       NC2254.2
013000 01  INSPECT-COUNTER               PIC 999      VALUE ZERO.       NC2254.2
013100 01  PASS-COUNTER                  PIC 999      VALUE ZERO.       NC2254.2
013200 01  TOTAL-ERROR                   PIC 999      VALUE ZERO.       NC2254.2
013300 01  ERROR-HOLD                    PIC 999      VALUE ZERO.       NC2254.2
013400 01  DUMMY-HOLD                    PIC X(120)   VALUE SPACE.      NC2254.2
013500 01  RECORD-COUNT                  PIC 9(5)     VALUE ZERO.       NC2254.2
013600 01  ANSI-REFERENCE                PIC X(48)    VALUE SPACES.     NC2254.2
013700 01  CCVS-H-1.                                                    NC2254.2
013800     02  FILLER                    PIC X(39)    VALUE SPACES.     NC2254.2
013900     02  FILLER                    PIC X(42)    VALUE             NC2254.2
014000     "OFFICIAL COBOL COMPILER VALIDATION SYSTEM".                 NC2254.2
014100     02  FILLER                    PIC X(39)    VALUE SPACES.     NC2254.2
014200 01  CCVS-H-2A.                                                   NC2254.2
014300   02  FILLER                        PIC X(40)  VALUE SPACE.      NC2254.2
014400   02  FILLER                        PIC X(7)   VALUE "CCVS85 ".  NC2254.2
014500   02  FILLER                        PIC XXXX   VALUE             NC2254.2
014600     "4.2 ".                                                      NC2254.2
014700   02  FILLER                        PIC X(28)  VALUE             NC2254.2
014800            " COPY - NOT FOR DISTRIBUTION".                       NC2254.2
014900   02  FILLER                        PIC X(41)  VALUE SPACE.      NC2254.2
015000                                                                  NC2254.2
015100 01  CCVS-H-2B.                                                   NC2254.2
015200   02  FILLER                        PIC X(15)  VALUE             NC2254.2
015300            "TEST RESULT OF ".                                    NC2254.2
015400   02  TEST-ID                       PIC X(9).                    NC2254.2
015500   02  FILLER                        PIC X(4)   VALUE             NC2254.2
015600            " IN ".                                               NC2254.2
015700   02  FILLER                        PIC X(12)  VALUE             NC2254.2
015800     " HIGH ".                                              NC2254.2
015900   02  FILLER                        PIC X(22)  VALUE             NC2254.2
016000            " LEVEL VALIDATION FOR ".                             NC2254.2
016100   02  FILLER                        PIC X(58)  VALUE             NC2254.2
016200     "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH. ".NC2254.2
016300 01  CCVS-H-3.                                                    NC2254.2
016400     02  FILLER                      PIC X(34)  VALUE             NC2254.2
016500            " FOR OFFICIAL USE ONLY ".                         NC2254.2
016600     02  FILLER                      PIC X(58)  VALUE             NC2254.2
016700     "COBOL 85 VERSION 4.2, Apr 1993 SSVG ".NC2254.2
016800     02  FILLER                      PIC X(28)  VALUE             NC2254.2
016900            " COPYRIGHT 1985 ".                                NC2254.2
017000 01  CCVS-E-1.                                                    NC2254.2
017100     02 FILLER                       PIC X(52)  VALUE SPACE.      NC2254.2
017200     02 FILLER  PIC X(14) VALUE IS "END OF TEST- ".              NC2254.2
017300     02 ID-AGAIN                     PIC X(9).                    NC2254.2
017400     02 FILLER                       PIC X(45)  VALUE SPACES.     NC2254.2
017500 01  CCVS-E-2.                                                    NC2254.2
017600     02  FILLER                      PIC X(31)  VALUE SPACE.      NC2254.2
017700     02  FILLER                      PIC X(21)  VALUE SPACE.      NC2254.2
017800     02 CCVS-E-2-2.                                               NC2254.2
017900         03 ERROR-TOTAL              PIC XXX    VALUE SPACE.      NC2254.2
018000         03 FILLER                   PIC X      VALUE SPACE.      NC2254.2
018100         03 ENDER-DESC               PIC X(44)  VALUE             NC2254.2
018200            "ERRORS ENCOUNTERED".                                 NC2254.2
018300 01  CCVS-E-3.                                                    NC2254.2
018400     02  FILLER                      PIC X(22)  VALUE             NC2254.2
018500            " FOR OFFICIAL USE ONLY".                             NC2254.2
018600     02  FILLER                      PIC X(12)  VALUE SPACE.      NC2254.2
018700     02  FILLER                      PIC X(58)  VALUE             NC2254.2
018800     "ON-SITE VALIDATION, NATIONAL INSTITUTE OF STD & TECH. ".NC2254.2
018900     02  FILLER                      PIC X(13)  VALUE SPACE.      NC2254.2
019000     02 FILLER                       PIC X(15)  VALUE             NC2254.2
019100             " COPYRIGHT 1985".                                   NC2254.2
019200 01  CCVS-E-4.                                                    NC2254.2
019300     02 CCVS-E-4-1                   PIC XXX    VALUE SPACE.      NC2254.2
019400     02 FILLER                       PIC X(4)   VALUE " OF ".     NC2254.2
019500     02 CCVS-E-4-2                   PIC XXX    VALUE SPACE.      NC2254.2
019600     02 FILLER                       PIC X(40)  VALUE             NC2254.2
019700      " TESTS WERE EXECUTED SUCCESSFULLY".                       NC2254.2
019800 01  XXINFO.                                                      NC2254.2
019900     02 FILLER                       PIC X(19)  VALUE             NC2254.2
020000            "*** INFORMATION ***".                                NC2254.2
020100     02 INFO-TEXT.                                                NC2254.2
020200       04 FILLER                     PIC X(8)   VALUE SPACE.      NC2254.2
020300       04 XXCOMPUTED                 PIC X(20).                   NC2254.2
020400       04 FILLER                     PIC X(5)   VALUE SPACE.      NC2254.2
020500       04 XXCORRECT                  PIC X(20).                   NC2254.2
020600     02 INF-ANSI-REFERENCE           PIC X(48).                   NC2254.2
020700 01  HYPHEN-LINE.                                                 NC2254.2
020800     02 FILLER  PIC IS X VALUE IS SPACE.                          NC2254.2
020900     02 FILLER  PIC IS X(65)    VALUE IS "************************NC2254.2
021000-    "*****************************************".                 NC2254.2
021100     02 FILLER  PIC IS X(54)    VALUE IS "************************NC2254.2
021200-    "******************************".                            NC2254.2
021300 01  CCVS-PGM-ID                     PIC X(9)   VALUE             NC2254.2
021400     "NC225A".                                                    NC2254.2
021500 PROCEDURE DIVISION.                                              NC2254.2
021600 CCVS1 SECTION.                                                   NC2254.2
021700 OPEN-FILES.                                                      NC2254.2
021800     OPEN     OUTPUT PRINT-FILE.                                  NC2254.2
021900     MOVE CCVS-PGM-ID TO TEST-ID. MOVE CCVS-PGM-ID TO ID-AGAIN.   NC2254.2
022000     MOVE    SPACE TO TEST-RESULTS.                               NC2254.2
022100     PERFORM  HEAD-ROUTINE THRU COLUMN-NAMES-ROUTINE.             NC2254.2
022200     GO TO CCVS1-EXIT.                                            NC2254.2
022300 CLOSE-FILES.                                                     NC2254.2
022400     PERFORM END-ROUTINE THRU END-ROUTINE-13. CLOSE PRINT-FILE.   NC2254.2
022500 TERMINATE-CCVS.                                                  NC2254.2
022600     EXIT PROGRAM.                                                NC2254.2
022700 TERMINATE-CALL.                                                  NC2254.2
022800     STOP     RUN.                                                NC2254.2
022900 INSPT. MOVE "INSPT" TO P-OR-F. ADD 1 TO INSPECT-COUNTER.         NC2254.2
023000 PASS.  MOVE "PASS " TO P-OR-F.  ADD 1 TO PASS-COUNTER.           NC2254.2
023100 FAIL.  MOVE "FAIL*" TO P-OR-F.  ADD 1 TO ERROR-COUNTER.          NC2254.2
023200 DE-LETE.  MOVE "*****" TO P-OR-F.  ADD 1 TO DELETE-COUNTER.      NC2254.2
023300     MOVE "****TEST DELETED****" TO RE-MARK.                      NC2254.2
023400 PRINT-DETAIL.                                                    NC2254.2
023500     IF REC-CT NOT EQUAL TO ZERO                                  NC2254.2
023600             MOVE "." TO PARDOT-X                                 NC2254.2
023700             MOVE REC-CT TO DOTVALUE.                             NC2254.2
023800     MOVE     TEST-RESULTS TO PRINT-REC. PERFORM WRITE-LINE.      NC2254.2
023900     IF P-OR-F EQUAL TO "FAIL*"  PERFORM WRITE-LINE               NC2254.2
024000        PERFORM FAIL-ROUTINE THRU FAIL-ROUTINE-EX                 NC2254.2
024100          ELSE PERFORM BAIL-OUT THRU BAIL-OUT-EX.                 NC2254.2
024200     MOVE SPACE TO P-OR-F. MOVE SPACE TO COMPUTED-X.              NC2254.2
024300     MOVE SPACE TO CORRECT-X.                                     NC2254.2
024400     IF     REC-CT EQUAL TO ZERO  MOVE SPACE TO PAR-NAME.         NC2254.2
024500     MOVE     SPACE TO RE-MARK.                                   NC2254.2
024600 HEAD-ROUTINE.                                                    NC2254.2
024700     MOVE CCVS-H-1  TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.  NC2254.2
024800     MOVE CCVS-H-2A TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.  NC2254.2
024900     MOVE CCVS-H-2B TO DUMMY-RECORD. PERFORM WRITE-LINE 3 TIMES.  NC2254.2
025000     MOVE CCVS-H-3  TO DUMMY-RECORD. PERFORM WRITE-LINE 3 TIMES.  NC2254.2
025100 COLUMN-NAMES-ROUTINE.                                            NC2254.2
025200     MOVE CCVS-C-1 TO DUMMY-RECORD. PERFORM WRITE-LINE.           NC2254.2
025300     MOVE CCVS-C-2 TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   NC2254.2
025400     MOVE HYPHEN-LINE TO DUMMY-RECORD. PERFORM WRITE-LINE.        NC2254.2
025500 END-ROUTINE.                                                     NC2254.2
025600     MOVE HYPHEN-LINE TO DUMMY-RECORD. PERFORM WRITE-LINE 5 TIMES.NC2254.2
025700 END-RTN-EXIT.                                                    NC2254.2
025800     MOVE CCVS-E-1 TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   NC2254.2
025900 END-ROUTINE-1.                                                   NC2254.2
026000      ADD ERROR-COUNTER TO ERROR-HOLD ADD INSPECT-COUNTER TO      NC2254.2
026100      ERROR-HOLD. ADD DELETE-COUNTER TO ERROR-HOLD.               NC2254.2
026200      ADD PASS-COUNTER TO ERROR-HOLD.                             NC2254.2
026300*     IF PASS-COUNTER EQUAL TO ERROR-HOLD GO TO END-ROUTINE-12.   NC2254.2
026400                                                                  NC2254.2
026500      MOVE PASS-COUNTER TO CCVS-E-4-1.                            NC2254.2
026600      MOVE ERROR-HOLD TO CCVS-E-4-2.                              NC2254.2
026700      MOVE CCVS-E-4 TO CCVS-E-2-2.                                NC2254.2
026800      MOVE CCVS-E-2 TO DUMMY-RECORD PERFORM WRITE-LINE.           NC2254.2
026900  END-ROUTINE-12.                                                 NC2254.2
027000      MOVE "TEST(S) FAILED" TO ENDER-DESC.                        NC2254.2
027100     IF       ERROR-COUNTER IS EQUAL TO ZERO                      NC2254.2
027200         MOVE "NO " TO ERROR-TOTAL                                NC2254.2
027300         ELSE                                                     NC2254.2
027400         MOVE ERROR-COUNTER TO ERROR-TOTAL.                       NC2254.2
027500     MOVE     CCVS-E-2 TO DUMMY-RECORD.                           NC2254.2
027600     PERFORM WRITE-LINE.                                          NC2254.2
027700 END-ROUTINE-13.                                                  NC2254.2
027800     IF DELETE-COUNTER IS EQUAL TO ZERO                           NC2254.2
027900         MOVE "NO " TO ERROR-TOTAL  ELSE                          NC2254.2
028000         MOVE DELETE-COUNTER TO ERROR-TOTAL.                      NC2254.2
028100     MOVE "TEST(S) DELETED " TO ENDER-DESC.                   NC2254.2
028200     MOVE CCVS-E-2 TO DUMMY-RECORD. PERFORM WRITE-LINE.           NC2254.2
028300      IF   INSPECT-COUNTER EQUAL TO ZERO                          NC2254.2
028400          MOVE "NO " TO ERROR-TOTAL                               NC2254.2
028500      ELSE MOVE INSPECT-COUNTER TO ERROR-TOTAL.                   NC2254.2
028600      MOVE "TEST(S) REQUIRE INSPECTION" TO ENDER-DESC.            NC2254.2
028700      MOVE CCVS-E-2 TO DUMMY-RECORD. PERFORM WRITE-LINE.          NC2254.2
028800     MOVE CCVS-E-3 TO DUMMY-RECORD. PERFORM WRITE-LINE.           NC2254.2
028900 WRITE-LINE.                                                      NC2254.2
029000     ADD 1 TO RECORD-COUNT.                                       NC2254.2
029100     IF RECORD-COUNT GREATER 50                                   NC2254.2
029200         MOVE DUMMY-RECORD TO DUMMY-HOLD                          NC2254.2
029300         MOVE SPACE TO DUMMY-RECORD                               NC2254.2
029400         WRITE DUMMY-RECORD AFTER ADVANCING PAGE                  NC2254.2
029500         MOVE CCVS-C-1 TO DUMMY-RECORD PERFORM WRT-LN             NC2254.2
029600         MOVE CCVS-C-2 TO DUMMY-RECORD PERFORM WRT-LN 2 TIMES     NC2254.2
029700         MOVE HYPHEN-LINE TO DUMMY-RECORD PERFORM WRT-LN          NC2254.2
029800         MOVE DUMMY-HOLD TO DUMMY-RECORD                          NC2254.2
029900         MOVE ZERO TO RECORD-COUNT.                               NC2254.2
030000     PERFORM WRT-LN.                                              NC2254.2
030100 WRT-LN.                                                          NC2254.2
030200     WRITE    DUMMY-RECORD AFTER ADVANCING 1 LINES.               NC2254.2
030300     MOVE SPACE TO DUMMY-RECORD.                                  NC2254.2
030400 BLANK-LINE-PRINT.                                                NC2254.2
030500     PERFORM WRT-LN.                                              NC2254.2
030600 FAIL-ROUTINE.                                                    NC2254.2
030700     IF     COMPUTED-X NOT EQUAL TO SPACE                         NC2254.2
030800            GO TO    FAIL-ROUTINE-WRITE.                          NC2254.2
030900     IF     CORRECT-X NOT EQUAL TO SPACE GO TO FAIL-ROUTINE-WRITE.NC2254.2
031000     MOVE   ANSI-REFERENCE TO INF-ANSI-REFERENCE.                 NC2254.2
031100     MOVE  "NO FURTHER INFORMATION, SEE PROGRAM." TO INFO-TEXT.   NC2254.2
031200     MOVE   XXINFO TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   NC2254.2
031300     MOVE   SPACES TO INF-ANSI-REFERENCE.                         NC2254.2
031400     GO TO  FAIL-ROUTINE-EX.                                      NC2254.2
031500 FAIL-ROUTINE-WRITE.                                              NC2254.2
031600     MOVE   TEST-COMPUTED TO PRINT-REC PERFORM WRITE-LINE         NC2254.2
031700     MOVE   ANSI-REFERENCE TO COR-ANSI-REFERENCE.                 NC2254.2
031800     MOVE   TEST-CORRECT TO PRINT-REC PERFORM WRITE-LINE 2 TIMES. NC2254.2
031900     MOVE   SPACES TO COR-ANSI-REFERENCE.                         NC2254.2
032000 FAIL-ROUTINE-EX. EXIT.                                           NC2254.2
032100 BAIL-OUT.                                                        NC2254.2
032200     IF     COMPUTED-A NOT EQUAL TO SPACE GO TO BAIL-OUT-WRITE.   NC2254.2
032300     IF     CORRECT-A EQUAL TO SPACE GO TO BAIL-OUT-EX.           NC2254.2
032400 BAIL-OUT-WRITE.                                                  NC2254.2
032500     MOVE CORRECT-A TO XXCORRECT. MOVE COMPUTED-A TO XXCOMPUTED.  NC2254.2
032600     MOVE   ANSI-REFERENCE TO INF-ANSI-REFERENCE.                 NC2254.2
032700     MOVE   XXINFO TO DUMMY-RECORD. PERFORM WRITE-LINE 2 TIMES.   NC2254.2
032800     MOVE   SPACES TO INF-ANSI-REFERENCE.                         NC2254.2
032900 BAIL-OUT-EX. EXIT.                                               NC2254.2
033000 CCVS1-EXIT.                                                      NC2254.2
033100     EXIT.                                                        NC2254.2
033200*                                                                 NC2254.2
033300 SECT-NC225A-001-1 SECTION.                                       NC2254.2
033400*                                                                 NC2254.2
033500 EVA-INIT-GF-1.                                                   NC2254.2
033600     MOVE   "EVALUATE STATEMENT"  TO FEATURE.                     NC2254.2
033700     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
033800     MOVE    1       TO REC-CT.                                   NC2254.2
033900     MOVE   "6" TO WRK-XN-00001-1.                                NC2254.2
034000     GO TO   EVA-TEST-GF-1-1.                                     NC2254.2
034100 EVA-DELETE-GF-1.                                                 NC2254.2
034200     PERFORM DE-LETE.                                             NC2254.2
034300     PERFORM PRINT-DETAIL.                                        NC2254.2
034400     GO TO   EVA-INIT-GF-2.                                       NC2254.2
034500 EVA-TEST-GF-1-1.                                                 NC2254.2
034600     MOVE   "EVA-TEST-GF-1-1" TO PAR-NAME.                        NC2254.2
034700     EVALUATE WRK-XN-00001-1 NUMERIC                              NC2254.2
034800        WHEN TRUE                                                 NC2254.2
034900             PERFORM PASS                                         NC2254.2
035000             GO TO   EVA-WRITE-GF-1-1.                            NC2254.2
035100     GO TO EVA-FAIL-GF-1-1.                                       NC2254.2
035200 EVA-DELETE-GF-1-1.                                               NC2254.2
035300     PERFORM DE-LETE.                                             NC2254.2
035400     GO TO EVA-WRITE-GF-1-1.                                      NC2254.2
035500 EVA-FAIL-GF-1-1.                                                 NC2254.2
035600     MOVE   "EXPECTING NUMERIC CONDITION" TO RE-MARK.             NC2254.2
035700     PERFORM FAIL.                                                NC2254.2
035800 EVA-WRITE-GF-1-1.                                                NC2254.2
035900     PERFORM PRINT-DETAIL.                                        NC2254.2
036000*                                                                 NC2254.2
036100 EVA-TEST-GF-1-2.                                                 NC2254.2
036200     ADD     1       TO REC-CT.                                   NC2254.2
036300     MOVE   "EVA-TEST-GF-1-2" TO PAR-NAME.                        NC2254.2
036400     EVALUATE WRK-XN-00001-1 NOT NUMERIC                          NC2254.2
036500        WHEN TRUE                                                 NC2254.2
036600             GO TO EVA-FAIL-GF-1-2.                               NC2254.2
036700     PERFORM PASS.                                                NC2254.2
036800     GO TO   EVA-WRITE-GF-1-2.                                    NC2254.2
036900 EVA-DELETE-GF-1-2.                                               NC2254.2
037000     PERFORM DE-LETE.                                             NC2254.2
037100     GO TO EVA-WRITE-GF-1-2.                                      NC2254.2
037200 EVA-FAIL-GF-1-2.                                                 NC2254.2
037300     MOVE   "EXPECTING NUMERIC CONDITION" TO RE-MARK              NC2254.2
037400     PERFORM FAIL.                                                NC2254.2
037500 EVA-WRITE-GF-1-2.                                                NC2254.2
037600     PERFORM PRINT-DETAIL.                                        NC2254.2
037700*                                                                 NC2254.2
037800 EVA-INIT-GF-2.                                                   NC2254.2
037900     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
038000     MOVE    1  TO REC-CT.                                        NC2254.2
038100     MOVE   "*" TO WRK-XN-00001-1.                                NC2254.2
038200     GO TO   EVA-TEST-GF-2-1.                                     NC2254.2
038300 EVA-DELETE-GF-2.                                                 NC2254.2
038400     PERFORM DE-LETE.                                             NC2254.2
038500     PERFORM PRINT-DETAIL.                                        NC2254.2
038600     GO TO   EVA-INIT-GF-3.                                       NC2254.2
038700 EVA-TEST-GF-2-1.                                                 NC2254.2
038800     MOVE   "EVA-TEST-GF-2-1" TO PAR-NAME.                        NC2254.2
038900     EVALUATE WRK-XN-00001-1 NUMERIC                              NC2254.2
039000        WHEN TRUE                                                 NC2254.2
039100             GO TO EVA-FAIL-GF-2-1.                               NC2254.2
039200     PERFORM PASS.                                                NC2254.2
039300     GO TO EVA-WRITE-GF-2-1.                                      NC2254.2
039400 EVA-DELETE-GF-2-1.                                               NC2254.2
039500     PERFORM DE-LETE.                                             NC2254.2
039600     GO TO EVA-WRITE-GF-2-1.                                      NC2254.2
039700 EVA-FAIL-GF-2-1.                                                 NC2254.2
039800     MOVE   "EXPECTING NON-NUMERIC CONDITION" TO RE-MARK          NC2254.2
039900     PERFORM FAIL.                                                NC2254.2
040000 EVA-WRITE-GF-2-1.                                                NC2254.2
040100     PERFORM PRINT-DETAIL.                                        NC2254.2
040200*                                                                 NC2254.2
040300 EVA-TEST-GF-2-2.                                                 NC2254.2
040400     ADD     1 TO REC-CT.                                         NC2254.2
040500     MOVE   "EVA-TEST-GF-2-2" TO PAR-NAME.                        NC2254.2
040600     EVALUATE WRK-XN-00001-1 NOT NUMERIC                          NC2254.2
040700        WHEN TRUE                                                 NC2254.2
040800             PERFORM PASS                                         NC2254.2
040900             GO TO   EVA-WRITE-GF-2-2.                            NC2254.2
041000     GO TO EVA-FAIL-GF-2-2.                                       NC2254.2
041100 EVA-DELETE-GF-2-2.                                               NC2254.2
041200     PERFORM DE-LETE.                                             NC2254.2
041300     GO TO EVA-WRITE-GF-2-2.                                      NC2254.2
041400 EVA-FAIL-GF-2-2.                                                 NC2254.2
041500     MOVE   "EXPECTING NON-NUMERIC CONDITION" TO RE-MARK.         NC2254.2
041600     PERFORM FAIL.                                                NC2254.2
041700 EVA-WRITE-GF-2-2.                                                NC2254.2
041800     PERFORM PRINT-DETAIL.                                        NC2254.2
041900*                                                                 NC2254.2
042000 EVA-INIT-GF-3.                                                   NC2254.2
042100     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
042200     MOVE    1  TO REC-CT.                                        NC2254.2
042300     MOVE   "6" TO WRK-XN-00001-1.                                NC2254.2
042400     MOVE   "6" TO WRK-XN-00001-2.                                NC2254.2
042500     GO TO   EVA-TEST-GF-3-1.                                     NC2254.2
042600 EVA-DELETE-GF-3.                                                 NC2254.2
042700     PERFORM DE-LETE.                                             NC2254.2
042800     PERFORM PRINT-DETAIL.                                        NC2254.2
042900     GO TO   EVA-INIT-GF-4.                                       NC2254.2
043000 EVA-TEST-GF-3-1.                                                 NC2254.2
043100     MOVE   "EVA-TEST-GF-3-1" TO PAR-NAME.                        NC2254.2
043200     EVALUATE WRK-XN-00001-1                                      NC2254.2
043300        WHEN WRK-XN-00001-2                                       NC2254.2
043400             PERFORM PASS                                         NC2254.2
043500             GO TO   EVA-WRITE-GF-3-1.                            NC2254.2
043600     GO TO EVA-FAIL-GF-3-1.                                       NC2254.2
043700 EVA-DELETE-GF-3-1.                                               NC2254.2
043800     PERFORM DE-LETE.                                             NC2254.2
043900     GO TO EVA-WRITE-GF-3-1.                                      NC2254.2
044000 EVA-FAIL-GF-3-1.                                                 NC2254.2
044100     MOVE   "EXPECTING EQUAL IDENTIFIER" TO RE-MARK.              NC2254.2
044200     PERFORM FAIL.                                                NC2254.2
044300 EVA-WRITE-GF-3-1.                                                NC2254.2
044400     PERFORM PRINT-DETAIL.                                        NC2254.2
044500*                                                                 NC2254.2
044600 EVA-TEST-GF-3-2.                                                 NC2254.2
044700     ADD     1       TO REC-CT.                                   NC2254.2
044800     MOVE   "EVA-TEST-GF-3-2" TO PAR-NAME.                        NC2254.2
044900     EVALUATE WRK-XN-00001-1                                      NC2254.2
045000        WHEN NOT WRK-XN-00001-2                                   NC2254.2
045100             GO TO EVA-FAIL-GF-3-2.                               NC2254.2
045200     PERFORM PASS.                                                NC2254.2
045300     GO TO   EVA-WRITE-GF-3-2.                                    NC2254.2
045400 EVA-DELETE-GF-3-2.                                               NC2254.2
045500     PERFORM DE-LETE.                                             NC2254.2
045600     GO TO EVA-WRITE-GF-3-2.                                      NC2254.2
045700 EVA-FAIL-GF-3-2.                                                 NC2254.2
045800     MOVE   "EXPECTING EQUAL IDENTIFIERS" TO RE-MARK              NC2254.2
045900     PERFORM FAIL.                                                NC2254.2
046000 EVA-WRITE-GF-3-2.                                                NC2254.2
046100     PERFORM PRINT-DETAIL.                                        NC2254.2
046200*                                                                 NC2254.2
046300 EVA-INIT-GF-4.                                                   NC2254.2
046400     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
046500     MOVE    1  TO REC-CT.                                        NC2254.2
046600     MOVE   "1" TO WRK-XN-00001-1.                                NC2254.2
046700     MOVE   "*" TO WRK-XN-00001-2.                                NC2254.2
046800     GO TO   EVA-TEST-GF-4-1.                                     NC2254.2
046900 EVA-DELETE-GF-4.                                                 NC2254.2
047000     PERFORM DE-LETE.                                             NC2254.2
047100     PERFORM PRINT-DETAIL.                                        NC2254.2
047200     GO TO   EVA-INIT-GF-5.                                       NC2254.2
047300 EVA-TEST-GF-4-1.                                                 NC2254.2
047400     MOVE   "EVA-TEST-GF-4-1" TO PAR-NAME.                        NC2254.2
047500     EVALUATE WRK-XN-00001-1                                      NC2254.2
047600        WHEN WRK-XN-00001-2                                       NC2254.2
047700             GO TO EVA-FAIL-GF-4-1.                               NC2254.2
047800     PERFORM PASS.                                                NC2254.2
047900     GO TO   EVA-WRITE-GF-4-1.                                    NC2254.2
048000 EVA-DELETE-GF-4-1.                                               NC2254.2
048100     PERFORM DE-LETE.                                             NC2254.2
048200     GO TO EVA-WRITE-GF-4-1.                                      NC2254.2
048300 EVA-FAIL-GF-4-1.                                                 NC2254.2
048400     MOVE   "EXPECTING UNEQUAL IDENTIFIERS" TO RE-MARK            NC2254.2
048500     PERFORM FAIL.                                                NC2254.2
048600 EVA-WRITE-GF-4-1.                                                NC2254.2
048700     PERFORM PRINT-DETAIL.                                        NC2254.2
048800*                                                                 NC2254.2
048900 EVA-TEST-GF-4-2.                                                 NC2254.2
049000     ADD     1 TO REC-CT.                                         NC2254.2
049100     EVALUATE WRK-XN-00001-1                                      NC2254.2
049200        WHEN NOT WRK-XN-00001-2                                   NC2254.2
049300             PERFORM PASS                                         NC2254.2
049400             GO TO   EVA-WRITE-GF-4-2.                            NC2254.2
049500     GO TO EVA-FAIL-GF-4-2.                                       NC2254.2
049600 EVA-DELETE-GF-4-2.                                               NC2254.2
049700     PERFORM DE-LETE.                                             NC2254.2
049800     GO TO   EVA-WRITE-GF-4-2.                                    NC2254.2
049900 EVA-FAIL-GF-4-2.                                                 NC2254.2
050000     MOVE   "EXPECTING UNEQUAL IDENTIFIERS" TO RE-MARK.           NC2254.2
050100     PERFORM FAIL.                                                NC2254.2
050200 EVA-WRITE-GF-4-2.                                                NC2254.2
050300     MOVE   "EVA-TEST-GF-4-2" TO PAR-NAME.                        NC2254.2
050400     PERFORM PRINT-DETAIL.                                        NC2254.2
050500*                                                                 NC2254.2
050600 EVA-INIT-GF-5.                                                   NC2254.2
050700     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
050800     MOVE    1  TO REC-CT.                                        NC2254.2
050900     MOVE   "A" TO WRK-XN-00001-1.                                NC2254.2
051000     GO TO   EVA-TEST-GF-5-1.                                     NC2254.2
051100 EVA-DELETE-GF-5.                                                 NC2254.2
051200     PERFORM DE-LETE.                                             NC2254.2
051300     PERFORM PRINT-DETAIL.                                        NC2254.2
051400     GO TO   EVA-INIT-GF-6.                                       NC2254.2
051500 EVA-TEST-GF-5-1.                                                 NC2254.2
051600     MOVE   "EVA-TEST-GF-5-1" TO PAR-NAME.                        NC2254.2
051700     EVALUATE WRK-XN-00001-1                                      NC2254.2
051800        WHEN "A"                                                  NC2254.2
051900             PERFORM PASS                                         NC2254.2
052000             GO TO   EVA-WRITE-GF-5-1.                            NC2254.2
052100     GO TO EVA-FAIL-GF-5-1.                                       NC2254.2
052200 EVA-DELETE-GF-5-1.                                               NC2254.2
052300     PERFORM DE-LETE.                                             NC2254.2
052400     GO TO EVA-WRITE-GF-5-1.                                      NC2254.2
052500 EVA-FAIL-GF-5-1.                                                 NC2254.2
052600     MOVE   "EXPECTING EQUAL LITERAL" TO RE-MARK.                 NC2254.2
052700     PERFORM FAIL.                                                NC2254.2
052800 EVA-WRITE-GF-5-1.                                                NC2254.2
052900     PERFORM PRINT-DETAIL.                                        NC2254.2
053000*                                                                 NC2254.2
053100 EVA-TEST-GF-5-2.                                                 NC2254.2
053200     ADD     1       TO REC-CT.                                   NC2254.2
053300     MOVE   "EVA-TEST-GF-5-2" TO PAR-NAME.                        NC2254.2
053400     EVALUATE WRK-XN-00001-1                                      NC2254.2
053500        WHEN NOT "A"                                              NC2254.2
053600             GO TO EVA-FAIL-GF-5-2.                               NC2254.2
053700     PERFORM PASS.                                                NC2254.2
053800     GO TO   EVA-WRITE-GF-5-2.                                    NC2254.2
053900 EVA-DELETE-GF-5-2.                                               NC2254.2
054000     PERFORM DE-LETE.                                             NC2254.2
054100     GO TO EVA-WRITE-GF-5-2.                                      NC2254.2
054200 EVA-FAIL-GF-5-2.                                                 NC2254.2
054300     MOVE   "EXPECTING EQUAL LITERAL" TO RE-MARK                  NC2254.2
054400     PERFORM FAIL.                                                NC2254.2
054500 EVA-WRITE-GF-5-2.                                                NC2254.2
054600     PERFORM PRINT-DETAIL.                                        NC2254.2
054700*                                                                 NC2254.2
054800 EVA-INIT-GF-6.                                                   NC2254.2
054900     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
055000     MOVE    1  TO REC-CT.                                        NC2254.2
055100     MOVE   "A" TO WRK-XN-00001-1.                                NC2254.2
055200     GO TO   EVA-TEST-GF-6-1.                                     NC2254.2
055300 EVA-DELETE-GF-6.                                                 NC2254.2
055400     PERFORM DE-LETE.                                             NC2254.2
055500     PERFORM PRINT-DETAIL.                                        NC2254.2
055600     GO TO   EVA-INIT-GF-7.                                       NC2254.2
055700 EVA-TEST-GF-6-1.                                                 NC2254.2
055800     MOVE   "EVA-TEST-GF-6-1" TO PAR-NAME.                        NC2254.2
055900     EVALUATE WRK-XN-00001-1                                      NC2254.2
056000        WHEN "Z"                                                  NC2254.2
056100             GO TO EVA-FAIL-GF-6-1.                               NC2254.2
056200     PERFORM PASS.                                                NC2254.2
056300     GO TO   EVA-WRITE-GF-6-1.                                    NC2254.2
056400 EVA-DELETE-GF-6-1.                                               NC2254.2
056500     PERFORM DE-LETE.                                             NC2254.2
056600     GO TO EVA-WRITE-GF-6-1.                                      NC2254.2
056700 EVA-FAIL-GF-6-1.                                                 NC2254.2
056800     MOVE   "EXPECTING UNEQUAL LITERAL" TO RE-MARK                NC2254.2
056900     PERFORM FAIL.                                                NC2254.2
057000 EVA-WRITE-GF-6-1.                                                NC2254.2
057100     PERFORM PRINT-DETAIL.                                        NC2254.2
057200*                                                                 NC2254.2
057300 EVA-TEST-GF-6-2.                                                 NC2254.2
057400     ADD     1 TO REC-CT.                                         NC2254.2
057500     MOVE   "EVA-TEST-GF-6-2" TO PAR-NAME.                        NC2254.2
057600     EVALUATE WRK-XN-00001-1                                      NC2254.2
057700        WHEN NOT "Z"                                              NC2254.2
057800             PERFORM PASS                                         NC2254.2
057900             GO TO   EVA-WRITE-GF-6-2.                            NC2254.2
058000     GO TO EVA-FAIL-GF-6-2.                                       NC2254.2
058100 EVA-DELETE-GF-6-2.                                               NC2254.2
058200     PERFORM DE-LETE.                                             NC2254.2
058300     GO TO EVA-WRITE-GF-6-2.                                      NC2254.2
058400 EVA-FAIL-GF-6-2.                                                 NC2254.2
058500     MOVE   "EXPECTING UNEQUAL LITERAL" TO RE-MARK.               NC2254.2
058600     PERFORM FAIL.                                                NC2254.2
058700 EVA-WRITE-GF-6-2.                                                NC2254.2
058800     PERFORM PRINT-DETAIL.                                        NC2254.2
058900*                                                                 NC2254.2
059000 EVA-INIT-GF-7.                                                   NC2254.2
059100     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
059200     MOVE    1  TO REC-CT.                                        NC2254.2
059300     MOVE    89 TO WRK-DU-08V00.                                  NC2254.2
059400     GO TO   EVA-TEST-GF-7-1.                                     NC2254.2
059500 EVA-DELETE-GF-7.                                                 NC2254.2
059600     PERFORM DE-LETE.                                             NC2254.2
059700     PERFORM PRINT-DETAIL.                                        NC2254.2
059800     GO TO   EVA-INIT-GF-8.                                       NC2254.2
059900 EVA-TEST-GF-7-1.                                                 NC2254.2
060000     MOVE   "EVA-TEST-GF-7-1" TO PAR-NAME.                        NC2254.2
060100     EVALUATE WRK-DU-08V00                                        NC2254.2
060200        WHEN (33 + (99 - 43))                                     NC2254.2
060300             PERFORM PASS                                         NC2254.2
060400             GO TO   EVA-WRITE-GF-7-1.                            NC2254.2
060500     GO TO EVA-FAIL-GF-7-1.                                       NC2254.2
060600 EVA-DELETE-GF-7-1.                                               NC2254.2
060700     PERFORM DE-LETE.                                             NC2254.2
060800     GO TO EVA-WRITE-GF-7-1.                                      NC2254.2
060900 EVA-FAIL-GF-7-1.                                                 NC2254.2
061000     MOVE   "EXPECTING EQUAL ARITHMETIC EXPRESSION" TO RE-MARK.   NC2254.2
061100     PERFORM FAIL.                                                NC2254.2
061200 EVA-WRITE-GF-7-1.                                                NC2254.2
061300     PERFORM PRINT-DETAIL.                                        NC2254.2
061400*                                                                 NC2254.2
061500 EVA-TEST-GF-7-2.                                                 NC2254.2
061600     ADD     1       TO REC-CT.                                   NC2254.2
061700     MOVE   "EVA-TEST-GF-7-2" TO PAR-NAME.                        NC2254.2
061800     EVALUATE WRK-DU-08V00                                        NC2254.2
061900        WHEN NOT (33 + (99 - 43))                                 NC2254.2
062000             GO TO EVA-FAIL-GF-7-2.                               NC2254.2
062100     PERFORM PASS.                                                NC2254.2
062200     GO TO   EVA-WRITE-GF-7-2.                                    NC2254.2
062300 EVA-DELETE-GF-7-2.                                               NC2254.2
062400     PERFORM DE-LETE.                                             NC2254.2
062500     GO TO EVA-WRITE-GF-7-2.                                      NC2254.2
062600 EVA-FAIL-GF-7-2.                                                 NC2254.2
062700     MOVE   "EXPECTING EQUAL ARITHMETIC EXPRESSION"               NC2254.2
062800          TO RE-MARK                                              NC2254.2
062900     PERFORM FAIL.                                                NC2254.2
063000 EVA-WRITE-GF-7-2.                                                NC2254.2
063100     PERFORM PRINT-DETAIL.                                        NC2254.2
063200*                                                                 NC2254.2
063300 EVA-INIT-GF-8.                                                   NC2254.2
063400     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
063500     MOVE    1  TO REC-CT.                                        NC2254.2
063600     MOVE    89 TO WRK-DU-08V00.                                  NC2254.2
063700     GO TO   EVA-TEST-GF-8-1.                                     NC2254.2
063800 EVA-DELETE-GF-8.                                                 NC2254.2
063900     PERFORM DE-LETE.                                             NC2254.2
064000     PERFORM PRINT-DETAIL.                                        NC2254.2
064100     GO TO   EVA-INIT-GF-9.                                       NC2254.2
064200 EVA-TEST-GF-8-1.                                                 NC2254.2
064300     MOVE   "EVA-TEST-GF-8-1" TO PAR-NAME.                        NC2254.2
064400     EVALUATE WRK-DU-08V00                                        NC2254.2
064500        WHEN (2 + 4 + 8 + 16 + 32 + 64)                           NC2254.2
064600             GO TO EVA-FAIL-GF-8-1.                               NC2254.2
064700     PERFORM PASS.                                                NC2254.2
064800     GO TO   EVA-WRITE-GF-8-1.                                    NC2254.2
064900 EVA-DELETE-GF-8-1.                                               NC2254.2
065000     PERFORM DE-LETE.                                             NC2254.2
065100     GO TO EVA-WRITE-GF-8-1.                                      NC2254.2
065200 EVA-FAIL-GF-8-1.                                                 NC2254.2
065300     MOVE   "EXPECTING UNEQUAL ARITHMETIC EXPRESSION"             NC2254.2
065400          TO RE-MARK                                              NC2254.2
065500     PERFORM FAIL.                                                NC2254.2
065600 EVA-WRITE-GF-8-1.                                                NC2254.2
065700     PERFORM PRINT-DETAIL.                                        NC2254.2
065800*                                                                 NC2254.2
065900 EVA-TEST-GF-8-2.                                                 NC2254.2
066000     ADD     1 TO REC-CT.                                         NC2254.2
066100     MOVE   "EVA-TEST-GF-8-2" TO PAR-NAME.                        NC2254.2
066200     EVALUATE WRK-DU-08V00                                        NC2254.2
066300        WHEN NOT (2 + 4 + 8 + 16 + 32 + 64)                       NC2254.2
066400             PERFORM PASS                                         NC2254.2
066500             GO TO   EVA-WRITE-GF-8-2.                            NC2254.2
066600     GO TO   EVA-FAIL-GF-8-2.                                     NC2254.2
066700 EVA-DELETE-GF-8-2.                                               NC2254.2
066800     PERFORM DE-LETE.                                             NC2254.2
066900     GO TO EVA-WRITE-GF-8-2.                                      NC2254.2
067000 EVA-FAIL-GF-8-2.                                                 NC2254.2
067100     MOVE   "EXPECTING UNEQUAL ARITHMETIC EXPRESSION" TO RE-MARK. NC2254.2
067200     PERFORM FAIL.                                                NC2254.2
067300 EVA-WRITE-GF-8-2.                                                NC2254.2
067400     PERFORM PRINT-DETAIL.                                        NC2254.2
067500*                                                                 NC2254.2
067600 EVA-INIT-GF-9.                                                   NC2254.2
067700     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
067800     MOVE    1  TO REC-CT.                                        NC2254.2
067900     MOVE   "J" TO WRK-XN-00001-1.                                NC2254.2
068000     MOVE   "A" TO WRK-XN-00001-2.                                NC2254.2
068100     MOVE   "N" TO WRK-XN-00001-3.                                NC2254.2
068200     GO TO   EVA-TEST-GF-9-1.                                     NC2254.2
068300 EVA-DELETE-GF-9.                                                 NC2254.2
068400     PERFORM DE-LETE.                                             NC2254.2
068500     PERFORM PRINT-DETAIL.                                        NC2254.2
068600     GO TO   EVA-INIT-GF-10.                                      NC2254.2
068700 EVA-TEST-GF-9-1.                                                 NC2254.2
068800     MOVE   "EVA-TEST-GF-9-1" TO PAR-NAME.                        NC2254.2
068900     EVALUATE WRK-XN-00001-1                                      NC2254.2
069000        WHEN WRK-XN-00001-2 THRU WRK-XN-00001-3                   NC2254.2
069100             PERFORM PASS                                         NC2254.2
069200             GO TO   EVA-WRITE-GF-9-1.                            NC2254.2
069300     GO TO   EVA-FAIL-GF-9-1.                                     NC2254.2
069400 EVA-DELETE-GF-9-1.                                               NC2254.2
069500     PERFORM DE-LETE.                                             NC2254.2
069600     GO TO EVA-WRITE-GF-9-1.                                      NC2254.2
069700 EVA-FAIL-GF-9-1.                                                 NC2254.2
069800     MOVE   "SUBJECT IDENTIFIER SHOULD BE WITHIN RANGE"           NC2254.2
069900          TO RE-MARK.                                             NC2254.2
070000     PERFORM FAIL.                                                NC2254.2
070100 EVA-WRITE-GF-9-1.                                                NC2254.2
070200     PERFORM PRINT-DETAIL.                                        NC2254.2
070300*                                                                 NC2254.2
070400 EVA-TEST-GF-9-2.                                                 NC2254.2
070500     ADD     1       TO REC-CT.                                   NC2254.2
070600     MOVE   "EVA-TEST-GF-9-2" TO PAR-NAME.                        NC2254.2
070700     EVALUATE WRK-XN-00001-1                                      NC2254.2
070800        WHEN NOT WRK-XN-00001-2 THRU WRK-XN-00001-3               NC2254.2
070900             GO TO EVA-FAIL-GF-9-2.                               NC2254.2
071000     PERFORM PASS.                                                NC2254.2
071100     GO TO   EVA-WRITE-GF-9-2.                                    NC2254.2
071200 EVA-DELETE-GF-9-2.                                               NC2254.2
071300     PERFORM DE-LETE.                                             NC2254.2
071400     GO TO EVA-WRITE-GF-9-2.                                      NC2254.2
071500 EVA-FAIL-GF-9-2.                                                 NC2254.2
071600     MOVE   "SUBJECT IDENTIFIER SHOULD BE WITHIN RANGE"           NC2254.2
071700          TO RE-MARK                                              NC2254.2
071800     PERFORM FAIL.                                                NC2254.2
071900 EVA-WRITE-GF-9-2.                                                NC2254.2
072000     PERFORM PRINT-DETAIL.                                        NC2254.2
072100*                                                                 NC2254.2
072200 EVA-INIT-GF-10.                                                  NC2254.2
072300     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
072400     MOVE    1  TO REC-CT.                                        NC2254.2
072500     MOVE   "J" TO WRK-XN-00001-1.                                NC2254.2
072600     MOVE   "A" TO WRK-XN-00001-2.                                NC2254.2
072700     MOVE   "N" TO WRK-XN-00001-3.                                NC2254.2
072800     GO TO   EVA-TEST-GF-10-1.                                    NC2254.2
072900 EVA-DELETE-GF-10.                                                NC2254.2
073000     PERFORM DE-LETE.                                             NC2254.2
073100     PERFORM PRINT-DETAIL.                                        NC2254.2
073200     GO TO   EVA-INIT-GF-11.                                      NC2254.2
073300 EVA-TEST-GF-10-1.                                                NC2254.2
073400     MOVE   "EVA-TEST-GF-10-1" TO PAR-NAME.                       NC2254.2
073500     EVALUATE WRK-XN-00001-3                                      NC2254.2
073600        WHEN WRK-XN-00001-2 THRU WRK-XN-00001-1                   NC2254.2
073700             GO TO EVA-FAIL-GF-10-1.                              NC2254.2
073800     PERFORM PASS.                                                NC2254.2
073900     GO TO   EVA-WRITE-GF-10-1.                                   NC2254.2
074000 EVA-DELETE-GF-10-1.                                              NC2254.2
074100     PERFORM DE-LETE.                                             NC2254.2
074200     GO TO EVA-WRITE-GF-10-1.                                     NC2254.2
074300 EVA-FAIL-GF-10-1.                                                NC2254.2
074400     MOVE "SUBJECT IDENTIFIER SHOULD NOT BE WITHIN RANGE"         NC2254.2
074500          TO RE-MARK                                              NC2254.2
074600     PERFORM FAIL.                                                NC2254.2
074700 EVA-WRITE-GF-10-1.                                               NC2254.2
074800     PERFORM PRINT-DETAIL.                                        NC2254.2
074900*                                                                 NC2254.2
075000 EVA-TEST-GF-10-2.                                                NC2254.2
075100     ADD     1 TO REC-CT.                                         NC2254.2
075200     MOVE   "EVA-TEST-GF-10-2" TO PAR-NAME.                       NC2254.2
075300     EVALUATE WRK-XN-00001-3                                      NC2254.2
075400        WHEN NOT WRK-XN-00001-2 THRU WRK-XN-00001-1               NC2254.2
075500             PERFORM PASS                                         NC2254.2
075600             GO TO   EVA-WRITE-GF-10-2.                           NC2254.2
075700     GO TO EVA-FAIL-GF-10-2.                                      NC2254.2
075800 EVA-DELETE-GF-10-2.                                              NC2254.2
075900     PERFORM DE-LETE.                                             NC2254.2
076000     GO TO EVA-WRITE-GF-10-2.                                     NC2254.2
076100 EVA-FAIL-GF-10-2.                                                NC2254.2
076200     MOVE " SUBJECT IDENTIFIER SHOULD NOT BE WITHIN RANGE"       NC2254.2
076300          TO RE-MARK.                                             NC2254.2
076400     PERFORM FAIL.                                                NC2254.2
076500 EVA-WRITE-GF-10-2.                                               NC2254.2
076600     PERFORM PRINT-DETAIL.                                        NC2254.2
076700*                                                                 NC2254.2
076800 EVA-INIT-GF-11.                                                  NC2254.2
076900     MOVE   "VI-84 6.12.4 GR1(a)" TO ANSI-REFERENCE.              NC2254.2
077000     MOVE    1  TO REC-CT.                                        NC2254.2
077100     MOVE   "J" TO WRK-XN-00001-1.                                NC2254.2
077200     MOVE   "A" TO WRK-XN-00001-2.                                NC2254.2
077300     MOVE   "N" TO WRK-XN-00001-3.                                NC2254.2
077400     GO TO   EVA-TEST-GF-11-1.                                    NC2254.2
077500 EVA-DELETE-GF-11.                                                NC2254.2
077600     PERFORM DE-LETE.                                             NC2254.2
077700     PERFORM PRINT-DETAIL.                                        NC2254.2
077800     GO TO   EVA-INIT-GF-12.                                      NC2254.2
077900 EVA-TEST-GF-11-1.                                                NC2254.2
078000     MOVE   "EVA-TEST-GF-11-1" TO PAR-NAME.                       NC2254.2
078100     EVALUATE WRK-XN-00001-1                                      NC2254.2
078200        WHEN "A" THROUGH "N"                                      NC2254.2
078300             PERFORM PASS                                         NC2254.2
078400             GO TO   EVA-WRITE-GF-11-1.                           NC2254.2
078500     GO TO EVA-FAIL-GF-11-1.                                      NC2254.2
078600 EVA-DELETE-GF-11-1.                                              NC2254.2
078700     PERFORM DE-LETE.                                             NC2254.2
078800     GO TO EVA-WRITE-GF-11-1.                                     NC2254.2
078900 EVA-FAIL-GF-11-1.                                                NC2254.2
079000     MOVE   "SUBJECT IDENTIFIER SHOULD BE WITHIN RANGE"           NC2254.2
079100          TO RE-MARK.                                             NC2254.2
079200     PERFORM FAIL.                                                NC2254.2
079300 EVA-WRITE-GF-11-1.                                               NC2254.2
079400     PERFORM PRINT-DETAIL.                                        NC2254.2
079500*                                                                 NC2254.2
079600 EVA-TEST-GF-11-2.                                                NC2254.2
079700     ADD     1       TO REC-CT.                                   NC2254.2
079800     MOVE   "EVA-TEST-GF-11-2" TO PAR-NAME.                       NC2254.2
079900     EVALUATE WRK-XN-00001-1                                      NC2254.2
080000        WHEN NOT "A" THROUGH "N"                                  NC2254.2
080100             GO TO EVA-FAIL-GF-11-2.                              NC2254.2
080200     PERFORM PASS.                                                NC2254.2
080300     GO TO   EVA-WRITE-GF-11-2.                                   NC2254.2
080400 EVA-DELETE-GF-11-2.                                              NC2254.2
080500     PERFORM DE-LETE.                                             NC2254.2
080600     GO TO EVA-WRITE-GF-11-2.                                     NC2254.2
080700 EVA-FAIL-GF-11-2.                                                NC2254.2
080800     MOVE   "SUBJECT IDENTIFIER SHOULD BE WITHIN RANGE"           NC2254.2
080900          TO RE-MARK                                              NC2254.2
--> --------------------

--> maximum size reached

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

¤ Dauer der Verarbeitung: 0.80 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