home *** CD-ROM | disk | FTP | other *** search
/ The Unsorted BBS Collection / thegreatunsorted.tar / thegreatunsorted / programming / misc_programming / SBOOCH / SET.ADS < prev    next >
Encoding:
Text File  |  1990-10-31  |  1.6 KB  |  42 lines
  1. generic
  2.     type Item is private;
  3. package Set_Simple_Sequential_Bounded_Managed_Noniterator is
  4.  
  5.     type Set(The_Size : Positive) is limited private;
  6.  
  7.     procedure Copy         (From_The_Set : in     Set;
  8.                 To_The_Set   : in out Set);
  9.     procedure Clear        (The_Set      : in out Set);
  10.     procedure Add          (The_Item     : in     Item;
  11.                 To_The_Set   : in out Set);
  12.     procedure Remove       (The_Item     : in     Item;
  13.                 From_The_Set : in out Set);
  14.     procedure Union        (Of_The_Set   : in     Set;
  15.                 And_The_Set  : in     Set;
  16.                 To_The_Set   : in out Set);
  17.     procedure Intersection (Of_The_Set   : in     Set;
  18.                 And_The_Set  : in     Set;
  19.                 To_The_Set   : in out Set);
  20.     procedure Difference   (Of_The_Set   : in     Set;
  21.                 And_The_Set  : in     Set;
  22.                 To_The_Set   : in out Set);
  23.  
  24.     function Is_Equal           (Left       : in Set;
  25.                  Right      : in Set)  return Boolean;
  26.     function Extent_Of          (The_Set    : in Set)  return Natural;
  27.     function Is_Empty           (The_Set    : in Set)  return Boolean;
  28.     function Is_A_Member        (The_Item   : in Item;
  29.                  Of_The_Set : in Set)  return Boolean;
  30.     function Is_A_Subset        (Left       : in Set;
  31.                  Right      : in Set)  return Boolean;
  32.     function Is_A_Proper_Subset (Left       : in Set;
  33.                  Right      : in Set)  return Boolean;
  34.  
  35.     Overflow           : exception;
  36.     Item_Is_In_Set     : exception;
  37.     Item_Is_Not_In_Set : exception;
  38.  
  39. private
  40.     ...
  41. end Set_Simple_Sequential_Bounded_Managed_Noniterator;
  42.