| Class Summary | |
abstract class
|
CachedFileStorage
(private file1 : java.io.File) extends java.lang.Thread with Logged
|
abstract class
|
Index
[A] extends (Node) => A
an Index returns some unique key that is part of a node
|
class
|
IndexedStorage
[A](file : java.io.File, index : Index[A]) extends CachedFileStorage
indexed multiset of xml trees. The index may be an arbitrary totally
type, especially one can construct indices by selecting parts of
xml nodes.
|
class
|
SetStorage
(file : java.io.File) extends CachedFileStorage
A persistent store with set semantics. This class allows to add and remove
trees, but never contains two structurally equal trees.
|