|
/* 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 }
def unapply(body: XML.Body): Option[T] = unapply(XML.content(body))
}
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
