DataMuseum.dk

top - download

    Length: 2036 (0x7f4)
    Types: TextFile
    Names: »V«

└─⟦bad92a95e⟧ Bits:30000535 8mm tape, Rational 1000, RPC 1_0_2
    └─ ⟦bb34fe6e2⟧ »DATA« 
        └─⟦15d8b76c6⟧ 
            └─⟦this⟧ 

TextFile

with Unix_Base_Types;
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.



    subtype Longest_Integer is Unix_Base_Types.Long;
    -- 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;

    type Long_Float is new Standard.Float;

    -- 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;