1-- CD1009I.ADA 2 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- OBJECTIVE: 26-- CHECK THAT A 'SIZE' CLAUSE MAY BE GIVEN IN THE PRIVATE 27-- PART OF A PACKAGE FOR A LIMITED-PRIVATE TYPE DECLARED IN THE 28-- VISIBLE PART OF THE SAME PACKAGE. 29 30-- HISTORY: 31-- VCL 09/18/87 CREATED ORIGINAL TEST. 32-- DHH 03/30/89 CHANGED SPECIFIED_SIZE TO 5, ADDED CHECK FOR 33-- REPRESENTATION CLAUSES AND CHANGED THE TEST 34-- EXTENSION FROM '.DEP' TO '.ADA'. 35 36WITH REPORT; USE REPORT; 37WITH LENGTH_CHECK; -- CONTAINS A CALL TO 'FAILED'. 38PROCEDURE CD1009I IS 39BEGIN 40 TEST ("CD1009I", "A 'SIZE' CLAUSE MAY BE GIVEN IN THE " & 41 "PRIVATE PART OF A PACKAGE FOR A LIMITED-" & 42 "PRIVATE TYPE DECLARED IN THE VISIBLE PART " & 43 "OF THE SAME PACKAGE"); 44 DECLARE 45 PACKAGE PACK IS 46 SPECIFIED_SIZE : CONSTANT := 5; 47 48 TYPE CHECK_TYPE_1 IS LIMITED PRIVATE; 49 PRIVATE 50 TYPE CHECK_TYPE_1 IS RANGE -8 .. 7; 51 FOR CHECK_TYPE_1'SIZE USE SPECIFIED_SIZE; 52 OBJ_CHECK : CHECK_TYPE_1 := -7; 53 PROCEDURE CHECK_1 IS NEW LENGTH_CHECK (CHECK_TYPE_1); 54 END PACK; 55 56 PACKAGE BODY PACK IS 57 BEGIN 58 CHECK_1 (OBJ_CHECK, 5, "CHECK_TYPE_1"); 59 END PACK; 60 61 USE PACK; 62 BEGIN 63 IF CHECK_TYPE_1'SIZE /= SPECIFIED_SIZE THEN 64 FAILED ("CHECK_TYPE_1'SIZE /= SPECIFIED_SIZE"); 65 END IF; 66 END; 67 68 RESULT; 69END CD1009I; 70