| -- CHECK_FILE.ADA |
| -- |
| -- Grant of Unlimited Rights |
| -- |
| -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, |
| -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained |
| -- unlimited rights in the software and documentation contained herein. |
| -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making |
| -- this public release, the Government intends to confer upon all |
| -- recipients unlimited rights equal to those held by the Government. |
| -- These rights include rights to use, duplicate, release or disclose the |
| -- released technical data and computer software in whole or in part, in |
| -- any manner and for any purpose whatsoever, and to have or permit others |
| -- to do so. |
| -- |
| -- DISCLAIMER |
| -- |
| -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR |
| -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED |
| -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE |
| -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE |
| -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A |
| -- PARTICULAR PURPOSE OF SAID MATERIAL. |
| --* |
| -- |
| -- THIS IS A PROCEDURE USED BY MANY OF THE CHAPTER 14 TESTS TO CHECK THE |
| -- CONTENTS OF A TEXT FILE. |
| |
| -- THIS PROCEDURE ASSUMES THE FILE PARAMETER PASSED TO IT IS AN OPEN |
| -- TEXT FILE. |
| |
| -- THE STRING PARAMETER CONTAINS THE CHARACTERS THAT ARE SUPPOSED TO BE |
| -- IN THE TEXT FILE. A '#' CHARACTER IS USED IN THE STRING TO DENOTE |
| -- THE END OF A LINE. A '@' CHARACTER IS USED TO DENOTE THE END OF A |
| -- PAGE. A '%' CHARACTER IS USED TO DENOTE THE END OF THE TEXT FILE. |
| -- THESE SYMBOLS SHOULD NOT BE USED AS TEXT OUTPUT. |
| |
| -- SPS 11/30/82 |
| -- JBG 2/3/83 |
| |
| WITH REPORT; USE REPORT; |
| WITH TEXT_IO; USE TEXT_IO; |
| |
| PROCEDURE CHECK_FILE (FILE: IN OUT FILE_TYPE; CONTENTS : STRING) IS |
| |
| X : CHARACTER; |
| COL_COUNT : POSITIVE_COUNT := 1; |
| LINE_COUNT : POSITIVE_COUNT := 1; |
| PAGE_COUNT : POSITIVE_COUNT := 1; |
| TRAILING_BLANKS_MSG_WRITTEN : BOOLEAN := FALSE; |
| STOP_PROCESSING : EXCEPTION; |
| |
| PROCEDURE CHECK_END_OF_LINE (EXPECT_END_OF_PAGE : BOOLEAN) IS |
| BEGIN |
| |
| -- SKIP OVER ANY TRAILING BLANKS. AN IMPLEMENTATION CAN LEGALLY |
| -- APPEND BLANKS TO THE END OF ANY LINE. |
| |
| WHILE NOT END_OF_LINE (FILE) LOOP |
| GET (FILE, X); |
| IF X /= ' ' THEN |
| FAILED ("FROM CHECK_FILE: END OF LINE EXPECTED - " & |
| X & " ENCOUNTERED"); |
| RAISE STOP_PROCESSING; |
| ELSE |
| IF NOT TRAILING_BLANKS_MSG_WRITTEN THEN |
| COMMENT ("FROM CHECK_FILE: " & |
| "THIS IMPLEMENTATION PADS " & |
| "LINES WITH BLANKS"); |
| TRAILING_BLANKS_MSG_WRITTEN := TRUE; |
| END IF; |
| END IF; |
| END LOOP; |
| |
| IF LINE_COUNT /= LINE (FILE) THEN |
| FAILED ("FROM CHECK_FILE: " & |
| "LINE COUNT INCORRECT - EXPECTED " & |
| POSITIVE_COUNT'IMAGE(LINE_COUNT) & |
| " GOT FROM FILE " & |
| POSITIVE_COUNT'IMAGE(LINE(FILE))); |
| END IF; |
| |
| -- NOTE: DO NOT SKIP_LINE WHEN AT END OF PAGE BECAUSE SKIP_LINE WILL |
| -- ALSO SKIP THE PAGE TERMINATOR. SEE RM 14.3.5 PARAGRAPH 1. |
| |
| IF NOT EXPECT_END_OF_PAGE THEN |
| IF END_OF_PAGE (FILE) THEN |
| FAILED ("FROM CHECK_FILE: PREMATURE END OF PAGE"); |
| RAISE STOP_PROCESSING; |
| ELSE |
| SKIP_LINE (FILE); |
| LINE_COUNT := LINE_COUNT + 1; |
| END IF; |
| END IF; |
| COL_COUNT := 1; |
| END CHECK_END_OF_LINE; |
| |
| PROCEDURE CHECK_END_OF_PAGE IS |
| BEGIN |
| IF NOT END_OF_PAGE (FILE) THEN |
| FAILED ("FROM CHECK_FILE: " & |
| "END_OF_PAGE NOT WHERE EXPECTED"); |
| RAISE STOP_PROCESSING; |
| ELSE |
| IF PAGE_COUNT /= PAGE (FILE) THEN |
| FAILED ("FROM CHECK_FILE: " & |
| "PAGE COUNT INCORRECT - EXPECTED " & |
| POSITIVE_COUNT'IMAGE (PAGE_COUNT) & |
| " GOT FROM FILE " & |
| POSITIVE_COUNT'IMAGE (PAGE(FILE))); |
| END IF; |
| |
| SKIP_PAGE (FILE); |
| PAGE_COUNT := PAGE_COUNT + 1; |
| LINE_COUNT := 1; |
| END IF; |
| END CHECK_END_OF_PAGE; |
| |
| BEGIN |
| |
| RESET (FILE, IN_FILE); |
| SET_LINE_LENGTH (STANDARD_OUTPUT, 0); |
| SET_PAGE_LENGTH (STANDARD_OUTPUT, 0); |
| |
| FOR I IN 1 .. CONTENTS'LENGTH LOOP |
| |
| BEGIN |
| CASE CONTENTS (I) IS |
| WHEN '#' => |
| CHECK_END_OF_LINE (CONTENTS (I + 1) = '@'); |
| WHEN '@' => |
| CHECK_END_OF_PAGE; |
| WHEN '%' => |
| IF NOT END_OF_FILE (FILE) THEN |
| FAILED ("FROM CHECK_FILE: " & |
| "END_OF_FILE NOT WHERE EXPECTED"); |
| RAISE STOP_PROCESSING; |
| END IF; |
| WHEN OTHERS => |
| IF COL_COUNT /= COL(FILE) THEN |
| FAILED ("FROM CHECK_FILE: " & |
| "COL COUNT INCORRECT - " & |
| "EXPECTED " & POSITIVE_COUNT' |
| IMAGE(COL_COUNT) & " GOT FROM " & |
| "FILE " & POSITIVE_COUNT'IMAGE |
| (COL(FILE))); |
| END IF; |
| GET (FILE, X); |
| COL_COUNT := COL_COUNT + 1; |
| IF X /= CONTENTS (I) THEN |
| FAILED("FROM CHECK_FILE: " & |
| "FILE DOES NOT CONTAIN CORRECT " & |
| "OUTPUT - EXPECTED " & CONTENTS(I) |
| & " - GOT " & X); |
| RAISE STOP_PROCESSING; |
| END IF; |
| END CASE; |
| EXCEPTION |
| WHEN STOP_PROCESSING => |
| COMMENT ("FROM CHECK_FILE: " & |
| "LAST CHARACTER IN FOLLOWING STRING " & |
| "REVEALED ERROR: " & CONTENTS (1 .. I)); |
| EXIT; |
| END; |
| |
| END LOOP; |
| |
| EXCEPTION |
| WHEN STATUS_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "STATUS_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN MODE_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "MODE_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN NAME_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "NAME_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN USE_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "USE_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN DEVICE_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "DEVICE_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN END_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "END_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN DATA_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "DATA_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN LAYOUT_ERROR => |
| FAILED ("FROM CHECK_FILE: " & |
| "LAYOUT_ERROR RAISED - FILE CHECKING INCOMPLETE"); |
| WHEN OTHERS => |
| FAILED ("FROM CHECK_FILE: " & |
| "SOME EXCEPTION RAISED - FILE CHECKING INCOMPLETE"); |
| |
| END CHECK_FILE; |
