Index: sdk/lib/_internal/compiler/implementation/util/util.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/util/util.dart b/sdk/lib/_internal/compiler/implementation/util/util.dart |
index 04854e6ea602afeb0138cbc1c2953da572353158..c766739799edf7b73195d572be3d0d1e660b6774 100644 |
--- a/sdk/lib/_internal/compiler/implementation/util/util.dart |
+++ b/sdk/lib/_internal/compiler/implementation/util/util.dart |
@@ -165,3 +165,19 @@ String modifiersToString({bool isStatic: false, |
builder.toLink().printOn(buffer, ', '); |
return buffer.toString(); |
} |
+ |
+// Returns suggestedName if it is not in usedNames. Otherwise concatenates |
+// the smallest number that makes it not appear in usedNames. |
+// Adds the result to usedNames. |
floitsch
2014/08/28 20:10:07
New line before.
sigurdm
2014/09/03 08:24:16
Done.
|
+String makeUnique(String suggestedName, Set<String> usedNames) { |
+ String result = suggestedName; |
+ if (usedNames.contains(suggestedName)) { |
+ int counter = 0; |
+ while (usedNames.contains(result)) { |
+ counter++; |
+ result = "$suggestedName$counter"; |
+ } |
+ } |
+ usedNames.add(result); |
+ return result; |
+} |