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
forces writing of contents to the file, even if there has not been any update.
forces writing of contents to the file, even if there has not been any update.
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.
Creates a String representation of this object.
Creates a String representation of this object. The default representation is platform dependent. On the java platform it is the concatenation of the class name, "@", and the object's hashcode in hexadecimal.
a String representation of the object.
(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.