Return to generic_lists_of_vectors_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/generic_lists_of_vectors_io.adb, Revision 1.1.1.1

1.1       maekawa     1: package body Generic_Lists_of_Vectors_io is
                      2:
                      3:   use Vectors,Vectors_io;
                      4:
                      5:   procedure get ( n,m : in natural; l : out List ) is
                      6:   begin
                      7:     get(Standard_Input,n,m,l);
                      8:   end get;
                      9:
                     10:   procedure get ( file : in file_type; n,m : in natural; l : out List ) is
                     11:
                     12:     res,res_last : List;
                     13:
                     14:   begin
                     15:     for i in 1..m loop
                     16:       declare
                     17:        v : Link_to_Vector;
                     18:       begin
                     19:         get(file,n,v);
                     20:         Append(res,res_last,v);
                     21:       end;
                     22:     end loop;
                     23:     l := res;
                     24:   end get;
                     25:
                     26:   procedure put ( l : in List ) is
                     27:   begin
                     28:     put(Standard_Output,l);
                     29:   end put;
                     30:
                     31:   procedure put ( file : in file_type; l : in List ) is
                     32:
                     33:     tmp : List := l;
                     34:
                     35:   begin
                     36:     while not Is_Null(tmp) loop
                     37:       put(file,Head_Of(tmp)); new_line(file);
                     38:       tmp := Tail_Of(tmp);
                     39:     end loop;
                     40:   end put;
                     41:
                     42: end Generic_Lists_of_Vectors_io;