|
Scala example source code file (FreshNameCreator.scala)
The FreshNameCreator.scala Scala example source code
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2005-2013, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.actors
package remote
object FreshNameCreator {
protected var counter = 0
protected val counters = new scala.collection.mutable.HashMap[String, Int]
/**
* Create a fresh name with the given prefix. It is guaranteed
* that the returned name has never been returned by a previous
* call to this function (provided the prefix does not end in a digit).
*/
def newName(prefix: String): Symbol = {
val count = counters.get(prefix) match {
case Some(last) => last + 1
case None => 0
}
counters.update(prefix, count)
Symbol(prefix + count)
}
def newName(): Symbol = {
counter += 1
Symbol("$" + counter + "$")
}
}
Other Scala source code examplesHere is a short list of links related to this Scala FreshNameCreator.scala source code file: |
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.