16ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Copyright 2010 the V8 project authors. All rights reserved. 26ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Redistribution and use in source and binary forms, with or without 36ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// modification, are permitted provided that the following conditions are 46ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// met: 56ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 66ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Redistributions of source code must retain the above copyright 76ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// notice, this list of conditions and the following disclaimer. 86ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Redistributions in binary form must reproduce the above 96ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// copyright notice, this list of conditions and the following 106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// disclaimer in the documentation and/or other materials provided 116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// with the distribution. 126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Neither the name of Google Inc. nor the names of its 136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// contributors may be used to endorse or promote products derived 146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// from this software without specific prior written permission. 156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block//////////////////////////////////////////////////////////////////////// 296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Tests below verify that elements set on Array.prototype's proto propagate 306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// for various Array.prototype functions (like unshift, shift, etc.) 316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// If add any new tests here, consider adding them to all other files: 326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// array-elements-from-array-prototype.js 336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// array-elements-from-array-prototype-chain.js 346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// array-elements-from-object-prototype.js 356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// those ideally should be identical modulo host of elements and 366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// the way elements introduced. 376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Note: they are put into a separate file as we need maximally clean 396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// VM setup---some optimizations might be already turned off in 406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 'dirty' VM. 416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block//////////////////////////////////////////////////////////////////////// 426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 436ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar at3 = '@3' 446ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar at7 = '@7' 456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 466ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockArray.prototype.__proto__ = {3: at3}; 476ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockArray.prototype.__proto__.__proto__ = {7: at7}; 486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 496ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar a = new Array(13) 506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 516ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[3]) 526ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(3)) 536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 546ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[7]) 556ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(7)) 566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 576ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a.shift(), 'hole should be returned as undefined') 586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Side-effects: Array.prototype[3] percolates into a[2] and Array.prototype[7[ 596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// into a[6], still visible at the corresponding indices. 606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 616ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[2]) 626ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(2)) 636ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[3]) 646ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(3)) 656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 666ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[6]) 676ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(6)) 686ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[7]) 696ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(7)) 706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 716ded16be15dd865a9b21ea304d5273c8be299c87Steve Blocka.unshift('foo', 'bar') 726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Side-effects: Array.prototype[3] now percolates into a[5] and Array.prototype[7] 736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// into a[9]. 746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 756ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[3]) 766ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(3)) 776ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[4]) 786ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(4)) 796ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[5]) 806ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(5)) 816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 826ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a[6]) 836ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(6)) 846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 856ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[7]) 866ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(7)) 876ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[8]) 886ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(8)) 896ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[9]) 906ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(9)) 916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 926ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar sliced = a.slice(3, 10) 936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Slice must keep intact a and reify holes at indices 0--2 and 4--6. 946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 956ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[3]) 966ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(3)) 976ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[4]) 986ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(4)) 996ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a[5]) 1006ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(5)) 1016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1026ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a[6]) 1036ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(6)) 1046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1056ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[7]) 1066ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a.hasOwnProperty(7)) 1076ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[8]) 1086ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(8)) 1096ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a[9]) 1106ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a.hasOwnProperty(9)) 1116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1126ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, sliced[0]) 1136ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(0)) 1146ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, sliced[1]) 1156ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(1)) 1166ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, sliced[2]) 1176ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(2)) 1186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Note: sliced[3] comes directly from Array.prototype[3] 1206ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, sliced[3]); 1216ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(sliced.hasOwnProperty(3)) 1226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1236ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, sliced[4]) 1246ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(4)) 1256ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, sliced[5]) 1266ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(5)) 1276ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, sliced[6]) 1286ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(sliced.hasOwnProperty(6)) 1296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Splice is too complicated the operation, start afresh. 1326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Shrking array. 1346ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar a0 = [0, 1, , , 4, 5, , , , 9] 1356ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar result = a0.splice(4, 1) 1366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Side-effects: everything before 4 is kept intact: 1376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1386ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(0, a0[0]) 1396ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a0.hasOwnProperty(0)) 1406ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(1, a0[1]) 1416ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a0.hasOwnProperty(1)) 1426ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a0[2]) 1436ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a0.hasOwnProperty(2)) 1446ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a0[3]) 1456ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a0.hasOwnProperty(3)) 1466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 4 and above shifted left by one reifying at7 into a0[6] and keeping 1486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// a hole at a0[7] 1496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1506ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(5, a0[4]) 1516ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a0.hasOwnProperty(4)) 1526ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a0[5]) 1536ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a0.hasOwnProperty(5)) 1546ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a0[6]) 1556ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a0.hasOwnProperty(6)) 1566ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a0[7]) 1576ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a0.hasOwnProperty(7)) 1586ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(9, a0[8]) 1596ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a0.hasOwnProperty(8)) 1606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Growing array. 1626ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar a1 = [0, 1, , , 4, 5, , , , 9] 1636ded16be15dd865a9b21ea304d5273c8be299c87Steve Blockvar result = a1.splice(4, 0, undefined) 1646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Side-effects: everything before 4 is kept intact: 1656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1666ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(0, a1[0]) 1676ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(0)) 1686ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(1, a1[1]) 1696ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(1)) 1706ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a1[2]) 1716ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a1.hasOwnProperty(2)) 1726ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at3, a1[3]) 1736ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a1.hasOwnProperty(3)) 1746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Now owned undefined resides at 4 and rest is shifted right by one 1766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// reifying at7 into a0[8] and keeping a hole at a0[7]. 1776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1786ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a1[4]) 1796ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(4)) 1806ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(4, a1[5]) 1816ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(5)) 1826ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(5, a1[6]) 1836ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(6)) 1846ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a1[7]) 1856ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a1.hasOwnProperty(7)) 1866ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(at7, a1[8]) 1876ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(8)) 1886ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(undefined, a1[9]) 1896ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertFalse(a1.hasOwnProperty(9)) 1906ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertEquals(9, a1[10]) 1916ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockassertTrue(a1.hasOwnProperty(10)) 192