DataMuseum.dk

top - download

    Length: 3443 (0xd73)
    Types: TextFile
    Names: »V«

└─⟦afbc8121e⟧ Bits:30000532 8mm tape, Rational 1000, MC68020_OS2000 7_2_2
    └─ ⟦77aa8350c⟧ »DATA« 
        └─⟦f794ecd1d⟧ 
            └─⟦4c85d69e2⟧ 
                └─⟦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 System;
with Unchecked_Conversion;

package System_Types is


    -- This package contains target-dependent definitions of types that
    -- are commonly used within Text_Io.

    -- Longest available integer type:
    type Long_Integer is new Standard.Integer;

    -- Longest precision floating point type:
    type Float_L is digits System.Max_Digits;

    -- Shortest precision floating point type:
    type Float_S is digits 1;

    type Byte is new Natural range 0 .. 255;
    -- for Byte'Size use 8;
    -- type Byte is range -128 .. 127;
    -- for Byte'Size use 8;
    -- type Byte is new System.Byte;

    type Byte_String is array (Positive range <>) of Byte;
    pragma Pack (Byte_String);
    subtype Positive_64k is Positive range 1 .. 65535;

    type Acc_Bs is access Byte_String;

    type Acc_Str is access String;


    function To_Character (B : Byte) return Character;
    -- is new Unchecked_Conversion (Byte, Character);
    function To_Byte (C : Character) return Byte;
    -- is new Unchecked_Conversion (Character, Byte);
    function To_Acc_Str is new Unchecked_Conversion (Acc_Bs, Acc_Str);
    function To_Acc_Bs  is new Unchecked_Conversion (Acc_Str, Acc_Bs);

    type Not_Unsigned_Byte   is range -128 .. 127;
    type Unsigned_Byte_Array is array (Positive range <>) of Not_Unsigned_Byte;
    pragma Pack (Unsigned_Byte_Array);

    type Not_Unsigned_Word   is range -32768 .. 32767;
    type Unsigned_Word_Array is array (Positive range <>) of Not_Unsigned_Word;
    pragma Pack (Unsigned_Word_Array);

    type Unsigned_Byte is range 0 .. 255;
    type Really_Unsigned_Byte is
        record
            B : Unsigned_Byte;
        end record;
    -- for Really_Unsigned_Byte use
    --     record
    --         B at 0 range 0 .. 7;
    --     end record;
    -- for Really_Unsigned_Byte'Size use 8;

    type Unsigned_Word is range 0 .. 65535;
    type Really_Unsigned_Word is
        record
            W : Unsigned_Word;
        end record;
    -- for Really_Unsigned_Word use
    --     record
    --         W at 0 range 0 .. 15;
    --     end record;
    -- for Really_Unsigned_Word'Size use 16;

    -- subtype Address_As_Integer is System.Long_Integer;
    -- function Convert (The_Address : System.Address) return Address_As_Integer
    --     renames System.Convert;
    -- function Convert (The_Address : Address_As_Integer) return System.Address
    --     renames System.To_Address;

    -- Some distinguished address of nothing:
    Null_Address : constant System.Address := System.Address_Zero;

end System_Types;