OpenCores
URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

Compare Revisions

  • This comparison shows the changes necessary to convert path 
    /openrisc/tags/gnu-src/gcc-4.5.1/gcc-4.5.1-or32-1.0rc1/gcc/testsuite/ada/acats/tests/e
    from Rev 294 to Rev 338
    ↔ Reverse comparison
  •

Rev 294 → Rev 338

/eb4011a.ada
0,0 → 1,79
-- EB4011A.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 UNHANDLED EXCEPTIONS RAISED IN PACKAGE SUBUNITS ARE
-- PROPAGATED TO THE ENVIRONMENT STATICALLY ENCLOSING THE
-- CORRESPONDING BODY STUB (DECLARER OF THE PARENT UNIT).
 
-- PASS/FAIL CRITERIA:
-- THIS TEST MUST EXECUTE AND REPORT "TENTATIVELY PASSED". IN
-- ADDITION, THE OUTPUT/LOG FILE MUST INDICATE THAT THE PROGRAM
-- TERMINATED WITH AN UNHANDLED EXCEPTION.
 
-- HISTORY:
-- DHH 03/29/88 CREATED ORIGINAL TEST.
 
WITH REPORT; USE REPORT;
PROCEDURE EB4011A IS
 
PACKAGE EB4011A_OUTSIDE IS
END EB4011A_OUTSIDE;
 
PACKAGE EB4011A1 IS
END EB4011A1;
 
PACKAGE BODY EB4011A1 IS
BEGIN
 
TEST("EB4011A", "CHECK THAT UNHANDLED EXCEPTIONS RAISED IN " &
"PACKAGE SUBUNITS ARE PROPAGATED TO THE " &
"ENVIRONMENT STATICALLY ENCLOSING THE" &
"CORRESPONDING BODY STUB (DECLARER OF THE " &
"PARENT UNIT)");
 
SPECIAL_ACTION("CHECK THE OUTPUT FILE TO SEE IF THIS " &
"PROGRAM TERMINATED WITH AN UNHANDLED " &
"EXCEPTION");
 
RESULT;
 
END EB4011A1;
 
PACKAGE BODY EB4011A_OUTSIDE IS SEPARATE;
 
BEGIN
 
TEST("EB4011A", "THIS LINE SHOULD NOT PRINT OUT");
 
FAILED("EXCEPTION DID NOT CAUSE MAIN PROGRAM TERMINATION");
RESULT;
 
END EB4011A;
 
SEPARATE (EB4011A)
PACKAGE BODY EB4011A_OUTSIDE IS
BEGIN
RAISE CONSTRAINT_ERROR;
END EB4011A_OUTSIDE;
/eb4012a.ada
0,0 → 1,59
-- EB4012A.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 WHEN AN UNHANDLED EXCEPTION IS RAISED IN THE MAIN
-- PROGRAM, THE MAIN PROGRAM IS ABANDONED.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST MUST EXECUTE AND PRINT "TENTATIVELY PASSED". IN
-- ADDITION, THE OUTPUT/LOG FILE MUST SHOW THAT THE PROGRAM
-- WAS ABANDONED DUE TO AN UNHANDLED EXCEPTION.
 
-- HISTORY:
-- DHH 03/29/88 CREATED ORIGINAL TEST.
 
WITH REPORT; USE REPORT;
PROCEDURE EB4012A IS
 
BEGIN
TEST("EB4012A", "CHECK THAT WHEN AN UNHANDLED EXCEPTION IS " &
"RAISED IN THE MAIN PROGRAM, THE MAIN PROGRAM " &
"IS ABANDONED");
SPECIAL_ACTION("CHECK THE OUTPUT/LOG FILE TO SEE THAT THIS " &
"PROGRAM WAS ABANDONED BECAUSE OF AN UNHANDLED " &
"EXCEPTION");
 
RESULT;
 
IF EQUAL(3,3) THEN
RAISE CONSTRAINT_ERROR;
END IF;
 
