/**
* Insert a new name&state and offset pair.
*
* @param name
* @param state
* @param offset
*/
public void insert(String name, String state, long offset) {
NameEntry duplicate;
// if there is a duplicate, put the new offset into this duplicated
// object; otherwise put the new created object in there.
if ((duplicate = index.insert(new NameEntry(name, state, offset))) != null) {
duplicate.addOffset(offset);
}
}
