From 22e4c6dd4b3dc7779fa05fc708ab831d4911bb73 Mon Sep 17 00:00:00 2001 From: "Pavel V. Talanov" Date: Fri, 10 Aug 2012 15:06:27 +0400 Subject: [PATCH] Label generator utility. Adapted from https://github.com/develar/kotlin/commit/a9e0a42fb1347fa8e21c86b5a073ef8a7c873da0. --- .../k2js/translate/LabelGenerator.java | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 js/js.translator/src/org/jetbrains/k2js/translate/LabelGenerator.java diff --git a/js/js.translator/src/org/jetbrains/k2js/translate/LabelGenerator.java b/js/js.translator/src/org/jetbrains/k2js/translate/LabelGenerator.java new file mode 100644 index 00000000000..3363bd38ed8 --- /dev/null +++ b/js/js.translator/src/org/jetbrains/k2js/translate/LabelGenerator.java @@ -0,0 +1,30 @@ +/* + * Copyright 2010-2012 JetBrains s.r.o. + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.jetbrains.k2js.translate; + +public final class LabelGenerator { + private int nameCounter; + private final char prefix; + + public LabelGenerator(char prefix) { + this.prefix = prefix; + } + + public String generate() { + return prefix + Integer.toString(nameCounter++, 36); + } +}