Skip to content
Prev 43403 / 398506 Next

Object validation and formal classes

On Thu, Jan 29, 2004 at 09:30:19PM +0100, Torsten Steuernagel wrote:
There are some efficiency issues that prevent constant checking (at
  least at the present time). There are also some other issues that
  need to be adequately addressed too. For example, suppose I had an
  object with two slots
   a - a character string 
   b - the number of characters

  and I set my validity checker to make sure that the length of the
  string is the number in b. Now that basically means that I can never
  change the string (except to other strings of the same length) if
  validity checking happened after every change. I somehow need
  changing both a and b to be instantaneous (which they currently are
  not). We have not really gone far enough down that path yet to know
  what the right thing is, but we  are working on it. So for now
  validity checking occurs at a   few specific points and if/when you
  ask for it. 

  Robert

  
    
Message-ID: <20040129200432.M12832@jimmy.harvard.edu>
In-Reply-To: <40197B6B.23259.1B24BAFF@localhost>; from Torsten.Steuernagel@gmx.de on Thu, Jan 29, 2004 at 09:30:19PM +0100