TEST("EB4012A", "SHOULD NOT PRINT OUT");
FAILED("CONSTRAINT_ERROR NOT RAISED");
 
RESULT;
 
END EB4012A;
/ee3409f.ada
0,0 → 1,103
-- EE3409F.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 THE FILE PARAMETER FOR SET_COL IS OPTIONAL, AND
-- THAT THE FUNCTION IS THEN APPLIED TO THE CURRENT DEFAULT
-- OUTPUT FILE.
 
-- APPLICABILITY CRITERIA:
-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT
-- CREATION OF TEMPORARY TEXT FILES WITH OUT_FILE MODE.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED,
-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT.
 
-- HISTORY:
-- ABW 08/26/82
-- SPS 09/20/82
-- TBN 11/10/86 REVISED TEST TO OUTPUT A NOT_APPLICABLE
-- RESULT WHEN FILES ARE NOT SUPPORTED.
-- JLH 08/31/87 CORRECTED EXCEPTION HANDLING, CHECKED FOR
-- USE_ERROR ON DELETE, AND RENAMED FROM
-- CE3409F.ADA.
 
WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
 
PROCEDURE EE3409F IS
 
INCOMPLETE : EXCEPTION;
FILE_OUT : FILE_TYPE;
TWO : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(2));
THREE : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(3));
 
BEGIN
 
TEST ("EE3409F", "CHECK DEFAULT FILE FOR SET_COL");
 
BEGIN
CREATE (FILE_OUT);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE " &
"FOR TEMPORARY FILES WITH " &
"OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
RAISE INCOMPLETE;
END;
 
SPECIAL_ACTION ("THE NEXT LINE SHOULD BEGIN IN COLUMN TWO");
 
SET_COL (TWO);
PUT ("SHOULD BEGIN IN COLUMN TWO");
 
IF COL (STANDARD_OUTPUT) /= 28 THEN
FAILED ("SET_COL DOES NOT OPERATE ON THE DEFAULT " &
"STANDARD_OUTPUT");
END IF;
 
NEW_LINE;
 
SET_OUTPUT (FILE_OUT);
SET_COL (THREE);
IF COL (CURRENT_OUTPUT) /= THREE THEN
FAILED ("SET_COL DOES NOT OPERATE ON THE DEFAULT " &
"CURRENT_OUTPUT");
END IF;
 
CLOSE (FILE_OUT);
 
RESULT;
 
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
 
END EE3409F;
/eb4014a.ada
0,0 → 1,87
-- EB4014A.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 WHEN EXCEPTIONS ARE RAISED DURING THE ELABORATION OF
-- A LIBRARY UNIT, EXECUTION OF THE MAIN PROGRAM IS ABANDONED.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST MUST EXECUTE AND REPORT "TENTATIVELY PASSED". IN
-- ADDITION, THE OUTPUT/LOG FILE MUST INDICATE THAT THE PROGRAM
-- TERMINATED WITH AN UNHANDLED EXCEPTION.
 
-- HISTORY:
-- DHH 03/29/88 CREATED ORIGINAL TEST.
-- PWN 05/25/94 ADDED A PROCEDURE TO KEEP PACKAGE BODIES LEGAL.
 
WITH REPORT; USE REPORT;
FUNCTION EB4014A1 RETURN INTEGER IS
BEGIN
 
TEST("EB4014A", "THIS LINE SHOULD NOT BE PRINTED");
 
FAILED("THE MAIN PROGRAM BODY WAS ENTERED");
RESULT;
 
RETURN IDENT_INT(1);
 
END EB4014A1;
 
WITH REPORT; USE REPORT;
PRAGMA ELABORATE (REPORT);
PACKAGE EB4014A_OUTSIDE IS
PROCEDURE REQUIRE_BODY;
END EB4014A_OUTSIDE;
 
