diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/support/impdef.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/support/impdef.a | 371 |
1 files changed, 0 insertions, 371 deletions
diff --git a/gcc/testsuite/ada/acats/support/impdef.a b/gcc/testsuite/ada/acats/support/impdef.a deleted file mode 100644 index 1cd0d466caa..00000000000 --- a/gcc/testsuite/ada/acats/support/impdef.a +++ /dev/null @@ -1,371 +0,0 @@ --- IMPDEF.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. ---* --- --- DESCRIPTION: --- This package provides tailorable entities for a particular --- implementation. Each entity may be modified to suit the needs --- of the implementation. Default values are provided to act as --- a guide. --- --- The entities in this package are those which are used in at least --- one core test. Entities which are used exclusively in tests for --- annexes C-H are located in annex-specific child units of this package. --- --- CHANGE HISTORY: --- 12 DEC 93 SAIC Initial PreRelease version --- 02 DEC 94 SAIC Second PreRelease version --- 16 May 95 SAIC Added constants specific to tests of the random --- number generator. --- 16 May 95 SAIC Added Max_RPC_Call_Time constant. --- 17 Jul 95 SAIC Added Non_State_String constant. --- 21 Aug 95 SAIC Created from existing IMPSPEC.ADA and IMPBODY.ADA --- files. --- 30 Oct 95 SAIC Added external name string constants. --- 24 Jan 96 SAIC Added alignment constants. --- 29 Jan 96 SAIC Moved entities not used in core tests into annex- --- specific child packages. Adjusted commentary. --- Renamed Validating_System_Programming_Annex to --- Validating_Annex_C. Added similar Validating_Annex_? --- constants for the other non-core annexes (D-H). --- 01 Mar 96 SAIC Added external name string constants. --- 21 Mar 96 SAIC Added external name string constants. --- 02 May 96 SAIC Removed constants for draft test CXA5014, which was --- removed from the tentative ACVC 2.1 suite. --- Added constants for use with FXACA00. --- 06 Jun 96 SAIC Added constants for wide character test files. --- 11 Dec 96 SAIC Updated constants for wide character test files. --- 13 Dec 96 SAIC Added Address_Value_IO --- 13 Sep 99 RLB Added more external name string constants. --- 16 Sep 99 RLB Corrected definition of Non_State_String constant. --- ---! - -with Report; -with Ada.Text_IO; -with System.Storage_Elements; - -package ImpDef is - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following boolean constants indicate whether this validation will - -- include any of annexes C-H. The values of these booleans affect the - -- behavior of the test result reporting software. - -- - -- True means the associated annex IS included in the validation. - -- False means the associated annex is NOT included. - - Validating_Annex_C : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - - Validating_Annex_D : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - - Validating_Annex_E : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - - Validating_Annex_F : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - - Validating_Annex_G : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - - Validating_Annex_H : constant Boolean := True; - -- ^^^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- This is the minimum time required to allow another task to get - -- control. It is expected that the task is on the Ready queue. - -- A duration of 0.0 would normally be sufficient but some number - -- greater than that is expected. - - Minimum_Task_Switch : constant Duration := 0.001; - -- ^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- This is the time required to activate another task and allow it - -- to run to its first accept statement. We are considering a simple task - -- with very few Ada statements before the accept. An implementation is - -- free to specify a delay of several seconds, or even minutes if need be. - -- The main effect of specifying a longer delay than necessary will be an - -- extension of the time needed to run the associated tests. - - Switch_To_New_Task : constant Duration := 0.001; - -- ^^^ -- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- This is the time which will clear the queues of other tasks - -- waiting to run. It is expected that this will be about five - -- times greater than Switch_To_New_Task. - - Clear_Ready_Queue : constant Duration := 1.1; - -- ^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- Some implementations will boot with the time set to 1901/1/1/0.0 - -- When a delay of Delay_For_Time_Past is given, the implementation - -- guarantees that a subsequent call to Ada.Calendar.Time_Of(1901,1,1) - -- will yield a time that has already passed (for example, when used in - -- a delay_until statement). - - Delay_For_Time_Past : constant Duration := 0.001; - -- ^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- Minimum time interval between calls to the time dependent Reset - -- procedures in Float_Random and Discrete_Random packages that is - -- guaranteed to initiate different sequences. See RM A.5.2(45). - - Time_Dependent_Reset : constant Duration := 0.001; - -- ^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- Test CXA5013 will loop, trying to generate the required sequence - -- of random numbers. If the RNG is faulty, the required sequence - -- will never be generated. Delay_Per_Random_Test is a time-out value - -- which allows the test to run for a period of time after which the - -- test is failed if the required sequence has not been produced. - -- This value should be the time allowed for the test to run before it - -- times out. It should be long enough to allow multiple (independent) - -- runs of the testing code, each generating up to 1000 random - -- numbers. - - Delay_Per_Random_Test : constant Duration := 0.001; - -- ^^^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The time required to execute this procedure must be greater than the - -- time slice unit on implementations which use time slicing. For - -- implementations which do not use time slicing the body can be null. - - procedure Exceed_Time_Slice; - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- This constant must not depict a random number generator state value. - -- Using this string in a call to function Value from either the - -- Discrete_Random or Float_Random packages will result in - -- Constraint_Error or Program_Error (expected result in test CXA5012). - -- If there is no such string, set it to "**NONE**". - - Non_State_String : constant String := "By No Means A State"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^^^^^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- This string constant must be a legal external tag value as used by - -- CD10001 for the type Some_Tagged_Type in the representation - -- specification for the value of 'External_Tag. - - External_Tag_Value : constant String := "implementation_defined"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^^^^^^^^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following address constant must be a valid address to locate - -- the C program CD30005_1. It is shown here as a named number; - -- the implementation may choose to type the constant as appropriate. - - function Cd30005_Proc (X : Integer) return Integer; - pragma Import (C, Cd30005_Proc, "_cd30005_1"); - - pragma Linker_Options ("ACATS4GNATDIR/support/cd300051.o"); - - CD30005_1_Foreign_Address : constant System.Address:= Cd30005_Proc'Address; - - -- CD30005_1_Foreign_Address : constant System.Address:= - -- System.Storage_Elements.To_Address ( 16#0000_0000# ) - -- --MODIFY HERE AS REQUIRED --- ^^^^^^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following string constant must be the external name resulting - -- from the C compilation of CD30005_1. The string will be used as an - -- argument to pragma Import. - - CD30005_1_External_Name : constant String := "_cd30005_1"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following constants should represent the largest default alignment - -- value and the largest alignment value supported by the linker. - -- See RM 13.3(35). - - Max_Default_Alignment : constant := Standard'Maximum_Alignment; - -- ^ --- MODIFY HERE AS NEEDED - - Max_Linker_Alignment : constant := Standard'Maximum_Alignment; - -- ^ --- MODIFY HERE AS NEEDED - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following string constants must be the external names resulting - -- from the C compilation of CXB30040.C, CXB30060.C, CXB30130.C, and - -- CXB30131.C. The strings will be used as arguments to pragma Import. - - CXB30040_External_Name : constant String := "CXB30040"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB30060_External_Name : constant String := "CXB30060"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB30130_External_Name : constant String := "CXB30130"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB30131_External_Name : constant String := "CXB30131"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following string constants must be the external names resulting - -- from the COBOL compilation of CXB40090.CBL, CXB40091.CBL, and - -- CXB40092.CBL. The strings will be used as arguments to pragma Import. - - CXB40090_External_Name : constant String := "CXB40090"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB40091_External_Name : constant String := "CXB40091"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB40092_External_Name : constant String := "CXB40092"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following string constants must be the external names resulting - -- from the Fortran compilation of CXB50040.FTN, CXB50041.FTN, - -- CXB50050.FTN, and CXB50051.FTN. - -- - -- The strings will be used as arguments to pragma Import. - -- - -- Note that the use of these four string constants will be split between - -- two tests, CXB5004 and CXB5005. - - CXB50040_External_Name : constant String := "CXB50040"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB50041_External_Name : constant String := "CXB50041"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB50050_External_Name : constant String := "CXB50050"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - - CXB50051_External_Name : constant String := "CXB50051"; - -- MODIFY HERE AS NEEDED --- ^^^^^^^^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following constants have been defined for use with the - -- representation clause in FXACA00 of type Sales_Record_Type. - -- - -- Char_Bits should be an integer at least as large as the number - -- of bits needed to hold a character in an array. - -- A value of 6 * Char_Bits will be used in a representation clause - -- to reserve space for a six character string. - -- - -- Next_Storage_Slot should indicate the next storage unit in the record - -- representation clause that does not overlap the storage designated for - -- the six character string. - - Char_Bits : constant := 8; - -- MODIFY HERE AS NEEDED ---^ - - Next_Storage_Slot : constant := 6; - -- MODIFY HERE AS NEEDED ---^ - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following string constant must be the path name for the .AW - -- files that will be processed by the Wide Character processor to - -- create the C250001 and C250002 tests. The Wide Character processor - -- will expect to find the files to process at this location. - - Test_Path_Root : constant String := - "ACATS4GNATDIR/tests/c2/"; - -- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ --- MODIFY HERE AS NEEDED - - -- The following two strings must not be modified unless the .AW file - -- names have been changed. The Wide Character processor will use - -- these strings to find the .AW files used in creating the C250001 - -- and C250002 tests. - - Wide_Character_Test : constant String := Test_Path_Root & "c250001"; - Upper_Latin_Test : constant String := Test_Path_Root & "c250002"; - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The following instance of Integer_IO or Modular_IO must be supplied - -- in order for test CD72A02 to compile correctly. - -- Depending on the choice of base type used for the type - -- System.Storage_Elements.Integer_Address; one of the two instances will - -- be correct. Comment out the incorrect instance. - - -- package Address_Value_IO is - -- new Ada.Text_IO.Integer_IO(System.Storage_Elements.Integer_Address); - - package Address_Value_IO is - new Ada.Text_IO.Modular_IO(System.Storage_Elements.Integer_Address); - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - One_Second : constant Duration := 0.001; - -end ImpDef; - - - --==================================================================-- - - -package body ImpDef is - - -- NOTE: These are example bodies. It is expected that implementors - -- will write their own versions of these routines. - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - - -- The time required to execute this procedure must be greater than the - -- time slice unit on implementations which use time slicing. For - -- implementations which do not use time slicing the body can be null. - - Procedure Exceed_Time_Slice is - T : Integer := 0; - Loop_Max : constant Integer := 4_000; - begin - for I in 1..Loop_Max loop - T := Report.Ident_Int (1) * Report.Ident_Int (2); - end loop; - end Exceed_Time_Slice; - ---=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-- - -end ImpDef; |