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