Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/generic_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:
5: generic
6:
7: with package Ring_io is new Abstract_Ring_io(<>);
8: with package Vectors is new Generic_Vectors(Ring_io.Ring);
9:
10: package Generic_Vectors_io is
11:
12: -- DESCRIPTION :
13: -- Provides input/output routines for vectors with any entries.
14:
15: use Vectors;
16:
17: procedure get ( v : in out Vector );
18: procedure get ( file : in file_type; v : in out Vector );
19:
20: -- DESCRIPTION :
21: -- Numbers will be read from standard input or from file,
22: -- until all entries of v are filled.
23: -- The numbers must be separated by spaces.
24:
25: procedure get ( n : in natural; v : out Link_to_Vector );
26: procedure get ( file : in file_type; n : in natural;
27: v : out Link_to_Vector );
28:
29: -- DESCRIPTION :
30: -- The range of v on return will be 1..n, and it will be filled up
31: -- with n numbers that are read from standard input or from file.
32: -- The numbers must be separated by spaces or line breaks.
33:
34: procedure put ( v : in Vector );
35: procedure put ( file : in file_type; v : in Vector );
36: procedure put ( v : in Link_to_Vector );
37: procedure put ( file : in file_type; v : in Link_to_Vector );
38:
39: -- DESCRIPTION :
40: -- The vector v is written on standard output or on file.
41: -- The elements appear on the same line and are separated by a space.
42:
43: procedure put_line ( v : in Vector );
44: procedure put_line ( file : in file_type; v : in Vector );
45: procedure put_line ( v : in Link_to_Vector );
46: procedure put_line ( file : in file_type; v : in Link_to_Vector );
47:
48: -- DESCRIPTION :
49: -- The vector v is written on standard output or on file.
50: -- The elements are written on separate lines.
51:
52: procedure put ( v : in Vector; dp : in natural );
53: procedure put ( file : in file_type; v : in Vector; dp : in natural );
54: procedure put ( v : in Link_to_Vector; dp : in natural );
55: procedure put ( file : in file_type;
56: v : in Link_to_Vector; dp : in natural );
57:
58: -- DESCRIPTION :
59: -- The vector v is written on standard output or on file,
60: -- with dp decimal places.
61: -- The elements appear on the same line and are separated by a space.
62:
63: procedure put_line ( v : in Vector; dp : in natural );
64: procedure put_line ( file : in file_type; v : in Vector; dp : in natural );
65: procedure put_line ( v : in Link_to_Vector; dp : in natural );
66: procedure put_line ( file : in file_type;
67: v : in Link_to_Vector; dp : in natural );
68:
69: -- DESCRIPTION :
70: -- The vector v is written on standard output or on file,
71: -- with dp decimal places.
72: -- The elements are written on separate lines.
73:
74: end Generic_Vectors_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>