diff gcc/testsuite/ada/acats/tests/ce/ce3304a.tst @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/ada/acats/tests/ce/ce3304a.tst	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,204 @@
+-- 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;