Subversion Repositories openrisc

-- AE3101A.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.

--*

-- OBJECTIVE:

--     CHECK THAT CREATE, OPEN, CLOSE, DELETE, RESET, MODE, NAME,

--     FORM, IS_OPEN, AND END_OF_FILE ARE AVAILABLE FOR TEXT FILES.

--     ALSO CHECK THAT FORMAL PARAMETER NAMES ARE CORRECT.

-- HISTORY:

--     ABW 08/24/82

--     SPS 09/16/82

--     SPS 11/09/82

--     DWC 09/24/87  REMOVED DEPENDENCE ON FILE SUPPORT.

WITH REPORT;

USE REPORT;

WITH TEXT_IO;

USE TEXT_IO;

PROCEDURE AE3101A IS

     FILE1 : FILE_TYPE;

BEGIN

     TEST ("AE3101A" , "CHECK THAT CREATE, OPEN, DELETE, " &

                       "RESET, MODE, NAME, FORM, IS_OPEN, " &

                       "AND END_OF_FILE ARE AVAILABLE " &

                       "FOR TEXT FILE");

     BEGIN

          CREATE (FILE => FILE1,

                  MODE => OUT_FILE,

                  NAME => LEGAL_FILE_NAME,

                  FORM => "");

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          RESET (FILE => FILE1, MODE => IN_FILE);

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          CLOSE (FILE => FILE1);

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          OPEN (FILE => FILE1,

                MODE => IN_FILE,

                NAME => LEGAL_FILE_NAME,

                FORM => "");

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     IF IS_OPEN (FILE => FILE1) THEN

          NULL;

     END IF;

     BEGIN

          IF MODE (FILE => FILE1) /= IN_FILE THEN

               NULL;

          END IF;

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          IF NAME (FILE => FILE1) /= LEGAL_FILE_NAME THEN

               NULL;

          END IF;

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          IF FORM (FILE => FILE1) /= "" THEN

               NULL;

          END IF;

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          IF END_OF_FILE (FILE => FILE1) THEN

               NULL;

          END IF;

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     BEGIN

          DELETE (FILE => FILE1);

     EXCEPTION

          WHEN OTHERS =>

               NULL;

     END;

     RESULT;

END AE3101A;