/*

 * 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 "Types.h"

#include "Zone.h"

#include "Strings.h"

#include "Heap-inl.h"

using namespace ke;

Type *

Type::NewPrimitive(Zone *zone, Handle<String> tag)

{

    Local<Type> type(zone, Type::cast(zone->allocate(MapKind_Type, sizeof(Type), Heap::Tenure_Old)));

    if (!type)

        return NULL;

    type->kind_ = PRIMITIVE;

    type->tag_ = tag;

    type->contained_ = NULL;

    type->returnType_ = NULL;

    type->parameters_ = NULL;

    if (tag && strcmp(tag->chars(), "Float") == 0)

        type->primitive_ = PrimitiveType_Float;

    else if (tag && strcmp(tag->chars(), "String") == 0)

        type->primitive_ = PrimitiveType_Char;

    else

        type->primitive_ = PrimitiveType_Int32;

    return type;

}

Type *

Type::NewPrimitive(Zone *zone, PrimitiveType prim)

{

    Local<Type> type(zone, Type::cast(zone->allocate(MapKind_Type, sizeof(Type), Heap::Tenure_Old)));

    if (!type)

        return NULL;

    type->kind_ = PRIMITIVE;

    type->tag_ = NULL;

    type->contained_ = NULL;

    type->returnType_ = NULL;

    type->parameters_ = NULL;

    type->primitive_ = prim;

    return type;

}

Type *

Type::NewArray(Zone *zone, Handle<Type> contained, int elements, bool isConst)

{

    Local<Type> type(zone, Type::cast(zone->allocate(MapKind_Type, sizeof(Type), Heap::Tenure_Old)));

    if (!type)

        return NULL;

    type->kind_ = ARRAY;

    type->tag_ = NULL;

    type->contained_ = contained;

    type->returnType_ = NULL;

    type->parameters_ = NULL;

    type->elements_ = elements;

    if (contained->isPrimitive())

        type->levels_ = 1;

    else

        type->levels_ = contained->levels() + 1;

    type->const_ = isConst;

    return type;

}

Type *

Type::NewReference(Zone *zone, Handle<Type> contained)

{

    Local<Type> type(zone, Type::cast(zone->allocate(MapKind_Type, sizeof(Type), Heap::Tenure_Old)));

    if (!type)

        return NULL;

    type->kind_ = REFERENCE;

    type->tag_ = NULL;

    type->contained_ = contained;

    type->returnType_ = NULL;

    type->parameters_ = NULL;

    return type;

}

Type *

Type::NewFunction(Zone *zone, Handle<Type> returnType, Handle<FixedArray> parameters)

{

    Local<Type> type(zone, Type::cast(zone->allocate(MapKind_Type, sizeof(Type), Heap::Tenure_Old)));

    if (!type)

        return NULL;

    type->kind_ = FUNCTION;

    type->contained_ = NULL;

    type->returnType_ = returnType;

    type->parameters_ = parameters;

    return type;

}