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