|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 7168 (0x1c00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Unsigned_Types, seg_04cde7
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
-- | The following package is supplied to illustrate the definition of
-- | and services for the unsigned types supplied in this version of VADS.
-- | No warranty, expressed or implied, is given by Verdix for the
-- | effectiveness or legality of this package. It may be used at the risk
-- | of the user.
-- | Verdix intends to withdraw this implementation if and when the AJPO
-- | and the Ada community reaches agreement on a practical unsigned types
-- | specification. Verdix will then standardize on that accepted version at
-- | a practical date thereafter.
-- | This package is supplied in comment form because the actual package
-- | cannot be expressed in normal Ada - the types are not symmetric about 0
-- | as required by the RM. This package is supplied and is accessible through
-- | the Ada WITH statement as though it were present in source form.
-- |
-- | Example:
-- | with unsigned_types;
-- | procedure foo( xxx: unsigned_types.unsigned_integer) is ...
-- ===========================================================================
-- ====================== WARNING ===========================
-- ====================== USE AT YOUR OWN RISK ===========================
-- ===========================================================================
package Unsigned_Types is
--[ modify to accordate with system representation ]
type Unsigned_Integer is range 0 .. Integer'Last; -- 0..4_294_967_295
-- function "=" (A, B : Unsigned_Integer) return Boolean;
-- function "/=" (A, B : Unsigned_Integer) return Boolean;
function "<" (A, B : Unsigned_Integer) return Boolean;
function "<=" (A, B : Unsigned_Integer) return Boolean;
function ">" (A, B : Unsigned_Integer) return Boolean;
function ">=" (A, B : Unsigned_Integer) return Boolean;
function "+" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "-" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "+" (A : Unsigned_Integer) return Unsigned_Integer;
function "-" (A : Unsigned_Integer) return Unsigned_Integer;
function "*" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "/" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "mod" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "rem" (A, B : Unsigned_Integer) return Unsigned_Integer;
function "**" (A : Unsigned_Integer; B : Integer) return Unsigned_Integer;
function "abs" (A : Unsigned_Integer) return Unsigned_Integer;
type Unsigned_Short_Integer is range 0 .. 65_535; -- 0..65535
-- function "=" (A, B : Unsigned_Short_Integer) return Boolean;
-- function "/=" (A, B : Unsigned_Short_Integer) return Boolean;
function "<" (A, B : Unsigned_Short_Integer) return Boolean;
function "<=" (A, B : Unsigned_Short_Integer) return Boolean;
function ">" (A, B : Unsigned_Short_Integer) return Boolean;
function ">=" (A, B : Unsigned_Short_Integer) return Boolean;
function "+" (A, B : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "-" (A, B : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "+" (A : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "-" (A : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "*" (A, B : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "/" (A, B : Unsigned_Short_Integer) return Unsigned_Short_Integer;
function "mod" (A, B : Unsigned_Short_Integer)
return Unsigned_Short_Integer;
function "rem" (A, B : Unsigned_Short_Integer)
return Unsigned_Short_Integer;
function "**" (A : Unsigned_Short_Integer; B : Integer)
return Unsigned_Short_Integer;
function "abs" (A : Unsigned_Short_Integer) return Unsigned_Short_Integer;
type Unsigned_Tiny_Integer is range 0 .. 255; -- 0..255
--function "=" (A, B : Unsigned_Tiny_Integer) return Boolean;
-- function "/=" (A, B : Unsigned_Tiny_Integer) return Boolean;
function "<" (A, B : Unsigned_Tiny_Integer) return Boolean;
function "<=" (A, B : Unsigned_Tiny_Integer) return Boolean;
function ">" (A, B : Unsigned_Tiny_Integer) return Boolean;
function ">=" (A, B : Unsigned_Tiny_Integer) return Boolean;
function "+" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "-" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "+" (A : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "-" (A : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "*" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "/" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "mod" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "rem" (A, B : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
function "**" (A : Unsigned_Tiny_Integer; B : Integer)
return Unsigned_Tiny_Integer;
function "abs" (A : Unsigned_Tiny_Integer) return Unsigned_Tiny_Integer;
end Unsigned_Types;
nblk1=6
nid=0
hdr6=c
[0x00] rec0=12 rec1=00 rec2=01 rec3=062
[0x01] rec0=13 rec1=00 rec2=02 rec3=04a
[0x02] rec0=0f rec1=00 rec2=03 rec3=080
[0x03] rec0=10 rec1=00 rec2=04 rec3=070
[0x04] rec0=0e rec1=00 rec2=05 rec3=05c
[0x05] rec0=05 rec1=00 rec2=06 rec3=000
tail 0x217541f90874f7baa9239 0x42a00088462060003