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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>