/*
 * 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);
}