-- 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;