package body Generic_Vectors_io is
use Ring_io;
procedure get ( v : in out Vector ) is
begin
get(Standard_Input,v);
end get;
procedure get ( file : in file_type; v : in out Vector ) is
begin
for i in v'range loop
get(file,v(i));
end loop;
end get;
procedure get ( n : in natural; v : out Link_to_Vector ) is
begin
get(Standard_Input,n,v);
end get;
procedure get ( file : in file_type; n : in natural;
v : out Link_to_Vector ) is
vv : Vector(1..n);
begin
for i in vv'range loop
get(file,vv(i));
end loop;
v := new Vector'(vv);
end get;
procedure put ( v : in Vector ) is
begin
put(Standard_Output,v);
end put;
procedure put ( file : in file_type; v : in Vector ) is
begin
for i in v'range loop
put(file,' '); put(file,v(i));
end loop;
end put;
procedure put ( v : in Link_to_Vector ) is
begin
put(Standard_Output,v);
end put;
procedure put ( file : in file_type; v : in Link_to_Vector ) is
begin
if v /= null
then put(file,v.all);
end if;
end put;
procedure put_line ( v : in Vector ) is
begin
put_line(Standard_Output,v);
end put_line;
procedure put_line ( file : in file_type; v : in Vector ) is
begin
for i in v'range loop
put(file,v(i)); new_line(file);
end loop;
end put_line;
procedure put_line ( v : in Link_to_Vector ) is
begin
put_line(Standard_Output,v);
end put_line;
procedure put_line ( file : in file_type; v : in Link_to_Vector ) is
begin
if v /= null
then put_line(file,v.all);
end if;
end put_line;
procedure put ( v : in Vector; dp : in natural ) is
begin
put(Standard_Output,v,dp);
end put;
procedure put ( file : in file_type; v : in Vector; dp : in natural ) is
begin
for i in v'range loop
put(file,' '); put(file,v(i),dp);
end loop;
end put;
procedure put ( v : in Link_to_Vector; dp : in natural ) is
begin
put(Standard_Output,v,dp);
end put;
procedure put ( file : in file_type;
v : in Link_to_Vector; dp : in natural ) is
begin
if v /= null
then put(file,v.all,dp);
end if;
end put;
procedure put_line ( v : in Vector; dp : in natural ) is
begin
put_line(Standard_Output,v,dp);
end put_line;
procedure put_line ( file : in file_type; v : in Vector; dp : in natural ) is
begin
for i in v'range loop
put(file,v(i),dp); new_line(file);
end loop;
end put_line;
procedure put_line ( v : in Link_to_Vector; dp : in natural ) is
begin
put_line(Standard_Output,v,dp);
end put_line;
procedure put_line ( file : in file_type;
v : in Link_to_Vector; dp : in natural ) is
begin
if v /= null
then put_line(file,v.all,dp);
end if;
end put_line;
end Generic_Vectors_io;