diff options
Diffstat (limited to 'src/main/scala/firrtl/Namespace.scala')
| -rw-r--r-- | src/main/scala/firrtl/Namespace.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/main/scala/firrtl/Namespace.scala b/src/main/scala/firrtl/Namespace.scala index 798458c4..b3629211 100644 --- a/src/main/scala/firrtl/Namespace.scala +++ b/src/main/scala/firrtl/Namespace.scala @@ -14,13 +14,13 @@ class Namespace private { private var n = 0L def tryName(value: String): Boolean = { - if (!namespace.contains(value)) { - namespace += value - true - } else { - false - } + val unused = !contains(value) + if (unused) namespace += value + unused } + + def contains(value: String): Boolean = namespace.contains(value) + def newName(value: String): String = { var str = value while (!tryName(str)) { |
