DataMuseum.dk

top - download

    Length: 2320 (0x910)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

package Interchange_Defs is

    -- This package defines fundamental types and operators
    -- for data interchange.  When porting this package, you
    -- should modify it to indicate the appropriate types on
    -- your system.

    pragma Subsystem (Network, Private_Part => Closed);
    pragma Module_Name (4, 2513);


    subtype Longest_Integer is Standard.Long_Integer;
    -- The longest (highest-precision) supported signed integer.
    -- If you've got an arbitrary-precision package, that's ideal.
    -- See INTERCHANGE.LONG_INTEGER.

    function "="  (X, Y : Longest_Integer) return Boolean renames Standard."=";
    function ">"  (X, Y : Longest_Integer) return Boolean renames Standard.">";
    function "<"  (X, Y : Longest_Integer) return Boolean renames Standard."<";
    function ">=" (X, Y : Longest_Integer) return Boolean renames Standard.">=";
    function "<=" (X, Y : Longest_Integer) return Boolean renames Standard."<=";

    function "+"   (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."+";
    function "-"   (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."-";
    function "*"   (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."*";
    function "/"   (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."/";
    function "mod" (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."mod";
    function "rem" (X, Y : Longest_Integer) return Longest_Integer
        renames Standard."rem";


    type Float is new Standard.Float
                         --       digits 8
                         range -2.0 * (2.0 ** 127) .. 2.0 * (2.0 ** 127);

    type Long_Float is new Standard.Float;
    --       digits 15
    --       range - 2.0  * (2.0 ** 1023) .. 2.0 * (2.0 ** 1023);

    -- These definitions are intended to represent IEEE floating
    -- point single- and double-precision formats, respectively.
    -- Float'last is IEEE infinity, float'first is IEEE -infinity.


    function Duration_Magnitude return Standard.Integer;
    -- This should be the largest integral power of 10
    -- which is <= Standard.Duration'Last, <= 10 ** 9,
    -- and <= Integer'Last.  It may be a constant.
    -- It is used by the body of INTERCHANGE.CONVERT.

end Interchange_Defs;