Changeset 301 in dev for trunk/abdev/BasicCompiler_Common

Timestamp:

Aug 23, 2007, 10:58:43 PM (17 years ago)

Author:

dai_9181

Message:

 

Location:

trunk/abdev/BasicCompiler_Common

Files:

• NumOpe_GetType.cpp (modified) (1 diff)
• VariableOpe.cpp (modified) (4 diffs)
• include/Type.h (modified) (1 diff)
• src/Compiler.cpp (modified) (1 diff)
• src/Type.cpp (modified) (3 diffs)

trunk/abdev/BasicCompiler_Common/NumOpe_GetType.cpp

@@ -303 +303 @@
 bool GetTermType( const char *term, Type &resultType, bool &isLiteral, bool *pIsClassName )
 {
-    if( (string)term=="a[1]")
-    {
-        int test=0;
-    }
     char parameter[VN_SIZE];
 

trunk/abdev/BasicCompiler_Common/VariableOpe.cpp

@@ -473 +473 @@
     resultType = pMember->GetType();
 
-
-    /////////////////////////////////////////////////////////
-    // ☆★☆ ジェネリクスサポート ☆★☆
-
-    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();
-        }
-    }
-
-    //
-    /////////////////////////////////////////////////////////
+    // 型パラメータを解決
+    ResolveFormalGenericTypeParameter( resultType, classType );
 
 
@@ -838 +811 @@
 
         for(i+=2,i2=0;;i++,i2++){
-            if(buffer[i]==','||buffer[i]=='('||buffer[i]=='\0'){
+            if(buffer[i]=='('||buffer[i]=='\0'){
                 temporary[i2]=0;
                 break;
@@ -868 +841 @@
         }
 
-        if( (string)temporary == "T" )
-        {
-            int test=0;
-        }
-
         if( !compiler.StringToType( temporary, type ) ){
             SetError(3,temporary,cp);
@@ -1160 +1128 @@
             continue;
         }
+        if( Parameter[i] == '<' && IsStr == 0 )
+        {
+            if( IsGenericTypeSourcePart( Parameter + i ) )
+            {
+                // ジェネリクス構文
+                i3=GetStringInGenericBracket(temporary+i2,Parameter+i);
+                i+=i3-1;
+                i2+=i3-1;
+                continue;
+            }
+            else
+            {
+                // 一般構文
+            }
+        }
         if((Parameter[i]==','&&IsStr==0)||
             Parameter[i]=='\0'){

trunk/abdev/BasicCompiler_Common/include/Type.h

@@ -227 +227 @@
 
     // 未完成
-    const Type &GetDummyActualGenericType() const;
+    const Type &GetActualGenericType( int index ) const;
     bool HasActualGenericType() const;
 

trunk/abdev/BasicCompiler_Common/src/Compiler.cpp

@@ -28 +28 @@
         // ジェネリッククラスをインスタンス化した型の場合
         int i = 0;
-        char className[VN_SIZE], typeParameter[VN_SIZE];
+        char className[VN_SIZE];
         GetIdentifierToken( className, typeName.c_str(), i );
-        i++;
-        GetIdentifierToken( typeParameter, typeName.c_str(), i );
 
         // ジェネリクスクラスを取得
         const CClass *pGenericClass = this->GetObjectModule().meta.GetClasses().Find( className );
 
-        // 型パラメータの型情報を取得
-        Type baseType;
-        StringToType( typeParameter, baseType );
+        if( !pGenericClass )
+        {
+            Jenga::Throw( "StringToType内のジェネリクスクラス取得部分でpGenericClassがNULL" );
+        }
+
+        if( typeName[i] != '<' )
+        {
+            Jenga::Throw( "StringToType内でジェネリクス構文の解析に失敗" );
+        }
 
         GenericTypes genericTypes;
-        genericTypes.push_back( GenericType( "(non support)", baseType ) );
+        while( true )
+        {
+            i++;
+
+            char typeParameter[VN_SIZE];
+            GetIdentifierToken( typeParameter, typeName.c_str(), i );
+
+            // 型パラメータの型情報を取得
+            Type baseType;
+            StringToType( typeParameter, baseType );
+
+            genericTypes.push_back( GenericType( "(non support)", baseType ) );
+
+            if( typeName[i] != ',' )
+            {
+                break;
+            }
+        }
 
         // 基本型をセット

trunk/abdev/BasicCompiler_Common/src/Type.cpp

@@ -455 +455 @@
 }
 
-const Type &Type::GetDummyActualGenericType() const
-{
-    return actualGenericTypes[0].GetType();
+const Type &Type::GetActualGenericType( int index ) const
+{
+    return actualGenericTypes[index].GetType();
 }
 bool Type::HasActualGenericType() const
@@ -515 +515 @@
                     if( pClass->GetSuperClassActualTypeParameters().size() )
                     {
+                        // TODO: 適切な形に実装し直す（暫定的にトップの型を持ってきている）
                         typeParameter = pClass->GetSuperClassActualTypeParameters()[0];
                     }
@@ -526 +527 @@
             if( classType.HasActualGenericType() )
             {
-                // TODO: GetDummyActualGenericTypeを適切な形に実装し直す
-                typeParameter = classType.GetDummyActualGenericType();
+                typeParameter = classType.GetActualGenericType( typeParameter.GetFormalTypeIndex() );
             }
             else