|
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: 5864 (0x16e8) Types: TextFile Notes: R1k Text-file segment
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦99ad4be81⟧ └─⟦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 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; 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