Here you can find the source of getDefaultRandomName(String namePrefix)
public static String getDefaultRandomName(String namePrefix)
//package com.java2s; /**/* w w w .j av a 2 s . c o m*/ * Copyright (c) Microsoft Corporation * <p/> * All rights reserved. * <p/> * MIT License * <p/> * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated * documentation files (the "Software"), to deal in the Software without restriction, including without limitation * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and * to permit persons to whom the Software is furnished to do so, subject to the following conditions: * <p/> * The above copyright notice and this permission notice shall be included in all copies or substantial portions of * the Software. * <p/> * THE SOFTWARE IS PROVIDED *AS IS*, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ import java.util.*; public class Main { public final static int MAX_RESOURCE_LENGTH = 16; public static String getDefaultRandomName(String namePrefix) { if (namePrefix.length() > MAX_RESOURCE_LENGTH) { return String.format("%s%d", namePrefix.substring(0, MAX_RESOURCE_LENGTH).toLowerCase(), new Random().nextInt(1000000)); } else { return String.format("%s%d", namePrefix.toLowerCase(), new Random().nextInt(1000000)); } } public static String getDefaultRandomName(String namePrefix, int maxLength) { String randInt = String.format("%d", new Random().nextInt(1000000)); if (maxLength <= randInt.length()) { return null; } if (namePrefix.length() + randInt.length() > maxLength) { return namePrefix.substring(0, maxLength - randInt.length()) + randInt; } else { return namePrefix + randInt; } } }