On Sat, Mar 14, 2009 at 10:22 AM, Ville M. Vainio <[email protected]>wrote:
> > On Sat, Mar 14, 2009 at 4:59 PM, Edward K. Ream <[email protected]> > wrote: > > > I'm not sure we want the "durability". I think of the situation as > > follows. Positions only make sense in the context of a particular > outline. > > I mean the "snapshot" of the outline. Change the outline (snapshot) in > any > > way, and all bets are off. > > > > Archived positions make sense when writing the outline, and then reading > the > > *unchanged* outline. Any other use for archived positions seems dubious > to > > me. > > I don't think it's all that dubious to want to save the "path" to a node. It's not dubious to save a path to a node, *provided* you know that the "landscape" (outline) hasn't changed. In essence, all that I have been saying is that once the landscape changes, all paths become potentially invalid. The present form of archived positions are indeed all that are required, again provided you know that the outline hasn't changed. Imo, once the landscape changes, it would be dubious design to attempt to resurrect a location in that landscape based on now-obsolete paths in the old landscape. However, if you *did* make such an attempt, it would probably be a good idea to have both child indices and vnodes identifiers (gnx's). > > > Consider file system as an analogy: it certainly makes sense to store > things like > > /foo/bar/baz.txt > > This path still points to the same file, even when we delete > /foo/bar/blah.txt. Equally, we could have > > /12/45/111 > > and > > /1321/112/45/111 > > (Where those numbers are vnode id's). The problem with this analogy is that changing an outline corresponds, in general, to inserting, deleting and moving directories. Edward --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en -~----------~----~----~----~------~----~------~--~---
