Return to generic_vectors_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/generic_vectors_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Abstract_Ring_io;
                      3: with Generic_Vectors;
                      4:
                      5: generic
                      6:
                      7:   with package Ring_io is new Abstract_Ring_io(<>);
                      8:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
                      9:
                     10: package Generic_Vectors_io is
                     11:
                     12: -- DESCRIPTION :
                     13: --   Provides input/output routines for vectors with any entries.
                     14:
                     15:   use Vectors;
                     16:
                     17:   procedure get ( v : in out Vector );
                     18:   procedure get ( file : in file_type; v : in out Vector );
                     19:
                     20:   -- DESCRIPTION :
                     21:   --   Numbers will be read from standard input or from file,
                     22:   --   until all entries of v are filled.
                     23:   --   The numbers must be separated by spaces.
                     24:
                     25:   procedure get ( n : in natural; v : out Link_to_Vector );
                     26:   procedure get ( file : in file_type; n : in natural;
                     27:                   v : out Link_to_Vector );
                     28:
                     29:   -- DESCRIPTION :
                     30:   --   The range of v on return will be 1..n, and it will be filled up
                     31:   --   with n numbers that are read from standard input or from file.
                     32:   --   The numbers must be separated by spaces or line breaks.
                     33:
                     34:   procedure put ( v : in Vector );
                     35:   procedure put ( file : in file_type; v : in Vector );
                     36:   procedure put ( v : in Link_to_Vector );
                     37:   procedure put ( file : in file_type; v : in Link_to_Vector );
                     38:
                     39:   -- DESCRIPTION :
                     40:   --   The vector v is written on standard output or on file.
                     41:   --   The elements appear on the same line and are separated by a space.
                     42:
                     43:   procedure put_line ( v : in Vector );
                     44:   procedure put_line ( file : in file_type; v : in Vector );
                     45:   procedure put_line ( v : in Link_to_Vector );
                     46:   procedure put_line ( file : in file_type; v : in Link_to_Vector );
                     47:
                     48:   -- DESCRIPTION :
                     49:   --   The vector v is written on standard output or on file.
                     50:   --   The elements are written on separate lines.
                     51:
                     52:   procedure put ( v : in Vector; dp : in natural );
                     53:   procedure put ( file : in file_type; v : in Vector; dp : in natural );
                     54:   procedure put ( v : in Link_to_Vector; dp : in natural );
                     55:   procedure put ( file : in file_type;
                     56:                   v : in Link_to_Vector; dp : in natural );
                     57:
                     58:   -- DESCRIPTION :
                     59:   --   The vector v is written on standard output or on file,
                     60:   --   with dp decimal places.
                     61:   --   The elements appear on the same line and are separated by a space.
                     62:
                     63:   procedure put_line ( v : in Vector; dp : in natural );
                     64:   procedure put_line ( file : in file_type; v : in Vector; dp : in natural );
                     65:   procedure put_line ( v : in Link_to_Vector; dp : in natural );
                     66:   procedure put_line ( file : in file_type;
                     67:                        v : in Link_to_Vector; dp : in natural );
                     68:
                     69:   -- DESCRIPTION :
                     70:   --   The vector v is written on standard output or on file,
                     71:   --   with dp decimal places.
                     72:   --   The elements are written on separate lines.
                     73:
                     74: end Generic_Vectors_io;