Subversion Repositories openrisc

-- CE3304A.TST

--                             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 USE_ERROR IS RAISED BY A CALL TO SET_LINE_LENGTH

--     OR TO SET_PAGE_LENGTH WHEN THE SPECIFIED VALUE IS INAPPROPRIATE

--     FOR THE EXTERNAL FILE.

-- APPLICABILITY CRITERIA:

--     THIS TEST IS APPLICABLE TO IMPLEMENTATIONS THAT SATISFY THE

--     FOLLOWING CONDITIONS:

--       1) TEXT FILES ARE SUPPORTED

--       2) EITHER BY DEFAULT OR BY USE OF THE "FORM" PARAMETER TO

--          THE CREATE PROCEDURE, A TEXT FILE CAN BE CREATED FOR

--          WHICH AT LEAST ONE OF THE FOLLOWING CONDITIONS HOLDS:

--           A)  THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT

--               AN APPROPRIATE LINE-LENGTH FOR THE FILE,

--             OR

--           B)  THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT

--               AN APPROPRIATE PAGE-LENGTH FOR THE FILE.

-- MACRO SUBSTITUTIONS:

--     FOR THE MACRO SYMBOL "$FORM_STRING," SUBSTITUTE A STRING LITERAL

--     SPECIFIYING THAT THE EXTERNAL FILE MEETS BOTH OF THE CONDITIONS

--     (A) AND (B) ABOVE.  IF IT IS NOT POSSIBLE TO SATISFY BOTH

--     CONDITIONS, THEN SUBSTITUTE A STRING LITERAL SPECIFYING THAT THE

--     EXTERNAL FILE SATISFIES ONE OF THE CONDITIONS.  IF IT IS NOT

--     POSSIBLE TO SATISFY EITHER CONDITION, THEN SUBSTITUE THE NULL

--     STRING ("").

--     FOR THE MACRO SYMBOL "$INAPPROPRIATE_LINE_LENGTH," SUBSTITUTE

--     A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE LINE-LENGTH

--     FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.

--     FOR THE MACRO SYMBOL "$INAPPROPRIATE_PAGE_LENGTH," SUBSTITUTE

--     A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE PAGE-LENGTH

--     FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.

-- HISTORY:

--     PWB 07/07/88  CREATED ORIGINAL TEST.

WITH REPORT; USE REPORT;

WITH TEXT_IO; USE TEXT_IO;

PROCEDURE CE3304A IS

     FILE1,

     FILE2,

     FILE3 : FILE_TYPE;

     LINE_LENGTH_SHOULD_WORK,

     PAGE_LENGTH_SHOULD_WORK : BOOLEAN;

     INCOMPLETE : EXCEPTION;

     TEST_VALUE : COUNT;

