Return to generic_vecmats_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/generic_vecmats_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_Matrices;
                      5: with Generic_Matrices_io;
                      6: with Generic_VecMats;
                      7:
                      8: generic
                      9:
                     10:   with package Ring_io is new Abstract_Ring_io(<>);  use Ring_io.Ring;
                     11:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
                     12:   with package Matrices is new Generic_Matrices(Ring_io.Ring,Vectors);
                     13:   with package Matrices_io is new Generic_Matrices_io(Ring_io,Vectors,Matrices);
                     14:   with package VecMats is new Generic_VecMats(Ring_io.Ring,Vectors,Matrices);
                     15:
                     16: package Generic_VecMats_io is
                     17:
                     18: -- DESCRIPTION :
                     19: --   Provides input/output routines for vector of matrices with any entries.
                     20:
                     21:   use VecMats;
                     22:
                     23:   procedure get ( n : in natural; v : in out VecMat );
                     24:   procedure get ( file : in file_type; n : in natural; v : in out VecMat );
                     25:
                     26:   -- DESCRIPTION :
                     27:   --   Numbers will be read from standard input or from file,
                     28:   --   until all entries of v are filled with vectors of range 1..n.
                     29:   --   The numbers must be separated by spaces or line breaks.
                     30:
                     31:   procedure get ( n,n1,n2 : in natural; v : in out Link_to_VecMat );
                     32:   procedure get ( file : in file_type; n,n1,n2 : in natural;
                     33:                   v : in out Link_to_VecMat );
                     34:
                     35:   -- DESCRIPTION :
                     36:   --   The vector on return will be of range 1..n and will be filled
                     37:   --   with matrices of ranges 1..n1,1..n2, with numbers read from standard
                     38:   --   input or from file.
                     39:   --   The numbers must be separated by spaces or line breaks.
                     40:
                     41:   procedure put ( v : in VecMat );
                     42:   procedure put ( file : in file_type; v : in VecMat );
                     43:   procedure put ( v : in Link_to_VecMat );
                     44:   procedure put ( file : in file_type; v : in Link_to_VecMat );
                     45:
                     46:   -- DESCRIPTION :
                     47:   --   The vector of matrices v is written on standard output or on file.
                     48:   --   The elements of v are written on separate lines, separated by
                     49:   --   white lines.
                     50:
                     51:   procedure put ( v : in VecMat; dp : in natural );
                     52:   procedure put ( file : in file_type; v : in VecMat; dp : in natural );
                     53:   procedure put ( v : in Link_to_VecMat; dp : in natural );
                     54:   procedure put ( file : in file_type;
                     55:                   v : in Link_to_VecMat; dp : in natural );
                     56:
                     57:   -- DESCRIPTION :
                     58:   --   The vector of matrices v is written on standard output or on file.
                     59:   --   The elements of v are written on separate lines with dp decimal places.
                     60:
                     61: end Generic_VecMats_io;