URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [support/] [impdef.a] - Rev 399
Go to most recent revision | Compare with Previous | Blame | View Log
-- 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
Long_Minimum_Task_Switch : constant Duration := 0.1;
--=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====--
-- 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
Long_Switch_To_New_Task : constant Duration := 0.1;
--=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====-=====--
-- 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 := 0.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;
One_Long_Second : constant Duration := 0.1;
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;
Go to most recent revision | Compare with Previous | Blame | View Log