Changeset 299 in dev for trunk/abdev/BasicCompiler_Common/src/Class.cpp

Timestamp:

Aug 23, 2007, 6:17:00 PM (17 years ago)

Author:

dai_9181

Message:

 

File:

• trunk/abdev/BasicCompiler_Common/src/Class.cpp (modified) (12 diffs)

trunk/abdev/BasicCompiler_Common/src/Class.cpp

@@ -188 +188 @@
         }
 
+        // ジェネリクス構文を分解
         char className[VN_SIZE];
-        std::vector<std::string> typeParameters;
-        SplitGenericClassInstance( temporary, className, typeParameters );
+        Jenga::Common::Strings typeParameterStrings;
+        SplitGenericClassInstance( temporary, className, typeParameterStrings );
+
+        // 型パラメータ文字列から型データを取得
+        std::vector<Type> actualTypeParameters;
+        BOOST_FOREACH( const std::string &typeParameterStr, typeParameterStrings )
+        {
+            Type type;
+            compiler.StringToType( typeParameterStr, type );
+            actualTypeParameters.push_back( type );
+        }
 
         //継承元クラスを取得
@@ -206 +216 @@
             isInheritsClass = true;
 
-            if( !InheritsClass( *pInheritsClass, nowLine ) ){
+            if( !InheritsClass( *pInheritsClass, actualTypeParameters, nowLine ) ){
                 return false;
             }
@@ -223 +233 @@
     if( !isInheritsClass ){
         // クラスを一つも継承していないとき
-        if( !InheritsClass( *compiler.GetObjectModule().meta.GetClasses().GetObjectClassPtr(), nowLine ) ){
+        if( !InheritsClass( *compiler.GetObjectModule().meta.GetClasses().GetObjectClassPtr(), Types(), nowLine ) ){
             return false;
         }
@@ -241 +251 @@
 
         char className[VN_SIZE];
-        std::vector<std::string> typeParameters;
+        Jenga::Common::Strings typeParameters;
         SplitGenericClassInstance( temporary, className, typeParameters );
 
@@ -273 +283 @@
     return true;
 }
-bool CClass::InheritsClass( const CClass &inheritsClass, int nowLine ){
+bool CClass::InheritsClass( const CClass &inheritsClass, const Types &actualTypeParameters, int nowLine ){
 
     //ループ継承でないかをチェック
@@ -300 +310 @@
         }
 
+        // メンバのみ、型パラメータを解決する（メソッドのほうは呼び出し時に解決する）
+        if( pMember->GetType().IsTypeParameter() )
+        {
+            pMember->ResetType( actualTypeParameters[pMember->GetType().GetFormalTypeIndex()] );
+        }
+
         dynamicMembers.push_back( pMember );
     }
@@ -332 +348 @@
     //継承先のクラスをメンバとして保持する
     SetSuperClass( &inheritsClass );
+    SetSuperClassActualTypeParameters( actualTypeParameters );
 
     return true;
@@ -1075 +1092 @@
     namespaceScopes.clear();
 
+    // 呼び出し元でコンパイル中のクラスポインタをバックアップ
+    const CClass *pBackCompilingClass = compiler.pCompilingClass;
+
     for(i=0;;i++){
         if(basbuf[i]=='\0') break;
@@ -1162 +1182 @@
 
                 //継承させる
-                if( !pobj_c->InheritsClass( *pInheritsClass, i ) ){
+                if( !pobj_c->InheritsClass( *pInheritsClass, Types(), i ) ){
                     goto Interface_InheritsError;
                 }
@@ -1270 +1290 @@
 
             char className[VN_SIZE];
-            std::vector<std::string> typeParameters;
+            Jenga::Common::Strings typeParameters;
             SplitGenericClassInstance( temporary, className, typeParameters );
 
@@ -1476 +1496 @@
                             if(!MemberVar_LoopRefCheck(pobj_c->GetDynamicMembers()[pobj_c->GetDynamicMembers().size()-1]->GetType().GetClass())){
                                 //エラー回避
-                                pobj_c->GetDynamicMembers()[pobj_c->GetDynamicMembers().size()-1]->GetType().SetBasicType( DEF_PTR_VOID );
+                                Type &type = const_cast<Type &>(pobj_c->GetDynamicMembers().back()->GetType());
+                                type.SetBasicType( DEF_PTR_VOID );
                             }
                             pobj_LoopRefCheck->del(pobj_c->GetName().c_str());
@@ -1524 +1545 @@
     }
 
+    // 呼び出し元でコンパイル中のクラスポインタを元に戻す
+    compiler.pCompilingClass = pBackCompilingClass;
 
     // 名前空間を元に戻す