A persistent store with set semantics. This class allows to add and remove trees, but never contains two structurally equal trees.
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
see corresponding Javadoc for more information.
see corresponding Javadoc for more information.
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.
...
returns an iterator over the nodes in this storage
returns an iterator over the nodes in this storage
see corresponding Javadoc for more information.
run method of the thread.
run method of the thread. remember to use start() to start a thread, not run.
see corresponding Javadoc for more information.
see corresponding Javadoc for more information.
see corresponding Javadoc for more information.
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
a string representation of the object.
A persistent store with set semantics. This class allows to add and remove trees, but never contains two structurally equal trees.