DataMuseum.dk

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⟧ 

TextFile

 -- |     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