[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ben Pfaff
Subject: [patch #6092] Use case count parameter in system file headers.
Date: Sat, 14 Jul 2007 05:34:33 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061205 Iceweasel/ (Debian-

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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]