package body Generic_VecVecs_io is use Vectors,Vectors_io; procedure get ( n : in natural; v : in out VecVec ) is begin get(Standard_Input,n,v); end get; procedure get ( file : in file_type; n : in natural; v : in out VecVec ) is begin for i in v'range loop get(file,n,v(i)); end loop; end get; procedure get ( n1,n2 : in natural; v : in out Link_to_VecVec ) is begin get(Standard_Input,n1,n2,v); end get; procedure get ( file : in file_type; n1,n2 : in natural; v : in out Link_to_VecVec ) is begin v := new VecVec(1..n1); get(file,n2,v.all); end get; procedure put ( v : in VecVec ) is begin put(Standard_Output,v); end put; procedure put ( file : in file_type; v : in VecVec ) is begin for i in v'range loop put(file,v(i)); new_line(file); end loop; end put; procedure put ( v : in Link_to_VecVec ) is begin put(Standard_Output,v); end put; procedure put ( file : in file_type; v : in Link_to_VecVec ) is begin if v /= null then put(file,v.all); end if; end put; procedure put_line ( v : in VecVec ) is begin put_line(Standard_Output,v); end put_line; procedure put_line ( file : in file_type; v : in VecVec ) is begin for i in v'range loop put_line(file,v(i)); new_line(file); end loop; end put_line; procedure put_line ( v : in Link_to_VecVec ) is begin put_line(Standard_Output,v); end put_line; procedure put_line ( file : in file_type; v : in Link_to_VecVec ) is begin if v /= null then put_line(file,v.all); end if; end put_line; procedure put ( v : in VecVec; dp : in natural ) is begin put(Standard_Output,v,dp); end put; procedure put ( file : in file_type; v : in VecVec; dp : in natural ) is begin for i in v'range loop put(file,v(i),dp); new_line(file); end loop; end put; procedure put ( v : in Link_to_VecVec; dp : in natural ) is begin put(Standard_Output,v,dp); end put; procedure put ( file : in file_type; v : in Link_to_VecVec; dp : in natural ) is begin if v /= null then put(file,v.all,dp); end if; end put; procedure put_line ( v : in VecVec; dp : in natural ) is begin put_line(Standard_Output,v,dp); end put_line; procedure put_line ( file : in file_type; v : in VecVec; dp : in natural ) is begin for i in v'range loop put_line(file,v(i),dp); new_line(file); end loop; end put_line; procedure put_line ( v : in Link_to_VecVec; 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_VecVec; dp : in natural ) is begin if v /= null then put_line(file,v.all,dp); end if; end put_line; end Generic_VecVecs_io;