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

 *

 * Copyright (C) 2012 David Anderson

 *

 * This file is part of JITCraft.

 *

 * JITCraft 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.

 * 

 * Foobar 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

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

 */

#include <string.h>

#include "Types.h"

#include "TypeManager.h"

#include "Zone.h"

#include "Strings.h"

#include "Spaces-inl.h"

#include "Heap-inl.h"

using namespace ke;

TypeManager::TypeManager(Zone *zone)

  : zone_(zone)

{

}

bool

TypeManager::initialize()

{

    voidType_ = Type::NewVoid(zone_);

    if (!voidType_)

        return false;

    uncheckedType_ = Type::NewUnchecked(zone_);

    if (!uncheckedType_)

        return false;

    if ((primitiveTypes_[PrimitiveType_Int32] = Type::NewPrimitive(zone_, PrimitiveType_Int32)) == NULL)

        return false;

    if ((primitiveTypes_[PrimitiveType_Float] = Type::NewPrimitive(zone_, PrimitiveType_Float)) == NULL)

        return false;

    if ((primitiveTypes_[PrimitiveType_Native] = Type::NewPrimitive(zone_, PrimitiveType_Native)) == NULL)

        return false;

    if ((primitiveTypes_[PrimitiveType_Char] = Type::NewPrimitive(zone_, PrimitiveType_Char)) == NULL)

        return false;

    if ((primitiveTypes_[PrimitiveType_Bool] = Type::NewPrimitive(zone_, PrimitiveType_Bool)) == NULL)

        return false;

    Local<Type> type(zone_);

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

        type = primitiveTypes_[i];

        if ((referenceTypes_[i] = Type::NewReference(zone_, type, false)) == NULL)

            return false;

    }

    return true;

}

Type *

TypeManager::unsafeArray(Handle<Type> contained, int elements, bool isConst)

{

    // :TODO: cache this.

    return Type::NewArray(zone_, contained, elements, isConst);

}

Type *

TypeManager::getReference(Handle<Type> type, bool isConst)

{

    if (!isConst && type->isPrimitive())

        return referenceTypes_[type->primitive()];

    // :TODO: cache this.

    return Type::NewReference(zone_, type, isConst);

}

Type *

TypeManager::newFunction(Handle<Type> returnType, Handle<FixedArray> args,

                         Handle<FixedArray> defaults)

{

    // :TODO: cache this.

    return Type::NewFunction(zone_, returnType, args, defaults);

}

Type *

TypeManager::newNative(Handle<Type> returnType, Handle<FixedArray> args,

                       Handle<FixedArray> defaults, bool variadic)

{

    // :TODO: cache this.

    return Type::NewNative(zone_, returnType, args, defaults, variadic);

}

Type *

TypeManager::newEnum(Handle<String> name)

{

    return Type::NewEnum(zone_, name);

}

Type *

TypeManager::newStruct(Handle<String> name, Handle<FixedArray> fields, Handle<Map> newMap)

{

    return Type::NewStruct(zone_, name, fields, newMap);

}

void

TypeManager::accept(VirtualObjectVisitor *visitor)

{

    visitor->visit(voidType_.address());

    visitor->visit(uncheckedType_.address());

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

        visitor->visit(primitiveTypes_[i].address());

        visitor->visit(referenceTypes_[i].address());

    }

}