public class UniqueNameSet
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
private java.util.Set |
m_nameSet |
Set of names used.
|
Constructor | Description |
---|---|
UniqueNameSet() |
Constructor.
|
UniqueNameSet(java.util.Collection base) |
Constructor from existing name collection.
|
UniqueNameSet(UniqueNameSet original) |
Copy constructor.
|
Modifier and Type | Method | 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()