/* vim: set ts=4 sw=4 tw=99 et:

  *

  * Copyright (C) 2012 David Anderson

  *

  * This file is part of SourcePawn.

  *

  * SourcePawn is free software: you can redistribute it and/or modify it under

  * the terms of the GNU General Public License as published by the Free

  * Software Foundation, either version 3 of the License, or (at your option)

  * any later version.

  * 

  * SourcePawn is distributed in the hope that it will be useful, but WITHOUT ANY

  * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS

  * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

  *

  * You should have received a copy of the GNU General Public License along with

  * SourcePawn. If not, see http://www.gnu.org/licenses/.

  */

 #include <string.h>

 #include "Array.h"

 #include "FixedArray.h"

 #include "Heap.h"

 #include "Zone.h"

 #include "Structures.h"

 #include "Heap-inl.h"

 using namespace ke;

 ArrayMap *

 ArrayMap::New(Zone *zone, Handle<ArrayType> type)

 {

     Local<Map> obj(zone, zone->allocateMap(MapKind_Array, sizeof(ArrayMap), MapKind_MetaArray));

     if (!obj)

         return NULL;

     Local<ArrayMap> map(zone, ArrayMap::cast(obj));

     map->type_ = type;

     return map;

 }

 ArrayMap *

 ArrayMap::Attach(Zone *zone, Handle<ArrayType> type)

 {

     if (type->newMap())

         return ArrayMap::cast(type->newMap());

     Local<ArrayMap> map(zone, ArrayMap::New(zone, type));

     if (!map)

         return NULL;

     // Ensure the inner type has an ArrayMap if needed.

     if (type->contained()->isArray()) {

         Local<ArrayType> contained(zone, ArrayType::cast(type->contained()));

         if (!ArrayMap::Attach(zone, contained))

             return NULL;

     }

     type->setNewMap(map);

     return map;

 }

 Array *

 Array::NewRaw(Zone *zone, Handle<ArrayMap> map, unsigned nelements, Heap::Tenure tenure)

 {

     assert(!map->type()->isFixedLength() || nelements == map->type()->fixedLength());

     if (nelements > (INT_MAX / SizeForElement(map->type()))) {

         zone->reportError(Message_ArraySizeTooBig);

         return NULL;

     }

     size_t bytes = sizeof(Array);

     if (map->type()->hasInlineElements())

         bytes += SizeForElement(map->type()) * nelements;

     Local<Array> array(zone, Array::cast(zone->allocate(map, bytes, tenure)));

     if (!array)

         return NULL;

     array->length_ = 0;

     array->elements_ = NULL;

     if (map->type()->hasInlineElements()) {

         // This must be a fixed array containing no traceables.

         assert(nelements > 0);

         assert(map->type()->isFixedLength());

         assert(!map->type()->contained()->isTraceable());

         // Compute an interior |elements_| pointer, such that if elements_

         // is accessed like a FixedArray, we reach the appropriate vector.

         array->elements_ = Address((Array *)array + 1) - ByteArray::offsetToElements();

         array->length_ = nelements;

         memset(array->bytes(), 0, SizeForElement(map->type()) * nelements);

         return array;

     }

     // If there is nothing to allocate, we don't bother creating elements yet.

     if (!nelements)

         return array;

     if (!map->type()->contained()->isTraceable()) {

         size_t nbytes = SizeForElement(map->type()) * nelements;

         Local<ByteArray> elements(zone, ByteArray::New(zone, nbytes, tenure));

         if (!elements)

             return NULL;

         array->updateLengthAndElements(zone, nelements, elements);

         return array;

     }

     Local<FixedArray> elements(zone, FixedArray::New(zone, nelements, tenure));

     if (!elements)

         return NULL;

     array->updateLengthAndElements(zone, nelements, elements);

     // If this is an array of structs, we're required to allocate those structs now.

     if (map->type()->contained()->isStruct()) {

         Local<StructType> childType(zone, StructType::cast(map->type()->contained()));

         Local<StructMap> childMap(zone, childType->newMap());

         Local<Struct> child(zone);

         for (unsigned i = 0; i < nelements; i++) {

             child = Struct::New(zone, childMap, tenure);

             if (!child)

                 return NULL;

             elements->set(zone, i, child);

         }

     }

     return array;

 }

 static Array *

 ConstructSizedArray(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH],

                     unsigned level, Heap::Tenure tenure)

 {

     Local<Array> array(zone, Array::NewRaw(zone, map, dims[level], tenure));

     if (!array)

         return NULL;

     if (map->type()->contained()->isArray()) {

         Local<ArrayType> childType(zone, ArrayType::cast(map->type()->contained()));

         Local<ArrayMap> childMap(zone, childType->newMap());

         Local<Array> child(zone);

         for (unsigned i = 0; i < unsigned(dims[level]); i++) {

             child = ConstructSizedArray(zone, childMap, dims, level + 1, tenure);

             if (!child)

                 return NULL;

             array->writeObject(zone, i, child);

         }

     }

     return array;

 }

 Array *

 Array::NewSized(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH], Heap::Tenure tenure)

 {

     for (size_t i = 0; i < map->type()->levels(); i++) {

         if (dims[i] < 0) {

             zone->reportError(Message_InvalidDimensionSize, dims[i], i);

             return NULL;

         }

     }

     return ConstructSizedArray(zone, map, dims, 0, tenure);

 }

 static Array *

 ConstructFixedArray(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)

 {

     unsigned length = map->type()->fixedLength();

     Local<Array> array(zone, Array::NewRaw(zone, map, length, tenure));

     if (!array)

         return NULL;

     if (map->type()->contained()->isArray()) {

         Local<ArrayType> childType(zone, ArrayType::cast(map->type()->contained()));

         Local<ArrayMap> childMap(zone, childType->newMap());

         Local<Array> child(zone);

         if (childMap->type()->isFixedLength()) {

             for (unsigned i = 0; i < length; i++) {

                 child = ConstructFixedArray(zone, childMap, tenure);

                 if (!child)

                     return NULL;

                 array->writeObject(zone, i, child);

             }

         } else {

             for (unsigned i = 0; i < length; i++) {

                 child = Array::NewRaw(zone, childMap, 0, tenure);

                 if (!child)

                     return NULL;

                 array->writeObject(zone, i, child);

             }

         }

     }

     return array;

 }

 Array *

 Array::NewFixed(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)

 {

     return ConstructFixedArray(zone, map, tenure);

 }

 Array *

 Array::NewString(Zone *zone, Handle<ArrayMap> map, char *buffer, size_t length, Heap::Tenure tenure)

 {

     assert(map->type()->isCharArray());

     Local<Array> array(zone);

     if (map->type()->isFixedLength())

         array = Array::NewFixed(zone, map, tenure);

     else

         array = Array::New1D(zone, map, length + 1, tenure);

     if (!array)

         return NULL;

     assert(array->length() >= length + 1);

     memcpy(array->chars(), buffer, length + 1);

     return array;

 }

 Array *

 Array::New1D(Zone *zone, Handle<ArrayMap> map, uint32 elements, Heap::Tenure tenure)

 {

     assert(map->type()->levels());

     return Array::NewRaw(zone, map, elements, tenure);

 }

 Array *

 Array::NewEmpty(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)

 {

     assert(!map->type()->isFixedLength());

     return Array::NewRaw(zone, map, 0, tenure);

 }

 Array *

 Array::NewExternal(Zone *zone, Handle<ArrayMap> map, void *buffer, unsigned length,

                    Heap::Tenure tenure)

 {

     Local<Array> array(zone, Array::cast(zone->allocate(map, sizeof(Array), tenure)));

     if (!array)

         return NULL;

     array->length_ = length;

     array->elements_ = Address(buffer) - ByteArray::offsetToElements();

     return array;

 }

 static bool

 CopyArrayElements(Zone *zone, Handle<Type> contained, Handle<Array> dest, Handle<Array> source)

 {

     if (contained->isTraceable()) {

         if (contained->isStruct()) {

             assert(dest->type()->contained() == contained);

             assert(source->length() == dest->length());

             Local<Struct> left(zone);

             Local<Struct> right(zone);

             for (unsigned i = 0; i < source->length(); i++) {

                 left = Struct::cast(dest->readObject(i));

                 right = Struct::cast(source->readObject(i));

                 if (!Struct::Copy(zone, left, right))

                     return false;

             }

         } else if (contained->isArray() && ArrayType::cast(contained)->isFixedLength()) {

             assert(ArrayType::cast(source->type())->fixedLength() ==

                    ArrayType::cast(contained)->fixedLength());

             Local<Array> left(zone);

             Local<Array> right(zone);

             for (unsigned i = 0; i < source->length(); i++) {

                 left = Array::cast(dest->readObject(i));

                 right = Array::cast(source->readObject(i));

                 if (!Array::ShallowCopy(zone, left, right))

                     return false;

             }

         } else {

             assert(dest->length() == source->length());

             for (unsigned i = 0; i < source->length(); i++)

                 dest->writeObject(zone, i, source->readObject(i));

         }

     } else {

         assert(contained->pod() == dest->type()->contained()->pod());

         assert(contained->pod() == PrimitiveType_Char

                ? source->length() <= dest->length()

                : source->length() == dest->length());

         assert(dest->length());

         memcpy(dest->bytes(), source->bytes(), source->length() * Array::SizeForElement(dest->type()));

     }

     return true;

 }

 // Shallow copy an array. Fixed slots in the destination are copied from

 // the source, but otherwise, references are assigned.

 bool

 Array::ShallowCopy(Zone *zone, Handle<Array> dest, Handle<Array> source)

 {

     Local<Type> contained(zone, dest->type()->contained());

     return CopyArrayElements(zone, contained, dest, source);

 }

 Array *

 Array::DeepCopy(Zone *zone, Handle<Array> source, Heap::Tenure tenure)

 {

     Local<ArrayMap> map(zone, ArrayMap::cast(source->map()));

     Local<Array> dest(zone, Array::NewRaw(zone, map, source->length(), tenure));

     if (!dest)

         return NULL;

     Local<Type> contained(zone, source->type()->contained());

     if (contained->isArray()) {

         assert(false);

         Local<Array> sub(zone);

         for (size_t i = 0; i < source->length(); i++) {

             sub = Array::cast(source->readObject(i));

             sub = DeepCopy(zone, sub, tenure);

             if (!sub)

                 return NULL;

             dest->writeObject(zone, i, sub);

         }

     } else {

         if (!CopyArrayElements(zone, contained, dest, source))

             return NULL;

     }

     return dest;

 }