Return to brackets_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/brackets_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                        use integer_io;
        !             2: with Standard_Natural_Vectors;
        !             3:
        !             4: package body Brackets_io is
        !             5:
        !             6:   procedure get ( b : in out Bracket ) is
        !             7:   begin
        !             8:     get(Standard_Input,b);
        !             9:   end get;
        !            10:
        !            11:   procedure get ( b : in out Bracket; sign : out integer ) is
        !            12:   begin
        !            13:     get(Standard_Input,b,sign);
        !            14:   end get;
        !            15:
        !            16:   procedure get ( file : in file_type; b : in out Bracket ) is
        !            17:
        !            18:     sign : integer;
        !            19:
        !            20:   begin
        !            21:     get(file,b,sign);
        !            22:   end get;
        !            23:
        !            24:   procedure get ( file : in file_type; b : in out Bracket;
        !            25:                   sign : out integer ) is
        !            26:
        !            27:     v : Standard_Natural_Vectors.Vector(b'range);
        !            28:
        !            29:   begin
        !            30:     for i in b'range loop
        !            31:       get(file,v(i));
        !            32:     end loop;
        !            33:     Create(v,b,sign);
        !            34:   end get;
        !            35:
        !            36:   procedure put ( b : in Bracket ) is
        !            37:   begin
        !            38:     put(Standard_Output,b);
        !            39:   end put;
        !            40:
        !            41:   procedure put ( file : in file_type; b : in Bracket ) is
        !            42:   begin
        !            43:     put(file,"[");
        !            44:     for i in b'first..b'last-1 loop
        !            45:       put(file,b(i),1);
        !            46:       put(file," ");
        !            47:     end loop;
        !            48:     put(file,b(b'last),1);
        !            49:     put(file,"]");
        !            50:   end put;
        !            51:
        !            52: end Brackets_io;