uk.ac.manchester.cs.jfact.kernel

Class NameSet<T>

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<String,T>

uk.ac.manchester.cs.jfact.kernel.NameSet<T>

All Implemented Interfaces:

Serializable, Cloneable, Map<String,T>

@PortedFrom(file="tNameSet.h",
            name="TNameSet")
public class NameSet<T>
extends HashMap<String,T>

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Constructor Summary

Constructors

Constructor and Description
NameSet(NameCreator<T> p)

Method Summary

Methods

Modifier and Type	Method and Description
T	add(String id) unconditionally add new element with name ID to the set; return new element
T	insert(String id) Insert id to a nameset (if necessary); @return pointer to id structure created by external creator

Methods inherited from class java.util.HashMap

clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

NameSet

public NameSet(NameCreator<T> p)

Method Detail

add

@PortedFrom(file="tNameSet.h",
            name="add")
public T add(String id)

unconditionally add new element with name ID to the set; return new element

insert

@PortedFrom(file="tNameSet.h",
            name="insert")
public T insert(String id)

Insert id to a nameset (if necessary); @return pointer to id structure created by external creator