blob: 8db56a2e7180bf91d8c550278814614566f142b0 (
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
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2013, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala
package 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 val theSet = mutable.HashSet[Node]()
// initialize
{
val it = super.initialNodes
dirty = it.hasNext
theSet ++= it
}
/* 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 }
}
|
