Return to transformations_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/transformations_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Standard_Integer_VecVecs;           use Standard_Integer_VecVecs;
        !             4:
        !             5: package body Transformations_io is
        !             6:
        !             7:   procedure get ( n : in natural; t : out Transfo ) is
        !             8:   begin
        !             9:     get(Standard_Input,n,t);
        !            10:   end get;
        !            11:
        !            12:   procedure get ( file : in file_type; n : in natural; t : out Transfo ) is
        !            13:
        !            14:     v : VecVec(1..n);
        !            15:
        !            16:   begin
        !            17:     for i in v'range loop
        !            18:       v(i) := new Vector(1..n);
        !            19:       for j in v(i)'range loop
        !            20:        get(file,v(i)(j));
        !            21:       end loop;
        !            22:     end loop;
        !            23:     t := Create(v);
        !            24:     Clear(v);
        !            25:   end get;
        !            26:
        !            27:   procedure put ( t : in Transfo ) is
        !            28:   begin
        !            29:     put(Standard_Output,t);
        !            30:   end put;
        !            31:
        !            32:   procedure put ( file : in file_type; t : in Transfo ) is
        !            33:
        !            34:     n : natural := Dimension(t);
        !            35:     v : VecVec(1..n);
        !            36:
        !            37:   begin
        !            38:     for i in v'range loop
        !            39:       v(i) := new Vector'(1..n => 0);
        !            40:       v(i)(i) := 1;
        !            41:       Apply(t,v(i).all);
        !            42:     end loop;
        !            43:     for i in v'range loop
        !            44:       for j in v(i)'range loop
        !            45:        put(file,' '); put(file,v(j)(i),1);
        !            46:       end loop;
        !            47:       new_line(file);
        !            48:     end loop;
        !            49:     Clear(v);
        !            50:   end put;
        !            51:
        !            52: end Transformations_io;