Scala 2.6.1-final

API Specification

This document is the API specification for Scala Library Documentation

Class Summary
abstract class CachedFileStorage (private file1 : java.io.File) extends java.lang.Thread with Logged

Mutable storage of immutable xml trees. Everything is kept in memory, with a thread periodically checking for changes and writing to file. To ensure atomicity, two files are used, filename1 and '$'+filename1. The implementation switches between the two, deleting the older one after a complete dump of the database has been written.

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.