All Downloads are FREE. Search and download functionalities are using the official Maven repository.

scala.xml.persistent.SetStorage.scala Maven / Gradle / Ivy

The newest version!
/*                     __                                               *\
**     ________ ___   / /  ___     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 }

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy