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