JavaScriptCore:
[WebKit-https.git] / JavaScriptCore / kjs / array_object.cpp
1 // -*- c-basic-offset: 2 -*-
2 /*
3  *  This file is part of the KDE libraries
4  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
5  *  Copyright (C) 2003, 2007 Apple Inc. All rights reserved.
6  *  Copyright (C) 2003 Peter Kelly (pmk@post.com)
7  *  Copyright (C) 2006 Alexey Proskuryakov (ap@nypop.com)
8  *
9  *  This library is free software; you can redistribute it and/or
10  *  modify it under the terms of the GNU Lesser General Public
11  *  License as published by the Free Software Foundation; either
12  *  version 2 of the License, or (at your option) any later version.
13  *
14  *  This library is distributed in the hope that it will be useful,
15  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
16  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17  *  Lesser General Public License for more details.
18  *
19  *  You should have received a copy of the GNU Lesser General Public
20  *  License along with this library; if not, write to the Free Software
21  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
22  *
23  */
24
25 #include "config.h"
26 #include "array_object.h"
27 #include "array_object.lut.h"
28
29 #include "error_object.h"
30 #include "lookup.h"
31 #include "operations.h"
32 #include "PropertyNameArray.h"
33 #include <wtf/HashSet.h>
34 #include <stdio.h>
35
36
37 using namespace KJS;
38
39 // ------------------------------ ArrayInstance -----------------------------
40
41 const unsigned sparseArrayCutoff = 10000;
42
43 const ClassInfo ArrayInstance::info = {"Array", 0, 0, 0};
44
45 static inline JSValue** allocateStorage(size_t capacity)
46 {
47   if (capacity == 0)
48       return 0;
49
50   // store capacity in extra space before the beginning of the storage array to save space
51   JSValue** storage = static_cast<JSValue**>(fastCalloc(capacity + 1, sizeof(JSValue *))) + 1;
52   storage[-1] = reinterpret_cast<JSValue*>(capacity);
53   return storage;
54 }
55
56 static inline void reallocateStorage(JSValue**& storage, size_t newCapacity)
57 {
58   if (!storage) {
59     storage =  allocateStorage(newCapacity);
60     return;
61   }
62
63   // store capacity in extra space before the beginning of the storage array to save space
64   storage = static_cast<JSValue**>(fastRealloc(storage - 1, (newCapacity + 1) * sizeof (JSValue*))) + 1;
65   storage[-1] = reinterpret_cast<JSValue*>(newCapacity);
66 }
67
68 static inline void freeStorage(JSValue** storage)
69 {
70   if (storage)
71     fastFree(storage - 1);
72 }
73
74 ArrayInstance::ArrayInstance(JSObject *proto, unsigned initialLength)
75   : JSObject(proto)
76   , length(initialLength)
77   , storageLength(initialLength < sparseArrayCutoff ? initialLength : 0)
78   , storage(allocateStorage(storageLength))
79 {
80 }
81
82 ArrayInstance::ArrayInstance(JSObject *proto, const List &list)
83   : JSObject(proto)
84   , length(list.size())
85   , storageLength(length)
86   , storage(allocateStorage(storageLength))
87 {
88   ListIterator it = list.begin();
89   unsigned l = length;
90   for (unsigned i = 0; i < l; ++i) {
91     storage[i] = it++;
92   }
93 }
94
95 ArrayInstance::~ArrayInstance()
96 {
97   freeStorage(storage);
98 }
99
100 JSValue* ArrayInstance::getItem(unsigned i) const
101 {
102     if (i >= length)
103         return jsUndefined();
104     
105     JSValue* val = (i < storageLength) ? 
106                             storage[i] :
107                             getDirect(Identifier::from(i));
108
109     return val ? val : jsUndefined();
110 }
111
112 JSValue *ArrayInstance::lengthGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot& slot)
113 {
114   return jsNumber(static_cast<ArrayInstance *>(slot.slotBase())->length);
115 }
116
117 bool ArrayInstance::getOwnPropertySlot(ExecState* exec, const Identifier& propertyName, PropertySlot& slot)
118 {
119   if (propertyName == exec->propertyNames().length) {
120     slot.setCustom(this, lengthGetter);
121     return true;
122   }
123
124   bool ok;
125   unsigned index = propertyName.toArrayIndex(&ok);
126   if (ok) {
127     if (index >= length)
128       return false;
129     if (index < storageLength) {
130       JSValue *v = storage[index];
131       if (!v)
132         return false;      
133       slot.setValueSlot(this, &storage[index]);
134       return true;
135     }
136   }
137
138   return JSObject::getOwnPropertySlot(exec, propertyName, slot);
139 }
140
141 bool ArrayInstance::getOwnPropertySlot(ExecState *exec, unsigned index, PropertySlot& slot)
142 {
143   if (index > MAX_ARRAY_INDEX)
144     return getOwnPropertySlot(exec, Identifier::from(index), slot);
145
146   if (index >= length)
147     return false;
148   if (index < storageLength) {
149     JSValue *v = storage[index];
150     if (!v)
151       return false;
152     slot.setValueSlot(this, &storage[index]);
153     return true;
154   }
155
156   return JSObject::getOwnPropertySlot(exec, index, slot);
157 }
158
159 // Special implementation of [[Put]] - see ECMA 15.4.5.1
160 void ArrayInstance::put(ExecState* exec, const Identifier& propertyName, JSValue* value, int attr)
161 {
162   if (propertyName == exec->propertyNames().length) {
163     unsigned int newLen = value->toUInt32(exec);
164     if (value->toNumber(exec) != double(newLen)) {
165       throwError(exec, RangeError, "Invalid array length.");
166       return;
167     }
168     setLength(newLen, exec);
169     return;
170   }
171   
172   bool ok;
173   unsigned index = propertyName.toArrayIndex(&ok);
174   if (ok) {
175     put(exec, index, value, attr);
176     return;
177   }
178   
179   JSObject::put(exec, propertyName, value, attr);
180 }
181
182 void ArrayInstance::put(ExecState *exec, unsigned index, JSValue *value, int attr)
183 {
184   //0xFFFF FFFF is a bit weird --- it should be treated as a non-array index, even when
185   //it's a string 
186   if (index > MAX_ARRAY_INDEX) {
187     put(exec, Identifier::from(index), value, attr);
188     return;
189   }
190
191   if (index < sparseArrayCutoff && index >= storageLength) {
192     resizeStorage(index + 1);
193   }
194
195   if (index >= length) {
196     length = index + 1;
197   }
198
199   if (index < storageLength) {
200     storage[index] = value;
201     return;
202   }
203   
204   assert(index >= sparseArrayCutoff);
205   JSObject::put(exec, Identifier::from(index), value, attr);
206 }
207
208 bool ArrayInstance::deleteProperty(ExecState* exec, const Identifier &propertyName)
209 {
210   if (propertyName == exec->propertyNames().length)
211     return false;
212   
213   bool ok;
214   uint32_t index = propertyName.toArrayIndex(&ok);
215   if (ok) {
216     if (index >= length)
217       return true;
218     if (index < storageLength) {
219       storage[index] = 0;
220       return true;
221     }
222   }
223   
224   return JSObject::deleteProperty(exec, propertyName);
225 }
226
227 bool ArrayInstance::deleteProperty(ExecState *exec, unsigned index)
228 {
229   if (index > MAX_ARRAY_INDEX)
230     return deleteProperty(exec, Identifier::from(index));
231
232   if (index >= length)
233     return true;
234   if (index < storageLength) {
235     storage[index] = 0;
236     return true;
237   }
238   
239   return JSObject::deleteProperty(exec, Identifier::from(index));
240 }
241
242 void ArrayInstance::getPropertyNames(ExecState* exec, PropertyNameArray& propertyNames)
243 {
244   // avoid fetching this every time through the loop
245   JSValue* undefined = jsUndefined();
246   
247   for (unsigned i = 0; i < storageLength; ++i) {
248     JSValue* value = storage[i];
249     if (value && value != undefined)
250       propertyNames.add(Identifier::from(i));
251   }
252  
253   JSObject::getPropertyNames(exec, propertyNames);
254 }
255
256 void ArrayInstance::resizeStorage(unsigned newLength)
257 {
258     if (newLength < storageLength) {
259       memset(storage + newLength, 0, sizeof(JSValue *) * (storageLength - newLength));
260     }
261     size_t cap = capacity();
262     if (newLength > cap) {
263       unsigned newCapacity;
264       if (newLength > sparseArrayCutoff) {
265         newCapacity = newLength;
266       } else {
267         newCapacity = (newLength * 3 + 1) / 2;
268         if (newCapacity > sparseArrayCutoff) {
269           newCapacity = sparseArrayCutoff;
270         }
271       }
272       
273       reallocateStorage(storage, newCapacity);
274       memset(storage + cap, 0, sizeof(JSValue*) * (newCapacity - cap));
275     }
276     storageLength = newLength;
277 }
278
279 void ArrayInstance::setLength(unsigned newLength, ExecState *exec)
280 {
281   if (newLength <= storageLength) {
282     resizeStorage(newLength);
283   }
284
285   if (newLength < length) {
286     PropertyNameArray sparseProperties;
287     
288     _prop.getSparseArrayPropertyNames(sparseProperties);
289     
290     PropertyNameArrayIterator end = sparseProperties.end();
291     
292     for (PropertyNameArrayIterator it = sparseProperties.begin(); it != end; ++it) {
293       Identifier name = *it;
294       bool ok;
295       unsigned index = name.toArrayIndex(&ok);
296       if (ok && index > newLength)
297         deleteProperty(exec, name);
298     }
299   }
300   
301   length = newLength;
302 }
303
304 void ArrayInstance::mark()
305 {
306   JSObject::mark();
307   unsigned l = storageLength;
308   for (unsigned i = 0; i < l; ++i) {
309     JSValue *imp = storage[i];
310     if (imp && !imp->marked())
311       imp->mark();
312   }
313 }
314
315 static ExecState* execForCompareByStringForQSort = 0;
316
317 static int compareByStringForQSort(const void *a, const void *b)
318 {
319     ExecState *exec = execForCompareByStringForQSort;
320     JSValue *va = *(JSValue **)a;
321     JSValue *vb = *(JSValue **)b;
322     if (va->isUndefined()) {
323         return vb->isUndefined() ? 0 : 1;
324     }
325     if (vb->isUndefined()) {
326         return -1;
327     }
328     return compare(va->toString(exec), vb->toString(exec));
329 }
330
331 void ArrayInstance::sort(ExecState* exec)
332 {
333     size_t lengthNotIncludingUndefined = compactForSorting();
334       
335     ExecState* oldExec = execForCompareByStringForQSort;
336     execForCompareByStringForQSort = exec;
337 #if HAVE(MERGESORT)
338     // mergesort usually does fewer compares, so it is actually faster than qsort for JS sorts.
339     // however, becuase it requires extra copies of the storage buffer, don't use it for very
340     // large arrays
341     // FIXME: for sorting by string value, the fastest thing would actually be to convert all the
342     // values to string once up front, and then use a radix sort. That would be O(N) rather than 
343     // O(N log N).
344     if (lengthNotIncludingUndefined < sparseArrayCutoff) {
345         JSValue** storageCopy = allocateStorage(capacity());
346         memcpy(storageCopy, storage, capacity() * sizeof(JSValue*));
347         mergesort(storageCopy, lengthNotIncludingUndefined, sizeof(JSValue *), compareByStringForQSort);
348         freeStorage(storage);
349         storage = storageCopy;
350         execForCompareByStringForQSort = oldExec;
351         return;
352     }
353 #endif
354
355     qsort(storage, lengthNotIncludingUndefined, sizeof(JSValue*), compareByStringForQSort);
356     execForCompareByStringForQSort = oldExec;
357 }
358
359 struct CompareWithCompareFunctionArguments {
360     CompareWithCompareFunctionArguments(ExecState *e, JSObject *cf)
361         : exec(e)
362         , compareFunction(cf)
363         , globalObject(e->dynamicInterpreter()->globalObject())
364     {
365         arguments.append(jsUndefined());
366         arguments.append(jsUndefined());
367     }
368
369     ExecState *exec;
370     JSObject *compareFunction;
371     List arguments;
372     JSObject *globalObject;
373 };
374
375 static CompareWithCompareFunctionArguments* compareWithCompareFunctionArguments = 0;
376
377 static int compareWithCompareFunctionForQSort(const void *a, const void *b)
378 {
379     CompareWithCompareFunctionArguments *args = compareWithCompareFunctionArguments;
380
381     JSValue *va = *(JSValue **)a;
382     JSValue *vb = *(JSValue **)b;
383     if (va->isUndefined()) {
384         return vb->isUndefined() ? 0 : 1;
385     }
386     if (vb->isUndefined()) {
387         return -1;
388     }
389
390     args->arguments.clear();
391     args->arguments.append(va);
392     args->arguments.append(vb);
393     double compareResult = args->compareFunction->call
394         (args->exec, args->globalObject, args->arguments)->toNumber(args->exec);
395     return compareResult < 0 ? -1 : compareResult > 0 ? 1 : 0;
396 }
397
398 void ArrayInstance::sort(ExecState* exec, JSObject* compareFunction)
399 {
400     size_t lengthNotIncludingUndefined = compactForSorting();
401
402     CompareWithCompareFunctionArguments* oldArgs = compareWithCompareFunctionArguments;
403     CompareWithCompareFunctionArguments args(exec, compareFunction);
404     compareWithCompareFunctionArguments = &args;
405 #if HAVE(MERGESORT)
406     // mergesort usually does fewer compares, so it is actually faster than qsort for JS sorts.
407     // however, becuase it requires extra copies of the storage buffer, don't use it for very
408     // large arrays
409     // FIXME: a tree sort using a perfectly balanced tree (e.g. an AVL tree) could do an even
410     // better job of minimizing compares
411     if (lengthNotIncludingUndefined < sparseArrayCutoff) {
412         JSValue** storageCopy = allocateStorage(capacity());
413         memcpy(storageCopy, storage, capacity() * sizeof(JSValue*));
414         mergesort(storageCopy, lengthNotIncludingUndefined, sizeof(JSValue *), compareWithCompareFunctionForQSort);
415         freeStorage(storage);
416         storage = storageCopy;
417         compareWithCompareFunctionArguments = oldArgs;
418         return;
419     }
420 #endif
421     qsort(storage, lengthNotIncludingUndefined, sizeof(JSValue*), compareWithCompareFunctionForQSort);
422     compareWithCompareFunctionArguments = oldArgs;
423 }
424
425 unsigned ArrayInstance::compactForSorting()
426 {
427     JSValue *undefined = jsUndefined();
428
429     unsigned o = 0;
430     
431     for (unsigned i = 0; i != storageLength; ++i) {
432         JSValue *v = storage[i];
433         if (v && v != undefined) {
434             if (o != i)
435                 storage[o] = v;
436             o++;
437         }
438     }
439    
440     PropertyNameArray sparseProperties;
441     _prop.getSparseArrayPropertyNames(sparseProperties);
442     unsigned newLength = o + sparseProperties.size();
443     
444     if (newLength > storageLength)
445         resizeStorage(newLength);
446     
447     PropertyNameArrayIterator end = sparseProperties.end();
448     for (PropertyNameArrayIterator it = sparseProperties.begin(); it != end; ++it) {
449         Identifier name = *it;
450         storage[o] = getDirect(name);
451         _prop.remove(name);
452         o++;
453     }
454     
455     if (newLength != storageLength)
456         memset(storage + o, 0, sizeof(JSValue *) * (storageLength - o));
457     
458     return o;
459 }
460
461 // ------------------------------ ArrayPrototype ----------------------------
462
463 const ClassInfo ArrayPrototype::info = {"Array", &ArrayInstance::info, &arrayTable, 0};
464
465 /* Source for array_object.lut.h
466 @begin arrayTable 16
467   toString       ArrayProtoFunc::ToString       DontEnum|Function 0
468   toLocaleString ArrayProtoFunc::ToLocaleString DontEnum|Function 0
469   concat         ArrayProtoFunc::Concat         DontEnum|Function 1
470   join           ArrayProtoFunc::Join           DontEnum|Function 1
471   pop            ArrayProtoFunc::Pop            DontEnum|Function 0
472   push           ArrayProtoFunc::Push           DontEnum|Function 1
473   reverse        ArrayProtoFunc::Reverse        DontEnum|Function 0
474   shift          ArrayProtoFunc::Shift          DontEnum|Function 0
475   slice          ArrayProtoFunc::Slice          DontEnum|Function 2
476   sort           ArrayProtoFunc::Sort           DontEnum|Function 1
477   splice         ArrayProtoFunc::Splice         DontEnum|Function 2
478   unshift        ArrayProtoFunc::UnShift        DontEnum|Function 1
479   every          ArrayProtoFunc::Every          DontEnum|Function 1
480   forEach        ArrayProtoFunc::ForEach        DontEnum|Function 1
481   some           ArrayProtoFunc::Some           DontEnum|Function 1
482   indexOf        ArrayProtoFunc::IndexOf        DontEnum|Function 1
483   lastIndexOf    ArrayProtoFunc::LastIndexOf    DontEnum|Function 1
484   filter         ArrayProtoFunc::Filter         DontEnum|Function 1
485   map            ArrayProtoFunc::Map            DontEnum|Function 1
486 @end
487 */
488
489 // ECMA 15.4.4
490 ArrayPrototype::ArrayPrototype(ExecState*, ObjectPrototype* objProto)
491   : ArrayInstance(objProto, 0)
492 {
493 }
494
495 bool ArrayPrototype::getOwnPropertySlot(ExecState* exec, const Identifier& propertyName, PropertySlot& slot)
496 {
497   return getStaticFunctionSlot<ArrayProtoFunc, ArrayInstance>(exec, &arrayTable, this, propertyName, slot);
498 }
499
500 // ------------------------------ ArrayProtoFunc ----------------------------
501
502 ArrayProtoFunc::ArrayProtoFunc(ExecState* exec, int i, int len, const Identifier& name)
503   : InternalFunctionImp(static_cast<FunctionPrototype*>
504                         (exec->lexicalInterpreter()->builtinFunctionPrototype()), name)
505   , id(i)
506 {
507   put(exec, exec->propertyNames().length, jsNumber(len), DontDelete | ReadOnly | DontEnum);
508 }
509
510 static JSValue *getProperty(ExecState *exec, JSObject *obj, unsigned index)
511 {
512     PropertySlot slot;
513     if (!obj->getPropertySlot(exec, index, slot))
514         return NULL;
515     return slot.getValue(exec, obj, index);
516 }
517
518 // ECMA 15.4.4
519 JSValue* ArrayProtoFunc::callAsFunction(ExecState* exec, JSObject* thisObj, const List& args)
520 {
521   unsigned length = thisObj->get(exec, exec->propertyNames().length)->toUInt32(exec);
522
523   JSValue *result = 0; // work around gcc 4.0 bug in uninitialized variable warning
524   
525   switch (id) {
526   case ToLocaleString:
527   case ToString:
528
529     if (!thisObj->inherits(&ArrayInstance::info))
530       return throwError(exec, TypeError);
531
532     // fall through
533   case Join: {
534     static HashSet<JSObject*> visitedElems;
535     if (visitedElems.contains(thisObj))
536         return jsString("");
537     UString separator = ",";
538     UString str = "";
539
540     visitedElems.add(thisObj);
541     if (id == Join && !args[0]->isUndefined())
542         separator = args[0]->toString(exec);
543     for (unsigned int k = 0; k < length; k++) {
544         if (k >= 1)
545             str += separator;
546
547         JSValue* element = thisObj->get(exec, k);
548         if (element->isUndefinedOrNull())
549             continue;
550
551         bool fallback = false;
552         if (id == ToLocaleString) {
553             JSObject* o = element->toObject(exec);
554             JSValue* conversionFunction = o->get(exec, exec->propertyNames().toLocaleString);
555             if (conversionFunction->isObject() && static_cast<JSObject*>(conversionFunction)->implementsCall())
556                 str += static_cast<JSObject*>(conversionFunction)->call(exec, o, List())->toString(exec);
557             else
558                 // try toString() fallback
559                 fallback = true;
560         }
561
562         if (id == ToString || id == Join || fallback)
563             str += element->toString(exec);
564
565         if (exec->hadException())
566             break;
567     }
568     visitedElems.remove(thisObj);
569     result = jsString(str);
570     break;
571   }
572   case Concat: {
573     JSObject *arr = static_cast<JSObject *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
574     int n = 0;
575     JSValue *curArg = thisObj;
576     JSObject *curObj = static_cast<JSObject *>(thisObj);
577     ListIterator it = args.begin();
578     for (;;) {
579       if (curArg->isObject() &&
580           curObj->inherits(&ArrayInstance::info)) {
581         unsigned int k = 0;
582         // Older versions tried to optimize out getting the length of thisObj
583         // by checking for n != 0, but that doesn't work if thisObj is an empty array.
584         length = curObj->get(exec, exec->propertyNames().length)->toUInt32(exec);
585         while (k < length) {
586           if (JSValue *v = getProperty(exec, curObj, k))
587             arr->put(exec, n, v);
588           n++;
589           k++;
590         }
591       } else {
592         arr->put(exec, n, curArg);
593         n++;
594       }
595       if (it == args.end())
596         break;
597       curArg = *it;
598       curObj = static_cast<JSObject *>(it++); // may be 0
599     }
600     arr->put(exec, exec->propertyNames().length, jsNumber(n), DontEnum | DontDelete);
601
602     result = arr;
603     break;
604   }
605   case Pop:{
606     if (length == 0) {
607       thisObj->put(exec, exec->propertyNames().length, jsNumber(length), DontEnum | DontDelete);
608       result = jsUndefined();
609     } else {
610       result = thisObj->get(exec, length - 1);
611       thisObj->put(exec, exec->propertyNames().length, jsNumber(length - 1), DontEnum | DontDelete);
612     }
613     break;
614   }
615   case Push: {
616     for (int n = 0; n < args.size(); n++)
617       thisObj->put(exec, length + n, args[n]);
618     length += args.size();
619     thisObj->put(exec, exec->propertyNames().length, jsNumber(length), DontEnum | DontDelete);
620     result = jsNumber(length);
621     break;
622   }
623   case Reverse: {
624
625     unsigned int middle = length / 2;
626
627     for (unsigned int k = 0; k < middle; k++) {
628       unsigned lk1 = length - k - 1;
629       JSValue *obj2 = getProperty(exec, thisObj, lk1);
630       JSValue *obj = getProperty(exec, thisObj, k);
631
632       if (obj2) 
633         thisObj->put(exec, k, obj2);
634       else
635         thisObj->deleteProperty(exec, k);
636
637       if (obj)
638         thisObj->put(exec, lk1, obj);
639       else
640         thisObj->deleteProperty(exec, lk1);
641     }
642     result = thisObj;
643     break;
644   }
645   case Shift: {
646     if (length == 0) {
647       thisObj->put(exec, exec->propertyNames().length, jsNumber(length), DontEnum | DontDelete);
648       result = jsUndefined();
649     } else {
650       result = thisObj->get(exec, 0);
651       for(unsigned int k = 1; k < length; k++) {
652         if (JSValue *obj = getProperty(exec, thisObj, k))
653           thisObj->put(exec, k-1, obj);
654         else
655           thisObj->deleteProperty(exec, k-1);
656       }
657       thisObj->deleteProperty(exec, length - 1);
658       thisObj->put(exec, exec->propertyNames().length, jsNumber(length - 1), DontEnum | DontDelete);
659     }
660     break;
661   }
662   case Slice: {
663     // http://developer.netscape.com/docs/manuals/js/client/jsref/array.htm#1193713 or 15.4.4.10
664
665     // We return a new array
666     JSObject *resObj = static_cast<JSObject *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
667     result = resObj;
668     double begin = 0;
669     if (!args[0]->isUndefined()) {
670         begin = args[0]->toInteger(exec);
671         if (begin >= 0) { // false for NaN
672             if (begin > length)
673                 begin = length;
674         } else {
675             begin += length;
676             if (!(begin >= 0)) // true for NaN
677                 begin = 0;
678         }
679     }
680     double end = length;
681     if (!args[1]->isUndefined()) {
682       end = args[1]->toInteger(exec);
683       if (end < 0) { // false for NaN
684         end += length;
685         if (end < 0)
686           end = 0;
687       } else {
688         if (!(end <= length)) // true for NaN
689           end = length;
690       }
691     }
692
693     //printf( "Slicing from %d to %d \n", begin, end );
694     int n = 0;
695     int b = static_cast<int>(begin);
696     int e = static_cast<int>(end);
697     for(int k = b; k < e; k++, n++) {
698       if (JSValue *v = getProperty(exec, thisObj, k))
699         resObj->put(exec, n, v);
700     }
701     resObj->put(exec, exec->propertyNames().length, jsNumber(n), DontEnum | DontDelete);
702     break;
703   }
704   case Sort:{
705 #if 0
706     printf("KJS Array::Sort length=%d\n", length);
707     for ( unsigned int i = 0 ; i<length ; ++i )
708       printf("KJS Array::Sort: %d: %s\n", i, thisObj->get(exec, i)->toString(exec).ascii() );
709 #endif
710     JSObject *sortFunction = NULL;
711     if (!args[0]->isUndefined())
712       {
713         sortFunction = args[0]->toObject(exec);
714         if (!sortFunction->implementsCall())
715           sortFunction = NULL;
716       }
717     
718     if (thisObj->classInfo() == &ArrayInstance::info) {
719       if (sortFunction)
720         ((ArrayInstance *)thisObj)->sort(exec, sortFunction);
721       else
722         ((ArrayInstance *)thisObj)->sort(exec);
723       result = thisObj;
724       break;
725     }
726
727     if (length == 0) {
728       thisObj->put(exec, exec->propertyNames().length, jsNumber(0), DontEnum | DontDelete);
729       result = thisObj;
730       break;
731     }
732
733     // "Min" sort. Not the fastest, but definitely less code than heapsort
734     // or quicksort, and much less swapping than bubblesort/insertionsort.
735     for ( unsigned int i = 0 ; i<length-1 ; ++i )
736       {
737         JSValue *iObj = thisObj->get(exec,i);
738         unsigned int themin = i;
739         JSValue *minObj = iObj;
740         for ( unsigned int j = i+1 ; j<length ; ++j )
741           {
742             JSValue *jObj = thisObj->get(exec,j);
743             double cmp;
744             if (jObj->isUndefined()) {
745               cmp = 1; // don't check minObj because there's no need to differentiate == (0) from > (1)
746             } else if (minObj->isUndefined()) {
747               cmp = -1;
748             } else if (sortFunction) {
749                 List l;
750                 l.append(jObj);
751                 l.append(minObj);
752                 cmp = sortFunction->call(exec, exec->dynamicInterpreter()->globalObject(), l)->toNumber(exec);
753             } else {
754               cmp = (jObj->toString(exec) < minObj->toString(exec)) ? -1 : 1;
755             }
756             if ( cmp < 0 )
757               {
758                 themin = j;
759                 minObj = jObj;
760               }
761           }
762         // Swap themin and i
763         if ( themin > i )
764           {
765             //printf("KJS Array::Sort: swapping %d and %d\n", i, themin );
766             thisObj->put( exec, i, minObj );
767             thisObj->put( exec, themin, iObj );
768           }
769       }
770 #if 0
771     printf("KJS Array::Sort -- Resulting array:\n");
772     for ( unsigned int i = 0 ; i<length ; ++i )
773       printf("KJS Array::Sort: %d: %s\n", i, thisObj->get(exec, i)->toString(exec).ascii() );
774 #endif
775     result = thisObj;
776     break;
777   }
778   case Splice: {
779     // 15.4.4.12 - oh boy this is huge
780     JSObject *resObj = static_cast<JSObject *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
781     result = resObj;
782     int begin = args[0]->toUInt32(exec);
783     if ( begin < 0 )
784       begin = maxInt( begin + length, 0 );
785     else
786       begin = minInt( begin, length );
787     unsigned int deleteCount = minInt( maxInt( args[1]->toUInt32(exec), 0 ), length - begin );
788
789     //printf( "Splicing from %d, deleteCount=%d \n", begin, deleteCount );
790     for(unsigned int k = 0; k < deleteCount; k++) {
791       if (JSValue *v = getProperty(exec, thisObj, k+begin))
792         resObj->put(exec, k, v);
793     }
794     resObj->put(exec, exec->propertyNames().length, jsNumber(deleteCount), DontEnum | DontDelete);
795
796     unsigned int additionalArgs = maxInt( args.size() - 2, 0 );
797     if ( additionalArgs != deleteCount )
798     {
799       if ( additionalArgs < deleteCount )
800       {
801         for ( unsigned int k = begin; k < length - deleteCount; ++k )
802         {
803           if (JSValue *v = getProperty(exec, thisObj, k+deleteCount))
804             thisObj->put(exec, k+additionalArgs, v);
805           else
806             thisObj->deleteProperty(exec, k+additionalArgs);
807         }
808         for ( unsigned int k = length ; k > length - deleteCount + additionalArgs; --k )
809           thisObj->deleteProperty(exec, k-1);
810       }
811       else
812       {
813         for ( unsigned int k = length - deleteCount; (int)k > begin; --k )
814         {
815           if (JSValue *obj = getProperty(exec, thisObj, k + deleteCount - 1))
816             thisObj->put(exec, k + additionalArgs - 1, obj);
817           else
818             thisObj->deleteProperty(exec, k+additionalArgs-1);
819         }
820       }
821     }
822     for ( unsigned int k = 0; k < additionalArgs; ++k )
823     {
824       thisObj->put(exec, k+begin, args[k+2]);
825     }
826     thisObj->put(exec, exec->propertyNames().length, jsNumber(length - deleteCount + additionalArgs), DontEnum | DontDelete);
827     break;
828   }
829   case UnShift: { // 15.4.4.13
830     unsigned int nrArgs = args.size();
831     for ( unsigned int k = length; k > 0; --k )
832     {
833       if (JSValue *v = getProperty(exec, thisObj, k - 1))
834         thisObj->put(exec, k+nrArgs-1, v);
835       else
836         thisObj->deleteProperty(exec, k+nrArgs-1);
837     }
838     for ( unsigned int k = 0; k < nrArgs; ++k )
839       thisObj->put(exec, k, args[k]);
840     result = jsNumber(length + nrArgs);
841     thisObj->put(exec, exec->propertyNames().length, result, DontEnum | DontDelete);
842     break;
843   }
844   case Filter:
845   case Map: {
846     JSObject *eachFunction = args[0]->toObject(exec);
847     
848     if (!eachFunction->implementsCall())
849       return throwError(exec, TypeError);
850     
851     JSObject *applyThis = args[1]->isUndefinedOrNull() ? exec->dynamicInterpreter()->globalObject() :  args[1]->toObject(exec);
852     JSObject *resultArray;
853     
854     if (id == Filter) 
855       resultArray = static_cast<JSObject *>(exec->lexicalInterpreter()->builtinArray()->construct(exec, List::empty()));
856     else {
857       List args;
858       args.append(jsNumber(length));
859       resultArray = static_cast<JSObject *>(exec->lexicalInterpreter()->builtinArray()->construct(exec, args));
860     }
861     
862     unsigned filterIndex = 0;
863     for (unsigned k = 0; k < length && !exec->hadException(); ++k) {
864       PropertySlot slot;
865
866       if (!thisObj->getPropertySlot(exec, k, slot))
867          continue;
868         
869       JSValue *v = slot.getValue(exec, thisObj, k);
870       
871       List eachArguments;
872       
873       eachArguments.append(v);
874       eachArguments.append(jsNumber(k));
875       eachArguments.append(thisObj);
876       
877       JSValue *result = eachFunction->call(exec, applyThis, eachArguments);
878       
879       if (id == Map)
880         resultArray->put(exec, k, result);
881       else if (result->toBoolean(exec)) 
882         resultArray->put(exec, filterIndex++, v);
883     }
884     
885     return resultArray;
886   }
887   case Every:
888   case ForEach:
889   case Some: {
890     //Documentation for these three is available at:
891     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:every
892     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:forEach
893     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:some
894     
895     JSObject *eachFunction = args[0]->toObject(exec);
896     
897     if (!eachFunction->implementsCall())
898       return throwError(exec, TypeError);
899     
900     JSObject *applyThis = args[1]->isUndefinedOrNull() ? exec->dynamicInterpreter()->globalObject() :  args[1]->toObject(exec);
901     
902     if (id == Some || id == Every)
903       result = jsBoolean(id == Every);
904     else
905       result = jsUndefined();
906     
907     for (unsigned k = 0; k < length && !exec->hadException(); ++k) {
908       PropertySlot slot;
909         
910       if (!thisObj->getPropertySlot(exec, k, slot))
911         continue;
912       
913       List eachArguments;
914       
915       eachArguments.append(slot.getValue(exec, thisObj, k));
916       eachArguments.append(jsNumber(k));
917       eachArguments.append(thisObj);
918       
919       bool predicateResult = eachFunction->call(exec, applyThis, eachArguments)->toBoolean(exec);
920       
921       if (id == Every && !predicateResult) {
922         result = jsBoolean(false);
923         break;
924       }
925       if (id == Some && predicateResult) {
926         result = jsBoolean(true);
927         break;
928       }
929     }
930     break;
931   }
932
933   case IndexOf: {
934     // JavaScript 1.5 Extension by Mozilla
935     // Documentation: http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Global_Objects:Array:indexOf
936
937     unsigned index = 0;
938     double d = args[1]->toInteger(exec);
939     if (d < 0)
940         d += length;
941     if (d > 0) {
942         if (d > length)
943             index = length;
944         else
945             index = static_cast<unsigned>(d);
946     }
947
948     JSValue* searchElement = args[0];
949     for (; index < length; ++index) {
950         JSValue* e = getProperty(exec, thisObj, index);
951         if (!e)
952             continue;
953         if (strictEqual(exec, searchElement, e))
954             return jsNumber(index);
955     }
956
957     return jsNumber(-1);
958   }
959   case LastIndexOf: {
960        // JavaScript 1.6 Extension by Mozilla
961       // Documentation: http://developer.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Global_Objects:Array:lastIndexOf 
962
963     int index = length - 1;
964     double d = args[1]->toInteger(exec);
965
966     if (d < 0) {
967         d += length;
968         if (d < 0) 
969             return jsNumber(-1);
970     }
971     if (d < length)
972         index = static_cast<int>(d);
973           
974     JSValue* searchElement = args[0];
975     for (; index >= 0; --index) {
976         JSValue* e = getProperty(exec, thisObj, index);
977         if (!e)
978             continue;
979         if (strictEqual(exec, searchElement, e))
980             return jsNumber(index);
981     }
982           
983     return jsNumber(-1);
984 }
985   default:
986     assert(0);
987     result = 0;
988     break;
989   }
990   return result;
991 }
992
993 // ------------------------------ ArrayObjectImp -------------------------------
994
995 ArrayObjectImp::ArrayObjectImp(ExecState *exec,
996                                FunctionPrototype *funcProto,
997                                ArrayPrototype *arrayProto)
998   : InternalFunctionImp(funcProto)
999 {
1000   // ECMA 15.4.3.1 Array.prototype
1001   put(exec, exec->propertyNames().prototype, arrayProto, DontEnum|DontDelete|ReadOnly);
1002
1003   // no. of arguments for constructor
1004   put(exec, exec->propertyNames().length, jsNumber(1), ReadOnly|DontDelete|DontEnum);
1005 }
1006
1007 bool ArrayObjectImp::implementsConstruct() const
1008 {
1009   return true;
1010 }
1011
1012 // ECMA 15.4.2
1013 JSObject *ArrayObjectImp::construct(ExecState *exec, const List &args)
1014 {
1015   // a single numeric argument denotes the array size (!)
1016   if (args.size() == 1 && args[0]->isNumber()) {
1017     uint32_t n = args[0]->toUInt32(exec);
1018     if (n != args[0]->toNumber(exec))
1019       return throwError(exec, RangeError, "Array size is not a small enough positive integer.");
1020     return new ArrayInstance(exec->lexicalInterpreter()->builtinArrayPrototype(), n);
1021   }
1022
1023   // otherwise the array is constructed with the arguments in it
1024   return new ArrayInstance(exec->lexicalInterpreter()->builtinArrayPrototype(), args);
1025 }
1026
1027 // ECMA 15.6.1
1028 JSValue *ArrayObjectImp::callAsFunction(ExecState *exec, JSObject *, const List &args)
1029 {
1030   // equivalent to 'new Array(....)'
1031   return construct(exec,args);
1032 }