Concurrent.counter.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of pide-2015_2.11 Show documentation

pide2015

There is a newer version: 0.5

/*  Title:      Pure/Concurrent/counter.scala
    Module:     PIDE
    Author:     Makarius

Synchronized counter for unique identifiers < 0.

NB: ML ticks forwards, JVM ticks backwards.
*/

package isabelle


object Counter
{
  type ID = Long
  def make(): Counter = new Counter
}

final class Counter private
{
  private var count: Counter.ID = 0

  def apply(): Counter.ID = synchronized {
    require(count > java.lang.Long.MIN_VALUE)
    count -= 1
    count
  }

  override def toString: String = count.toString
}