gov.nasa.arc.brahms.vm.rt
Class NameManager

java.lang.Object
  gov.nasa.arc.brahms.vm.rt.NameManager

public class NameManager
extends java.lang.Object

NameManager is used to assign unique names to dynamically created concepts.

Version:

$Revision: 1.1 $ $Date: 2007/12/10 20:37:22 $ $Author: rvhoof $

Author:

Ron van Hoof

Constructor Summary

NameManager()

Method Summary

static java.lang.String

getNewName(java.lang.String name) Generates a unique name using an incrementing counter for the name.

Methods inherited from class java.lang.Object

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

Constructor Detail

NameManager

public NameManager()

Method Detail

getNewName

public static java.lang.String getNewName(java.lang.String name)

Generates a unique name using an incrementing counter for the name.

Parameters:

name - the name to use as the basis for the new name

Returns:

name the unique name