PACKAGE BODY EB4014A_OUTSIDE IS
PROCEDURE REQUIRE_BODY IS
BEGIN
NULL;
END;
BEGIN
TEST("EB4014A", "CHECK THAT WHEN EXCEPTIONS ARE RAISED DURING " &
"THE ELABORATION OF A LIBRARY UNIT, EXECUTION " &
"OF THE MAIN PROGRAM IS ABANDONED");
 
SPECIAL_ACTION("CHECK THE OUTPUT/LOG FILE TO SEE IF THIS " &
"PROGRAM TERMINATED WITH AN UNHANDLED " &
"EXCEPTION");
 
RESULT;
 
RAISE CONSTRAINT_ERROR;
END EB4014A_OUTSIDE;
 
WITH EB4014A1; WITH EB4014A_OUTSIDE;
WITH REPORT; USE REPORT;
PROCEDURE EB4014A IS
X : INTEGER := EB4014A1;
BEGIN
 
TEST("EB4014A", "THIS LINE SHOULD NOT PRINT OUT");
 
FAILED("EXCEPTION DID NOT CAUSE MAIN PROGRAM TERMINATION");
RESULT;
X := IDENT_INT(X);
END EB4014A;
/e28002b.ada
0,0 → 1,111
-- E28002B.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 A PREDEFINED OR AN UNRECOGNIZED PRAGMA MAY HAVE
-- ARGUMENTS INVOLVING OVERLOADED IDENTIFIERS WITHOUT ENOUGH
-- CONTEXTUAL INFORMATION TO RESOLVE THE OVERLOADING.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT REPORTS "TENTATIVELY PASSED" AND
-- THE STARRED COMMENT DOES NOT APPEAR IN THE LISTING.
 
-- AN IMPLEMENTATION FAILS THIS TEST IF THE STARRED COMMENT
-- LINE APPEARS IN THE COMPILATION LISTING.
 
-- HISTORY:
-- TBN 02/24/86 CREATED ORIGINAL TEST.
-- JET 01/13/88 ADDED CALLS TO SPECIAL_ACTION AND UPDATED HEADER.
-- EDS 10/28/97 ADDED DECLARATIONS FOR PROCEDURES XYZ.
 
WITH REPORT, SYSTEM; USE REPORT, SYSTEM;
PROCEDURE E28002B IS
 
FUNCTION OFF RETURN INTEGER IS
BEGIN
RETURN 1;
END OFF;
 
FUNCTION OFF RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END OFF;
 
PRAGMA LIST (OFF);
--***** THIS LINE MUST NOT APPEAR IN COMPILATION LISTING.
PRAGMA LIST (ON);
 
FUNCTION ELABORATION_CHECK RETURN INTEGER IS
BEGIN
RETURN 1;
END ELABORATION_CHECK;
 
FUNCTION ELABORATION_CHECK RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END ELABORATION_CHECK;
 
PRAGMA SUPPRESS (ELABORATION_CHECK, ELABORATION_CHECK);
 
FUNCTION TIME RETURN INTEGER IS
BEGIN
RETURN 1;
END TIME;
 
FUNCTION TIME RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END TIME;
 
PRAGMA OPTIMIZE (TIME);
 
PROCEDURE XYZ;
PROCEDURE XYZ (COUNT : INTEGER);
 
PRAGMA INLINE (XYZ);
PRAGMA PHIL_BRASHEAR (XYZ);
 
PROCEDURE XYZ IS
BEGIN
NULL;
END XYZ;
 
PROCEDURE XYZ (COUNT : INTEGER) IS
BEGIN
NULL;
END XYZ;
 
BEGIN
TEST ("E28002B", "CHECK THAT A PREDEFINED OR AN UNRECOGNIZED " &
"PRAGMA MAY HAVE ARGUMENTS INVOLVING " &
"OVERLOADED IDENTIFIERS WITHOUT ENOUGH " &
"CONTEXTUAL INFORMATION TO RESOLVE THE " &
"OVERLOADING");
 
