scala.actors.remote
object FreshNameCreator

[source: `scala/actors/remote/FreshNameCreator.scala`]

`` `object` FreshNameCreator
  `extends` AnyRef

Value Summary
`protected var` | counter : Int
`protected val` | counters : HashMap[String, Int]

Method Summary
`def` | newName : Symbol
`def` | newName (prefix : String) : Symbol 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).

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Value Details

`protected` `var` counter : Int

`protected` `val` counters : HashMap[String, Int]

Method Details

`` `def` newName(prefix : String) : Symbol

  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 : Symbol