DataMuseum.dk

top - download

    Length: 2265 (0x8d9)
    Types: TextFile
    Names: »B«

└─⟦afbc8121e⟧ Bits:30000532 8mm tape, Rational 1000, MC68020_OS2000 7_2_2
    └─ ⟦77aa8350c⟧ »DATA« 
        └─⟦f794ecd1d⟧ 
            └─⟦24d1ddd49⟧ 
                └─⟦this⟧ 

TextFile

--    The use of this system is subject to the software license terms and
--    conditions agreed upon between Rational and the Customer.
--
--                Copyright 1988 by Rational.
--
--                          RESTRICTED RIGHTS LEGEND
--
--    Use, duplication, or disclosure by the Government is subject to
--    restrictions as set forth in subdivision (b)(3)(ii) of the Rights in
--    Technical Data and Computer Software clause at 52.227-7013.
--
--
--                Rational
--                3320 Scott Boulevard
--                Santa Clara, California 95054-3197
--
--   PROPRIETARY AND CONFIDENTIAL INFORMATION OF RATIONAL;
--   USE OR COPYING WITHOUT EXPRESS WRITTEN AUTHORIZATION
--   IS STRICTLY PROHIBITED.  THIS MATERIAL IS PROTECTED AS
--   AN UNPUBLISHED WORK UNDER THE U.S. COPYRIGHT ACT OF
--   1976.  CREATED 1988.  ALL RIGHTS RESERVED.
--
--

with Attribute_Definitions;
with Runtime_Ids;
with System_Definitions;
with Unchecked_Conversion;

function Enum_Width (Table      : Attribute_Definitions.Enum_Image_Table;
                     Low_Value  : Natural;
                     High_Value : Natural) return Natural is
    pragma Routine_Number (Runtime_Ids.Enum_Width);

    -- Returns the 'Width of a dynamic subtype of an enumeration type.

    pragma Suppress (Index_Check);
    pragma Suppress (Range_Check);
    pragma Suppress (Access_Check);
    pragma Suppress (Storage_Check);

    Max_Width : Natural := 0;
begin
    -- It is ok if high_value < low_value, and it should never be the
    -- case that they are out of bounds.
    if Low_Value < 0 or Low_Value > Table.Count or
       High_Value < 0 or High_Value >= Table.Count then
        raise Constraint_Error;
    end if;

    for I in Low_Value .. High_Value loop
        declare
            Width : constant Natural :=
               Table.Offsets (I + 1) - Table.Offsets (I);
        begin
            if Max_Width < Width then
                Max_Width := Width;
            end if;
        end;
    end loop;
    return Max_Width;
end Enum_Width;
pragma Export_Function (Internal => Enum_Width, External => "__ENUM_WIDTH");
pragma Runtime_Unit (Unit_Number         => Runtime_Ids.Runtime_Compunit,
                     Elab_Routine_Number => Runtime_Ids.Internal);