SPECIAL_ACTION ("CHECK THAT THE COMPILATION LISTING DOES NOT " &
"SHOW THE STARRED COMMENT LINE");
 
RESULT;
 
END E28002B;
/ee3203a.ada
0,0 → 1,168
-- EE3203A.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 SET_INPUT AND SET_OUTPUT CAN BE USED, AND THAT THEY
-- DO NOT REDEFINE OR CLOSE THE CORRESPONDING STANDARD FILES.
 
-- APPLICABILITY CRITERIA:
-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT
-- TEXT FILES.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT EXECUTES AND THE STANDARD OUTPUT FILE
-- CONTAINS THE LINE "INITIAL TEXT OF STANDARD_OUTPUT".
 
-- HISTORY:
-- ABW 08/25/82
-- SPS 11/19/82
-- VKG 02/15/83
-- TBN 11/04/86 REVISED TEST TO OUTPUT A NOT_APPLICABLE
-- RESULT WHEN FILES ARE NOT SUPPORTED.
-- JLH 08/19/87 CORRECTED EXCEPTION HANDLING, REMOVED DEPENDENCE
-- ON RESET, AND ADDED CHECKS FOR USE_ERROR ON DELETE.
 
WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
WITH CHECK_FILE;
 
PROCEDURE EE3203A IS
 
INCOMPLETE : EXCEPTION;
FILE_IN, FILE_OUT : FILE_TYPE;
LST : NATURAL;
IN_STR : STRING (1 .. 50);
 
BEGIN
 
TEST ("EE3203A", "CHECK THAT SET_INPUT AND SET_OUTPUT " &
"CAN BE USED, AND THAT CORRESPONDING " &
"STANDARD FILES ARE UNCHANGED");
 
BEGIN
CREATE (FILE_IN, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " &
"OUT_FILE MODE - 1");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " &
"WITH OUT_FILE MODE - 1");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
RAISE INCOMPLETE;
END;
 
BEGIN
CREATE (FILE_OUT, OUT_FILE, LEGAL_FILE_NAME(2));
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " &
"OUT_FILE MODE - 2");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " &
"WITH OUT_FILE MODE - 2");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
RAISE INCOMPLETE;
END;
 
PUT (FILE_IN, "INITIAL TEXT OF FILE_IN");
PUT (FILE_OUT, "INITIAL TEXT OF FILE_OUT");
PUT ("INITIAL TEXT OF STANDARD_OUTPUT");
 
CLOSE (FILE_IN);
 
BEGIN
OPEN (FILE_IN, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN WITH " &
"IN_FILE MODE");
RAISE INCOMPLETE;
END;
 
SET_INPUT (FILE_IN);
SET_OUTPUT (FILE_OUT);
 
IF NOT IS_OPEN (STANDARD_INPUT) THEN
FAILED ("STANDARD_INPUT NOT OPEN");
END IF;
 
IF NOT IS_OPEN (FILE_IN) THEN
FAILED ("FILE_IN NOT OPEN");
END IF;
 
IF NOT IS_OPEN (STANDARD_OUTPUT) THEN
FAILED ("STANDARD_OUTPUT NOT OPEN");
END IF;
 
IF NOT IS_OPEN (FILE_OUT) THEN
FAILED ("FILE_OUT NOT OPEN");
END IF;
 
NEW_LINE;
PUT ("SECOND LINE OF OUTPUT");
 
GET_LINE (IN_STR, LST);
IF IN_STR (1 .. LST) /= "INITIAL TEXT OF FILE_IN" THEN
FAILED ("DEFAULT INPUT INCORRECT");
END IF;
 
CHECK_FILE (FILE_IN, "INITIAL TEXT OF FILE_IN#@%");
SET_OUTPUT (FILE => STANDARD_OUTPUT);
SET_INPUT (FILE => STANDARD_INPUT);
CHECK_FILE (FILE_OUT, "INITIAL TEXT OF FILE_OUT#" &
"SECOND LINE OF OUTPUT#@%");
 
