code: public String getLocalName(int index) {
      if (index < 0 || index >= indexSet.size())
        return null;
      return attributes.getLocalName(indexSet.get(index));
    }
docs: Get the local name for the index-th attribute.