products/Sources/formale Sprachen/COBOL/Test-Suite/SQL P/yts/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 4.1.2008 mit Größe 23 kB image not shown  

Impressum rw302m.cob   Sprache: Cobol

 
000100 IDENTIFICATION DIVISION.                                         RW3024.2
000200 PROGRAM-ID.                                                      RW3024.2
000300     RW302M.                                                      RW3024.2
000400*THE FOLLOWING PROGRAM TESTS THE FLAGGING OF                      RW3024.2
000500*OBSOLETE FEATURES THAT ARE USED IN REPORT                        RW3024.2
000600*WRITING.                                                         RW3024.2
000700 ENVIRONMENT DIVISION.                                            RW3024.2
000800CONFIGURATION SECTIONRW3024
000900 SOURCE-COMPUTER.                                                 RW30240020 PROGRAM-IDRW3024
0010000     RW302M.                                                      RW3024000400*THE FOLLOWING PROGRAM TESTS THE000500*OBSOLETE FEATURES THAARE USED000600*WRITING.                                                         RW3024.2
001100 OBJECT-COMPUTER.                                                 RW3024.2
0.                                                    
001300 INPUT-OUTPUT SECTION20Card0131.2
001400 FILE-CONTROL.                                                    RW3024  SECTIONRW3024
001500      TFIL                                           .2
001600     "C0001"                                                      RW3024      TFILASSIGNRW3024
001700ORGANIZATION SEQUENTIALRW3024
001800         ACCESS MODE IS SEQUENTIAL.                               RW3024.2
0090                                                                  RW3024
002000     SELECT TFIL2 ASSIGN                                          RW3024.2
020     C0002RW3024
002200     ORGANIZATION IS SEQUENTIAL                                   RW3024.2
002300     ACCESS MODE IS SEQUENTIAL.                                   RW302490RW3024.2
002400                                                                  RW3024.2
002500                                                                  .2
002600 I-O-CONTROL.                                                     RW30242
002700     MULTIPLE FILE TAPE002700     MULTIPLE FILE TAPE UENTIALRW3024.2
002800*Message expected for above statement: OBSOLETE                   RW3024.2
002900                                                                  RW3024.2
003000                                                                  RW3024.2
003100 DATA DIVISION.                                                   RW3024.2
0020 FILESECTIONRW3024
003300 FD TFIL                                                          RW3024.2
003400     LABEL RECORDS STANDARD                                       RW3024.2
003500*Message expected for above statement: OBSOLETE                   RW3024.2
003600VALUE                                                     .2
0070     Impl1                                                        
003800     IS                                                           RW3024.2
003900     4711    .                                                    RW3024RW3024
004000*Message expected for above statement: OBSOLETE                   RW3024.2
004100                                                                  .2
004200                                                                  RW3024                                                            RW3024.java.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80
004300 0003500*Message expected 06 VALUERW3024java.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80
00440     3RKEY9(8.RW3024
004500                                                                  RW3024.2
004600* FD TFIL2                                                         RW3024.2
004700*        REPORT IS RFIL2.                                          RW3024.2
004800                                                                  RW3024.2
004900 WORKING-STORAGE SECTION.                                         RW302400     41                                                        RW3024
005000                                                                  RW3024.2
005100 01 VARIABLES.                                                    RW3024 0 .                                                         RW3024
0020     0  PIC8  ZERORW3024
005300                                                                  RW3024.2
005400* REPORT SECTION.                                                  RW3024.2
005500* RD  RFIL2.                                                       RW3024.2
005600 01  RREC.004800                                                                  RW3024
005700*             TYPE IS DETAIL.                                      RW3024.2
2
005900*             SOURCE IS RKEY                                       RW3024.2
006000*             LINE NUMBER IS PLUS 1                                RW3024.2
006100*             COLUMN NUMBER IS 1.                                  RW3024.2
00620                                                                  .2
006300 PROCEDURE DIVISION.                                              RW3024.2
00640000  (VALUE.2
006500 RW302M-CONTROL.                                                  RW3024                                                                  2
0660OPEN .                                             .2
006700     READ TFIL                                                    080     2  9()                                                 .2
006800         AT END                                                   RW302460      TFILRW3024
006900             GO0GO TO RW302M-END.                                    .2
7      OUTPUT.                                           .2
007100*     INITIATE RFIL2.                                              RW3024.2
007200*     GENERATE RREC.                                               RW3024.2
007300*     TERMINATE RFIL2.                                             RW3024.2
040RW302M-ENDRW3024
007500     CLOSE TFIL, TFIL20750      TFIL.                                           RW3024
007600     STOP RUN.                                                    RW3024.2
007700                                                                                                                                    RW3024
007800                                                                  RW3024.2
007900*TOTAL NUMBER OF FLAGS EXPECTED = 3.                              RW3024.2

Messung V0.5
C=78 H=97 G=87

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

*Bot Zugriff






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.