Changeset 448 in dev for trunk/ab5.0/abdev/BasicCompiler_Common/src

Timestamp:

Mar 21, 2008, 7:34:57 PM (17 years ago)

Author:

dai_9181

Message:

・デリゲートの共変戻り値、反変引数に対応した。
・core.libで定義されたデリゲートがアプリケーションプロジェクトで利用できないバグを修正。

Location:

trunk/ab5.0/abdev/BasicCompiler_Common/src

Files:

• Delegate.cpp (modified) (2 diffs)
• Meta.cpp (modified) (1 diff)
• Parameter.cpp (modified) (6 diffs)
• Type.cpp (modified) (1 diff)

trunk/ab5.0/abdev/BasicCompiler_Common/src/Delegate.cpp

@@ -20 +20 @@
         }
     }
+}
+
+bool Delegate::IsSimilar( const Delegate &dgt ) const
+{
+    if( this->Params().Equals( dgt.Params(), true ) )           // パラメータが等しい、もしくは反変
+    {
+        if( this->returnType.Equals( dgt.returnType ) )
+        {
+            // 戻り値が等しい
+            return true;
+        }
+        else if( this->returnType.IsCovariant( dgt.returnType ) )
+        {
+            // 戻り値が共変
+            return true;
+        }
+    }
+    return false;
 }
 
@@ -149 +167 @@
         const Delegate &dg = *this->Iterator_GetNext();
 
+        if( !dg.isTargetObjectModule )
+        {
+            // 静的リンクライブラリの場合は飛ばす（既にインスタンスが定義済みであるため）
+            continue;
+        }
+
         std::map<std::string,std::string> values;
 

trunk/ab5.0/abdev/BasicCompiler_Common/src/Meta.cpp

@@ -152 +152 @@
     }
     meta.procPointers.PullOutAll();
+
+    // デリゲート
+    meta.GetDelegates().Iterator_Reset();
+    while( meta.GetDelegates().Iterator_HasNext() )
+    {
+        Delegate *pDelegate = meta.GetDelegates().Iterator_GetNext();
+        pDelegate->isTargetObjectModule = false;
+        this->GetDelegates().Put( pDelegate );
+    }
+    meta.GetDelegates().PullOutAll();
 }

trunk/ab5.0/abdev/BasicCompiler_Common/src/Parameter.cpp

@@ -2 +2 @@
 
 
-bool Parameter::Equals( const Parameter &param ) const
+bool Parameter::Equals( const Parameter &param, bool isContravariant ) const
 {
     if( Type::Equals( param ) )
@@ -25 +25 @@
     }
 
+    if( isContravariant )
+    {
+        // 反変引数を許可する
+        if( this->IsContravariant( param ) )
+        {
+            // 反変引数だったとき
+            return true;
+        }
+    }
+
     return false;
 }
-bool Parameter::Equals( const Types &actualTypeParametersForThisProc, const Parameter &param ) const
-{
-    if( Equals( param ) )
+bool Parameter::Equals( const Types &actualTypeParametersForThisProc, const Parameter &param, bool isContravariant ) const
+{
+    if( Equals( param, isContravariant ) )
     {
         return true;
@@ -47 +57 @@
 }
 
-bool Parameters::Equals( const Parameters &params ) const
+bool Parameters::Equals( const Parameters &params, bool isContravariant ) const
 {
     if( this->size() != params.size() ){
@@ -55 +65 @@
     int max = (int)this->size();
     for( int i=0; i<max; i++ ){
-        if( !(*this)[i]->Equals( *params[i] ) ){
+        if( !(*this)[i]->Equals( *params[i], isContravariant ) ){
             return false;
         }
@@ -62 +72 @@
     return true;
 }
-bool Parameters::Equals( const Types &actualTypeParametersForThisProc, const Parameters &params ) const
+bool Parameters::Equals( const Types &actualTypeParametersForThisProc, const Parameters &params, bool isContravariant ) const
 {
     if( this->size() != params.size() ){
@@ -70 +80 @@
     int max = (int)this->size();
     for( int i=0; i<max; i++ ){
-        if( !(*this)[i]->Equals( actualTypeParametersForThisProc, *params[i] ) ){
+        if( !(*this)[i]->Equals( actualTypeParametersForThisProc, *params[i], isContravariant ) ){
             return false;
         }

trunk/ab5.0/abdev/BasicCompiler_Common/src/Type.cpp

@@ -161 +161 @@
 
     return this->GetClass().IsSubClass( &type.GetClass() );
+}
+bool Type::IsContravariant( const Type &type ) const
+{
+    if( !this->IsObject() || !type.IsObject() )
+    {
+        // 反変性の判別はクラス型のみ
+        return false;
+    }
+
+    return type.GetClass().IsSubClass( &this->GetClass() );
 }