|
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, seg_04ba87
└─⟦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 ===========================-- --===========================================================================-- --\x09package unsigned_types is -- -- \x09 type unsigned_integer is range 0 .. (2**32 - 1); -- 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; -- -- \x09 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; -- -- \x09 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=13 rec1=00 rec2=02 rec3=004
[0x02] rec0=0e rec1=00 rec2=03 rec3=08c
[0x03] rec0=11 rec1=00 rec2=04 rec3=06e
[0x04] rec0=11 rec1=00 rec2=05 rec3=050
[0x05] rec0=13 rec1=00 rec2=06 rec3=000
tail 0x21750c18e86843cbd4636 0x42a00088462060003