util

Class NumberedNameGenerator

java.lang.Object

util.NumberedNameGenerator

All Implemented Interfaces:

NameGenerator

public class NumberedNameGenerator
extends java.lang.Object
implements NameGenerator

A numbered name generator is a name generator that generates names of the type "Xx" where "X" is a fixed (specified) prefix and "x" is a counter.

Constructor Summary

Constructors

Constructor and Description
NumberedNameGenerator(java.lang.String pfx) Builds a numbered name generator with the specified prefix.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	generateName() Gives a String name.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NumberedNameGenerator

public NumberedNameGenerator(java.lang.String pfx)

Builds a numbered name generator with the specified prefix.

Parameters:

pfx - the prefix.

Method Detail

generateName

public java.lang.String generateName()

Description copied from interface: NameGenerator

Gives a String name.

Specified by:

generateName in interface NameGenerator

Returns:

a name.