public class UniqueNameSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Set |
m_nameSet
Set of names used.
|
Constructor and Description |
---|
UniqueNameSet()
Constructor.
|
UniqueNameSet(java.util.Collection base)
Constructor from existing name collection.
|
UniqueNameSet(UniqueNameSet original)
Copy constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
add(java.lang.String base)
Add name to set.
|
void |
addAll(UniqueNameSet other)
Add all the names from another name set to this set.
|
boolean |
contains(java.lang.String name)
Check if a name is already present in context.
|
java.util.Iterator |
iterator()
Get iterator for names in set.
|
public UniqueNameSet()
public UniqueNameSet(java.util.Collection base)
base
- public UniqueNameSet(UniqueNameSet original)
original
- public boolean contains(java.lang.String name)
name
- true
if present, false
if notpublic void addAll(UniqueNameSet other)
other
- public java.lang.String add(java.lang.String base)
base
- name to try addingpublic java.util.Iterator iterator()