/** Inserts all elements of the specified collection before the specified position into the receiver. * Shifts the element * currently at that position (if any) and any subsequent elements to * the right (increases their indices). * * @param index index before which to insert first element from the specified collection. * @param collection the collection to be inserted * @exception ClassCastException if an element in the collection is not * of the same parameter type of the receiver. * @throws IndexOutOfBoundsException if <tt>index < 0 || index > size()</tt>. */ public void beforeInsertAllOf(int index, java.util.Collection collection) { this.beforeInsertDummies(index, collection.size()); this.replaceFromWith(index, collection); } /**
/** Inserts all elements of the specified collection before the specified position into the receiver. * Shifts the element * currently at that position (if any) and any subsequent elements to * the right (increases their indices). * * @param index index before which to insert first element from the specified collection. * @param collection the collection to be inserted * @exception ClassCastException if an element in the collection is not * of the same parameter type of the receiver. * @throws IndexOutOfBoundsException if <tt>index < 0 || index > size()</tt>. */ public void beforeInsertAllOf(int index, java.util.Collection collection) { this.beforeInsertDummies(index, collection.size()); this.replaceFromWith(index, collection); } /**
/** * Inserts all elements of the specified collection before the specified * position into the receiver. Shifts the element currently at that position * (if any) and any subsequent elements to the right (increases their * indexes). * * @param index * index before which to insert first element from the specified * collection. * @param collection * the collection to be inserted * @exception ClassCastException * if an element in the collection is not of the same * parameter type of the receiver. * @throws IndexOutOfBoundsException * if <tt>index < 0 || index > size()</tt>. */ public void beforeInsertAllOf(int index, java.util.Collection collection) { this.beforeInsertDummies(index, collection.size()); this.replaceFromWith(index, collection); }
/** * Inserts all elements of the specified collection before the specified * position into the receiver. Shifts the element currently at that position * (if any) and any subsequent elements to the right (increases their * indices). * * @param index * index before which to insert first element from the specified * collection. * @param collection * the collection to be inserted * @exception ClassCastException * if an element in the collection is not of the same * parameter type of the receiver. * @throws IndexOutOfBoundsException * if <tt>index < 0 || index > size()</tt>. */ public void beforeInsertAllOf(int index, java.util.Collection collection) { this.beforeInsertDummies(index, collection.size()); this.replaceFromWith(index, collection); }
/** * Inserts all elements of the specified collection before the specified * position into the receiver. Shifts the element currently at that position * (if any) and any subsequent elements to the right (increases their * indexes). * * @param index * index before which to insert first element from the specified * collection. * @param collection * the collection to be inserted * @exception ClassCastException * if an element in the collection is not of the same * parameter type of the receiver. * @throws IndexOutOfBoundsException * if <tt>index < 0 || index > size()</tt>. */ public void beforeInsertAllOf(int index, java.util.Collection collection) { this.beforeInsertDummies(index, collection.size()); this.replaceFromWith(index, collection); }