source: dev/trunk/ab5.0/abdev/BasicCompiler_Common/src/Compiler.cpp@ 460

#include "stdafx.h"

#include <jenga/include/smoothie/SmoothieException.h>

#include <Compiler.h>
#include <Type.h>

Compiler compiler;

void Compiler::StaticLink( ObjectModules &staticLibraries )
{
    BOOST_FOREACH( ObjectModule *pStaticLibrary, staticLibraries )
    {
        // メタ情報
        pNowObjectModule->StaticLink( *pStaticLibrary );
    }
}

bool Compiler::StringToType( const string &typeName, Type &type ){
    type.SetIndex( -1 );


    /////////////////////////////////////////////////////////
    // ☆★☆ ジェネリクスサポート ☆★☆

    if( strstr( typeName.c_str(), "<" ) )
    {
        // ジェネリッククラスをインスタンス化した型の場合
        int i = 0;
        char className[VN_SIZE];
        GetIdentifierToken( className, typeName.c_str(), i );

        // ジェネリクスクラスを取得
        const CClass *pGenericClass = this->GetObjectModule().meta.GetClasses().Find( className );

        if( !pGenericClass )
        {
            return false;
        }

        if( typeName[i] != '<' )
        {
            Jenga::Throw( "StringToType内でジェネリクス構文の解析に失敗" );
        }

        GenericTypes genericTypes;
        while( true )
        {
            i++;

            char typeParameter[VN_SIZE];
            GetIdentifierToken( typeParameter, typeName.c_str(), i );

            // 型パラメータの型情報を取得
            Type baseType;
            StringToType( typeParameter, baseType );

            genericTypes.push_back( GenericType( "(non support)", baseType ) );

            if( typeName[i] != ',' )
            {
                break;
            }
        }

        // 基本型をセット
        type.SetBasicType( DEF_OBJECT );

        // 拡張情報をセット
        type.SetClassPtr( pGenericClass );
        type.SetActualGenericTypes( genericTypes );

        return true;
    }

    //
    /////////////////////////////////////////////////////////


    if( typeName[0] == '*' ){
        if( typeName.size() >= 3
            && typeName[1] == 1 && ( typeName[2] == ESC_FUNCTION || typeName[2] == ESC_SUB ) ){
                //関数ポインタ（*Function）
                type.SetBasicType( DEF_PTR_PROC );
                type.SetIndex( this->GetObjectModule().meta.GetProcPointers().Add( typeName ) );
                return true;
        }

        const string &nextTypeName = typeName.substr( 1 );

        if( !StringToType( nextTypeName, type ) ){
            return false;
        }

        type.PtrLevelUp();

        return true;
    }

    {
        int basicType;
        if( Type::StringToBasicType( typeName, basicType ) ){
            // 基本型だったとき
            type.SetBasicType( basicType );
            return true;
        }
    }

    // Object型だったとき
    if( typeName == "Object" ){
        type.SetType( DEF_OBJECT, this->GetObjectModule().meta.GetClasses().GetObjectClassPtr() );
        return true;
    }

    // String型だったとき
    if( typeName == "String" ){
        type.SetType( DEF_OBJECT, this->GetObjectModule().meta.GetClasses().GetStringClassPtr() );
        return true;
    }


    ////////////////////
    // TypeDefされた型
    ////////////////////
    int i=this->GetObjectModule().meta.GetTypeDefs().GetIndex( typeName );
    if(i!=-1){
        type = this->GetObjectModule().meta.GetTypeDefs()[i].GetBaseType();
        return true;
    }

    //クラス
    const CClass *pobj_c = this->GetObjectModule().meta.GetClasses().Find( typeName );
    if(pobj_c){
        if( pobj_c->IsStructure() ){
            type.SetBasicType( DEF_STRUCT );
        }
        else{
            type.SetBasicType( DEF_OBJECT );
        }
        type.SetClassPtr( pobj_c );
        return true;
    }


    /////////////////////////////////////////////////////////
    // ☆★☆ ジェネリクスサポート ☆★☆

    // 型パラメータ
    if( this->pCompilingClass )
    {
        // クラスに属するメソッドをコンパイルしているとき
        int formalTypeIndex = this->pCompilingClass->GetFormalGenericTypeParameterIndex( typeName );
        if( formalTypeIndex != -1 )
        {
            // コンパイル中クラスにおけるジェネリクス用の型パラメータのとき
            type.SetBasicType( DEF_TYPE_PARAMETER );
            type.SetClassPtr( &this->pCompilingClass->GetFormalGenericTypes()[formalTypeIndex].GetType().GetClass() );
            type.SetFormalTypeName( typeName );
            type.SetFormalTypeIndex( formalTypeIndex );
            return true;
        }
    }

    //
    /////////////////////////////////////////////////////////

    return false;
}

const string Compiler::TypeToString( const Type &type )
{
    if( PTR_LEVEL( type.GetBasicType() ) ){
        //ポインタレベルが1以上の場合
        Type tempType( type );
        tempType.PtrLevelDown();

        return (string)"*" + TypeToString( tempType );
    }
    else if( type.IsObject() || type.IsStruct() ){
        //オブジェクトまたは構造体

        if( !( type.GetIndex() == 0 || type.GetIndex() == -1 ) ){
            if( type.GetClass().GetNamespaceScopes().size() >= 1 )
            {
                return type.GetClass().GetNamespaceScopes().ToString() + "." + type.GetClass().GetName();
            }
            return type.GetClass().GetName();
        }
    }
    else if( type.IsProcPtr() ){
        if( type.GetIndex() == 0 || type.GetIndex() == -1 ){
            return "VoidPtr";
        }
        else{
            if( this->GetObjectModule().meta.GetProcPointers()[type.GetIndex()]->ReturnType().IsNull() ){
                return "*Sub";
            }
            return "*Function";
        }
    }
    else{
        // 基本型
        const char *lpszTypeName = Type::BasicTypeToCharPtr( type );
        if( lpszTypeName )
        {
            return (const string)lpszTypeName;
        }
    }

    SmoothieException::Throw( 1 );

    return (string)"(null)";
}