| // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /// @assertion abstract void insert(int index, E element) |
| /// Inserts the element at position index in the list. |
| /// This increases the length of the list by one and shifts all elements at |
| /// or after the index towards the end of the list. |
| /// @description Checks that the element at the index is set to the given element. |
| /// @author kaigorodov |
| |
| library insert_A01_t01; |
| |
| import "../../../Utils/expect.dart"; |
| |
| void check( |
| List<E> create<E>([int length, E fill]), List a0, int index, var element) { |
| List a = create(); |
| a.insertAll(0, a0); |
| a.insert(index, element); |
| Expect.equals(a0.length + 1, a.length); |
| for (int k = 0; k < index; k++) { |
| Expect.identical(a0[k], a[k]); |
| } |
| Expect.identical(element, a[index]); |
| for (int k = index; k < a0.length; k++) { |
| Expect.identical(a0[k], a[k + 1]); |
| } |
| } |
| |
| test(List<E> create<E>([int length, E fill])) { |
| List a0 = [1, 3, 3, 4, 5, 6]; |
| check(create, a0, 0, -1); |
| check(create, a0, 3, -2); |
| check(create, a0, a0.length - 1, -3); |
| check(create, a0, a0.length, -4); |
| } |