SPECIAL_ACTION ("THE STANDARD OUTPUT FILE SHOULD CONTAIN " &
"THE LINE : INITIAL TEXT OF STANDARD_OUTPUT");
 
BEGIN
DELETE (FILE_IN);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
 
BEGIN
DELETE (FILE_OUT);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
 
RESULT;
 
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
 
END EE3203A;
/ee3204a.ada
0,0 → 1,128
-- EE3204A.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 AFTER THE DEFAULT FILES HAVE BEEN REDEFINED,
-- OUTPUT ON THE STANDARD FILES IS STILL PROPERLY HANDLED.
 
-- APPLICABILITY CRITERIA:
-- THIS TEST IS ONLY APPLICABLE TO IMPLEMENTATIONS WHICH SUPPORT
-- TEXT FILES.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED,
-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT.
 
-- HISTORY:
-- JLH 07/08/88 CREATED ORIGINAL TEST.
 
WITH REPORT; USE REPORT;
WITH TEXT_IO; USE TEXT_IO;
 
PROCEDURE EE3204A IS
 
FILE1, FILE2 : FILE_TYPE;
ITEM : CHARACTER := 'B';
INCOMPLETE : EXCEPTION;
 
BEGIN
 
TEST ("EE3204A", "CHECK THAT AFTER THE DEFAULT FILES HAVE BEEN " &
"REDEFINED, OUTPUT ON THE STANDARD " &
"FILES IS STILL PROPERLY HANDLED");
 
BEGIN
 
BEGIN
CREATE (FILE1, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE " &
"WITH MODE OUT_FILE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE " &
"WITH MODE OUT_FILE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED ON CREATE");
RAISE INCOMPLETE;
END;
 
CREATE (FILE2, OUT_FILE, LEGAL_FILE_NAME(2));
PUT (FILE2, 'A');
NEW_LINE (FILE2);
PUT (FILE2, 'B');
 
CLOSE (FILE2);
 
BEGIN
OPEN (FILE2, IN_FILE, LEGAL_FILE_NAME(2));
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON OPEN WITH " &
"WITH MODE IN_FILE");
RAISE INCOMPLETE;
END;
 
SET_INPUT (FILE2);
 
GET (ITEM);
IF ITEM /= 'A' THEN
FAILED ("INCORRECT VALUE READ FROM DEFAULT FILE");
END IF;
 
SET_OUTPUT (FILE1);
 
PUT ("THIS TEST FAILS IF THIS APPEARS IN STANDARD OUTPUT");
NEW_LINE;
PUT ("THIS TEST FAILS IF THIS APPEARS IN STANDARD OUTPUT");
 
PUT (STANDARD_OUTPUT, "FIRST LINE OF INPUT");
NEW_LINE (STANDARD_OUTPUT);
PUT (STANDARD_OUTPUT, "SECOND LINE OF INPUT");
 
SPECIAL_ACTION ("CHECK THAT THE CONTENTS OF THE STANDARD " &
"OUTPUT FILE ARE CORRECT");
SPECIAL_ACTION ("IT SHOULD CONTAIN:");
SPECIAL_ACTION ("TEST HEADER LINES");
SPECIAL_ACTION ("FIRST LINE OF INPUT");
SPECIAL_ACTION ("SECOND LINE OF INPUT");
 
BEGIN
DELETE (FILE1);
DELETE (FILE2);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
 
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
 
RESULT;
 
END EE3204A;
/ee3402b.ada
0,0 → 1,118
-- EE3402B.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 NEW_LINE HAS AN OPTIONAL SPACING PARAMETER WITH
-- DEFAULT VALUE ONE, AND CHECK THAT NEW_LINE OPERATES ON THE
-- CURRENT DEFAULT OUTPUT FILE IF NO FILE IS SPECIFIED.
 
-- APPLICABILITY CRITERIA:
-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT
-- TEXT FILES.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED,
-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT.
 
