author | sultana |
Tue, 17 Apr 2012 16:14:07 +0100 | |
changeset 47514 | 0a870584145f |
parent 46712 | 8650d9a95736 |
child 56685 | 535d59d4ed12 |
permissions | -rw-r--r-- |
/* Title: Pure/Concurrent/volatile.scala Module: PIDE Author: Makarius Volatile variables. */ package isabelle object Volatile { def apply[A](init: A): Volatile[A] = new Volatile(init) } final class Volatile[A] private(init: A) { @volatile private var state: A = init def apply(): A = state def >> (f: A => A) { state = f(state) } def >>>[B] (f: A => (B, A)): B = { val (result, new_state) = f(state) state = new_state result } }