|
Scala Library
|
|
class
IndexedStorage[A](file : java.io.File, index : Index[A])
extends CachedFileStorage| Values and Variables inherited from CachedFileStorage | |
| dirty, interval |
| Method Summary | |
def
|
+=
(e : Node) : Unit
adds a node, setting this.dirty to true as a side effect
|
def
|
-=
(e : Node) : Unit
removes a tree, setting this.dirty to true as a side effect
|
def
|
lookup (n : A) : Option[Node] |
def
|
nodes
: Iterator[Node]
returns an iterator over the nodes in this storage
|
| Methods inherited from CachedFileStorage | |
| initialNodes, run, flush |
| Methods inherited from Logged | |
| log |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
|
Scala Library
|
|