(ci.getIndex() <= attribs[i].end_index))
(ci.getIndex() < attribs[i].end_index))
getAttributes(){  HashMap m = new HashMap();  if (attribs == null)    return(m);    for (int i = 0; i < attribs.length; i++)    {       if ((ci.getIndex() >= attribs[i].begin_index) &&           (ci.getIndex() <= attribs[i].end_index))         m.putAll(attribs[i].attribs);    }  return(m);}