/** * 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); } }