Return to generic_arrays_of_vector_lists.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/generic_arrays_of_vector_lists.ads, Revision 1.1.1.1

1.1       maekawa     1: with Abstract_Ring;
                      2: with Generic_Vectors;
                      3: with Generic_VecVecs;
                      4: with Generic_Lists_of_Vectors;
                      5:
                      6: generic
                      7:
                      8:   with package Ring is new Abstract_Ring(<>);
                      9:   with package Vectors is new Generic_Vectors(Ring);
                     10:   with package VecVecs is new Generic_VecVecs(Ring,Vectors);
                     11:   with package Lists is new Generic_Lists_of_Vectors(Ring,Vectors,VecVecs);
                     12:
                     13: package Generic_Arrays_of_Vector_Lists is
                     14:
                     15: -- DESCRIPTION :
                     16: --   This package defines arrays of lists of links to vectors.
                     17:
                     18:   use Lists;
                     19:
                     20: -- DATA STRUCTURES :
                     21:
                     22:   type Array_of_Lists is array ( integer range <> ) of List;
                     23:   type Link_to_Array_of_Lists is access Array_of_Lists;
                     24:
                     25: -- COMPARISON and COPYING :
                     26:
                     27:   function Equal ( l1,l2 : Array_of_Lists ) return boolean;
                     28:   function Equal ( l1,l2 : Link_to_Array_of_Lists ) return boolean;
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   Returns true if both arrays have the same lists.
                     32:
                     33:   procedure Copy ( l1 : in Array_of_Lists; l2 : in out Array_of_Lists );
                     34:
                     35:   -- DESCRIPTION :
                     36:   --   After Copy(l1,l2), Equal(l1,l2) holds.
                     37:   --   Of course, this is a deep copy, in constrast to l2 := l1.
                     38:
                     39: -- SELECTOR :
                     40:
                     41:   function Length_Of ( l : Array_of_Lists ) return natural;
                     42:
                     43:   -- DESCRIPTION :
                     44:   --   Returns the sum of all lengths of the lists in l.
                     45:
                     46: -- DESTRUCTORS :
                     47:
                     48:   procedure Deep_Clear    ( l : in out Array_of_Lists );
                     49:   procedure Shallow_Clear ( l : in out Array_of_Lists );
                     50:   procedure Deep_Clear    ( l : in out Link_to_Array_of_Lists );
                     51:   procedure Shallow_Clear ( l : in out Link_to_Array_of_Lists );
                     52:
                     53:   -- DESCRIPTION :
                     54:   --   Frees allocated memory space.
                     55:   --   With a deep clear, also the content of the lists are cleared,
                     56:   --   while with a shallow clear, only the lists structures will be
                     57:   --   destroyed, the points in the lists will remain.
                     58:
                     59: end Generic_Arrays_of_Vector_Lists;