adds a node, setting this.dirty to true as a side effect
adds a node, setting this.dirty to true as a side effect
removes a tree, setting this.dirty to true as a side effect
removes a tree, setting this.dirty to true as a side effect
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 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 2.11) This method and its usages will be removed. Use a debugger to debug code.
(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.