-- HISTORY:
-- ABW 08/26/82
-- SPS 09/16/82
-- TBN 11/04/86 REVISED TEST TO OUTPUT A NON_APPLICABLE
-- RESULT WHEN FILES ARE NOT SUPPORTED.
-- DWC 08/19/87 ADDED SPECIAL ACTION FUNCTION AND REMOVED
-- EXCEPTION HANDLERS. CHANGED TO AN E TEST.
 
WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
WITH CHECK_FILE;
 
PROCEDURE EE3402B IS
 
INCOMPLETE : EXCEPTION;
FILE, FILE_OUT : FILE_TYPE;
SPAC : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4));
TWO : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(2));
FOUR : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4));
CUR_LINE : COUNT;
 
BEGIN
 
TEST ("EE3402B", "CHECK THAT NEW_LINE HAS AN OPTIONAL " &
"SPACING PARAMETER WITH DEFAULT VALUE ONE, " &
"AND CHECK THAT NEW_LINE OPERATES ON THE " &
"CURRENT DEFAULT OUTPUT FILE IF NO FILE IS " &
"SPECIFIED.");
 
BEGIN
CREATE (FILE);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED; TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED; TEXT CREATE - 1");
RAISE INCOMPLETE;
END;
 
CREATE (FILE_OUT);
 
SPECIAL_ACTION ("CHECK OUTPUT FOR FOUR BLANK LINES");
 
NEW_LINE (FILE);
IF LINE (FILE) /= TWO THEN
FAILED ("SPACING DEFAULT NOT ONE");
END IF;
 
SPECIAL_ACTION ("FOUR BLANK LINES SHOULD FOLLOW THIS COMMENT");
CUR_LINE := LINE (STANDARD_OUTPUT);
NEW_LINE (SPAC);
IF LINE (STANDARD_OUTPUT) /= CUR_LINE + 4 THEN
FAILED ("FILE DEFAULT NOT CORRECT FOR STANDARD_OUTPUT");
END IF;
 
SET_OUTPUT (FILE_OUT);
NEW_LINE (SPAC);
IF LINE (CURRENT_OUTPUT) /= FOUR + 1 THEN
FAILED ("FILE DEFAULT NOT CORRECT FOR CURRENT_OUTPUT");
END IF;
 
SET_OUTPUT (STANDARD_OUTPUT); -- RESET STANDARD OUTPUT
COMMENT ("CHECKING FILE");
CHECK_FILE (FILE, "#@%");
COMMENT ("CHECKING FILE_OUT");
CHECK_FILE (FILE_OUT, "####@%");
 
CLOSE (FILE);
CLOSE (FILE_OUT);
 
RESULT;
 
EXCEPTION
WHEN INCOMPLETE =>
RESULT;
 
END EE3402B;
/ee3412c.ada
0,0 → 1,144
-- EE3412C.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 LINE OPERATES ON THE CURRENT DEFAULT OUTPUT FILE WHEN
-- NO FILE IS SPECIFIED. CHECK THAT LINE CAN OPERATE ON FILES OF
-- MODE IN_FILE AND OUT_FILE, INCLUDING THE CURRENT DEFAULT
-- INPUT_FILE.
 
-- APPLICABILITY CRITERIA:
-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT
-- TEXT FILES.
 
-- PASS/FAIL CRITERIA:
-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED,
-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT.
 
-- HISTORY:
-- SPS 09/29/82
-- JBG 08/30/83
-- JLH 09/02/87 REMOVED DEPENDENCE ON RESET, REMOVED UNNECESSARY
-- CODE, CHECKED FOR USE_ERROR ON DELETE, AND RENAMED
-- FROM CE3412C.ADA.
 
WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
 
PROCEDURE EE3412C IS
INCOMPLETE : EXCEPTION;
 
BEGIN
 
TEST ("EE3412C", "CHECK THAT LINE OPERATES ON DEFAULT IN_FILE " &
"AND OUT_FILE FILES");
 
