[patch #6092] Use case count parameter in system file headers.

[Ben Pfaff]

Follow-up Comment #3, patch #6092 (project pspp):

>If we mark the reader as tainted, then any future attempts to read
>ANY data will fail. Whereas, there may be only one case out of 
>many which are problematic. 

OK.  We can try it that way.  I am a little concerned that this violates an
invariant I had in mind: if the case count is known and an attempt to read
one of the cases within the valid number of cases fails, then the reader will
be tainted.  But it might be possible to do without that invariant; it may not
be important.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?6092>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/