BEGIN

     TEST ("CE3304A", "CHECK THAT USE_ERROR IS RAISED IF A CALL TO " &

                      "SET_LINE_LENGTH OR SET_PAGE_LENGTH SPECIFIES " &

                      "A VALUE THAT IS INAPPROPRIATE FOR THE " &

                      "EXTERNAL FILE");

     BEGIN     -- CHECK WHETHER TEXT FILES ARE SUPPORTED.

          CREATE(FILE1, OUT_FILE, LEGAL_FILE_NAME(1),

                 FORM => $FORM_STRING);

          PUT_LINE(FILE1, "AAA");

          CLOSE(FILE1);

     EXCEPTION

          WHEN USE_ERROR | NAME_ERROR =>

               NOT_APPLICABLE ("CREATION OF TEXT FILES NOT SUPPORTED");

               RAISE INCOMPLETE;

          WHEN OTHERS =>

               FAILED ("WRONG EXCEPTION RAISED AT INITIAL CREATE");

               RAISE INCOMPLETE;

     END;

     BEGIN  -- CHECK INAPPROPRIATE LINE LENGTH.

          BEGIN   -- IS THERE AN INAPPROPRIATE VALUE?

               TEST_VALUE :=

                         COUNT(IDENT_INT($INAPPROPRIATE_LINE_LENGTH));

               IF NOT EQUAL (INTEGER(TEST_VALUE),

                             INTEGER(TEST_VALUE)) THEN

                    COMMENT ("OPTIMIZATION DEFEATED" &

                              COUNT'IMAGE(TEST_VALUE));

               END IF;

               LINE_LENGTH_SHOULD_WORK := TRUE;

          EXCEPTION

               WHEN CONSTRAINT_ERROR =>

                    LINE_LENGTH_SHOULD_WORK := FALSE;

                    COMMENT("THERE IS NO INAPPROPRIATE LINE LENGTH");

          END;

          IF LINE_LENGTH_SHOULD_WORK THEN

               BEGIN

                    CREATE(FILE2, OUT_FILE, LEGAL_FILE_NAME(2),

                           FORM => $FORM_STRING);

                    SET_LINE_LENGTH(FILE2, $INAPPROPRIATE_LINE_LENGTH);

                    FAILED("NO EXCEPTION FOR INAPPROPRIATE LINE " &

                           "LENGTH");

               EXCEPTION

                    WHEN USE_ERROR =>

                         IF NOT IS_OPEN(FILE2) THEN

                              FAILED ("FILE NOT OPENED -- LINE LENGTH");

                         END IF;

                    WHEN OTHERS =>

                         FAILED ("WRONG EXCEPTION RAISED FOR " &

                                 "INAPPROPRIATE LINE LENGTH");

               END;

          END IF;

     END;

-----------------------------------------------------------------------

     BEGIN  -- CHECK INAPPROPRIATE PAGE LENGTH.

          BEGIN   -- IS THERE AN INAPPROPRIATE VALUE?

               TEST_VALUE :=

                         COUNT(IDENT_INT($INAPPROPRIATE_PAGE_LENGTH));

               IF NOT EQUAL (INTEGER(TEST_VALUE),

                             INTEGER(TEST_VALUE)) THEN

                    COMMENT ("OPTIMIZATION DEFEATED" &

                             COUNT'IMAGE(TEST_VALUE));

               END IF;

               PAGE_LENGTH_SHOULD_WORK := TRUE;

          EXCEPTION

               WHEN CONSTRAINT_ERROR =>

                    PAGE_LENGTH_SHOULD_WORK := FALSE;

                    COMMENT("THERE IS NO INAPPROPRIATE PAGE LENGTH");

          END;

          IF PAGE_LENGTH_SHOULD_WORK THEN

               BEGIN

                    CREATE(FILE3, OUT_FILE, LEGAL_FILE_NAME(3),

                           FORM => $FORM_STRING);

                    SET_PAGE_LENGTH(FILE3, $INAPPROPRIATE_PAGE_LENGTH);

                    FAILED("NO EXCEPTION FOR INAPPROPRIATE PAGE " &

                           "LENGTH");

               EXCEPTION

                    WHEN USE_ERROR =>

                         IF NOT IS_OPEN(FILE3) THEN

                              FAILED ("FILE NOT OPENED -- PAGE LENGTH");

                         END IF;

                    WHEN OTHERS =>

                         FAILED ("WRONG EXCEPTION RAISED FOR " &

                                 "INAPPROPRIATE PAGE LENGTH");

               END;

          END IF;

     END;

     IF NOT (PAGE_LENGTH_SHOULD_WORK OR LINE_LENGTH_SHOULD_WORK) THEN

          NOT_APPLICABLE("NO INAPPROPRIATE VALUES FOR EITHER LINE " &

                         "LENGTH OR PAGE LENGTH");

     END IF;

     BEGIN     -- CLEAN UP FILES.

          IF IS_OPEN(FILE1) THEN

               CLOSE(FILE1);

          END IF;

          IF IS_OPEN(FILE2) THEN

               CLOSE(FILE2);

          END IF;

          IF IS_OPEN(FILE3) THEN

               CLOSE(FILE3);

          END IF;

     EXCEPTION

          WHEN USE_ERROR =>

               COMMENT("FILES NOT DELETED");

     END;

     RESULT;

EXCEPTION

     WHEN INCOMPLETE =>

          RESULT;

END CE3304A;