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     ! 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;