in scala.actors.remote
object FreshNameCreator

object FreshNameCreator
extends java.lang.Object
with scala.ScalaObject

Constructor Summary
def this



Val Summary
protected val counters : scala.collection.mutable.HashMap[java.lang.String,scala.Int]



Var Summary
protected var counter : scala.Int



Def Summary
def newName : scala.Symbol

def newName (prefix: java.lang.String) : scala.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).


Constructor Detail
def this

Val Detail
protected val counters : scala.collection.mutable.HashMap[java.lang.String,scala.Int]

Var Detail
protected var counter : scala.Int

Def Detail
def newName : scala.Symbol

def newName (prefix: java.lang.String): scala.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).