jitcraft/TypeManager.cpp
changeset 87 f8ac2633b4e3
parent 86 32ad0523b309
child 88 fc3f34f928dd
     1.1 --- a/jitcraft/TypeManager.cpp	Tue Jul 24 23:53:34 2012 -0700
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,119 +0,0 @@
     1.4 -/* vim: set ts=4 sw=4 tw=99 et:
     1.5 - *
     1.6 - * Copyright (C) 2012 David Anderson
     1.7 - *
     1.8 - * This file is part of JITCraft.
     1.9 - *
    1.10 - * JITCraft is free software: you can redistribute it and/or modify it under
    1.11 - * the terms of the GNU General Public License as published by the Free
    1.12 - * Software Foundation, either version 3 of the License, or (at your option)
    1.13 - * any later version.
    1.14 - * 
    1.15 - * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
    1.16 - * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
    1.17 - * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
    1.18 - *
    1.19 - * You should have received a copy of the GNU General Public License along with
    1.20 - * JITCraft. If not, see http://www.gnu.org/licenses/.
    1.21 - */
    1.22 -#include "Types.h"
    1.23 -#include "TypeManager.h"
    1.24 -#include "Zone.h"
    1.25 -#include "Strings.h"
    1.26 -
    1.27 -using namespace ke;
    1.28 -
    1.29 -
    1.30 -TypeManager::TypeManager(Zone *zone)
    1.31 -  : zone_(zone)
    1.32 -{
    1.33 -}
    1.34 -
    1.35 -bool
    1.36 -TypeManager::initialize()
    1.37 -{
    1.38 -    voidType_ = Type::NewVoid(zone_);
    1.39 -    if (!voidType_)
    1.40 -        return false;
    1.41 -
    1.42 -    Local<String> floatTag(zone_, zone_->makeSymbol("Float"));
    1.43 -    if (!floatTag)
    1.44 -        return false;
    1.45 -
    1.46 -    Local<String> stringTag(zone_, zone_->makeSymbol("String"));
    1.47 -    if (!stringTag)
    1.48 -        return false;
    1.49 -
    1.50 -    Local<String> nullTag(zone_);
    1.51 -
    1.52 -    if ((primitiveTypes_[PrimitiveType_Int32] = Type::NewPrimitive(zone_, nullTag)) == NULL)
    1.53 -        return false;
    1.54 -    if ((primitiveTypes_[PrimitiveType_Float] = Type::NewPrimitive(zone_, floatTag)) == NULL)
    1.55 -        return false;
    1.56 -    if ((primitiveTypes_[PrimitiveType_Native] = Type::NewPrimitive(zone_, PrimitiveType_Native)) == NULL)
    1.57 -        return false;
    1.58 -    if ((primitiveTypes_[PrimitiveType_Char] = Type::NewPrimitive(zone_, stringTag)) == NULL)
    1.59 -        return false;
    1.60 -
    1.61 -    Local<Type> type(zone_);
    1.62 -    for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
    1.63 -        type = primitiveTypes_[i];
    1.64 -        if ((referenceTypes_[i] = Type::NewReference(zone_, type, false)) == NULL)
    1.65 -            return false;
    1.66 -    }
    1.67 -
    1.68 -    return true;
    1.69 -}
    1.70 -
    1.71 -Type *
    1.72 -TypeManager::getPrimitiveForTag(Handle<String> tag)
    1.73 -{
    1.74 -    if (!tag)
    1.75 -        return getPrimitive(PrimitiveType_Int32);
    1.76 -    if (strcmp(tag->chars(), "Float") == 0)
    1.77 -        return getPrimitive(PrimitiveType_Float);
    1.78 -    if (strcmp(tag->chars(), "String") == 0)
    1.79 -        return getPrimitive(PrimitiveType_Char);
    1.80 -    return NULL;
    1.81 -}
    1.82 -
    1.83 -Type *
    1.84 -TypeManager::unsafeArray(Handle<Type> contained, int elements, bool isConst)
    1.85 -{
    1.86 -    // :TODO: cache this.
    1.87 -    return Type::NewArray(zone_, contained, elements, isConst);
    1.88 -}
    1.89 -
    1.90 -Type *
    1.91 -TypeManager::getReference(Handle<Type> type, bool isConst)
    1.92 -{
    1.93 -    if (!isConst && (type->isFloat() || (type->isInt32() && !type->tag())))
    1.94 -        return referenceTypes_[type->primitive()];
    1.95 -
    1.96 -    // :TODO: cache this.
    1.97 -    return Type::NewReference(zone_, type, isConst);
    1.98 -}
    1.99 -
   1.100 -Type *
   1.101 -TypeManager::newFunction(Handle<Type> returnType, Handle<FixedArray> args)
   1.102 -{
   1.103 -    // :TODO: cache this.
   1.104 -    return Type::NewFunction(zone_, returnType, args);
   1.105 -}
   1.106 -
   1.107 -Type *
   1.108 -TypeManager::newNative(Handle<Type> returnType, Handle<FixedArray> args, bool variadic)
   1.109 -{
   1.110 -    // :TODO: cache this.
   1.111 -    return Type::NewNative(zone_, returnType, args, variadic);
   1.112 -}
   1.113 -
   1.114 -void
   1.115 -TypeManager::accept(VirtualObjectVisitor *visitor)
   1.116 -{
   1.117 -    visitor->visit(voidType_.address());
   1.118 -    for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
   1.119 -        visitor->visit(primitiveTypes_[i].address());
   1.120 -        visitor->visit(referenceTypes_[i].address());
   1.121 -    }
   1.122 -}