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;