Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/generic_vectors_io.adb, Revision 1.1.1.1
1.1 maekawa 1: package body Generic_Vectors_io is
2:
3: use Ring_io;
4:
5: procedure get ( v : in out Vector ) is
6: begin
7: get(Standard_Input,v);
8: end get;
9:
10: procedure get ( file : in file_type; v : in out Vector ) is
11: begin
12: for i in v'range loop
13: get(file,v(i));
14: end loop;
15: end get;
16:
17: procedure get ( n : in natural; v : out Link_to_Vector ) is
18: begin
19: get(Standard_Input,n,v);
20: end get;
21:
22: procedure get ( file : in file_type; n : in natural;
23: v : out Link_to_Vector ) is
24:
25: vv : Vector(1..n);
26:
27: begin
28: for i in vv'range loop
29: get(file,vv(i));
30: end loop;
31: v := new Vector'(vv);
32: end get;
33:
34: procedure put ( v : in Vector ) is
35: begin
36: put(Standard_Output,v);
37: end put;
38:
39: procedure put ( file : in file_type; v : in Vector ) is
40: begin
41: for i in v'range loop
42: put(file,' '); put(file,v(i));
43: end loop;
44: end put;
45:
46: procedure put ( v : in Link_to_Vector ) is
47: begin
48: put(Standard_Output,v);
49: end put;
50:
51: procedure put ( file : in file_type; v : in Link_to_Vector ) is
52: begin
53: if v /= null
54: then put(file,v.all);
55: end if;
56: end put;
57:
58: procedure put_line ( v : in Vector ) is
59: begin
60: put_line(Standard_Output,v);
61: end put_line;
62:
63: procedure put_line ( file : in file_type; v : in Vector ) is
64: begin
65: for i in v'range loop
66: put(file,v(i)); new_line(file);
67: end loop;
68: end put_line;
69:
70: procedure put_line ( v : in Link_to_Vector ) is
71: begin
72: put_line(Standard_Output,v);
73: end put_line;
74:
75: procedure put_line ( file : in file_type; v : in Link_to_Vector ) is
76: begin
77: if v /= null
78: then put_line(file,v.all);
79: end if;
80: end put_line;
81:
82: procedure put ( v : in Vector; dp : in natural ) is
83: begin
84: put(Standard_Output,v,dp);
85: end put;
86:
87: procedure put ( file : in file_type; v : in Vector; dp : in natural ) is
88: begin
89: for i in v'range loop
90: put(file,' '); put(file,v(i),dp);
91: end loop;
92: end put;
93:
94: procedure put ( v : in Link_to_Vector; dp : in natural ) is
95: begin
96: put(Standard_Output,v,dp);
97: end put;
98:
99: procedure put ( file : in file_type;
100: v : in Link_to_Vector; dp : in natural ) is
101: begin
102: if v /= null
103: then put(file,v.all,dp);
104: end if;
105: end put;
106:
107: procedure put_line ( v : in Vector; dp : in natural ) is
108: begin
109: put_line(Standard_Output,v,dp);
110: end put_line;
111:
112: procedure put_line ( file : in file_type; v : in Vector; dp : in natural ) is
113: begin
114: for i in v'range loop
115: put(file,v(i),dp); new_line(file);
116: end loop;
117: end put_line;
118:
119: procedure put_line ( v : in Link_to_Vector; dp : in natural ) is
120: begin
121: put_line(Standard_Output,v,dp);
122: end put_line;
123:
124: procedure put_line ( file : in file_type;
125: v : in Link_to_Vector; dp : in natural ) is
126: begin
127: if v /= null
128: then put_line(file,v.all,dp);
129: end if;
130: end put_line;
131:
132: end Generic_Vectors_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>