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

Timestamp:

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

Author:

dai_9181

Message:

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

File:

• trunk/ab5.0/abdev/BasicCompiler_Common/src/Parameter.cpp (modified) (6 diffs)

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;
         }