Changeset 424 in dev for trunk/abdev/BasicCompiler_Common/src/Class_Collect.cpp

Timestamp:

Mar 10, 2008, 5:39:36 PM (16 years ago)

Author:

dai_9181

Message:

・ジェネリックな型をパラメータに持つメソッドのオーバーロード解決に対応した。
・型パラメータの制約クラス指定に対応した。

File:

• trunk/abdev/BasicCompiler_Common/src/Class_Collect.cpp (modified) (4 diffs)

trunk/abdev/BasicCompiler_Common/src/Class_Collect.cpp

@@ -332 +332 @@
             char className[VN_SIZE];
             Jenga::Common::Strings typeParameters;
-            SplitGenericClassInstance( temporary, className, typeParameters );
+            Jenga::Common::Strings typeParameterBaseClassNames;
+            SplitGenericClassInstance( temporary, className, typeParameters, true, &typeParameterBaseClassNames );
 
             CClass *pobj_c = const_cast<CClass *>( this->Find(namespaceScopes, className) );
@@ -353 +354 @@
             /////////////////////////////////////////////////////////
             // ☆★☆ ジェネリクスサポート ☆★☆
-            BOOST_FOREACH( const std::string &typeParameter, typeParameters )
-            {
-                pobj_c->AddFormalGenericType( GenericType( typeParameter, Type(DEF_OBJECT,*GetObjectClassPtr()) ) );
+            for( i2=0; i2<static_cast<int>(typeParameters.size()); i2++ )
+            {
+                Type baseType( DEF_OBJECT, *GetObjectClassPtr() );
+                if( typeParameterBaseClassNames[i2].size() )
+                {
+                    if( !compiler.StringToType( typeParameterBaseClassNames[i2], baseType ) )
+                    {
+                        SetError(106,typeParameterBaseClassNames[i2],i);
+                    }
+                    else if( !baseType.IsObject() )
+                    {
+                        SetError(106,typeParameterBaseClassNames[i2],i);
+                    }
+                }
+
+                pobj_c->AddFormalGenericType( GenericType( typeParameters[i2], baseType ) );
             }
             /////////////////////////////////////////////////////////
@@ -527 +541 @@
             char className[VN_SIZE];
             Jenga::Common::Strings typeParameters;
-            SplitGenericClassInstance( temporary, className, typeParameters );
+            Jenga::Common::Strings typeParameterBaseClassNames;
+            SplitGenericClassInstance( temporary, className, typeParameters, true, &typeParameterBaseClassNames );
 
             CClass *pobj_c =  const_cast<CClass *>( this->Find(namespaceScopes, className) );
@@ -549 +564 @@
             /////////////////////////////////////////////////////////
             // ☆★☆ ジェネリクスサポート ☆★☆
-            BOOST_FOREACH( const std::string &typeParameter, typeParameters )
-            {
-                pobj_c->AddFormalGenericType( GenericType( typeParameter, Type(DEF_OBJECT,*GetObjectClassPtr()) ) );
+            for( i2=0; i2<static_cast<int>(typeParameters.size()); i2++ )
+            {
+                Type baseType( DEF_OBJECT, *GetObjectClassPtr() );
+                if( typeParameterBaseClassNames[i2].size() )
+                {
+                    if( !compiler.StringToType( typeParameterBaseClassNames[i2], baseType ) )
+                    {
+                        SetError(106,typeParameterBaseClassNames[i2],i);
+                    }
+                    else if( !baseType.IsObject() )
+                    {
+                        SetError(106,typeParameterBaseClassNames[i2],i);
+                    }
+                }
+
+                pobj_c->AddFormalGenericType( GenericType( typeParameters[i2], baseType ) );
             }
             /////////////////////////////////////////////////////////