Return to brackets_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/brackets_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io,Brackets;         use text_io,Brackets;
                      2:
                      3: package Brackets_io is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package provides input/output operations for brackets.
                      7:
                      8:   procedure get ( b : in out Bracket );
                      9:   procedure get ( file : in file_type; b : in out Bracket );
                     10:   procedure get ( b : in out Bracket; sign : out integer );
                     11:   procedure get ( file : in file_type; b : in out Bracket; sign : out integer );
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Expects as many natural number as the length of b,
                     15:   --   either from Standard_Input or from file if specified.
                     16:   --   Optionally, the sign of the permutation to order the entries
                     17:   --   is returned.
                     18:
                     19:   procedure put ( b : in Bracket );
                     20:   procedure put ( file : in file_type; b : in Bracket );
                     21:
                     22:   -- DESCRIPTION :
                     23:   --   Writes down the entries in the bracket, either on
                     24:   --   Standard_Output or on file if specified.
                     25:
                     26: end Brackets_io;