adds a node, setting this.
adds a node, setting this.dirty to true as a side effect
removes a tree, setting this.
removes a tree, setting this.dirty to true as a side effect
this storage modified since last modification check
this storage modified since last modification check
Force writing of contents to the file, even if there has not been any update.
Force writing of contents to the file, even if there has not been any update.
Returns string formatted according to given format
string.
Returns string formatted according to given format
string.
Format strings are as for String.format
(@see java.lang.String.format).
finds and loads the storage file.
finds and loads the storage file. subclasses should call this method prior to any other, but only once, to obtain the initial sequence of nodes.
period between modification checks, in milliseconds
period between modification checks, in milliseconds
This method should log the message given as argument somewhere as a side-effect.
This method should log the message given as argument somewhere as a side-effect.
message to be logged
returns an iterator over the nodes in this storage
returns an iterator over the nodes in this storage
Run method of the thread.
Run method of the thread. remember to use start()
to start a thread,
not run
.
(Since version ) see corresponding Javadoc for more information.
(Since version ) see corresponding Javadoc for more information.
(Since version ) see corresponding Javadoc for more information.
(Since version ) see corresponding Javadoc for more information.
(Since version ) see corresponding Javadoc for more information.
(Since version ) see corresponding Javadoc for more information.
A persistent store with set semantics. This class allows to add and remove trees, but never contains two structurally equal trees.