-- CC70B01.A -- -- 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 formal package actual part may specify actual parameters -- for a generic formal package. Check that a use clause in the generic -- formal part provides direct visibility of declarations within the -- generic formal package. Check that the scope of such a use clause -- extends to the generic subprogram body. Check that the visible part of -- the generic formal package includes the first list of basic -- declarative items of the package specification. -- -- Check the case where the formal package is declared in a generic -- subprogram. -- -- TEST DESCRIPTION: -- Declare a list abstraction in a generic package which manages lists of -- elements of any nonlimited type (foundation code). Declare a generic -- subprogram which operates on lists of elements of discrete types. -- Provide the generic subprogram with two formal parameters: (1) a -- formal discrete type which represents a list element type, and (2) a -- generic formal package with the list abstraction package as template. -- Use the formal discrete type as the generic formal actual part for the -- formal package. Include a use clause for the formal package in the -- generic subprogram formal part. -- -- TEST FILES: -- The following files comprise this test: -- -- FC70B00.A -- CC70B01.A -- -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- --! -- Declare a generic subprogram which performs an operation on lists of -- discrete objects. with FC70B00; -- Generic list abstraction. generic -- Import the list abstraction defined in FC70B00. To ensure that only -- list abstraction instances defining lists of *discrete* elements will be -- accepted as actuals to this generic, declare a formal discrete type and -- pass it as an actual parameter to the formal package. -- -- Only instances declared for the same discrete type as that used to -- instantiate this generic subprogram will be accepted. type Elem_Type is (<>); -- Discrete types only. with package List_Mgr is new FC70B00 (Elem_Type); use List_Mgr; -- Use clause for formal package. procedure CC70B01_0 (L : in out List_Type); -- List_Mgr.List_Type directly -- visible. --==================================================================-- procedure CC70B01_0 (L : in out List_Type) is -- Declarations in List_Mgr begin -- still directly visible. Reset (L); while not End_Of_List (L) loop Write_Element (L, Elem_Type'First); -- This statement assumes end loop; -- Elem_Type is discrete. end CC70B01_0; --==================================================================-- with FC70B00; -- Generic list abstraction. with CC70B01_0; -- Generic "zeroing" operation for lists of discrete types. with Report; procedure CC70B01 is type Points is range 0 .. 10; -- Discrete type. package Lists_of_Scores is new FC70B00 (Points); -- List-of-points -- abstraction. Scores : Lists_of_Scores.List_Type; -- List of points. procedure Reset_All_Scores is new -- Operation on lists of CC70B01_0 (Points, Lists_of_Scores); -- points. -- Begin test code declarations: ----------------------- type TC_Score_Array is array (1 .. 3) of Points; TC_Initial_Values : constant TC_Score_Array := (2, 4, 6); TC_Final_Values : constant TC_Score_Array := (0, 0, 0); TC_Correct_Initial_Values : Boolean := False; TC_Correct_Final_Values : Boolean := False; procedure TC_Initialize_List (L : in out Lists_of_Scores.List_Type) is begin -- Initial list contains 3 scores for I in TC_Score_Array'Range loop -- with the values 2, 4, and 6. Lists_of_Scores.Add_Element (L, TC_Initial_Values(I)); end loop; end TC_Initialize_List; procedure TC_Verify_List (L : in out Lists_of_Scores.List_Type; Expected : in TC_Score_Array; OK : out Boolean) is Actual : TC_Score_Array; begin -- Verify that all scores have been Lists_of_Scores.Reset (L); -- set to zero. for I in TC_Score_Array'Range loop Lists_of_Scores.Read_Element (L, Actual(I)); end loop; OK := (Actual = Expected); end TC_Verify_List; -- End test code declarations. ------------------------- begin Report.Test ("CC70B01", "Check that a library-level generic subprogram " & "may have a formal package as a formal parameter, and that " & "the generic formal actual part may specify explicit actual " & "parameters. Check that a use clause is legal in the " & "generic formal part"); TC_Initialize_List (Scores); TC_Verify_List (Scores, TC_Initial_Values, TC_Correct_Initial_Values); if not TC_Correct_Initial_Values then Report.Failed ("List contains incorrect initial values"); end if; Reset_All_Scores (Scores); TC_Verify_List (Scores, TC_Final_Values, TC_Correct_Final_Values); if not TC_Correct_Final_Values then Report.Failed ("List contains incorrect final values"); end if; Report.Result; end CC70B01;