Rationale for Ada 2012
Ada 2005 was somewhat unclear regarding streaming
values from and to containers. This is clarified in Ada 2012. Thus if
V is a vector container then V'Write
writes Length(V) elements to the stream concerned.
An important point is that in order to simplify the
interchange between containers, we are assured that we can stream between
them using 'Write and 'Read.
Thus we can stream between a bounded and an unbounded container as well
as between two bounded or two unbounded containers provided of course
that the elements all have the same subtype.
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by: