Return to generic_arrays_of_vector_lists_io.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_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Natural_Vectors;
                      3: with Abstract_Ring_io;
                      4: with Generic_Vectors;
                      5: with Generic_Vectors_io;
                      6: with Generic_VecVecs;
                      7: with Generic_Lists_of_Vectors;
                      8: with Generic_Lists_of_Vectors_io;
                      9: with Generic_Arrays_of_Vector_Lists;
                     10:
                     11: generic
                     12:
                     13:   with package Ring_io is new Abstract_Ring_io(<>);
                     14:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
                     15:   with package Vectors_io is new Generic_Vectors_io(Ring_io,Vectors);
                     16:   with package VecVecs is new Generic_VecVecs(Ring_io.Ring,Vectors);
                     17:   with package Lists is
                     18:          new Generic_Lists_of_Vectors(Ring_io.Ring,Vectors,VecVecs);
                     19:   with package Lists_io is
                     20:          new Generic_Lists_of_Vectors_io
                     21:                (Ring_io,Vectors,Vectors_io,VecVecs,Lists);
                     22:   with package Arrays is
                     23:          new Generic_Arrays_of_Vector_Lists(Ring_io.Ring,Vectors,VecVecs,Lists);
                     24:
                     25: package Generic_Arrays_of_Vector_Lists_io is
                     26:
                     27: -- DESCRIPTION :
                     28: --   Input/Output of arrays of lists of links to vectors.
                     29:
                     30:   use Arrays;
                     31:
                     32:   procedure get ( al : in out Link_to_Array_of_Lists );
                     33:   procedure get ( n : in natural; m : in Standard_Natural_Vectors.Vector;
                     34:                   al : out Array_of_Lists );
                     35:   procedure get ( file : in file_type; al : in out Link_to_Array_of_Lists );
                     36:   procedure get ( file : in file_type;
                     37:                   n : in natural; m : in Standard_Natural_Vectors.Vector;
                     38:                   al : out Array_of_Lists );
                     39:
                     40:   -- DESCRIPTION :
                     41:   --   Reads a number of lists from standard input or from file;
                     42:   --   the ith list must contain m(i) vectors of length n.
                     43:   --   If n and m are not provided, then they are first read.
                     44:
                     45:   procedure put ( al : in Array_of_Lists );
                     46:   procedure put ( file : in file_type; al : in Array_of_Lists );
                     47:
                     48:   -- DESCRIPTION :
                     49:   --   Writes the lists in al on standard output or on file.
                     50:
                     51: end Generic_Arrays_of_Vector_Lists_io;