blob: 765d2a83936709045142737ea491f5363444dba0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2011, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.xml
package persistent
import scala.collection.mutable
import java.io.File
/** A persistent store with set semantics. This class allows to add and remove
* trees, but never contains two structurally equal trees.
*
* @author Burak Emir
*/
class SetStorage(file: File) extends CachedFileStorage(file) {
private var theSet: mutable.HashSet[Node] = new mutable.HashSet[Node]
// initialize
{
val it = super.initialNodes
dirty = it.hasNext
for(x <- it) {
theSet += x;
}
}
/* forwarding methods to hashset*/
def += (e: Node): Unit = synchronized { this.dirty = true; theSet += e }
def -= (e: Node): Unit = synchronized { this.dirty = true; theSet -= e }
def nodes = synchronized { theSet.iterator }
}
|