sources/scala/tools/nsc/util/FreshNameCreator.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

/* NSC -- new scala compiler
 * Copyright 2005 LAMP/EPFL
 * @author  Martin Odersky
 */
// $Id$
package scala.tools.nsc.util;

import scala.collection.mutable.HashMap;

class FreshNameCreator {

  protected var counter = 0;
  protected val counters = new 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): String = {
    val count = counters.get(prefix) match {
      case Some(last) => last + 1
      case None => 0
    }
    counters.update(prefix, count);
    prefix + count
  }

  def newName(): String = {
    counter = counter + 1;
    "$" + counter + "$"
  }
}