ce3304a.tst

来自「用于进行gcc测试」· TST 代码 · 共 205 行

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