Return to brackets_io.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
File: [local] / OpenXM_contrib / PHC / Ada / Schubert / brackets_io.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:32 2000 UTC (23 years, 8 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
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;