-- CD2B15C.ADA
|
-- CD2B15C.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- IF THE COLLECTION SIZE IS LARGE ENOUGH TO HOLD SOME
|
-- IF THE COLLECTION SIZE IS LARGE ENOUGH TO HOLD SOME
|
-- VALUES OF THE DESIGNATED TYPE, CHECK THAT "STORAGE_ERROR"
|
-- VALUES OF THE DESIGNATED TYPE, CHECK THAT "STORAGE_ERROR"
|
-- IS RAISED BY AN ALLOCATOR WHEN INSUFFICIENT STORAGE IS
|
-- IS RAISED BY AN ALLOCATOR WHEN INSUFFICIENT STORAGE IS
|
-- AVAILABLE.
|
-- AVAILABLE.
|
|
|
-- HISTORY:
|
-- HISTORY:
|
-- DHH 09/23/87 CREATED ORIGINAL TEST.
|
-- DHH 09/23/87 CREATED ORIGINAL TEST.
|
-- PMW 09/19/88 MODIFIED WITHDRAWN TEST.
|
-- PMW 09/19/88 MODIFIED WITHDRAWN TEST.
|
-- THS 03/21/90 CHANGED EXTENSION FROM '.DEP' TO '.ADA' AND
|
-- THS 03/21/90 CHANGED EXTENSION FROM '.DEP' TO '.ADA' AND
|
-- COMPLETELY REVISED THE TEST TO PREVENT OPTIMIZATION.
|
-- COMPLETELY REVISED THE TEST TO PREVENT OPTIMIZATION.
|
-- LDC 09/20/90 REMOVED UNUSED VARIABLE, CHANGED FAIL CALLS TO
|
-- LDC 09/20/90 REMOVED UNUSED VARIABLE, CHANGED FAIL CALLS TO
|
-- COMMENT FOR 'STORAGE_SIZE /= TO SPECIFIED SIZE,
|
-- COMMENT FOR 'STORAGE_SIZE /= TO SPECIFIED SIZE,
|
-- MOVED LOOP FOR CHECK VALUES TO EXCEPTION HANDLER.
|
-- MOVED LOOP FOR CHECK VALUES TO EXCEPTION HANDLER.
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
WITH SYSTEM;
|
WITH SYSTEM;
|
PROCEDURE CD2B15C IS
|
PROCEDURE CD2B15C IS
|
|
|
SPECIFIED_SIZE : CONSTANT := 1000;
|
SPECIFIED_SIZE : CONSTANT := 1000;
|
|
|
TYPE CHECK_TYPE IS ACCESS INTEGER;
|
TYPE CHECK_TYPE IS ACCESS INTEGER;
|
FOR CHECK_TYPE'STORAGE_SIZE USE SPECIFIED_SIZE;
|
FOR CHECK_TYPE'STORAGE_SIZE USE SPECIFIED_SIZE;
|
|
|
UNITS_PER_INTEGER : CONSTANT :=
|
UNITS_PER_INTEGER : CONSTANT :=
|
(INTEGER'SIZE + SYSTEM.STORAGE_UNIT - 1) / SYSTEM.STORAGE_UNIT;
|
(INTEGER'SIZE + SYSTEM.STORAGE_UNIT - 1) / SYSTEM.STORAGE_UNIT;
|
|
|
TYPE ACC_ARRAY_TYPE IS ARRAY
|
TYPE ACC_ARRAY_TYPE IS ARRAY
|
(INTEGER RANGE 1 .. (CHECK_TYPE'STORAGE_SIZE /
|
(INTEGER RANGE 1 .. (CHECK_TYPE'STORAGE_SIZE /
|
UNITS_PER_INTEGER) + 1) OF CHECK_TYPE;
|
UNITS_PER_INTEGER) + 1) OF CHECK_TYPE;
|
ACC_ARRAY : ACC_ARRAY_TYPE;
|
ACC_ARRAY : ACC_ARRAY_TYPE;
|
|
|
PLACE_I_STOPPED : INTEGER := 0;
|
PLACE_I_STOPPED : INTEGER := 0;
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST ("CD2B15C", "IF THE COLLECTION SIZE IS LARGE " &
|
TEST ("CD2B15C", "IF THE COLLECTION SIZE IS LARGE " &
|
"ENOUGH TO HOLD SOME VALUES OF " &
|
"ENOUGH TO HOLD SOME VALUES OF " &
|
"THE DESIGNATED TYPE, CHECK THAT " &
|
"THE DESIGNATED TYPE, CHECK THAT " &
|
"STORAGE_ERROR IS RAISED BY AN " &
|
"STORAGE_ERROR IS RAISED BY AN " &
|
"ALLOCATOR WHEN INSUFFICIENT STORAGE " &
|
"ALLOCATOR WHEN INSUFFICIENT STORAGE " &
|
"IS AVAILABLE");
|
"IS AVAILABLE");
|
|
|
IF CHECK_TYPE'STORAGE_SIZE < IDENT_INT (SPECIFIED_SIZE) THEN
|
IF CHECK_TYPE'STORAGE_SIZE < IDENT_INT (SPECIFIED_SIZE) THEN
|
FAILED ("CHECK_TYPE'STORAGE_SIZE IS LESS THEN THE VALUE " &
|
FAILED ("CHECK_TYPE'STORAGE_SIZE IS LESS THEN THE VALUE " &
|
"SPECIFIED IN THE REPRESENTATION CLAUSE");
|
"SPECIFIED IN THE REPRESENTATION CLAUSE");
|
|
|
ELSIF CHECK_TYPE'STORAGE_SIZE > 2 * IDENT_INT (SPECIFIED_SIZE) THEN
|
ELSIF CHECK_TYPE'STORAGE_SIZE > 2 * IDENT_INT (SPECIFIED_SIZE) THEN
|
COMMENT ("VALUE FOR CHECK_TYPE'STORAGE_SIZE IS MORE THEN " &
|
COMMENT ("VALUE FOR CHECK_TYPE'STORAGE_SIZE IS MORE THEN " &
|
"TWICE THE SPECIFIED VALUE IN THE REPRESENTATION " &
|
"TWICE THE SPECIFIED VALUE IN THE REPRESENTATION " &
|
"CLAUSE");
|
"CLAUSE");
|
END IF;
|
END IF;
|
|
|
BEGIN
|
BEGIN
|
|
|
FOR I IN ACC_ARRAY'RANGE LOOP
|
FOR I IN ACC_ARRAY'RANGE LOOP
|
ACC_ARRAY (I) := NEW INTEGER'(IDENT_INT (I));
|
ACC_ARRAY (I) := NEW INTEGER'(IDENT_INT (I));
|
PLACE_I_STOPPED := I;
|
PLACE_I_STOPPED := I;
|
END LOOP;
|
END LOOP;
|
|
|
FAILED ("NO EXCEPTION RAISED WHEN RESERVED SPACE " &
|
FAILED ("NO EXCEPTION RAISED WHEN RESERVED SPACE " &
|
"EXCEEDED");
|
"EXCEEDED");
|
|
|
EXCEPTION
|
EXCEPTION
|
WHEN STORAGE_ERROR =>
|
WHEN STORAGE_ERROR =>
|
FOR I IN 1 .. PLACE_I_STOPPED LOOP
|
FOR I IN 1 .. PLACE_I_STOPPED LOOP
|
IF ACC_ARRAY (I).ALL /= IDENT_INT (I) THEN
|
IF ACC_ARRAY (I).ALL /= IDENT_INT (I) THEN
|
FAILED ("INCORRECT VALUE FOR ACC_ARRAY (" &
|
FAILED ("INCORRECT VALUE FOR ACC_ARRAY (" &
|
INTEGER'IMAGE (I) & ")");
|
INTEGER'IMAGE (I) & ")");
|
END IF;
|
END IF;
|
END LOOP;
|
END LOOP;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("WRONG EXCEPTION RAISED WHEN RESERVED SPACE " &
|
FAILED ("WRONG EXCEPTION RAISED WHEN RESERVED SPACE " &
|
"EXCEEDED");
|
"EXCEEDED");
|
END;
|
END;
|
|
|
RESULT;
|
RESULT;
|
|
|
END CD2B15C;
|
END CD2B15C;
|
|
|