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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>