DataMuseum.dk

top - metrics - download

    Length: 4812 (0x12cc)
    Types: TextFile
    Names: »B«

└─⟦516dceb10⟧ Bits:30000751 8mm tape, Rational 1000, RCI_VADS
    └─⟦9a14c9417⟧ »DATA« 
        └─⟦this⟧ 

TextFile

separate (M68k_Sunos_Vdx)
function Get_Predefined_Info return Predefined.Object is

-- AN IMPORTANT NOTE!
-- Any time a change is made to the definitions found in this body, the
-- STANDARD_VERSION parameter to the final Predefined.Build command must be
-- incremented.  This is what causes a new version of the package Standard
-- to be created.
--
-- WARNING:
-- Creation of a new version of package standard causes all units contained
-- in any worlds/views with the M68K_SUNOS_VDX target key to be demoted and
-- repromoted.
--
-- Be advised that running the M68K_SUNOS_VDX.REGISTER command after making
-- changes to this body and incrementing the STANDARD_VERSION parameter will
-- cause this command to take quite a while to run.  BE PATIENT, it really
-- is doing something.
--
--
    Tiny_Int : constant Predefined.Integer_Type_Descriptor :=
       Predefined.Build (Name       => "TINY_INTEGER",
                         Size       => 8,
                         Lo_Bound   => Universal.Value (Integer'(-2 ** 7)),
                         Hi_Bound   => Universal.Value (Integer'(2 ** 7 - 1)),
                         For_Target => T_Name);

    Short_Int : constant Predefined.Integer_Type_Descriptor :=
       Predefined.Build (Name       => "SHORT_INTEGER",
                         Size       => 16,
                         Lo_Bound   => Universal.Value (Integer'(-2 ** 15)),
                         Hi_Bound   => Universal.Value (Integer'(2 ** 15 - 1)),
                         For_Target => T_Name);

    Int : constant Predefined.Integer_Type_Descriptor :=
       Predefined.Build
          (Name       => "INTEGER",
           Size       => 32,
           Lo_Bound   => Universal.Value (Long_Integer'(-2 ** 31)),
           Hi_Bound   => Universal.Value (Long_Integer'(2 ** 31 - 1)),
           For_Target => T_Name);
    --
    --
    -- The definition of the RCF_UNSIGNED_INTEGER is made here to facilitate
    -- the implementation of the Ada spec of package Unsigned_Integer.
    -- RCF_UNSIGNED_INTEGER IS NOT PORTABLE AND SHOULD NOT BE USED BY
    -- IMPLEMENTORS.
    --
    -- Implementors may chose to use SunAda's package Unsigned_Integer.  The
    -- RCI implementation of this package spec requires that we create the
    -- RCF_UNSIGNED_INTEGER type in package Standard.
    --
    -- Users should see the WARNINGS pertaining to the use of the
    -- non-standard package Unsigned_Integer in the SunAda appendix F.
    --
    --
    Rcf_Us_Int : constant Predefined.Integer_Type_Descriptor :=
       Predefined.Build
          (Name       => "RCF_UNSIGNED_INTEGER",
           Size       => 32,
           Lo_Bound   => Universal.Value (Long_Integer'(0)),
           Hi_Bound   => Universal.Value (Long_Integer'(2 ** 32 - 1)),
           For_Target => T_Name);


    Integers : constant Predefined.Integer_Type_Array :=
       (Tiny_Int, Short_Int, Int, Rcf_Us_Int);

    --------------------------------------------------

    Single_Last : constant Universal.Real := Universal.Value (3.40282E+38);
    Double_Last : constant Universal.Real :=
       Universal.Value (1.79769313486231E+308);

    Short_Flo : constant Predefined.Float_Type_Descriptor :=
       Predefined.Build (Name       => "SHORT_FLOAT",
                         Digitz     => 6,
                         Size       => 32,
                         Lo_Bound   => Universal."-" (Single_Last),
                         Hi_Bound   => Single_Last,
                         For_Target => T_Name);

    Flo : constant Predefined.Float_Type_Descriptor :=
       Predefined.Build (Name       => "FLOAT",
                         Digitz     => 15,
                         Size       => 64,
                         Lo_Bound   => Universal."-" (Double_Last),
                         Hi_Bound   => Double_Last,
                         For_Target => T_Name);

    Floats : constant Predefined.Float_Type_Array := (Short_Flo, Flo);

    ------------------------------------------------

    Dur : constant Predefined.Fixed_Type_Descriptor :=
       Predefined.Build (Name       => "DURATION",
                         Size       => 32,
                         Scale      => -14,
                         Lo_Bound   => Universal.Value (-2147483.648),
                         Hi_Bound   => Universal.Value (2147483.647),
                         For_Target => T_Name);


    ------------------------------------------------

    Predefined_Characteristics : constant Predefined.Object :=
       Predefined.Build (Standard_Version => 3,
                         Integer_Types    => Integers,
                         Float_Types      => Floats,
                         Duration_Type    => Dur,
                         For_Target       => T_Name);

begin
    return Predefined_Characteristics;
end Get_Predefined_Info;