Changeset 292 in dev for trunk/abdev/BasicCompiler_Common

Timestamp:

Aug 22, 2007, 3:46:23 AM (17 years ago)

Author:

dai_9181

Message:

 

Location:

trunk/abdev/BasicCompiler_Common

Files:

• NumOpe_GetType.cpp (modified) (4 diffs)
• Subroutine.cpp (modified) (3 diffs)
• VariableOpe.cpp (modified) (2 diffs)
• common.h (modified) (1 diff)
• src/Type.cpp (modified) (1 diff)

trunk/abdev/BasicCompiler_Common/NumOpe_GetType.cpp

@@ -301 +301 @@
 }
 
-bool GetTermType( const char *term, Type &resultType, bool &isLiteral, bool *pIsClassName ){
+bool GetTermType( const char *term, Type &resultType, bool &isLiteral, bool *pIsClassName )
+{
+    if( (string)term=="a[1]")
+    {
+        int test=0;
+    }
     char parameter[VN_SIZE];
 
@@ -390 +395 @@
                 {
                     // 型パラメータだったとき
+
+                    int ptrLevel = PTR_LEVEL( resultType.GetBasicType() );
+
                     if( leftType.HasActualGenericType() )
                     {
@@ -399 +407 @@
                         // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
                         resultType.SetBasicType( DEF_OBJECT );
+                    }
+
+                    for( int i=0; i<ptrLevel; i++ )
+                    {
+                        resultType.PtrLevelUp();
                     }
                 }
@@ -513 +526 @@
     GetArrayElement(termFull,VarName,ArrayElements);
     if(ArrayElements[0]){
-        GetVarType(VarName,resultType,false);
-        if( resultType.IsObject() ){
-            if( !GetReturnTypeOfIndexerGetterProc( resultType.GetClass(),resultType) ){
+        Type classType;
+        GetVarType(VarName,classType,false);
+        if( classType.IsObject() ){
+            if( !GetReturnTypeOfIndexerGetterProc( classType, resultType ) ){
                 SetError(1,NULL,cp);
                 return false;

trunk/abdev/BasicCompiler_Common/Subroutine.cpp

@@ -228 +228 @@
 
         resultType = pUserProc->ReturnType();
+
+        Type leftType;
+        GetVarType( ObjectName, leftType, false );
+
+        /////////////////////////////////////////////////////////
+        // ☆★☆ ジェネリクスサポート ☆★☆
+
+        if( resultType.IsTypeParameter() )
+        {
+            // 型パラメータだったとき
+
+            int ptrLevel = PTR_LEVEL( resultType.GetBasicType() );
+
+            if( leftType.HasActualGenericType() )
+            {
+                // TODO: GetDummyActualGenericTypeを適切な形に実装し直す
+                resultType = leftType.GetDummyActualGenericType();
+            }
+            else
+            {
+                // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
+                resultType.SetBasicType( DEF_OBJECT );
+            }
+
+            for( int i=0; i<ptrLevel; i++ )
+            {
+                resultType.PtrLevelUp();
+            }
+        }
+
+        //
+        /////////////////////////////////////////////////////////
     }
 
@@ -274 +306 @@
 
 //インデクサ（getter）の戻り値を取得
-bool GetReturnTypeOfIndexerGetterProc( const CClass &objClass, Type &resultType ){
+bool GetReturnTypeOfIndexerGetterProc( const Type &classType, Type &resultType )
+{
     vector<const UserProc *> subs;
-    objClass.GetMethods().Enum( CALC_ARRAY_GET, subs );
+    classType.GetClass().GetMethods().Enum( CALC_ARRAY_GET, subs );
     if( subs.size() == 0 ){
         return false;
@@ -282 +315 @@
 
     resultType = subs[0]->ReturnType();
+
+
+    /////////////////////////////////////////////////////////
+    // ☆★☆ ジェネリクスサポート ☆★☆
+
+    if( resultType.IsTypeParameter() )
+    {
+        // 型パラメータだったとき
+
+        int ptrLevel = PTR_LEVEL( resultType.GetBasicType() );
+
+        if( classType.HasActualGenericType() )
+        {
+            // TODO: GetDummyActualGenericTypeを適切な形に実装し直す
+            resultType = classType.GetDummyActualGenericType();
+        }
+        else
+        {
+            // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
+            resultType.SetBasicType( DEF_OBJECT );
+        }
+
+        for( int i=0; i<ptrLevel; i++ )
+        {
+            resultType.PtrLevelUp();
+        }
+    }
+
+    //
+    /////////////////////////////////////////////////////////
 
     return true;

trunk/abdev/BasicCompiler_Common/VariableOpe.cpp

@@ -480 +480 @@
     {
         // 型パラメータだったとき
+
+        int ptrLevel = PTR_LEVEL( resultType.GetBasicType() );
+
         if( classType.HasActualGenericType() )
         {
@@ -489 +492 @@
             // TODO: ベースオブジェクト（指定されていないときはObjectクラス）にセットする
             resultType.SetBasicType( DEF_OBJECT );
+        }
+
+        for( int i=0; i<ptrLevel; i++ )
+        {
+            resultType.PtrLevelUp();
         }
     }

trunk/abdev/BasicCompiler_Common/common.h

@@ -356 +356 @@
 bool CallPropertyMethod( const char *variable, const char *rightSide, Type &resultType);
 bool GetReturnTypeOfPropertyMethod( const char *variable, const char *rightSide, Type &resultType );
-bool GetReturnTypeOfIndexerGetterProc( const CClass &objClass, Type &resultType );
+bool GetReturnTypeOfIndexerGetterProc( const Type &classType, Type &resultType );
 int AddProcPtrInfo( const string &typeExpression, int nowLine );
 bool IsNeedProcCompile();

trunk/abdev/BasicCompiler_Common/src/Type.cpp

@@ -408 +408 @@
 bool Type::IsTypeParameter() const
 {
-    return ( basicType == DEF_TYPE_PARAMETER );
+    return ( NATURAL_TYPE(basicType) == DEF_TYPE_PARAMETER );
 }
 bool Type::IsObjectClass() const