Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/generic_arrays_of_vector_lists_io.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Standard_Natural_Vectors;
! 3: with Abstract_Ring_io;
! 4: with Generic_Vectors;
! 5: with Generic_Vectors_io;
! 6: with Generic_VecVecs;
! 7: with Generic_Lists_of_Vectors;
! 8: with Generic_Lists_of_Vectors_io;
! 9: with Generic_Arrays_of_Vector_Lists;
! 10:
! 11: generic
! 12:
! 13: with package Ring_io is new Abstract_Ring_io(<>);
! 14: with package Vectors is new Generic_Vectors(Ring_io.Ring);
! 15: with package Vectors_io is new Generic_Vectors_io(Ring_io,Vectors);
! 16: with package VecVecs is new Generic_VecVecs(Ring_io.Ring,Vectors);
! 17: with package Lists is
! 18: new Generic_Lists_of_Vectors(Ring_io.Ring,Vectors,VecVecs);
! 19: with package Lists_io is
! 20: new Generic_Lists_of_Vectors_io
! 21: (Ring_io,Vectors,Vectors_io,VecVecs,Lists);
! 22: with package Arrays is
! 23: new Generic_Arrays_of_Vector_Lists(Ring_io.Ring,Vectors,VecVecs,Lists);
! 24:
! 25: package Generic_Arrays_of_Vector_Lists_io is
! 26:
! 27: -- DESCRIPTION :
! 28: -- Input/Output of arrays of lists of links to vectors.
! 29:
! 30: use Arrays;
! 31:
! 32: procedure get ( al : in out Link_to_Array_of_Lists );
! 33: procedure get ( n : in natural; m : in Standard_Natural_Vectors.Vector;
! 34: al : out Array_of_Lists );
! 35: procedure get ( file : in file_type; al : in out Link_to_Array_of_Lists );
! 36: procedure get ( file : in file_type;
! 37: n : in natural; m : in Standard_Natural_Vectors.Vector;
! 38: al : out Array_of_Lists );
! 39:
! 40: -- DESCRIPTION :
! 41: -- Reads a number of lists from standard input or from file;
! 42: -- the ith list must contain m(i) vectors of length n.
! 43: -- If n and m are not provided, then they are first read.
! 44:
! 45: procedure put ( al : in Array_of_Lists );
! 46: procedure put ( file : in file_type; al : in Array_of_Lists );
! 47:
! 48: -- DESCRIPTION :
! 49: -- Writes the lists in al on standard output or on file.
! 50:
! 51: end Generic_Arrays_of_Vector_Lists_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>