Return to generic_vecvecs_io.ads CVS log

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

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