/** * @returns the xml index corresponding to the passed apiIndex. */ public int transformToXmlOffset(int apiIndex) { Pair<Integer, Integer> where = locate(apiIndex); int index = where.first; int offset = where.second; if (index == bits.size()) { // We're beyond the last bit. Return last bit + offset. Bit last = bits.get(bits.size() - 1); return last.xmlPos + last.xmlSize + offset; } return bits.get(index).xmlPos + offset; }
Pair<Integer, Integer> where = locate(start); int index = where.first; if (index == bits.size()) {
pos++; Pair<Integer, Integer> where = locate(pos); int index = where.first; if (index == bits.size()) {
public void insert(int pos, Element element) { XmlStringBuilder xml = ElementSerializer.apiElementToXml(element); int beforeSize = doc.size(); Pair<Integer, Integer> where = locate(pos); int index = where.first; if (index == bits.size()) {