Re: get_line

[Dale Stanbrough <dale@goanna.cs.rmit.edu.au>]

Matthew Heaney writes:

"If there are the same number of characters in the input line as the
 input buffer, Get_Line will NOT do an end-of-line automatically.  The
 next Get_Line will in fact return 0 as the value of last.  (It's the 2nd
 call the Get_Line that consumes the end-of-line.)
 
 The test to make sure all of the text on the line has been
 consumed is
 
    Last < Input_Buffer'Last
 
 which means "you have read all the text on the current line."
 
 To use this predicate, you'll have to make your buffer size 1 more than
 the advertised maximum."


Yes you are correct. I didn't write exactly what i should have, I can 
now see! What i should have said is "if you do read in exactly the number
of characters as are in the buffer, then you really don't know what
situation you are in - you can still never tell if a skip_line was
called".

Dale