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