Return to sets_of_unknowns_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/sets_of_unknowns_io.adb, Revision 1.1.1.1

1.1       maekawa     1: with integer_io;                         use integer_io;
                      2: with Symbol_Table,Symbol_Table_io;       use Symbol_Table;
                      3:
                      4: package body Sets_of_Unknowns_io is
                      5:
                      6:   procedure get ( s : in out Set ) is
                      7:   begin
                      8:     get(Standard_Input,s);
                      9:   end get;
                     10:
                     11:   procedure get ( file : in file_type; s : in out Set ) is
                     12:
                     13:     ch : character;
                     14:     continue : boolean;
                     15:
                     16:     procedure Read_Symbol ( cont : out boolean ) is
                     17:     begin
                     18:       loop
                     19:        get(file,ch);
                     20:        exit when ch /= ' ';
                     21:       end loop;
                     22:       if ch = '}'
                     23:        then cont := false;
                     24:        else declare
                     25:              sb : symbol;
                     26:              nb : natural;
                     27:             begin
                     28:               sb := (sb'range => ' ');
                     29:               Symbol_Table_io.get(file,ch,sb,'}');
                     30:              nb := Symbol_Table.Get(sb);
                     31:              if nb = 0
                     32:               then Symbol_Table.Add(sb,nb);
                     33:               end if;
                     34:              Add(s,nb);
                     35:             end;
                     36:            cont := (ch /= '}');
                     37:       end if;
                     38:     end Read_Symbol;
                     39:
                     40:   begin
                     41:     loop
                     42:       get(file,ch);
                     43:       exit when ch = '{' or ch = '}';
                     44:     end loop;
                     45:     if ch = '{'
                     46:      then loop
                     47:             Read_Symbol(continue);
                     48:             exit when not continue;
                     49:           end loop;
                     50:     end if;
                     51:   end get;
                     52:
                     53:   procedure put ( s : in Set ) is
                     54:   begin
                     55:     put(Standard_Output,s);
                     56:   end put;
                     57:
                     58:   procedure put ( file : in file_type; s : in Set ) is
                     59:
                     60:     standard : boolean := (Symbol_Table.Number = 0);
                     61:
                     62:     procedure Write_Element ( i: in natural ) is
                     63:     begin
                     64:       if standard
                     65:        then put(file,'x'); put(file,i,2);
                     66:             if i >= 10
                     67:              then put(file,' ');
                     68:             end if;
                     69:        else Symbol_Table_io.put(file,Symbol_Table.Get(i));
                     70:             put(file,' ');
                     71:       end if;
                     72:     end Write_Element;
                     73:
                     74:   begin
                     75:     text_io.put(file,"{");
                     76:     for i in 1..Dimension(s) loop
                     77:       if Is_In(s,i)
                     78:        then Write_Element(i);
                     79:       end if;
                     80:     end loop;
                     81:     text_io.put(file,"}");
                     82:   end put;
                     83:
                     84: end Sets_of_Unknowns_io;