Return to generic_lists_of_vectors_io.ads CVS log

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

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

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Abstract_Ring_io;
                      3: with Generic_Vectors;
                      4: with Generic_Vectors_io;
                      5: with Generic_VecVecs;
                      6: with Generic_Lists_of_Vectors;
                      7:
                      8: generic
                      9:
                     10:   with package Ring_io is new Abstract_Ring_io(<>);
                     11:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
                     12:   with package Vectors_io is new Generic_Vectors_io(Ring_io,Vectors);
                     13:   with package VecVecs is new Generic_VecVecs(Ring_io.Ring,Vectors);
                     14:   with package Lists is
                     15:          new Generic_Lists_of_Vectors(Ring_io.Ring,Vectors,VecVecs);
                     16:
                     17: package Generic_Lists_of_Vectors_io is
                     18:
                     19: -- DESCRIPTION :
                     20: --   Input/Output of lists of links to vectors.
                     21:
                     22:   use Lists;
                     23:
                     24:   procedure get ( n,m : in natural; l : out List );
                     25:   procedure get ( file : in file_type; n,m : in natural; l : out List );
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   Reads m vectors of length n from standard output or from file.
                     29:
                     30:   procedure put ( l : in List );
                     31:   procedure put ( file : in file_type; l : in List );
                     32:
                     33:   -- DESCRIPTION :
                     34:   --   Writes the vectors in l on standard output or on file.
                     35:
                     36: end Generic_Lists_of_Vectors_io;