DataMuseum.dk

top - metrics - download

    Length: 2281 (0x8e9)
    Types: TextFile
    Names: »V«

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

TextFile

with System;

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