Changeset 447 in dev for trunk/ab5.0/abdev/BasicCompiler_Common/src/Procedure.cpp

Timestamp:

Mar 21, 2008, 2:23:20 PM (17 years ago)

Author:

dai_9181

Message:

共変戻り値のオーバーロードをサポートした。

File:

• trunk/ab5.0/abdev/BasicCompiler_Common/src/Procedure.cpp (modified) (1 diff)

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

@@ -26 +26 @@
             return true;
         }
-
-        if( this->returnType.IsTypeParameter() )
+        else if( this->returnType.IsCovariant( pUserProc->returnType ) )
+        {
+            // 戻り値が共変
+            return true;
+        }
+        else if( this->returnType.IsTypeParameter() )
         {
             // 型パラメータだったとき
+
             if( actualTypeParametersForThisProc[this->returnType.GetFormalTypeIndex()].Equals( pUserProc->returnType ) )
             {
                 // 戻り値が等しい
+                return true;
+            }
+            else if( actualTypeParametersForThisProc[this->returnType.GetFormalTypeIndex()].IsCovariant( pUserProc->returnType ) )
+            {
+                // 戻り値が共変
                 return true;
             }