/*
 * 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"

using namespace jc;

Type *
Type::NewPrimitive(Tag *tag)
{
    Type *type = new Type;
    type->kind_ = PRIMITIVE;
    type->tag_ = tag;
    
    assert(!tag);
    type->primitive_ = PrimitiveType_Int32;
    return type;
}

Type *
Type::NewUnsafeArray(Type *contained, int elements)
{
    Type *type = new Type;
    type->kind_ = UNSAFE_ARRAY;
    type->contained_ = contained;
    type->elements_ = elements;
    if (contained->isPrimitive())
        type->levels_ = 1;
    else
        type->levels_ = contained->levels() + 1;
    return type;
}