diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/ca/ca11006.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/ca/ca11006.a | 211 |
1 files changed, 0 insertions, 211 deletions
diff --git a/gcc/testsuite/ada/acats/tests/ca/ca11006.a b/gcc/testsuite/ada/acats/tests/ca/ca11006.a deleted file mode 100644 index 5cd21fe1f15..00000000000 --- a/gcc/testsuite/ada/acats/tests/ca/ca11006.a +++ /dev/null @@ -1,211 +0,0 @@ --- CA11006.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 the private part of a child library unit can utilize --- its parent unit's private definition. --- --- TEST DESCRIPTION: --- Declare a package and public child package, both with private --- parts. The child package will have a private extension of a type --- declared in the parent's private part. In addition, the private --- part of the child package specification will make use of some of --- the components declared in the private part of the parent. --- --- --- CHANGE HISTORY: --- 06 Dec 94 SAIC ACVC 2.0 --- 15 Nov 95 SAIC Update and repair for ACVC 2.0.1 --- ---! - -package CA11006_0 is -- Package File_Package - - type File_Descriptor is private; - type File_Mode is (Read_Only, Write_Only, Read_Write); - type File_Type is tagged private; - - function Next_Available_File return File_Descriptor; - -private - - type File_Measure is range 0 .. 1000; - type File_Descriptor is new Integer; - - Null_File : constant File_Descriptor := 0; - Default_Mode : constant File_Mode := Read_Write; - - type File_Type is tagged - record - Descriptor : File_Descriptor := Null_File; - Mode : File_Mode := Default_Mode; - end record; - - System_File : File_Type; - -end CA11006_0; -- Package File_Package - - --=================================================================-- - -package body CA11006_0 is -- Package File_Package - - File_Count : Integer := 0; - - function Next_Available_File return File_Descriptor is - begin - File_Count := File_Count + 1; - return File_Descriptor (File_Count); - end Next_Available_File; - -end CA11006_0; -- Package File_Package - - --=================================================================-- - -package CA11006_0.CA11006_1 is -- Child package File_Package.Operations - - type File_Length_Type is private; - type Extended_File_Type is new File_Type with private; - - System_Extended_File : constant Extended_File_Type; - - procedure Create_File (Mode : in File_Mode; - File : out Extended_File_Type); - - procedure Compress_File (Original : in Extended_File_Type; - Compressed_File : out Extended_File_Type); - - function Validate (File : in Extended_File_Type) return Boolean; - - function Validate_Compression (File : in Extended_File_Type) - return Boolean; - -- These two validation functions provide - -- the capability to check the private - -- components defined in the parent and - -- child packages from within the client - -- program. -private - - type File_Length_Type is new File_Measure; -- Parent private type. - - Min_File_Size : File_Length_Type := File_Length_Type'First; - Max_File_Size : File_Length_Type := File_Length_Type'Last; - - type Extended_File_Type is new File_Type with -- Parent type. - record - Blocks : File_Length_Type := Min_File_Size; - end record; - - System_Extended_File : constant Extended_File_Type := - (Descriptor => System_File.Descriptor, -- Parent private object. - Mode => Read_Only, -- Parent enumeration literal. - Blocks => Min_File_Size); - - -end CA11006_0.CA11006_1; -- Child Package File_Package.Operations - - --=================================================================-- - - -- Child package body File_Package.Operations -package body CA11006_0.CA11006_1 is - - procedure Create_File - (Mode : in File_Mode; - File : out Extended_File_Type) is - begin - File.Descriptor := Next_Available_File; -- Parent subprogram. - File.Mode := Default_Mode; -- Parent private constant. - File.Blocks := Max_File_Size; - end Create_File; - ------------------------------------------------------------------------ - procedure Compress_File (Original : in Extended_File_Type; - Compressed_File : out Extended_File_Type) is - begin - Compressed_File.Descriptor := Next_Available_File; - Compressed_File.Mode := Read_Only; - Compressed_File.Blocks := Original.Blocks / 2; -- Simulated file - end Compress_File; -- compression. - ------------------------------------------------------------------------ - function Validate (File : in Extended_File_Type) return Boolean is - begin - if ((File.Descriptor /= System_Extended_File.Descriptor) and - (File.Mode = Read_Write) and - (File.Blocks = Max_File_Size)) then - return True; - else - return False; - end if; - end Validate; - ------------------------------------------------------------------------ - function Validate_Compression (File : in Extended_File_Type) - return Boolean is - begin - if ((File.Descriptor /= System_File.Descriptor) and - (File.Mode = Read_Only) and - (File.Blocks = Max_File_Size/2)) then - return True; - else - return False; - end if; - end Validate_Compression; - -end CA11006_0.CA11006_1; -- Child package body File_Package.Operations - - --=================================================================-- - -with CA11006_0.CA11006_1; -- with Child package File_Package.Operations -with Report; - -procedure CA11006 is - - package File renames CA11006_0; - package File_Ops renames CA11006_0.CA11006_1; - - Validation_File_Mode : File.File_Mode := File.Read_Only; - Validation_File, - Storage_Copy : File_Ops.Extended_File_Type; - -begin - - Report.Test ("CA11006", "Check that the private part of a child " & - "library unit can utilize its parent " & - "unit's private definition"); - - File_Ops.Create_File (Validation_File_Mode, Validation_File); - - if not File_Ops.Validate (Validation_File) then - Report.Failed ("Incorrect initialization of file"); - end if; - - File_Ops.Compress_File (Validation_File, Storage_Copy); - - if not (File_Ops.Validate (Validation_File) and - File_Ops.Validate_Compression (Storage_Copy)) - then - Report.Failed ("Incorrect compression of file"); - end if; - - Report.Result; - -end CA11006; |