author | wenzelm |
Wed, 20 Mar 2019 23:06:51 +0100 | |
changeset 69933 | c15ee153dec1 |
parent 69458 | 5655af3ea5bd |
child 73133 | 497e11537d48 |
permissions | -rw-r--r-- |
/* Title: Pure/General/uuid.scala Author: Makarius Universally unique identifiers. */ package isabelle object UUID { type T = java.util.UUID def random(): T = java.util.UUID.randomUUID() def random_string(): String = random().toString def unapply(s: String): Option[T] = try { Some(java.util.UUID.fromString(s)) } catch { case _: IllegalArgumentException => None } }