Return to set_structure_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/set_structure_io.adb, Revision 1.1

1.1     ! maekawa     1: with Symbol_Table,Symbol_Table_io;       use Symbol_Table;
        !             2: with Set_Structure;
        !             3:
        !             4: package body Set_Structure_io is
        !             5:
        !             6:   procedure get is
        !             7:   begin
        !             8:     Set_Structure_io.get(Standard_Input);
        !             9:   end get;
        !            10:
        !            11:   procedure get ( file : in file_type ) is
        !            12:
        !            13:     ch : character;
        !            14:     sb : symbol;
        !            15:
        !            16:   begin
        !            17:     for i in 1..Set_Structure.Dimension loop
        !            18:      -- Read sets for ith equation :
        !            19:       for j in 1..Set_Structure.Number_of_Sets(i) loop
        !            20:        -- Read the jth set of the ith equation :
        !            21:        get(file,ch); while (ch = ' ') loop get(file,ch); end loop;
        !            22:        if ch = '{'
        !            23:         then loop
        !            24:                 get(file,ch);
        !            25:                while (ch = ' ') loop get(file,ch); end loop;
        !            26:                exit when (ch = '}');
        !            27:                 sb := (sb'range => ' ');
        !            28:                 Symbol_Table_io.get(file,ch,sb,'}');
        !            29:                Set_Structure.Add(i,j,Symbol_Table.Get(sb));
        !            30:                exit when (ch = '}');
        !            31:               end loop;
        !            32:         end if;
        !            33:       end loop;
        !            34:     end loop;
        !            35:   end get;
        !            36:
        !            37:   procedure put is
        !            38:   begin
        !            39:     Set_Structure_io.put(Standard_Output);
        !            40:   end put;
        !            41:
        !            42:   procedure put ( file : in file_type ) is
        !            43:
        !            44:     n : natural := Set_Structure.Dimension;
        !            45:     sb : Symbol;
        !            46:
        !            47:     procedure Write_set ( file : in file_type; i,j : in natural ) is
        !            48:     begin
        !            49:       put(file,'{');
        !            50:       for k in 1..n  loop
        !            51:        if Set_Structure.Is_In(i,j,k)
        !            52:          then --Symbol_Table_io.put(file,Symbol_Table.Get(i));
        !            53:               sb := Symbol_Table.Get(k);
        !            54:               Symbol_Table_io.put(file,sb);
        !            55:              put(file,' ');
        !            56:        end if;
        !            57:       end loop;
        !            58:       put(file,'}');
        !            59:     end Write_set;
        !            60:
        !            61:   begin
        !            62:     for i in 1..n loop
        !            63:       put(file,"     ");
        !            64:       for j in 1..Set_Structure.Number_of_Sets(i) loop
        !            65:        Write_set(file,i,j);
        !            66:       end loop;
        !            67:       new_line(file);
        !            68:     end loop;
        !            69:   end put;
        !            70:
        !            71: end Set_Structure_io;