protected void defAdded(Backbone prev, Wom3DefinitionListDef added) {
int i = 0;
Backbone p = prev;
while (true) {
if (p == null) {
defs.add(i, added);
return;
} else if (p instanceof Wom3DefinitionListTerm) {
if (p != this) throw new InternalError();
defs.add(i, added);
return;
} else if (p instanceof Wom3DefinitionListDef) {
++i;
}
p = p.getPreviousSibling();
}
}
protected void transfer(Backbone sFirst, Backbone sLast, DefinitionListTermImpl other) {
Backbone d = sLast;
int i = defs.size();
while (true) {
if (d instanceof Wom3DefinitionListDef) {
// Sanity check
if (defs.get(--i) != d) throw new InternalError();
}
if (d == sFirst) break;
// Step over non defs
d = d.getPreviousSibling();
}
// Sanity check
if (d != sFirst) throw new InternalError();
// Do it!
other.appendAll(defs.subList(i, defs.size()));
while (defs.size() > i) defs.remove(defs.size() - 1);
}
