Return to symbol_table_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/symbol_table_io.adb, Revision 1.1.1.1

1.1       maekawa     1: package body Symbol_Table_io is
                      2:
                      3:   procedure get ( sb : in out symbol ) is
                      4:   begin
                      5:     Symbol_Table_io.get(Standard_Input,sb);
                      6:   end get;
                      7:
                      8:   procedure get ( sb : in out symbol; delimiter : in character ) is
                      9:   begin
                     10:     Symbol_Table_io.get(Standard_Input,sb,delimiter);
                     11:   end get;
                     12:
                     13:   procedure get ( ch : in out character; sb : in out symbol ) is
                     14:   begin
                     15:     Symbol_Table_io.get(Standard_Input,ch,sb);
                     16:   end get;
                     17:
                     18:   procedure get ( ch : in out character; sb : in out symbol;
                     19:                   delimiter : in character ) is
                     20:   begin
                     21:     Symbol_Table_io.get(Standard_Input,ch,sb,delimiter);
                     22:   end get;
                     23:
                     24:   procedure get ( file : in file_type; sb : in out symbol ) is
                     25:
                     26:     ch : character;
                     27:
                     28:   begin
                     29:     text_io.get(file,ch);
                     30:     Symbol_Table_io.get(file,ch,sb);
                     31:   end get;
                     32:
                     33:   procedure get ( file : in file_type; sb : in out symbol;
                     34:                   delimiter : in character ) is
                     35:
                     36:     ch : character;
                     37:
                     38:   begin
                     39:     text_io.get(file,ch);
                     40:     Symbol_Table_io.get(file,ch,sb,delimiter);
                     41:   end get;
                     42:
                     43:   procedure get ( file : in file_type; ch : in out character;
                     44:                   sb : in out symbol ) is
                     45:
                     46:     cnt : natural;
                     47:
                     48:   begin
                     49:     if ch = ' '
                     50:      then while ch = ' ' loop
                     51:             text_io.get(file,ch);
                     52:           end loop;
                     53:           if ch /= ' '
                     54:            then sb(sb'first) := ch; cnt := 2;
                     55:           end if;
                     56:      else sb(sb'first) := ch; cnt := 2;
                     57:     end if;
                     58:     if not End_of_Line(file)
                     59:      then
                     60:        for i in sb'first+1..sb'last loop
                     61:          text_io.get(file,ch); cnt := i;
                     62:          exit when ch = ' ';
                     63:          sb(i) := ch; cnt := i+1;
                     64:          exit when End_of_Line(file);
                     65:        end loop;
                     66:     end if;
                     67:     sb(cnt..sb'last) := (cnt..sb'last => ' ');
                     68:   end get;
                     69:
                     70:   procedure get ( file : in file_type; ch : in out character;
                     71:                   sb : in out symbol; delimiter : in character ) is
                     72:
                     73:     cnt : natural;
                     74:
                     75:   begin
                     76:     if ch = ' '
                     77:      then while ch = ' ' loop
                     78:             text_io.get(file,ch);
                     79:           end loop;
                     80:           if ch /= ' '
                     81:            then sb(sb'first) := ch; cnt := 2;
                     82:           end if;
                     83:      else sb(sb'first) := ch; cnt := 2;
                     84:     end if;
                     85:     if not End_of_Line(file)
                     86:      then
                     87:        for i in sb'first+1..sb'last loop
                     88:          text_io.get(file,ch); cnt := i;
                     89:          exit when ch = ' ' or else ch = delimiter;
                     90:          sb(i) := ch; cnt := i+1;
                     91:          exit when End_of_Line(file);
                     92:        end loop;
                     93:     end if;
                     94:     sb(cnt..sb'last) := (cnt..sb'last => ' ');
                     95:   end get;
                     96:
                     97:   procedure put ( sb : in symbol ) is
                     98:   begin
                     99:     for i in sb'range loop
                    100:       exit when sb(i) = ' ';
                    101:       text_io.put(sb(i));
                    102:     end loop;
                    103:   end put;
                    104:
                    105:   procedure put ( file : in file_type; sb : in symbol ) is
                    106:   begin
                    107:     for i in sb'range loop
                    108:       exit when sb(i) = ' ';
                    109:       text_io.put(file,sb(i));
                    110:     end loop;
                    111:   end put;
                    112:
                    113: end Symbol_Table_io;