URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [ce/] [ce3304a.tst] - Rev 12
Compare with Previous | Blame | View Log
-- 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;