/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
_annos = newAnnoList; newAnnoList.add( _annos, index + 1, length( ) ) ;newAnnoList.add( xml) ;
newAnnoList.add ( xml ) ; newAnnoList.add ( _annos, index + 1, length ( ) ) ; _annos = newAnnoList;
_annos.remove(index); } void replace(int index, XML xml) { if (index < length()) { XmlNode.InternalList newAnnoList = new XmlNode.InternalList(); newAnnoList.add(_annos, 0, index); <extra_id_0> } } private void insert(int index, XML xml) { if (index < length()) { XmlNode.InternalList newAnnoList = new XmlNode.InternalList(); newAnnoList.add(_annos, 0, index);