DataMuseum.dk

top - download

    Length: 1250 (0x4e2)
    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

with System;

package Unchecked_Conversions is


    generic
        type Source is limited private;
        type Target is limited private;
    package Unchecked_Conversion_Package is
        function Convert (S : Source) return Target;
        -- Package form of LRM Unchecked_Conversion.
        -- Type-specific calculations are made during package elaboration, making
        -- calls to this convert faster than to an equivalent Unchecked_Conversion
        -- instantiation.  Speed improvement depends on the type involved.
    end Unchecked_Conversion_Package;


    generic
        type Source is limited private;
    function Convert_To_Byte_String (S : Source) return System.Byte_String;
    -- Convert from Source to a byte string.  The byte string may contain
    -- more bits than the object.

    generic
        type Target is limited private;
    function Convert_From_Byte_String (S : System.Byte_String) return Target;
    -- Convert from a byte string to a Target type.  The string should
    -- have been produced by an instantiation of Convert_To_Byte_String
    -- with the same type.  A constrained object is always returned.


    pragma Subsystem (Miscellaneous);
    pragma Module_Name (4, 3543);
end Unchecked_Conversions;