blob: e46a6162259fb2e4d018ccd29c2f034c97c61a51 [file] [log] [blame]
/*
* 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 a0, int index, var element) {
List a=new List.from(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 create([int length])) {
List a0=[1,3,3,4,5,6];
List a = create();
a.insertAll(0, a0);
check(a, 0, -1);
check(a, 3, -2);
check(a, a.length-1, -3);
check(a, a.length, -4);
}