Return to brackets_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Initial revision

with integer_io;                        use integer_io;
with Standard_Natural_Vectors;

package body Brackets_io is

  procedure get ( b : in out Bracket ) is
  begin
    get(Standard_Input,b);
  end get;

  procedure get ( b : in out Bracket; sign : out integer ) is
  begin
    get(Standard_Input,b,sign);
  end get;

  procedure get ( file : in file_type; b : in out Bracket ) is

    sign : integer;

  begin
    get(file,b,sign);
  end get;

  procedure get ( file : in file_type; b : in out Bracket;
                  sign : out integer ) is

    v : Standard_Natural_Vectors.Vector(b'range);

  begin
    for i in b'range loop
      get(file,v(i));
    end loop;
    Create(v,b,sign);
  end get;

  procedure put ( b : in Bracket ) is
  begin
    put(Standard_Output,b);
  end put;

  procedure put ( file : in file_type; b : in Bracket ) is
  begin
    put(file,"[");
    for i in b'first..b'last-1 loop
      put(file,b(i),1);
      put(file," ");
    end loop;
    put(file,b(b'last),1);
    put(file,"]");
  end put;

end Brackets_io;