DECLARE
F1, F2 : FILE_TYPE;
C : POSITIVE_COUNT;
X : CHARACTER;
ITEM : STRING (1..6);
BEGIN
C := LINE (STANDARD_OUTPUT);
NEW_LINE (STANDARD_OUTPUT);
SPECIAL_ACTION ("ONE BLANK LINE SHOULD PRECEDE THIS COMMENT");
IF LINE /= C+2 THEN
FAILED ("DEFAULT FOR LINE NOT STANDARD_OUTPUT");
END IF;
 
BEGIN
CREATE (F1, OUT_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE " &
"WITH OUT_FILE MODE");
RAISE INCOMPLETE;
WHEN NAME_ERROR =>
NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT " &
"CREATE WITH OUT_FILE MODE");
RAISE INCOMPLETE;
END;
 
CREATE (F2, OUT_FILE);
 
SET_OUTPUT (F2);
 
FOR I IN 1 .. 6 LOOP
PUT (F1, "STRING");
NEW_LINE (F1);
END LOOP;
IF LINE (F1) /= 7 THEN
FAILED ("LINE INCORRECT SUBTEST 1");
END IF;
 
SET_LINE_LENGTH (3);
PUT ("OUTPUT STRING");
IF LINE /= LINE(F2) THEN
FAILED ("LINE INCORRECT SUBTEST 2");
END IF;
 
CLOSE (F1);
 
BEGIN
OPEN (F1, IN_FILE, LEGAL_FILE_NAME);
EXCEPTION
WHEN USE_ERROR =>
NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN " &
"WITH IN_FILE MODE");
RAISE INCOMPLETE;
END;
 
SET_INPUT (F1);
 
GET (F1, ITEM);
IF ITEM /= "STRING" THEN
FAILED ("INCORRECT VALUE READ");
END IF;
 
SKIP_LINE(F1);
SKIP_LINE(F1);
SKIP_LINE(F1);
IF LINE (CURRENT_INPUT) /= 4 AND LINE (F1) /= 4 THEN
FAILED ("LINE INCORRECT SUBTEST 3");
END IF;
 
BEGIN
DELETE (F1);
EXCEPTION
WHEN USE_ERROR =>
NULL;
END;
 
CLOSE (F2);
 
EXCEPTION
WHEN INCOMPLETE =>
NULL;
END;
 
RESULT;
 
END EE3412C;
/e28005d.ada
0,0 → 1,55
PRAGMA PAGE;
-- E28005D.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 WHEN PRAGMA PAGE IS USED AT THE BEGINNING OR END OF A
-- COMPILATION, THERE IS NO PROBLEM.
 
-- PASS/FAIL CRITERIA:
-- THE TEST MUST COMPILE TO EXECUTE WITH A 'TENTATIVELY PASSED'
-- RESULT. THERE IS A PAGE BREAK BEFORE THE TEST NAME AND A
-- PAGE BREAK AFTER THE END OF THE TEST.
 
-- HISTORY:
-- RJW 04/16/86 CREATED ORIGINAL TEST.
-- JET 01/13/88 ADDED CALLS TO SPECIAL_ACTION AND UPDATED HEADER.
 
WITH REPORT; USE REPORT;
 
PROCEDURE E28005D IS
BEGIN
TEST ( "E28005D", "CHECK THAT WHEN PRAGMA PAGE IS USED AT THE " &
"BEGINNING OR END OF A COMPILATION, THERE " &
"IS NO PROBLEM");
 
SPECIAL_ACTION ("CHECK THAT THE PAGE PRAGMAS AT THE BEGINNING " &
"AND END OF THE PROGRAM CAUSE THE TEXT " &
"FOLLOWING THE PRAGMAS TO APPEAR AT THE START " &
"OF A NEW PAGE OF THE COMPILATION LISTING");
RESULT;
 
END E28005D;
 
