Changeset 290 in dev for trunk/abdev/BasicCompiler_Common


Ignore:
Timestamp:
Aug 21, 2007, 11:00:25 PM (17 years ago)
Author:
dai_9181
Message:

ジェネリクスのベースを実装

Location:
trunk/abdev/BasicCompiler_Common
Files:
17 edited

Legend:

Unmodified
Added
Removed

  • trunk/abdev/BasicCompiler_Common/Intermediate_Step2.cpp

    r272 r290  
    269269                }
    270270
     271                // クラス名を取得
     272                char className[VN_SIZE];
     273                GetIdentifierToken( className, Command, i2 );
     274
    271275                //コンストラクタ、デストラクタを暗黙的に生成
    272                 MakeConstructorAndDestructor(buffer,nowLine,Command + i2);
     276                MakeConstructorAndDestructor(buffer,nowLine,className);
    273277                break;
    274278            case ESC_INTERFACE:

  • trunk/abdev/BasicCompiler_Common/NumOpe_GetType.cpp

    r265 r290  
    5151
    5252    int BaseTypeSize;
    53     BaseTypeSize=GetTypeSize(BaseType,-1);
     53    BaseTypeSize=Type(BaseType,-1).GetSize();
    5454
    5555    if(IsRealNumberType(BaseType)){
    56         if(GetTypeSize(CalcType,-1)<4)
     56        if(Type(CalcType,-1).GetSize()<4)
    5757            type=MakeWholeType(4,IsSignedType(CalcType));
    5858    }
    59     else if(BaseTypeSize>GetTypeSize(CalcType,-1)){
     59    else if(BaseTypeSize>Type(CalcType,-1).GetSize()){
    6060        //要求される型のほうがサイズが大きいとき
    6161        type=MakeWholeType(BaseTypeSize,IsSignedType(CalcType));
    … …  
    358358        }
    359359
    360         const CClass &objClass = leftType.GetClass();
    361 
    362360
    363361        ///////////////////////////////////////////////////////////////////
    364362        // メンバを検索
    365363        ///////////////////////////////////////////////////////////////////
    366         if( GetMemberType( objClass, member, resultType, 0, false ) ){
     364        if( GetMemberType( leftType, member, resultType, 0, false ) ){
    367365            // メンバが見つかったとき
    368366            return true;
    … …  
    378376
    379377        vector<const UserProc *> userProcs;
    380         objClass.GetMethods().Enum( methodName, userProcs );
     378        leftType.GetClass().GetMethods().Enum( methodName, userProcs );
    381379        if(userProcs.size()){
    382380            //オーバーロードを解決
    … …  
    385383            if( pUserProc ){
    386384                resultType = pUserProc->ReturnType();
     385
     386                /////////////////////////////////////////////////////////
     387                // ☆★☆ ジェネリクスサポート ☆★☆
     388
     389                if( resultType.IsTypeParameter() )
     390                {
     391                    // 型パラメータだったとき
     392                    if( leftType.HasActualGenericType() )
     393                    {
     394                        // TODO: GetDummyActualGenericTypeを適切な形に実装し直す
     395                        resultType = leftType.GetDummyActualGenericType();
     396                    }
     397                    else
     398                    {
     399                        // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
     400                        resultType.SetBasicType( DEF_OBJECT );
     401                    }
     402                }
     403
     404                //
     405                /////////////////////////////////////////////////////////
     406
    387407                return true;
    388408            }

  • trunk/abdev/BasicCompiler_Common/OldStatement.cpp

    r206 r290  
    125125        return;
    126126    }
    127     Opcode_CallProc(buffer,pUserProc,0,"",0);
     127    Opcode_CallProc(buffer,pUserProc,0,"");
    128128}
    129129void Opcode_PrintUsing(const char *Parameter,char *buffer,BOOL bFile){
    … …  
    227227        return;
    228228    }
    229     Opcode_CallProc(buffer,pUserProc,0,"",0);
     229    Opcode_CallProc(buffer,pUserProc,0,"");
    230230}
    231231void Opcode_Print(const char *Parameter,BOOL bWrite){
    … …  
    331331        return;
    332332    }
    333     Opcode_CallProc(buffer,pUserProc,0,"",0);
     333    Opcode_CallProc(buffer,pUserProc,0,"");
    334334}

  • trunk/abdev/BasicCompiler_Common/ParamImpl.cpp

    r284 r290  
    168168        }
    169169        else{
    170             //if(NATURAL_TYPE(argType.GetBasicType())==DEF_OBJECT || NATURAL_TYPE(argType.GetBasicType())==DEF_STRUCT){
    171170            if( NATURAL_TYPE(argType.GetBasicType())==DEF_STRUCT){
    172171                if(argType.GetIndex()!=param.GetIndex()){

  • trunk/abdev/BasicCompiler_Common/Subroutine.cpp

    r277 r290  
    7373}
    7474
    75 void SplitObjectName(const char *name,char *ObjectName,int *pRefType){
     75void SplitObjectName(const char *name,char *ObjectName, ReferenceKind &referenceFind )
     76{
     77    referenceFind = RefNon;
     78
    7679    int i4;
    7780    for(i4=lstrlen(name)-1;i4>=0;i4--){
    … …  
    8285    else{
    8386        //参照タイプを判別
    84         if(name[i4]=='.') *pRefType=DEF_OBJECT;
    85         else *pRefType=DEF_PTR_OBJECT;
     87        if(name[i4]=='.')
     88        {
     89            referenceFind = RefDot;
     90        }
     91        else
     92        {
     93            referenceFind = RefPointer;
     94        }
    8695
    8796        if(i4==0) GetWithName(ObjectName);
    … …  
    109118        //オブジェクト名を取得
    110119        char ObjectName[VN_SIZE];
    111         int RefType;
    112         SplitObjectName(fullCallName,ObjectName,&RefType);
     120        ReferenceKind referenceKind;
     121        SplitObjectName(fullCallName,ObjectName, referenceKind );
    113122
    114123
    … …  
    131140
    132141        if( isCallOn ){
    133             if( !Opcode_CallProc(lpszParms,pUserProc,0,ObjectName,RefType) ){
     142            if( !Opcode_CallProc(lpszParms,pUserProc,0,ObjectName ) ){
    134143                return false;
    135144            }
    … …  
    192201    //オブジェクト名を取得
    193202    char ObjectName[VN_SIZE];
    194     int RefType;
    195     SplitObjectName(VarName,ObjectName,&RefType);
     203    ReferenceKind referenceKind;
     204    SplitObjectName(VarName,ObjectName, referenceKind );
    196205
    197206    //オーバーロード用の関数リストを作成
    … …  
    216225    if(pUserProc){
    217226        //呼び出し
    218         Opcode_CallProc(Parameter,pUserProc,0,ObjectName,RefType);
     227        Opcode_CallProc(Parameter,pUserProc,0,ObjectName);
    219228
    220229        resultType = pUserProc->ReturnType();
    … …  
    235244    //オブジェクト名を取得
    236245    char ObjectName[VN_SIZE];
    237     int RefType;
    238     SplitObjectName(VarName,ObjectName,&RefType);
     246    ReferenceKind referenceKind;
     247    SplitObjectName(VarName,ObjectName, referenceKind );
    239248
    240249    //オーバーロード用の関数リストを作成

  • trunk/abdev/BasicCompiler_Common/VariableOpe.cpp

    r288 r290  
    124124    return type;
    125125}
    126 int GetTypeSize(int type,LONG_PTR lpIndex){
    127     if(type==DEF_LONG){
    128         if(lpIndex==LITERAL_NULL||lpIndex==LITERAL_M128_0||lpIndex==LITERAL_0_255)
    129             return sizeof(BYTE);
    130         else if(lpIndex==LITERAL_M32768_0||lpIndex==LITERAL_0_65535)
    131             return sizeof(WORD);
    132 
    133         return sizeof(DWORD);
    134     }
    135 
    136     //整数型
    137     if(type==DEF_INT64||type==DEF_QWORD)
    138         return sizeof(_int64);
    139     else if(type==DEF_LONG||type==DEF_DWORD)
    140         return sizeof(DWORD);
    141     else if(type==DEF_INTEGER||type==DEF_WORD)
    142         return sizeof(WORD);
    143     else if(type==DEF_SBYTE||type==DEF_BYTE || type == DEF_BOOLEAN)
    144         return sizeof(BYTE);
    145 
    146     //実数型
    147     else if(type==DEF_DOUBLE)       return sizeof(double);
    148     else if(type==DEF_SINGLE)       return sizeof(float);
    149 
    150     //文字型
    151     else if( type == DEF_CHAR ){
    152         if( Smoothie::IsUnicode() ) return sizeof( WORD );
    153         return sizeof( BYTE );
    154     }
    155 
    156     //ポインタ型
    157     else if(IsPtrType(type))        return PTR_SIZE;
    158 
    159     else if( type == DEF_STRUCT ){
    160         if(lpIndex == 0 || lpIndex == -1){
    161             SetError(300,NULL,cp);
    162             return 0;
    163         }
    164 
    165         const CClass *pobj_c=(CClass *)lpIndex;
    166 
    167         return pobj_c->GetSize();
    168     }
    169 
    170     else if(type==DEF_OBJECT){
    171         return PTR_SIZE;
    172     }
    173     else{
    174         SetError(300,NULL,cp);
    175     }
    176     return 0;
    177 }
    178126int GetPtrType(int type){
    179127    return MAKE_PTR_TYPE(NATURAL_TYPE(type),PTR_LEVEL(type)+1);
    … …  
    475423
    476424
    477 bool GetMemberType( const CClass &objClass, const char *lpszMember, Type &resultType, BOOL bPrivateAccess, bool isErrorEnabled){
     425bool GetMemberType( const Type &classType, const char *lpszMember, Type &resultType, BOOL bPrivateAccess, bool isErrorEnabled)
     426{
     427    const CClass &objClass = classType.GetClass();
     428
    478429    extern int cp;
    479430
    … …  
    522473    resultType = pMember->GetType();
    523474
     475
     476    /////////////////////////////////////////////////////////
     477    // ☆★☆ ジェネリクスサポート ☆★☆
     478
     479    if( resultType.IsTypeParameter() )
     480    {
     481        // 型パラメータだったとき
     482        if( classType.HasActualGenericType() )
     483        {
     484            // TODO: GetDummyActualGenericTypeを適切な形に実装し直す
     485            resultType = classType.GetDummyActualGenericType();
     486        }
     487        else
     488        {
     489            // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
     490            resultType.SetBasicType( DEF_OBJECT );
     491        }
     492    }
     493
     494    //
     495    /////////////////////////////////////////////////////////
     496
     497
    524498    //ポインタ変数の場合
    525499    if( resultType.IsPointer() ){
    … …  
    539513        //入れ子構造の場合
    540514
    541         return GetMemberType( pMember->GetType().GetClass(),
     515        return GetMemberType( pMember->GetType(),
    542516            NestMember,
    543517            resultType,
    … …  
    633607        }
    634608
    635         return GetMemberType(*compiler.pCompilingClass,variable,resultType,1,isErrorEnabled);
     609        return GetMemberType(
     610            Type( DEF_OBJECT, *compiler.pCompilingClass ),
     611            variable,
     612            resultType,
     613            1,
     614            isErrorEnabled
     615        );
    636616    }
    637617
    … …  
    729709    if(member[0]){
    730710        if( NATURAL_TYPE( resultType.GetBasicType() )==DEF_OBJECT
    731             || NATURAL_TYPE( resultType.GetBasicType() )==DEF_STRUCT){
    732                 return GetMemberType(resultType.GetClass(),member,resultType,0,isErrorEnabled);
     711            || NATURAL_TYPE( resultType.GetBasicType() )==DEF_STRUCT)
     712        {
     713            return GetMemberType(resultType,member,resultType,0,isErrorEnabled);
    733714        }
    734715    }
    … …  
    753734}
    754735
    755 bool GetVarOffsetReadOnly(const char *NameBuffer,RELATIVE_VAR *pRelativeVar,Type &resultType, Subscripts *pResultSubscripts ){
     736bool GetVarOffsetReadOnly(const char *NameBuffer,RELATIVE_VAR *pRelativeVar,Type &resultType, Subscripts *pResultSubscripts )
     737{
    756738    //読み取り専用で変数へアクセス
    757739    return GetVarOffset(
    … …  
    764746    );
    765747}
    766 bool GetVarOffsetReadWrite(const char *NameBuffer,RELATIVE_VAR *pRelativeVar,Type &resultType, Subscripts *pResultSubscripts ){
     748bool GetVarOffsetReadWrite(const char *NameBuffer,RELATIVE_VAR *pRelativeVar,Type &resultType, Subscripts *pResultSubscripts )
     749{
    767750    //読み書き両用で変数へアクセス
    768751    return GetVarOffset(

  • trunk/abdev/BasicCompiler_Common/VariableOpe.h

    r206 r290  
    1414int GetSignedType(int type);
    1515int GetUnsignedType(int type);
    16 int GetTypeSize(int type,LONG_PTR lpIndex);
    1716int GetPtrType(int type);
    1817BOOL GetTypeName(int type,LONG_PTR lpIndex,char *name);
    … …  
    2322BOOL CheckVarNameError(char *name,int nowLine);
    2423int JumpSubScripts( const Subscripts &subscripts );
    25 bool GetMemberType( const CClass &objClass, const char *lpszMember, Type &resultType, BOOL bPrivateAccess, bool isErrorEnabled);
     24bool GetMemberType( const Type &classType, const char *lpszMember, Type &resultType, BOOL bPrivateAccess, bool isErrorEnabled);
    2625bool GetVarType( const char *nameBuffer, Type &resultType, bool isError);
    2726bool GetVarOffsetReadOnly(const char *NameBuffer,RELATIVE_VAR *pRelativeVar,Type &resultType, Subscripts *pResultSubscripts = NULL );

  • trunk/abdev/BasicCompiler_Common/calculation.cpp

    r265 r290  
    139139
    140140    int size1,size2;
    141     size1=GetTypeSize(type1,index1);
    142     size2=GetTypeSize(type2,index2);
     141    size1=Type(type1,index1).GetSize();
     142    size2=Type(type2,index2).GetSize();
    143143    if(size1<size2){
    144144        size1=size2;

  • trunk/abdev/BasicCompiler_Common/common.h

    r288 r290  
    352352int GetCallProcName(char *buffer,char *name);
    353353int GetProc(char *name,void **ppInfo);
    354 void SplitObjectName(const char *name,char *ObjectName,int *pRefType);
     354void SplitObjectName(const char *name,char *ObjectName, ReferenceKind &referenceFind );
    355355bool CallProc( int kind, const void *pProc, const char *fullCallName, const char *lpszParms, Type &resultType, bool isCallOn = true );
    356356bool CallPropertyMethod( const char *variable, const char *rightSide, Type &resultType);

  • trunk/abdev/BasicCompiler_Common/error.cpp

    r287 r290  
    388388
    389389#define STRING_SYSTEM_DECLAREHANDLE "*_System_DeclareHandle_"
    390 void DifferentTypeError(const int VarType,LONG_PTR VarIndex,const int CalcType,LONG_PTR CalcIndex,const int iWarning,const char *pszFuncName,const int ParmNum){
     390void DifferentTypeError( const Type &varType, const Type &calcFormalType, const int iWarning,const char *pszFuncName,const int ParmNum){
    391391    //////////////////////////
    392392    // キャストに関する警告
    393393    //////////////////////////
    394     char temporary[255],temp2[255],temp3[255];
    395 
    396     if(IS_LITERAL(CalcIndex)) CalcIndex=-1;
     394    char temporary[255];
     395    Type calcType( calcFormalType );
     396
     397    if(IS_LITERAL(calcType.GetIndex()))
     398    {
     399        calcType.SetIndex( -1 );
     400    }
    397401
    398402    if(pszFuncName)
    … …  
    400404    else temporary[0]=0;
    401405
    402     if(!GetTypeName(VarType,VarIndex,temp2)) lstrcpy(temp2,"Any");
    403     if(memcmp(temp2,STRING_SYSTEM_DECLAREHANDLE,lstrlen(STRING_SYSTEM_DECLAREHANDLE))==0){
    404         memmove(temp2,
    405             temp2+lstrlen(STRING_SYSTEM_DECLAREHANDLE),
    406             lstrlen(temp2+lstrlen(STRING_SYSTEM_DECLAREHANDLE))+1);
    407     }
    408     if(!GetTypeName(CalcType,CalcIndex,temp3)) lstrcpy(temp3,"Any");
    409     if(memcmp(temp3,STRING_SYSTEM_DECLAREHANDLE,lstrlen(STRING_SYSTEM_DECLAREHANDLE))==0){
    410         memmove(temp3,
    411             temp3+lstrlen(STRING_SYSTEM_DECLAREHANDLE),
    412             lstrlen(temp3+lstrlen(STRING_SYSTEM_DECLAREHANDLE))+1);
    413     }
    414     sprintf(temporary+lstrlen(temporary),"%sから%s",temp3,temp2);
     406    std::string varTypeName = Compiler::TypeToString( varType );
     407    if(memcmp( varTypeName.c_str(),STRING_SYSTEM_DECLAREHANDLE,lstrlen(STRING_SYSTEM_DECLAREHANDLE))==0)
     408    {
     409        varTypeName = varTypeName.substr( lstrlen(STRING_SYSTEM_DECLAREHANDLE) );
     410    }
     411
     412    std::string calcTypeName = Compiler::TypeToString( calcType );
     413    if(memcmp( calcTypeName.c_str(),STRING_SYSTEM_DECLAREHANDLE,lstrlen(STRING_SYSTEM_DECLAREHANDLE))==0)
     414    {
     415        calcTypeName = calcTypeName.substr( lstrlen(STRING_SYSTEM_DECLAREHANDLE) );
     416    }
     417    sprintf(temporary+lstrlen(temporary),"%sから%s",calcTypeName.c_str(),varTypeName.c_str());
    415418
    416419    extern int cp;
    … …  
    420423}
    421424
    422 bool CheckDifferentType(const int VarType,const LONG_PTR lpVarIndex,int CalcType,const LONG_PTR lpCalcIndex,const char *pszFuncName,const int ParmNum){
    423 
    424     if(VarType==DEF_STRUCT||CalcType==DEF_STRUCT){
     425bool CheckDifferentType( const Type &varType,const Type &calcFormalType,const char *pszFuncName,const int ParmNum)
     426{
     427    Type calcType( calcFormalType );
     428
     429    if( varType.IsStruct() || calcType.IsStruct() )
     430    {
    425431        //いずれかが構造体場合
    426         if( VarType != CalcType || lpVarIndex != lpCalcIndex ){
    427             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,3,pszFuncName,ParmNum);
     432        if( !varType.Equals( calcType ) )
     433        {
     434            DifferentTypeError( varType, calcType,3,pszFuncName,ParmNum);
    428435            return false;
    429436        }
    430437    }
    431438
    432     if(VarType==DEF_OBJECT||CalcType==DEF_OBJECT){
    433         //いずれかがオブジェクトインスタンスの場合
    434         if( VarType != CalcType ){
    435             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,3,pszFuncName,ParmNum);
     439    if( varType.IsObject() || calcType.IsObject() )
     440    {
     441        //いずれかがオブジェクトの場合
     442        if( varType.GetBasicType() != calcType.GetBasicType() )
     443        {
     444            DifferentTypeError( varType, calcType,3,pszFuncName,ParmNum);
    436445            return false;
    437446        }
    438447
    439         CClass *pClass = (CClass *)lpVarIndex;
    440         if( !pClass->IsEqualsOrSubClass( (CClass *)lpCalcIndex ) ){
     448        if( !varType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) )
     449        {
    441450            //等しくなく、派生クラスでもないとき
    442             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,3,pszFuncName,ParmNum);
     451            DifferentTypeError( varType, calcType,3,pszFuncName,ParmNum);
    443452            return false;
    444453        }
    … …  
    449458    if(bStrict==0) return true;
    450459
    451     if(CalcType&FLAG_PTR){
     460    if( calcType.GetBasicType() & FLAG_PTR )
     461    {
    452462        //配列先頭フラグがたっている場合は、ポインタ型として扱う
    453         CalcType=MAKE_PTR_TYPE(NATURAL_TYPE(CalcType),PTR_LEVEL(CalcType)+1);
    454     }
    455 
    456     if(IsPtrType(VarType)||IsPtrType(CalcType)){
     463        calcType.SetBasicType( MAKE_PTR_TYPE(NATURAL_TYPE(calcType.GetBasicType()),PTR_LEVEL(calcType.GetBasicType())+1) );
     464    }
     465
     466    if( varType.IsPointer() || calcType.IsPointer() )
     467    {
    457468        /* 右辺及び左辺のいずれかがポインタ型の場合は、
    458469            型チェックを行う。
    459470        ・同一の種類のポインタ型以外はエラーとする */
    460471
    461         if(IsPtrType(VarType)&&lpCalcIndex==LITERAL_NULL){
     472        if( varType.IsPointer() && calcType.GetIndex() == LITERAL_NULL )
     473        {
    462474            //リテラルNULL値の場合
    463475            return true;
    464476        }
    465477
    466         if(VarType==DEF_PTR_VOID){
     478        if( varType.IsVoidPtr() )
     479        {
    467480            //左辺がVoidPtr型の場合は、ポインタ型すべてを受け入れる
    468             if(IsPtrType(CalcType)) return true;
    469         }
    470 
    471         if(CalcType==DEF_PTR_VOID){
     481            if( calcType.IsPointer() )
     482            {
     483                return true;
     484            }
     485        }
     486
     487        if( calcType.IsVoidPtr() )
     488        {
    472489            //右辺がVoidPtr型の場合は、ポインタ型すべてを受け入れる
    473             if(IsPtrType(VarType)) return true;
    474         }
    475 
    476         if(VarType!=CalcType){
    477             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,2,pszFuncName,ParmNum);
     490            if( varType.IsPointer() )
     491            {
     492                return true;
     493            }
     494        }
     495
     496        if( varType.GetBasicType() != calcType.GetBasicType() )
     497        {
     498            DifferentTypeError( varType, calcType, 2,pszFuncName,ParmNum);
    478499            return true;
    479500        }
    480501
    481         if(VarType==DEF_PTR_OBJECT){
     502        if( varType.IsObjectPtr() )
     503        {
    482504            //双方がオブジェクトポインタ型の場合
    483             if(lpVarIndex!=lpCalcIndex){
    484                 const CClass *pobj_tempClass;
    485                 pobj_tempClass=(CClass *)lpCalcIndex;
     505            if( varType.GetIndex() != calcType.GetIndex() )
     506            {
     507                const CClass *pobj_tempClass = &calcType.GetClass();
    486508                while(pobj_tempClass&&(!IS_LITERAL((LONG_PTR)pobj_tempClass))){
    487509                    pobj_tempClass=&pobj_tempClass->GetSuperClass();
    488510
    489                     if(lpVarIndex==(LONG_PTR)pobj_tempClass){
     511                    if( &varType.GetClass() == pobj_tempClass )
     512                    {
    490513                        //継承先が等しいとき
    491514                        return true;
    492515                    }
    493516                }
    494                 DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,2,pszFuncName,ParmNum);
     517                DifferentTypeError( varType, calcType, 2,pszFuncName,ParmNum);
    495518                return true;
    496519            }
    … …  
    498521    }
    499522
    500     if(VarType==DEF_DOUBLE){
    501         if(Is64Type(CalcType)){
     523    if( varType.IsDouble() )
     524    {
     525        if( calcType.Is64() )
     526        {
    502527            //64ビット整数値の場合は警告を出す
    503             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
    504         }
    505     }
    506     else if(VarType==DEF_SINGLE){
    507         if(Is64Type(CalcType)||CalcType==DEF_DOUBLE){
     528            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
     529        }
     530    }
     531    else if( varType.IsSingle() )
     532    {
     533        if( calcType.Is64() || calcType.IsDouble() )
     534        {
    508535            //64ビット整数値、またはDouble型の場合は警告を出す
    509             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
    510         }
    511     }
    512     else if(GetTypeSize(VarType,lpVarIndex)==sizeof(char)){
    513         if(GetTypeSize(CalcType,lpCalcIndex)>sizeof(char)&&
    514             lpCalcIndex!=LITERAL_NULL&&
    515             lpCalcIndex!=LITERAL_M128_0&&
    516             lpCalcIndex!=LITERAL_0_255){
     536            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
     537        }
     538    }
     539    else if( varType.GetSize() == sizeof(char) )
     540    {
     541        if( calcType.GetSize() > sizeof(char)
     542            && calcType.GetIndex() != LITERAL_NULL
     543            && calcType.GetIndex() != LITERAL_M128_0
     544            && calcType.GetIndex() != LITERAL_0_255 )
     545        {
    517546            //8ビット整数値より大きな型で、リテラル値でもない場合は警告を出す
    518             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
    519         }
    520     }
    521     else if(GetTypeSize(VarType,lpVarIndex)==sizeof(short)){
    522         if(GetTypeSize(CalcType,lpCalcIndex)>sizeof(short)&&
    523             lpCalcIndex!=LITERAL_NULL&&
    524             lpCalcIndex!=LITERAL_M128_0&&
    525             lpCalcIndex!=LITERAL_0_255&&
    526             lpCalcIndex!=LITERAL_M32768_0&&
    527             lpCalcIndex!=LITERAL_0_65535){
     547            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
     548        }
     549    }
     550    else if( varType.GetSize() == sizeof(short) )
     551    {
     552        if( calcType.GetSize() > sizeof(short)
     553            && calcType.GetIndex() != LITERAL_NULL
     554            && calcType.GetIndex() != LITERAL_M128_0
     555            && calcType.GetIndex() != LITERAL_0_255
     556            && calcType.GetIndex() != LITERAL_M32768_0
     557            && calcType.GetIndex() != LITERAL_0_65535 )
     558        {
    528559            //16ビット整数値より大きな型で、リテラル値でもない場合は警告を出す
    529             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
    530         }
    531     }
    532     else if(GetTypeSize(VarType,lpVarIndex)==sizeof(long)){
    533         if(IsRealNumberType(CalcType)||
    534             (IsWholeNumberType(CalcType)&&
    535             GetTypeSize(CalcType,lpCalcIndex)>sizeof(long)&&
    536             lpCalcIndex!=LITERAL_NULL)
    537             ){
     560            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
     561        }
     562    }
     563    else if( varType.GetSize() == sizeof(long) )
     564    {
     565        if( calcType.IsReal()
     566            || ( calcType.IsWhole() && calcType.GetSize() > sizeof(long) && calcType.GetIndex() != LITERAL_NULL ) )
     567        {
    538568            /* 32ビット整数値より大きな型、または実数、
    539569                    またはリテラル値でもない場合は警告を出す */
    540             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
    541         }
    542     }
    543     else if(GetTypeSize(VarType,lpVarIndex)==sizeof(_int64)){
    544         if(IsRealNumberType(CalcType)){
     570            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
     571        }
     572    }
     573    else if( varType.GetSize() == sizeof(_int64) )
     574    {
     575        if( calcType.IsReal() )
     576        {
    545577            //実数の場合は警告を出す
    546             DifferentTypeError(VarType,lpVarIndex,CalcType,lpCalcIndex,1,pszFuncName,ParmNum);
     578            DifferentTypeError( varType, calcType, 1,pszFuncName,ParmNum);
    547579        }
    548580    }
    … …  
    550582    return true;
    551583}
    552 bool CheckDifferentType( const Type &varType,const Type &calcType,const char *pszFuncName,const int ParmNum){
    553     return CheckDifferentType(
    554         varType.GetBasicType(),
    555         varType.GetIndex(),
    556         calcType.GetBasicType(),
    557         calcType.GetIndex(),
    558         pszFuncName,
    559         ParmNum );
    560 }

  • trunk/abdev/BasicCompiler_Common/include/Class.h

    r282 r290  
    99
    1010class UserProc;
     11class CClass;
    1112
    1213class InheritedInterface
    … …  
    4849    // importされている名前空間
    4950    NamespaceScopesCollection importedNamespaces;
    50    
     51
     52    // 型パラメータ
     53    GenericTypes formalGenericTypes;
     54
    5155    // 継承クラス
    5256    const CClass *pSuperClass;
    … …  
    108112        , classType( Class )
    109113        , pSuperClass( NULL )
     114        , blittableType( Type() )
    110115        , isReady( false )
    111116        , fixedAlignment( 0 )
    … …  
    124129        , classType()
    125130        , pSuperClass( NULL )
     131        , blittableType( Type() )
    126132        , isReady( false )
    127133        , fixedAlignment( 0 )
    … …  
    173179    }
    174180
     181    // 型パラメータ
     182    void AddFormalGenericType( GenericType genericType )
     183    {
     184        this->formalGenericTypes.push_back( genericType );
     185    }
     186    bool IsExistFormalGenericTypeParameter( const std::string &name ) const
     187    {
     188        BOOST_FOREACH( const GenericType &genericType, formalGenericTypes )
     189        {
     190            if( genericType.GetName() == name )
     191            {
     192                return true;
     193            }
     194        }
     195        return false;
     196    }
     197
    175198    // 継承元クラス
    176199    bool HasSuperClass() const

  • trunk/abdev/BasicCompiler_Common/include/Type.h

    r271 r290  
    1616
    1717class CClass;
     18
     19class GenericType;
     20typedef std::vector<GenericType> GenericTypes;
    1821
    1922class Type{
    … …  
    2326        const CClass *pClass;
    2427    };
     28    GenericTypes actualGenericTypes;
    2529
    2630    // XMLシリアライズ用
    … …  
    5256      index( -1 ){}
    5357
    54     Type( int basicType, LONG_PTR index ):
    55       basicType( basicType ),
    56       index( index ){}
     58    Type( int basicType, LONG_PTR index )
     59        : basicType( basicType )
     60        , index( index )
     61    {
     62    }
    5763
    5864    Type( int basicType, const CClass &objClass ):
    … …  
    6066      index( (LONG_PTR)&objClass ){}
    6167
    62     Type( const Type &type ):
    63       basicType( type.basicType ),
    64       index( type.index ){}
     68    Type( const Type &type )
     69        : basicType( type.basicType )
     70        , index( type.index )
     71        , actualGenericTypes( type.actualGenericTypes )
     72    {
     73    }
     74
     75    ~Type();
     76
     77    void operator= ( const Type &type )
     78    {
     79        basicType = type.basicType;
     80        index = type.index;
     81        actualGenericTypes = type.actualGenericTypes;
     82    }
    6583
    6684    __inline int GetBasicType() const
    … …  
    7290        return index;
    7391    }
    74     const CClass &GetClass() const
    75     {
    76         return *pClass;
    77     }
     92    const CClass &GetClass() const;
    7893
    7994    void SetBasicType( int basicType ){
    … …  
    85100    void SetClassPtr( const CClass *pClass )
    86101    {
     102        int naturalBasicType = NATURAL_TYPE( basicType );
     103        if( !HasMember() )
     104        {
     105            Jenga::Throw( "クラスまたは構造体でない型に対してSetClassPtrを呼び出した" );
     106        }
    87107        this->pClass = pClass;
    88108    }
    … …  
    98118        SetBasicType( basicType );
    99119        this->pClass = pClass;
     120    }
     121    void SetActualGenericTypes( const GenericTypes &genericTypes )
     122    {
     123        this->actualGenericTypes = genericTypes;
    100124    }
    101125
    … …  
    142166    bool IsObject() const;
    143167    bool IsObjectPtr() const;
     168    bool IsTypeParameter() const;
    144169    bool IsObjectClass() const;
    145170    bool IsStringClass() const;
    … …  
    150175    bool HasMember() const;
    151176
    152     void operator= ( const Type &type ){
    153         basicType = type.basicType;
    154         index = type.index;
    155     }
     177    // 未完成
     178    const Type &GetDummyActualGenericType() const;
     179    bool HasActualGenericType() const;
    156180
    157181
    … …  
    163187    static const char *Type::BasicTypeToCharPtr( const Type &type );
    164188    static int GetBasicTypeFromSimpleName( const char *variable );
     189};
     190
     191class GenericType
     192{
     193    std::string name;
     194    Type type;
     195public:
     196    GenericType( const std::string &name, const Type &type )
     197        : name( name )
     198        , type( type )
     199    {
     200    }
     201    GenericType()
     202    {
     203    }
     204    ~GenericType()
     205    {
     206    }
     207
     208    const std::string &GetName() const
     209    {
     210        return name;
     211    }
     212    const Type &GetType() const
     213    {
     214        return type;
     215    }
    165216};
    166217

  • trunk/abdev/BasicCompiler_Common/src/Class.cpp

    r282 r290  
    908908            source[i+1]==ESC_TYPE||
    909909            source[i+1]==ESC_INTERFACE
    910             )){
    911                 int nowLine;
    912                 nowLine=i;
     910            ))
     911        {
     912            int nowLine = i;
     913            i += 2;
     914
     915            Type blittableType;
     916            if(memicmp(source.GetBuffer()+i,"Align(",6)==0){
     917                //アラインメント修飾子
     918                i+=6;
     919                i=JumpStringInPare(source.GetBuffer(),i)+1;
     920            }
     921            else if( memicmp( source.GetBuffer() + i, "Blittable(", 10 ) == 0 ){
     922                // Blittable修飾子
     923                i+=10;
     924                i+=GetStringInPare_RemovePare(temporary,source.GetBuffer()+i)+1;
     925                compiler.StringToType( temporary, blittableType );
     926            }
     927
     928            bool isEnum = false;
     929            if( source[i] == 1 && source[i+1] == ESC_ENUM ){
     930                // 列挙型の場合
     931                isEnum = true;
    913932
    914933                i+=2;
    915                 Type blittableType;
    916                 if(memicmp(source.GetBuffer()+i,"Align(",6)==0){
    917                     //アラインメント修飾子
    918                     i+=6;
    919                     i=JumpStringInPare(source.GetBuffer(),i)+1;
    920                 }
    921                 else if( memicmp( source.GetBuffer() + i, "Blittable(", 10 ) == 0 ){
    922                     // Blittable修飾子
    923                     i+=10;
    924                     i+=GetStringInPare_RemovePare(temporary,source.GetBuffer()+i)+1;
    925                     compiler.StringToType( temporary, blittableType );
    926                 }
    927 
    928                 bool isEnum = false;
    929                 if( source[i] == 1 && source[i+1] == ESC_ENUM ){
    930                     // 列挙型の場合
    931                     isEnum = true;
    932 
    933                     i+=2;
    934                 }
    935 
    936                 int i2;
    937                 char temporary[VN_SIZE];
    938                 for(i2=0;;i++,i2++){
    939                     if(!IsVariableChar(source[i])){
    940                         temporary[i2]=0;
    941                         break;
    942                     }
    943                     temporary[i2]=source[i];
    944                 }
    945 
    946                 //クラスを追加
    947                 CClass *pClass = this->Add(namespaceScopes, importedNamespaces, temporary,nowLine);
    948                 if( pClass ){
    949                     if( source[nowLine+1] == ESC_CLASS ){
    950                         if( isEnum ){
    951                             pClass->SetClassType( CClass::Enum );
    952                         }
    953                         else{
    954                             pClass->SetClassType( CClass::Class );
    955                         }
    956                     }
    957                     else if( source[nowLine+1] == ESC_INTERFACE ){
    958                         pClass->SetClassType( CClass::Interface );
     934            }
     935
     936            for(i2=0;;i++,i2++){
     937                if(!IsVariableChar(source[i])){
     938                    temporary[i2]=0;
     939                    break;
     940                }
     941                temporary[i2]=source[i];
     942            }
     943
     944            //クラスを追加
     945            CClass *pClass = this->Add(namespaceScopes, importedNamespaces, temporary,nowLine);
     946            if( pClass ){
     947                if( source[nowLine+1] == ESC_CLASS ){
     948                    if( isEnum ){
     949                        pClass->SetClassType( CClass::Enum );
    959950                    }
    960951                    else{
    961                         pClass->SetClassType( CClass::Structure );
     952                        pClass->SetClassType( CClass::Class );
    962953                    }
    963954                }
    964 
    965                 // Blittable型の場合
    966                 if( !blittableType.IsNull() ){
    967                     pClass->SetBlittableType( blittableType );
    968 
    969                     // Blittable型として登録
    970                     compiler.GetObjectModule().meta.GetBlittableTypes().push_back( BlittableType( blittableType, pClass ) );
    971                 }
     955                else if( source[nowLine+1] == ESC_INTERFACE ){
     956                    pClass->SetClassType( CClass::Interface );
     957                }
     958                else{
     959                    pClass->SetClassType( CClass::Structure );
     960                }
     961            }
     962
     963            // Blittable型の場合
     964            if( !blittableType.IsNull() ){
     965                pClass->SetBlittableType( blittableType );
     966
     967                // Blittable型として登録
     968                compiler.GetObjectModule().meta.GetBlittableTypes().push_back( BlittableType( blittableType, pClass ) );
     969            }
    972970        }
    973971    }
    … …  
    12661264            if(!pobj_c) continue;
    12671265
     1266            compiler.pCompilingClass = pobj_c;
     1267
    12681268            if(lpszInheritsClass){
    12691269                if( pobj_c->GetName() != lpszInheritsClass ){
    … …  
    12771277                continue;
    12781278            }
     1279
     1280
     1281            /////////////////////////////////////////////////////////
     1282            // ☆★☆ ジェネリクスサポート ☆★☆
     1283            if( basbuf[i] == '<' )
     1284            {
     1285                // 型パラメータを取得
     1286                i++;
     1287                GetIdentifierToken( temporary, basbuf, i );
     1288
     1289                pobj_c->AddFormalGenericType( GenericType( temporary, Type(DEF_OBJECT,*GetObjectClassPtr()) ) );
     1290
     1291                if( basbuf[i] == '>' )
     1292                {
     1293                    i++;
     1294                }
     1295                else
     1296                {
     1297                    SetError();
     1298                }
     1299            }
     1300            /////////////////////////////////////////////////////////
     1301
    12791302
    12801303            pobj_c->SetFixedAlignment( iAlign );

  • trunk/abdev/BasicCompiler_Common/src/Compiler.cpp

    r273 r290  
    1919bool Compiler::StringToType( const string &typeName, Type &type ){
    2020    type.SetIndex( -1 );
     21
     22
     23    /////////////////////////////////////////////////////////
     24    // ☆★☆ ジェネリクスサポート ☆★☆
     25
     26    if( strstr( typeName.c_str(), "<" ) )
     27    {
     28        // ジェネリッククラスをインスタンス化した型の場合
     29        int i = 0;
     30        char className[VN_SIZE], typeParameter[VN_SIZE];
     31        GetIdentifierToken( className, typeName.c_str(), i );
     32        i++;
     33        GetIdentifierToken( typeParameter, typeName.c_str(), i );
     34
     35        // ジェネリクスクラスを取得
     36        const CClass *pGenericClass = compiler.GetObjectModule().meta.GetClasses().Find( className );
     37
     38        // 型パラメータの型情報を取得
     39        Type baseType;
     40        StringToType( typeParameter, baseType );
     41
     42        GenericTypes genericTypes;
     43        genericTypes.push_back( GenericType( "(non support)", baseType ) );
     44
     45        // 基本型をセット
     46        type.SetBasicType( DEF_OBJECT );
     47
     48        // 拡張情報をセット
     49        type.SetClassPtr( pGenericClass );
     50        type.SetActualGenericTypes( genericTypes );
     51
     52        return true;
     53    }
     54
     55    //
     56    /////////////////////////////////////////////////////////
     57
    2158
    2259    if( typeName[0] == '*' ){
    … …  
    74111    const CClass *pobj_c = compiler.GetObjectModule().meta.GetClasses().Find( typeName );
    75112    if(pobj_c){
    76         type.SetClassPtr( pobj_c );
    77 
    78113        if( pobj_c->IsStructure() ){
    79114            type.SetBasicType( DEF_STRUCT );
    … …  
    82117            type.SetBasicType( DEF_OBJECT );
    83118        }
     119        type.SetClassPtr( pobj_c );
    84120        return true;
    85121    }
     122
     123
     124    /////////////////////////////////////////////////////////
     125    // ☆★☆ ジェネリクスサポート ☆★☆
     126
     127    // 型パラメータ
     128    if( compiler.pCompilingClass )
     129    {
     130        // クラスに属するメソッドをコンパイルしているとき
     131        if( compiler.pCompilingClass->IsExistFormalGenericTypeParameter( typeName ) )
     132        {
     133            // コンパイル中クラスにおけるジェネリクス用の型パラメータのとき
     134            type.SetBasicType( DEF_TYPE_PARAMETER );
     135            type.SetClassPtr( compiler.GetObjectModule().meta.GetClasses().GetObjectClassPtr() );
     136            return true;
     137        }
     138    }
     139
     140    //
     141    /////////////////////////////////////////////////////////
    86142
    87143    return false;

  • trunk/abdev/BasicCompiler_Common/src/LexicalScope.cpp

    r288 r290  
    161161        const CMethod *method = (*pVariabls)[indexSystemGC]->GetType().GetClass().GetDestructorMethod();
    162162        if( method ){
    163             Opcode_CallProc("",&method->GetUserProc(),0,(*pVariabls)[indexSystemGC]->GetName().c_str(),DEF_OBJECT);
     163            Opcode_CallProc("",&method->GetUserProc(),0,(*pVariabls)[indexSystemGC]->GetName().c_str());
    164164        }
    165165    }

  • trunk/abdev/BasicCompiler_Common/src/Source.cpp

    r287 r290  
    815815
    816816    // basic.sbpをインクルード
    817     //const char *headCode = "#include <basic.sbp>\n";
    818     const char *headCode = "\n";
     817    const char *headCode = "#include <basic.sbp>\n";
     818    //const char *headCode = "\n";
    819819    Realloc( length + lstrlen(headCode) );
    820820    Text::SlideString( buffer, lstrlen(headCode) );

  • trunk/abdev/BasicCompiler_Common/src/Type.cpp

    r206 r290  
    5252};
    5353
     54Type::~Type()
     55{
     56}
     57
    5458bool Type::StringToBasicType( const string &typeName, int &basicType ){
    5559    for( int i=0; ; i++ ){
    … …  
    120124}
    121125
     126const CClass &Type::GetClass() const
     127{
     128    if( !HasMember() )
     129    {
     130        Jenga::Throw( "クラスまたは構造体でない型に対してGetClassを呼び出した" );
     131    }
     132
     133    return *pClass;
     134}
    122135
    123136bool Type::Equals( const Type &type ) const
    … …  
    185198
    186199    // 構造体
    187     if( basicType == DEF_STRUCT ){
     200    if( IsStruct() )
     201    {
    188202        if( !pClass ){
    189203            SmoothieException::Throw();
    … …  
    195209
    196210    // オブジェクト
    197     if(basicType==DEF_OBJECT){
     211    if( IsObject() )
     212    {
    198213        if( GetClass().IsInterface() ){
    199214            // vtblOffsetのサイズを含める
    … …  
    379394bool Type::IsObject() const
    380395{
    381     if( basicType == DEF_OBJECT ){
    382         return true;
    383     }
    384     return false;
     396    return (
     397        basicType == DEF_OBJECT
     398        || IsTypeParameter()
     399    );
    385400}
    386401bool Type::IsObjectPtr() const
    … …  
    390405    }
    391406    return false;
     407}
     408bool Type::IsTypeParameter() const
     409{
     410    return ( basicType == DEF_TYPE_PARAMETER );
    392411}
    393412bool Type::IsObjectClass() const
    … …  
    428447{
    429448    if( NATURAL_TYPE( basicType ) == DEF_OBJECT
    430         || NATURAL_TYPE( basicType ) == DEF_STRUCT ){
    431             return true;
    432     }
    433     return false;
     449        || NATURAL_TYPE( basicType ) == DEF_STRUCT
     450        || NATURAL_TYPE( basicType ) == DEF_TYPE_PARAMETER
     451    ){
     452        return true;
     453    }
     454    return false;
     455}
     456
     457const Type &Type::GetDummyActualGenericType() const
     458{
     459    return actualGenericTypes[0].GetType();
     460}
     461bool Type::HasActualGenericType() const
     462{
     463    return ( actualGenericTypes.size() > 0 );
    434464}
    435465
Note: See TracChangeset for help on using the changeset viewer.