|
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 - download
Length: 7168 (0x1c00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Unsigned_Types, seg_0509ae
└─⟦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 communitee reaches agreement on a practical unsigned types
--| specification. Verdix will then standardize on that accepted version at
--| a pratical 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
subtype Unsigned_Integer is Integer range 0 .. 4294967295;
-- 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 .. (2 ** 16 - 1); -- 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 .. (2 ** 8 - 1); -- 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=11 rec1=00 rec2=01 rec3=08e
[0x01] rec0=15 rec1=00 rec2=02 rec3=002
[0x02] rec0=0f rec1=00 rec2=03 rec3=02e
[0x03] rec0=10 rec1=00 rec2=04 rec3=002
[0x04] rec0=0d rec1=00 rec2=05 rec3=058
[0x05] rec0=04 rec1=00 rec2=06 rec3=000
tail 0x217580444878e799ccac9 0x42a00088462060003