- fixed two problems compiling with gcc 4.0
[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 Apple Computer, Inc.
6  *
7  *  This library is free software; you can redistribute it and/or
8  *  modify it under the terms of the GNU Lesser General Public
9  *  License as published by the Free Software Foundation; either
10  *  version 2 of the License, or (at your option) any later version.
11  *
12  *  This library is distributed in the hope that it will be useful,
13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  *  Lesser General Public License for more details.
16  *
17  *  You should have received a copy of the GNU Lesser General Public
18  *  License along with this library; if not, write to the Free Software
19  *  Foundation, Inc., 51 Franklin Steet, Fifth Floor, Boston, MA  02110-1301  USA
20  *
21  */
22
23 #include "array_object.h"
24
25 #include "error_object.h"
26 #include "internal.h"
27 #include "interpreter.h"
28 #include "object.h"
29 #include "operations.h"
30 #include "reference_list.h"
31 #include "types.h"
32 #include "value.h"
33
34 #include "array_object.lut.h"
35
36 #include <stdio.h>
37 #include <assert.h>
38
39 using namespace KJS;
40
41 // ------------------------------ ArrayInstanceImp -----------------------------
42
43 const unsigned sparseArrayCutoff = 10000;
44
45 const ClassInfo ArrayInstanceImp::info = {"Array", 0, 0, 0};
46
47 ArrayInstanceImp::ArrayInstanceImp(ObjectImp *proto, unsigned initialLength)
48   : ObjectImp(proto)
49   , length(initialLength)
50   , storageLength(initialLength < sparseArrayCutoff ? initialLength : 0)
51   , capacity(storageLength)
52   , storage(capacity ? (ValueImp **)calloc(capacity, sizeof(ValueImp *)) : 0)
53 {
54 }
55
56 ArrayInstanceImp::ArrayInstanceImp(ObjectImp *proto, const List &list)
57   : ObjectImp(proto)
58   , length(list.size())
59   , storageLength(length)
60   , capacity(storageLength)
61   , storage(capacity ? (ValueImp **)malloc(sizeof(ValueImp *) * capacity) : 0)
62 {
63   ListIterator it = list.begin();
64   unsigned l = length;
65   for (unsigned i = 0; i < l; ++i) {
66     storage[i] = it++;
67   }
68 }
69
70 ArrayInstanceImp::~ArrayInstanceImp()
71 {
72   free(storage);
73 }
74
75 ValueImp *ArrayInstanceImp::lengthGetter(ExecState *exec, const Identifier& propertyName, const PropertySlot& slot)
76 {
77   return Number(static_cast<ArrayInstanceImp *>(slot.slotBase())->length);
78 }
79
80 bool ArrayInstanceImp::getOwnPropertySlot(ExecState *exec, const Identifier& propertyName, PropertySlot& slot)
81 {
82   if (propertyName == lengthPropertyName) {
83     slot.setCustom(this, lengthGetter);
84     return true;
85   }
86
87   bool ok;
88   unsigned index = propertyName.toArrayIndex(&ok);
89   if (ok) {
90     if (index >= length)
91       return false;
92     if (index < storageLength) {
93       ValueImp *v = storage[index];
94       if (!v || v->isUndefined())
95         return false;      
96       slot.setValueSlot(this, &storage[index]);
97       return true;
98     }
99   }
100
101   return ObjectImp::getOwnPropertySlot(exec, propertyName, slot);
102 }
103
104 bool ArrayInstanceImp::getOwnPropertySlot(ExecState *exec, unsigned index, PropertySlot& slot)
105 {
106   if (index >= length)
107     return false;
108   if (index < storageLength) {
109     ValueImp *v = storage[index];
110     if (!v || v->isUndefined())
111       return false;
112     slot.setValueSlot(this, &storage[index]);
113     return true;
114   }
115
116   return ObjectImp::getOwnPropertySlot(exec, index, slot);
117 }
118
119 // Special implementation of [[Put]] - see ECMA 15.4.5.1
120 void ArrayInstanceImp::put(ExecState *exec, const Identifier &propertyName, ValueImp *value, int attr)
121 {
122   if (propertyName == lengthPropertyName) {
123     setLength(value->toUInt32(exec), exec);
124     return;
125   }
126   
127   bool ok;
128   unsigned index = propertyName.toArrayIndex(&ok);
129   if (ok) {
130     put(exec, index, value, attr);
131     return;
132   }
133   
134   ObjectImp::put(exec, propertyName, value, attr);
135 }
136
137 void ArrayInstanceImp::put(ExecState *exec, unsigned index, ValueImp *value, int attr)
138 {
139   if (index < sparseArrayCutoff && index >= storageLength) {
140     resizeStorage(index + 1);
141   }
142
143   if (index >= length) {
144     length = index + 1;
145   }
146
147   if (index < storageLength) {
148     storage[index] = value;
149     return;
150   }
151   
152   assert(index >= sparseArrayCutoff);
153   ObjectImp::put(exec, Identifier::from(index), value, attr);
154 }
155
156 bool ArrayInstanceImp::deleteProperty(ExecState *exec, const Identifier &propertyName)
157 {
158   if (propertyName == lengthPropertyName)
159     return false;
160   
161   bool ok;
162   uint32_t index = propertyName.toUInt32(&ok);
163   if (ok) {
164     if (index >= length)
165       return true;
166     if (index < storageLength) {
167       storage[index] = 0;
168       return true;
169     }
170   }
171   
172   return ObjectImp::deleteProperty(exec, propertyName);
173 }
174
175 bool ArrayInstanceImp::deleteProperty(ExecState *exec, unsigned index)
176 {
177   if (index >= length)
178     return true;
179   if (index < storageLength) {
180     storage[index] = 0;
181     return true;
182   }
183   
184   return ObjectImp::deleteProperty(exec, Identifier::from(index));
185 }
186
187 ReferenceList ArrayInstanceImp::propList(ExecState *exec, bool recursive)
188 {
189   ReferenceList properties = ObjectImp::propList(exec,recursive);
190
191   // avoid fetching this every time through the loop
192   ValueImp *undefined = jsUndefined();
193
194   for (unsigned i = 0; i < storageLength; ++i) {
195     ValueImp *imp = storage[i];
196     if (imp && imp != undefined) {
197       properties.append(Reference(this, i));
198     }
199   }
200   return properties;
201 }
202
203 void ArrayInstanceImp::resizeStorage(unsigned newLength)
204 {
205     if (newLength < storageLength) {
206       memset(storage + newLength, 0, sizeof(ValueImp *) * (storageLength - newLength));
207     }
208     if (newLength > capacity) {
209       unsigned newCapacity;
210       if (newLength > sparseArrayCutoff) {
211         newCapacity = newLength;
212       } else {
213         newCapacity = (newLength * 3 + 1) / 2;
214         if (newCapacity > sparseArrayCutoff) {
215           newCapacity = sparseArrayCutoff;
216         }
217       }
218       storage = (ValueImp **)realloc(storage, newCapacity * sizeof (ValueImp *));
219       memset(storage + capacity, 0, sizeof(ValueImp *) * (newCapacity - capacity));
220       capacity = newCapacity;
221     }
222     storageLength = newLength;
223 }
224
225 void ArrayInstanceImp::setLength(unsigned newLength, ExecState *exec)
226 {
227   if (newLength <= storageLength) {
228     resizeStorage(newLength);
229   }
230
231   if (newLength < length) {
232     ReferenceList sparseProperties;
233     
234     _prop.addSparseArrayPropertiesToReferenceList(sparseProperties, this);
235     
236     ReferenceListIterator it = sparseProperties.begin();
237     while (it != sparseProperties.end()) {
238       Reference ref = it++;
239       bool ok;
240       unsigned index = ref.getPropertyName(exec).toArrayIndex(&ok);
241       if (ok && index > newLength) {
242         ref.deleteValue(exec);
243       }
244     }
245   }
246   
247   length = newLength;
248 }
249
250 void ArrayInstanceImp::mark()
251 {
252   ObjectImp::mark();
253   unsigned l = storageLength;
254   for (unsigned i = 0; i < l; ++i) {
255     ValueImp *imp = storage[i];
256     if (imp && !imp->marked())
257       imp->mark();
258   }
259 }
260
261 static ExecState *execForCompareByStringForQSort;
262
263 static int compareByStringForQSort(const void *a, const void *b)
264 {
265     ExecState *exec = execForCompareByStringForQSort;
266     ValueImp *va = *(ValueImp **)a;
267     ValueImp *vb = *(ValueImp **)b;
268     if (va->isUndefined()) {
269         return vb->isUndefined() ? 0 : 1;
270     }
271     if (vb->isUndefined()) {
272         return -1;
273     }
274     return compare(va->toString(exec), vb->toString(exec));
275 }
276
277 void ArrayInstanceImp::sort(ExecState *exec)
278 {
279     int lengthNotIncludingUndefined = pushUndefinedObjectsToEnd(exec);
280     
281     execForCompareByStringForQSort = exec;
282     qsort(storage, lengthNotIncludingUndefined, sizeof(ValueImp *), compareByStringForQSort);
283     execForCompareByStringForQSort = 0;
284 }
285
286 struct CompareWithCompareFunctionArguments {
287     CompareWithCompareFunctionArguments(ExecState *e, ObjectImp *cf)
288         : exec(e)
289         , compareFunction(cf)
290         , globalObject(e->dynamicInterpreter()->globalObject())
291     {
292         arguments.append(Undefined());
293         arguments.append(Undefined());
294     }
295
296     ExecState *exec;
297     ObjectImp *compareFunction;
298     List arguments;
299     ObjectImp *globalObject;
300 };
301
302 static CompareWithCompareFunctionArguments *compareWithCompareFunctionArguments;
303
304 static int compareWithCompareFunctionForQSort(const void *a, const void *b)
305 {
306     CompareWithCompareFunctionArguments *args = compareWithCompareFunctionArguments;
307
308     ValueImp *va = *(ValueImp **)a;
309     ValueImp *vb = *(ValueImp **)b;
310     if (va->isUndefined()) {
311         return vb->isUndefined() ? 0 : 1;
312     }
313     if (vb->isUndefined()) {
314         return -1;
315     }
316
317     args->arguments.clear();
318     args->arguments.append(va);
319     args->arguments.append(vb);
320     double compareResult = args->compareFunction->call
321         (args->exec, args->globalObject, args->arguments)->toNumber(args->exec);
322     return compareResult < 0 ? -1 : compareResult > 0 ? 1 : 0;
323 }
324
325 void ArrayInstanceImp::sort(ExecState *exec, ObjectImp *compareFunction)
326 {
327     int lengthNotIncludingUndefined = pushUndefinedObjectsToEnd(exec);
328     
329     CompareWithCompareFunctionArguments args(exec, compareFunction);
330     compareWithCompareFunctionArguments = &args;
331     qsort(storage, lengthNotIncludingUndefined, sizeof(ValueImp *), compareWithCompareFunctionForQSort);
332     compareWithCompareFunctionArguments = 0;
333 }
334
335 unsigned ArrayInstanceImp::pushUndefinedObjectsToEnd(ExecState *exec)
336 {
337     ValueImp *undefined = jsUndefined();
338
339     unsigned o = 0;
340     
341     for (unsigned i = 0; i != storageLength; ++i) {
342         ValueImp *v = storage[i];
343         if (v && v != undefined) {
344             if (o != i)
345                 storage[o] = v;
346             o++;
347         }
348     }
349     
350     ReferenceList sparseProperties;
351     _prop.addSparseArrayPropertiesToReferenceList(sparseProperties, this);
352     unsigned newLength = o + sparseProperties.length();
353
354     if (newLength > storageLength) {
355       resizeStorage(newLength);
356     } 
357
358     ReferenceListIterator it = sparseProperties.begin();
359     while (it != sparseProperties.end()) {
360       Reference ref = it++;
361       storage[o] = ref.getValue(exec);
362       ObjectImp::deleteProperty(exec, ref.getPropertyName(exec));
363       o++;
364     }
365     
366     if (newLength != storageLength)
367         memset(storage + o, 0, sizeof(ValueImp *) * (storageLength - o));
368     
369     return o;
370 }
371
372 // ------------------------------ ArrayPrototypeImp ----------------------------
373
374 const ClassInfo ArrayPrototypeImp::info = {"Array", &ArrayInstanceImp::info, &arrayTable, 0};
375
376 /* Source for array_object.lut.h
377 @begin arrayTable 16
378   toString       ArrayProtoFuncImp::ToString       DontEnum|Function 0
379   toLocaleString ArrayProtoFuncImp::ToLocaleString DontEnum|Function 0
380   concat         ArrayProtoFuncImp::Concat         DontEnum|Function 1
381   join           ArrayProtoFuncImp::Join           DontEnum|Function 1
382   pop            ArrayProtoFuncImp::Pop            DontEnum|Function 0
383   push           ArrayProtoFuncImp::Push           DontEnum|Function 1
384   reverse        ArrayProtoFuncImp::Reverse        DontEnum|Function 0
385   shift          ArrayProtoFuncImp::Shift          DontEnum|Function 0
386   slice          ArrayProtoFuncImp::Slice          DontEnum|Function 2
387   sort           ArrayProtoFuncImp::Sort           DontEnum|Function 1
388   splice         ArrayProtoFuncImp::Splice         DontEnum|Function 2
389   unshift        ArrayProtoFuncImp::UnShift        DontEnum|Function 1
390   every          ArrayProtoFuncImp::Every          DontEnum|Function 5
391   forEach        ArrayProtoFuncImp::ForEach        DontEnum|Function 5
392   some           ArrayProtoFuncImp::Some           DontEnum|Function 5
393 @end
394 */
395
396 // ECMA 15.4.4
397 ArrayPrototypeImp::ArrayPrototypeImp(ExecState *exec,
398                                      ObjectPrototypeImp *objProto)
399   : ArrayInstanceImp(objProto, 0)
400 {
401   setInternalValue(Null());
402 }
403
404 bool ArrayPrototypeImp::getOwnPropertySlot(ExecState *exec, const Identifier& propertyName, PropertySlot& slot)
405 {
406   return getStaticFunctionSlot<ArrayProtoFuncImp, ArrayInstanceImp>(exec, &arrayTable, this, propertyName, slot);
407 }
408
409 // ------------------------------ ArrayProtoFuncImp ----------------------------
410
411 ArrayProtoFuncImp::ArrayProtoFuncImp(ExecState *exec, int i, int len)
412   : InternalFunctionImp(
413     static_cast<FunctionPrototypeImp*>(exec->lexicalInterpreter()->builtinFunctionPrototype())
414     ), id(i)
415 {
416   put(exec,lengthPropertyName,Number(len),DontDelete|ReadOnly|DontEnum);
417 }
418
419 bool ArrayProtoFuncImp::implementsCall() const
420 {
421   return true;
422 }
423
424 // ECMA 15.4.4
425 ValueImp *ArrayProtoFuncImp::callAsFunction(ExecState *exec, ObjectImp *thisObj, const List &args)
426 {
427   unsigned length = thisObj->get(exec,lengthPropertyName)->toUInt32(exec);
428
429   ValueImp *result = 0; // work around gcc 4.0 bug in uninitialized variable warning
430   
431   switch (id) {
432   case ToLocaleString:
433   case ToString:
434
435     if (!thisObj->inherits(&ArrayInstanceImp::info)) {
436       ObjectImp *err = Error::create(exec,TypeError);
437       exec->setException(err);
438       return err;
439     }
440
441     // fall through
442   case Join: {
443     UString separator = ",";
444     UString str = "";
445
446     if (!args[0]->isUndefined())
447       separator = args[0]->toString(exec);
448     for (unsigned int k = 0; k < length; k++) {
449       if (k >= 1)
450         str += separator;
451       
452       ValueImp *element = thisObj->get(exec, k);
453       if (element->isUndefinedOrNull())
454         continue;
455
456       bool fallback = false;
457       if (id == ToLocaleString) {
458         ObjectImp *o = element->toObject(exec);
459         ValueImp *conversionFunction = o->get(exec, toLocaleStringPropertyName);
460         if (conversionFunction->isObject() && static_cast<ObjectImp *>(conversionFunction)->implementsCall()) {
461           str += static_cast<ObjectImp *>(conversionFunction)->call(exec, o, List())->toString(exec);
462         } else {
463           // try toString() fallback
464           fallback = true;
465         }
466       }
467
468       if (id == ToString || id == Join || fallback) {
469         if (element->isObject()) {
470           ObjectImp *o = static_cast<ObjectImp *>(element);
471           ValueImp *conversionFunction = o->get(exec, toStringPropertyName);
472           if (conversionFunction->isObject() && static_cast<ObjectImp *>(conversionFunction)->implementsCall()) {
473             str += static_cast<ObjectImp *>(conversionFunction)->call(exec, o, List())->toString(exec);
474           } else {
475             UString msg = "Can't convert " + o->className() + " object to string";
476             ObjectImp *error = Error::create(exec, RangeError, msg.cstring().c_str());
477             exec->setException(error);
478             return error;
479           }
480         } else {
481           str += element->toString(exec);
482         }
483       }
484
485       if ( exec->hadException() )
486         break;
487     }
488     result = String(str);
489     break;
490   }
491   case Concat: {
492     ObjectImp *arr = static_cast<ObjectImp *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
493     int n = 0;
494     ValueImp *curArg = thisObj;
495     ObjectImp *curObj = static_cast<ObjectImp *>(thisObj);
496     ListIterator it = args.begin();
497     for (;;) {
498       if (curArg->isObject() &&
499           curObj->inherits(&ArrayInstanceImp::info)) {
500         unsigned int k = 0;
501         // Older versions tried to optimize out getting the length of thisObj
502         // by checking for n != 0, but that doesn't work if thisObj is an empty array.
503         length = curObj->get(exec,lengthPropertyName)->toUInt32(exec);
504         while (k < length) {
505           ValueImp *v;
506           if (curObj->getProperty(exec, k, v))
507             arr->put(exec, n, v);
508           n++;
509           k++;
510         }
511       } else {
512         arr->put(exec, n, curArg);
513         n++;
514       }
515       if (it == args.end())
516         break;
517       curArg = *it;
518       curObj = static_cast<ObjectImp *>(it++); // may be 0
519     }
520     arr->put(exec,lengthPropertyName, Number(n), DontEnum | DontDelete);
521
522     result = arr;
523     break;
524   }
525   case Pop:{
526     if (length == 0) {
527       thisObj->put(exec, lengthPropertyName, Number(length), DontEnum | DontDelete);
528       result = Undefined();
529     } else {
530       result = thisObj->get(exec, length - 1);
531       thisObj->put(exec, lengthPropertyName, Number(length - 1), DontEnum | DontDelete);
532     }
533     break;
534   }
535   case Push: {
536     for (int n = 0; n < args.size(); n++)
537       thisObj->put(exec, length + n, args[n]);
538     length += args.size();
539     thisObj->put(exec,lengthPropertyName, Number(length), DontEnum | DontDelete);
540     result = Number(length);
541     break;
542   }
543   case Reverse: {
544
545     unsigned int middle = length / 2;
546
547     for (unsigned int k = 0; k < middle; k++) {
548       unsigned lk1 = length - k - 1;
549       ValueImp *obj;
550       ValueImp *obj2;
551       bool has2 = thisObj->getProperty(exec, lk1, obj2);
552       bool has1 = thisObj->getProperty(exec, k, obj);
553
554       if (has2) 
555         thisObj->put(exec, k, obj2);
556       else
557         thisObj->deleteProperty(exec, k);
558
559       if (has1)
560         thisObj->put(exec, lk1, obj);
561       else
562         thisObj->deleteProperty(exec, lk1);
563     }
564     result = thisObj;
565     break;
566   }
567   case Shift: {
568     if (length == 0) {
569       thisObj->put(exec, lengthPropertyName, Number(length), DontEnum | DontDelete);
570       result = Undefined();
571     } else {
572       result = thisObj->get(exec, 0);
573       for(unsigned int k = 1; k < length; k++) {
574         ValueImp *obj;
575         if (thisObj->getProperty(exec, k, obj))
576           thisObj->put(exec, k-1, obj);
577         else
578           thisObj->deleteProperty(exec, k-1);
579       }
580       thisObj->deleteProperty(exec, length - 1);
581       thisObj->put(exec, lengthPropertyName, Number(length - 1), DontEnum | DontDelete);
582     }
583     break;
584   }
585   case Slice: {
586     // http://developer.netscape.com/docs/manuals/js/client/jsref/array.htm#1193713 or 15.4.4.10
587
588     // We return a new array
589     ObjectImp *resObj = static_cast<ObjectImp *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
590     result = resObj;
591     double begin = 0;
592     if (!args[0]->isUndefined()) {
593         begin = args[0]->toInteger(exec);
594         if (begin >= 0) { // false for NaN
595             if (begin > length)
596                 begin = length;
597         } else {
598             begin += length;
599             if (!(begin >= 0)) // true for NaN
600                 begin = 0;
601         }
602     }
603     double end = length;
604     if (!args[1]->isUndefined()) {
605       end = args[1]->toInteger(exec);
606       if (end < 0) { // false for NaN
607         end += length;
608         if (end < 0)
609           end = 0;
610       } else {
611         if (!(end <= length)) // true for NaN
612           end = length;
613       }
614     }
615
616     //printf( "Slicing from %d to %d \n", begin, end );
617     int n = 0;
618     int b = static_cast<int>(begin);
619     int e = static_cast<int>(end);
620     for(int k = b; k < e; k++, n++) {
621       ValueImp *obj;
622       if (thisObj->getProperty(exec, k, obj))
623         resObj->put(exec, n, obj);
624     }
625     resObj->put(exec, lengthPropertyName, Number(n), DontEnum | DontDelete);
626     break;
627   }
628   case Sort:{
629 #if 0
630     printf("KJS Array::Sort length=%d\n", length);
631     for ( unsigned int i = 0 ; i<length ; ++i )
632       printf("KJS Array::Sort: %d: %s\n", i, thisObj->get(exec, i)->toString(exec).ascii() );
633 #endif
634     ObjectImp *sortFunction = NULL;
635     if (!args[0]->isUndefined())
636       {
637         sortFunction = args[0]->toObject(exec);
638         if (!sortFunction->implementsCall())
639           sortFunction = NULL;
640       }
641     
642     if (thisObj->classInfo() == &ArrayInstanceImp::info) {
643       if (sortFunction)
644         ((ArrayInstanceImp *)thisObj)->sort(exec, sortFunction);
645       else
646         ((ArrayInstanceImp *)thisObj)->sort(exec);
647       result = thisObj;
648       break;
649     }
650
651     if (length == 0) {
652       thisObj->put(exec, lengthPropertyName, Number(0), DontEnum | DontDelete);
653       result = thisObj;
654       break;
655     }
656
657     // "Min" sort. Not the fastest, but definitely less code than heapsort
658     // or quicksort, and much less swapping than bubblesort/insertionsort.
659     for ( unsigned int i = 0 ; i<length-1 ; ++i )
660       {
661         ValueImp *iObj = thisObj->get(exec,i);
662         unsigned int themin = i;
663         ValueImp *minObj = iObj;
664         for ( unsigned int j = i+1 ; j<length ; ++j )
665           {
666             ValueImp *jObj = thisObj->get(exec,j);
667             double cmp;
668             if (jObj->isUndefined()) {
669               cmp = 1; // don't check minObj because there's no need to differentiate == (0) from > (1)
670             } else if (minObj->isUndefined()) {
671               cmp = -1;
672             } else if (sortFunction) {
673                 List l;
674                 l.append(jObj);
675                 l.append(minObj);
676                 cmp = sortFunction->call(exec, exec->dynamicInterpreter()->globalObject(), l)->toNumber(exec);
677             } else {
678               cmp = (jObj->toString(exec) < minObj->toString(exec)) ? -1 : 1;
679             }
680             if ( cmp < 0 )
681               {
682                 themin = j;
683                 minObj = jObj;
684               }
685           }
686         // Swap themin and i
687         if ( themin > i )
688           {
689             //printf("KJS Array::Sort: swapping %d and %d\n", i, themin );
690             thisObj->put( exec, i, minObj );
691             thisObj->put( exec, themin, iObj );
692           }
693       }
694 #if 0
695     printf("KJS Array::Sort -- Resulting array:\n");
696     for ( unsigned int i = 0 ; i<length ; ++i )
697       printf("KJS Array::Sort: %d: %s\n", i, thisObj->get(exec, i)->toString(exec).ascii() );
698 #endif
699     result = thisObj;
700     break;
701   }
702   case Splice: {
703     // 15.4.4.12 - oh boy this is huge
704     ObjectImp *resObj = static_cast<ObjectImp *>(exec->lexicalInterpreter()->builtinArray()->construct(exec,List::empty()));
705     result = resObj;
706     int begin = args[0]->toUInt32(exec);
707     if ( begin < 0 )
708       begin = maxInt( begin + length, 0 );
709     else
710       begin = minInt( begin, length );
711     unsigned int deleteCount = minInt( maxInt( args[1]->toUInt32(exec), 0 ), length - begin );
712
713     //printf( "Splicing from %d, deleteCount=%d \n", begin, deleteCount );
714     for(unsigned int k = 0; k < deleteCount; k++) {
715       ValueImp *obj;
716       if (thisObj->getProperty(exec, k+begin, obj))
717         resObj->put(exec, k, obj);
718     }
719     resObj->put(exec, lengthPropertyName, Number(deleteCount), DontEnum | DontDelete);
720
721     unsigned int additionalArgs = maxInt( args.size() - 2, 0 );
722     if ( additionalArgs != deleteCount )
723     {
724       if ( additionalArgs < deleteCount )
725       {
726         for ( unsigned int k = begin; k < length - deleteCount; ++k )
727         {
728           ValueImp *obj;
729           if (thisObj->getProperty(exec, k+deleteCount, obj))
730             thisObj->put(exec, k+additionalArgs, obj);
731           else
732             thisObj->deleteProperty(exec, k+additionalArgs);
733         }
734         for ( unsigned int k = length ; k > length - deleteCount + additionalArgs; --k )
735           thisObj->deleteProperty(exec, k-1);
736       }
737       else
738       {
739         for ( unsigned int k = length - deleteCount; (int)k > begin; --k )
740         {
741           ValueImp *obj;
742           if (thisObj->getProperty(exec, k + deleteCount - 1, obj))
743             thisObj->put(exec, k + additionalArgs - 1, obj);
744           else
745             thisObj->deleteProperty(exec, k+additionalArgs-1);
746         }
747       }
748     }
749     for ( unsigned int k = 0; k < additionalArgs; ++k )
750     {
751       thisObj->put(exec, k+begin, args[k+2]);
752     }
753     thisObj->put(exec, lengthPropertyName, Number(length - deleteCount + additionalArgs), DontEnum | DontDelete);
754     break;
755   }
756   case UnShift: { // 15.4.4.13
757     unsigned int nrArgs = args.size();
758     for ( unsigned int k = length; k > 0; --k )
759     {
760       ValueImp *obj;
761       if (thisObj->getProperty(exec, k - 1, obj))
762         thisObj->put(exec, k+nrArgs-1, obj);
763       else
764         thisObj->deleteProperty(exec, k+nrArgs-1);
765     }
766     for ( unsigned int k = 0; k < nrArgs; ++k )
767       thisObj->put(exec, k, args[k]);
768     result = Number(length + nrArgs);
769     thisObj->put(exec, lengthPropertyName, result, DontEnum | DontDelete);
770     break;
771   }
772   case Every:
773   case ForEach:
774   case Some: {
775     //Documentation for these three is available at:
776     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:every
777     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:forEach
778     //http://developer-test.mozilla.org/en/docs/Core_JavaScript_1.5_Reference:Objects:Array:some
779     
780     ObjectImp *eachFunction = args[0]->toObject(exec);
781     
782     if (!eachFunction->implementsCall()) {
783       ObjectImp *err = Error::create(exec,TypeError);
784       exec->setException(err);
785       return err;
786     }
787     
788     ObjectImp *applyThis = args[1]->isUndefinedOrNull() ? exec->dynamicInterpreter()->globalObject() :  args[1]->toObject(exec);
789     
790     if (id == Some || id == Every)
791       result = Boolean(id == Every);
792     else
793       result = thisObj;
794     
795     for (unsigned k = 0; k < length && !exec->hadException(); ++k) {
796       
797       List eachArguments;
798       
799       eachArguments.append(thisObj->get(exec, k));
800       eachArguments.append(Number(k));
801       eachArguments.append(thisObj);
802       
803       bool predicateResult = eachFunction->call(exec, applyThis, eachArguments)->toBoolean(exec);
804       
805       if (id == Every && !predicateResult) {
806         result = Boolean(false);
807         break;
808       }
809       if (id == Some && predicateResult) {
810         result = Boolean(true);
811         break;
812       }
813     }
814     break;
815   }
816     
817   default:
818     assert(0);
819     result = 0;
820     break;
821   }
822   return result;
823 }
824
825 // ------------------------------ ArrayObjectImp -------------------------------
826
827 ArrayObjectImp::ArrayObjectImp(ExecState *exec,
828                                FunctionPrototypeImp *funcProto,
829                                ArrayPrototypeImp *arrayProto)
830   : InternalFunctionImp(funcProto)
831 {
832   // ECMA 15.4.3.1 Array.prototype
833   put(exec,prototypePropertyName, arrayProto, DontEnum|DontDelete|ReadOnly);
834
835   // no. of arguments for constructor
836   put(exec,lengthPropertyName, Number(1), ReadOnly|DontDelete|DontEnum);
837 }
838
839 bool ArrayObjectImp::implementsConstruct() const
840 {
841   return true;
842 }
843
844 // ECMA 15.4.2
845 ObjectImp *ArrayObjectImp::construct(ExecState *exec, const List &args)
846 {
847   // a single numeric argument denotes the array size (!)
848   if (args.size() == 1 && args[0]->isNumber()) {
849     uint32_t n = args[0]->toUInt32(exec);
850     if (n != args[0]->toNumber(exec)) {
851       ObjectImp *error = Error::create(exec, RangeError, "Array size is not a small enough positive integer.");
852       exec->setException(error);
853       return error;
854     }
855     return new ArrayInstanceImp(exec->lexicalInterpreter()->builtinArrayPrototype(), n);
856   }
857
858   // otherwise the array is constructed with the arguments in it
859   return new ArrayInstanceImp(exec->lexicalInterpreter()->builtinArrayPrototype(), args);
860 }
861
862 bool ArrayObjectImp::implementsCall() const
863 {
864   return true;
865 }
866
867 // ECMA 15.6.1
868 ValueImp *ArrayObjectImp::callAsFunction(ExecState *exec, ObjectImp */*thisObj*/, const List &args)
869 {
870   // equivalent to 'new Array(....)'
871   return construct(exec,args);
872 }