| -- CA13003.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 separate subunits which share an ancestor may have the |
| -- same name if they have different fully qualified names. Check |
| -- the case of separate subunits of separate subunits. |
| -- This test is a change in semantics from Ada 83 to Ada 9X. |
| -- |
| -- TEST DESCRIPTION: |
| -- Declare a package that provides file processing operations. Declare |
| -- one separate package to do the file processing, and another to do the |
| -- auditing. These packages contain similar functions declared in |
| -- separate subunits. Verify that the main program can call the |
| -- separate subunits with the same name. |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 06 Dec 94 SAIC ACVC 2.0 |
| -- |
| --! |
| |
| -- Simulates a file processing application. The processing package opens |
| -- files, reads files, does file processing, and generates reports. |
| -- The auditing package opens files, read files, and generates reports. |
| |
| package CA13003_0 is |
| |
| type File_ID is range 1 .. 100; |
| subtype File_Name is string (1 .. 10); |
| |
| TC_Open_For_Process : boolean := false; |
| TC_Open_For_Audit : boolean := false; |
| TC_Report_From_Process : boolean := false; |
| TC_Report_From_Audit : boolean := false; |
| |
| type File_Rec is |
| record |
| Name : File_Name; |
| ID : File_ID; |
| end record; |
| |
| procedure Initialize_File_Rec (Name_In : in File_Name; |
| ID_In : in File_ID; |
| File_In : out File_Rec); |
| |
| ---------------------------------------------------------------------- |
| |
| package CA13003_1 is -- File processing |
| |
| procedure CA13003_3; -- Open files |
| function CA13003_4 (ID_In : File_ID; File_In : File_Rec) |
| return File_Name; -- Process files |
| package CA13003_5 is -- Generate report |
| procedure Generate_Report; |
| end CA13003_5; |
| |
| end CA13003_1; |
| |
| ---------------------------------------------------------------------- |
| |
| package CA13003_2 is -- File auditing |
| |
| procedure CA13003_3; -- Open files |
| function CA13003_4 (ID_In : File_ID; File_In : File_Rec) |
| return File_Name; -- Process files |
| package CA13003_5 is -- Generate report |
| procedure Generate_Report; |
| end CA13003_5; |
| |
| end CA13003_2; |
| |
| end CA13003_0; |
| |
| --==================================================================-- |
| |
| package body CA13003_0 is |
| |
| procedure Initialize_File_Rec (Name_In : in File_Name; |
| ID_In : in File_ID; |
| File_In : out File_Rec) is |
| -- Not a real initialization. Real application can use file |
| -- database to create the file record. |
| begin |
| File_In.Name := Name_In; |
| File_In.ID := ID_In; |
| end Initialize_File_Rec; |
| |
| package body CA13003_1 is separate; |
| package body CA13003_2 is separate; |
| |
| end CA13003_0; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0) |
| package body CA13003_1 is |
| |
| procedure CA13003_3 is separate; -- Open files |
| function CA13003_4 (ID_In : File_ID; File_In : File_Rec) |
| return File_Name is separate; -- Process files |
| package body CA13003_5 is separate; -- Generate report |
| |
| end CA13003_1; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_1) |
| procedure CA13003_3 is -- Open files |
| begin |
| -- In real file processing application, open file from database, setup |
| -- data structure, etc. |
| TC_Open_For_Process := true; |
| end CA13003_3; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_1) |
| function CA13003_4 (ID_In : File_ID; -- Process files |
| File_In : File_Rec) return File_Name is |
| begin |
| -- In real file processing application, process files for more information. |
| return File_In.Name; |
| end CA13003_4; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_1) |
| package body CA13003_5 is -- Generate report |
| procedure Generate_Report is |
| begin |
| -- In real file processing application, generate various report from the |
| -- file database. |
| TC_Report_From_Process := true; |
| end Generate_Report; |
| |
| end CA13003_5; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0) |
| package body CA13003_2 is |
| |
| procedure CA13003_3 is separate; -- Open files |
| function CA13003_4 (ID_In : File_ID; File_In : File_Rec) |
| return File_Name is separate; -- Process files |
| package body CA13003_5 is separate; -- Generate report |
| |
| end CA13003_2; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_2) |
| procedure CA13003_3 is -- Open files |
| begin |
| TC_Open_For_Audit := true; |
| end CA13003_3; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_2) |
| function CA13003_4 (ID_In : File_ID; |
| File_In : File_Rec) return File_Name is |
| begin |
| return File_In.Name; |
| end CA13003_4; |
| |
| --==================================================================-- |
| |
| separate (CA13003_0.CA13003_2) |
| package body CA13003_5 is -- Generate report |
| procedure Generate_Report is |
| begin |
| TC_Report_From_Audit := true; |
| end Generate_Report; |
| |
| end CA13003_5; |
| |
| --==================================================================-- |
| |
| with CA13003_0; |
| with Report; |
| |
| procedure CA13003 is |
| First_File_Name : CA13003_0.File_Name := "Joe Smith "; |
| First_File_Id : CA13003_0.File_ID := 11; |
| Second_File_Name : CA13003_0.File_Name := "John Schep"; |
| Second_File_Id : CA13003_0.File_ID := 47; |
| Expected_Name : CA13003_0.File_Name := " "; |
| Student_File : CA13003_0.File_Rec; |
| |
| function Process_Input_Files (ID_In : CA13003_0.File_ID; |
| File_In : CA13003_0.File_Rec) return |
| CA13003_0.File_Name renames CA13003_0.CA13003_1.CA13003_4; |
| |
| function Process_Audit_Files (ID_In : CA13003_0.File_ID; |
| File_In : CA13003_0.File_Rec) return |
| CA13003_0.File_Name renames CA13003_0.CA13003_2.CA13003_4; |
| begin |
| Report.Test ("CA13003", "Check that separate subunits which share " & |
| "an ancestor may have the same name if they have " & |
| "different fully qualified names"); |
| |
| Student_File := (ID => First_File_Id, Name => First_File_Name); |
| |
| -- Note that all subunits have the same simple name. |
| -- Generate report from file processing. |
| CA13003_0.CA13003_1.CA13003_3; |
| Expected_Name := Process_Input_Files (First_File_Id, Student_File); |
| CA13003_0.CA13003_1.CA13003_5.Generate_Report; |
| |
| if not CA13003_0.TC_Open_For_Process or |
| not CA13003_0.TC_Report_From_Process or |
| Expected_Name /= First_File_Name then |
| Report.Failed ("Unexpected results in processing file"); |
| end if; |
| |
| CA13003_0.Initialize_File_Rec |
| (Second_File_Name, Second_File_Id, Student_File); |
| |
| -- Generate report from file auditing. |
| CA13003_0.CA13003_2.CA13003_3; |
| Expected_Name := Process_Audit_Files (Second_File_Id, Student_File); |
| CA13003_0.CA13003_2.CA13003_5.Generate_Report; |
| |
| if not CA13003_0.TC_Open_For_Audit or |
| not CA13003_0.TC_Report_From_Audit or |
| Expected_Name /= Second_File_Name then |
| Report.Failed ("Unexpected results in auditing file"); |
| end if; |
| |
| Report.Result; |
| |
| end CA13003; |