PRAGMA PAGE;
/e52103y.ada
0,0 → 1,132
-- E52103Y.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.
--*
-- CHECK WHETHER A NULL ARRAY WITH ONE DIMENSION OF LENGTH GREATER THAN
-- INTEGER'LAST RAISES CONSTRAINT_ERROR OR NO EXCEPTION,
-- EITHER WHEN DECLARED OR ASSIGNED.
 
-- CHECK THAT LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS.
-- MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING
-- LENGTHS DO NOT CAUSE CONSTRAINT_ERROR TO BE RAISED AND
-- ARE PERFORMED CORRECTLY.
-- (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT
-- ARE TREATED ELSEWHERE.)
 
 
-- THIS IS A SPECIAL CASE IN
 
-- DIVISION D : NULL ARRAYS WHOSE LENGTHS ARE NOT DETERMINABLE
-- STATICALLY
 
-- WHICH (THE SPECIAL CASE) TREATS TWO-DIMENSIONAL ARRAYS WHOSE LENGTH
-- ALONG ONE DIMENSION IS GREATER THAN INTEGER'LAST AND WHOSE
-- LENGTH ALONG THE OTHER DIMENSION IS 0 .
 
 
-- *** NOTE: This test has been modified since ACVC version 1.11 to -- 9X
-- *** remove incompatibilities associated with the transition -- 9X
-- *** to Ada 9X. -- 9X
-- *** -- 9X
 
-- RM 07/31/81
-- SPS 03/22/83
-- JBG 05/02/83
-- JBG 06/01/85
-- EG 10/28/85 FIX NUMERIC_ERROR/CONSTRAINT_ERROR ACCORDING TO
-- AI-00387.
-- LDC 06/01/88 CHANGED HEADER COMMENT TO INDICATE CONSTRAINT_ERROR
-- IS ALLOWED. ADDED CODE TO PREVENT DEAD VARIABLE
-- OPTIMIZATION.
-- MRM 03/30/93 REMOVED NUMERIC_ERROR FOR 9X COMPATIBILITY
 
WITH REPORT;
PROCEDURE E52103Y IS
 
USE REPORT ;
 
BEGIN
 
TEST( "E52103Y","CHECK WHETHER CONSTRAINT_ERROR " &
"OR NO EXCEPTION IS RAISED WHEN DIMENSION OF " &
"AN ARRAY HAS LENGTH > INTEGER'LAST");
BEGIN
 
DECLARE
 
TYPE TA42 IS ARRAY(
INTEGER RANGE IDENT_INT( 13 )..IDENT_INT( 12 ),
INTEGER RANGE IDENT_INT(-2)..IDENT_INT(INTEGER'LAST)
) OF BOOLEAN ;
 
SUBTYPE TA41 IS TA42 ;
 
ARR41 : TA41 ;
ARR42 : TA42 ;
 
BEGIN
 
COMMENT ("NO EXCEPTION FOR ARRAY DECLARATION");
 
-- NULL ARRAY ASSIGNMENT:
 
ARR42 := ARR41 ;
IF ARR42'LENGTH(1) /= 0 THEN
FOR I IN TA42'RANGE(2) LOOP
ARR41(13,I) := IDENT_BOOL(ARR42(13,I));
END LOOP;
END IF;
 
COMMENT ("NO EXCEPTION RAISED FOR NULL ARRAY " &
"ASSIGNMENT");
 
EXCEPTION
 
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED IN LENGTH " &
"COMPARISON");
 
WHEN OTHERS =>
FAILED( "OTHER EXCEPTION RAISED - SUBTEST 2" );
 
END ;
 
EXCEPTION
 
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED BY DECLARATION OF " &
"NULL ARRAY TYPE WITH ONE DIMENSION > " &
"INTEGER'LAST");
 
WHEN OTHERS =>
FAILED ("SOME OTHER EXCEPTION RAISED");
 
END;
 
-------------------------------------------------------------------
 
 
RESULT ;
 
 
END E52103Y;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.