compiler/src/main/scala/amyc/utils/UniqueCounter.scala
package amyc.utils
import scala.collection.mutable
// Generates unique counters for each element of a type K
class UniqueCounter[K] {
private val elemIds = mutable.Map[K, Int]().withDefaultValue(-1)
def next(key: K): Int = synchronized {
elemIds(key) += 1
elemIds(key)
}
}