Changeset 18 in dev

Timestamp:

Dec 24, 2006, 4:46:12 AM (17 years ago)

Author:

dai_9181

Message:

オブジェクト定数に対応。

Files:

• BasicCompiler32/Compile_CallProc.cpp (modified) (4 diffs)
• BasicCompiler32/Compile_ProcOp.cpp (modified) (3 diffs)
• BasicCompiler32/Compile_Var.cpp (modified) (2 diffs)
• BasicCompiler64/Compile_CallProc.cpp (modified) (4 diffs)
• BasicCompiler64/Compile_ProcOp.cpp (modified) (4 diffs)
• BasicCompiler64/Compile_Var.cpp (modified) (2 diffs)
• BasicCompiler_Common/Class.cpp (modified) (15 diffs)
• BasicCompiler_Common/Class.h (modified) (5 diffs)
• BasicCompiler_Common/Intermediate_Step2.cpp (modified) (2 diffs)
• BasicCompiler_Common/error.cpp (modified) (2 diffs)

BasicCompiler32/Compile_CallProc.cpp

@@ -222 +222 @@
 
     BOOL bStatic=0;
-    CClass *pobj_c;
+    CClass *pobj_c = NULL;
+    CMethod *pMethod = NULL;
     if(psi->pobj_ParentClass){
         //クラスのメンバ関数を呼び出す場合はアクセスチェックを行う
@@ -254 +255 @@
 
 
-        DWORD dwAccess;
-        for(i=0;i<pobj_c->iMethodNum;i++){
-            if(psi==pobj_c->ppobj_Method[i]->psi) break;
-        }
-        if(i==pobj_c->iMethodNum){
-            for(i=0;i<pobj_c->iStaticMethodNum;i++){
-                if(psi==pobj_c->ppobj_StaticMethod[i]->psi) break;
-            }
-            dwAccess=pobj_c->ppobj_StaticMethod[i]->dwAccess;
-
-            bStatic=1;
-        }
-        else dwAccess=pobj_c->ppobj_Method[i]->dwAccess;
+        /////////////////////////////////
+        // メソッド情報を取得
+        /////////////////////////////////
+        pMethod = pobj_c->GetMethodInfo( psi );
+        if( !pMethod ){
+            //動的メソッドが取得できなかったときは静的メソッドを当たる
+            pMethod = pobj_c->GetStaticMethodInfo( psi );
+            if( !pMethod ){
+                SetError(300,NULL,cp);
+                return -1;
+            }
+        }
 
 
@@ -272 +272 @@
         // アクセスエラーチェック
         //////////////////////////////
+        DWORD dwAccess = pMethod->dwAccess;
 
         if(ObjectName[0]){
@@ -380 +381 @@
         if(ObjectName[0]){
             if(lstrcmpi(ObjectName,"Super")==0) goto InClassMember;
-
-            RELATIVE_VAR RelativeVar;
-            if(!GetVarOffsetReadOnly(ObjectName,&i2,&RelativeVar,0)) return -1;
-            SetVarPtrToEax(&RelativeVar);
-
-            //参照タイプが整合しているかをチェック
-            if(i2!=RefType) SetError(104,ObjectName,cp);
-
-            if(i2==DEF_PTR_OBJECT){
-                //mov eax,dword ptr[eax]
+            else{
+                RELATIVE_VAR RelativeVar;
+                if( pMethod->isConst ){
+                    //Constアクセスが可能なメソッドの場合
+                    if( !GetVarOffsetReadOnly( ObjectName, &i2, &RelativeVar, 0 ) ) return -1;
+                }
+                else{
+                    //Constアクセスが不可能なメソッドの場合
+                    if( !GetVarOffsetReadWrite( ObjectName, &i2, &RelativeVar, 0 ) ) return -1;
+                }
+
+                SetVarPtrToEax(&RelativeVar);
+
+                //参照タイプが整合しているかをチェック
+                if(i2!=RefType) SetError(104,ObjectName,cp);
+
+                if(i2==DEF_PTR_OBJECT){
+                    //mov eax,dword ptr[eax]
+                    OpBuffer[obp++]=(char)0x8B;
+                    OpBuffer[obp++]=(char)0x00;
+                }
+
+                //mov ecx,eax
                 OpBuffer[obp++]=(char)0x8B;
-                OpBuffer[obp++]=(char)0x00;
-            }
-
-            //mov ecx,eax
-            OpBuffer[obp++]=(char)0x8B;
-            OpBuffer[obp++]=(char)0xC8;
+                OpBuffer[obp++]=(char)0xC8;
+            }
         }
         else{

BasicCompiler32/Compile_ProcOp.cpp

@@ -335 +335 @@
     //コンパイル中の関数が属するクラス
     pobj_CompilingClass=psi->pobj_ParentClass;
+
+    //コンパイルスタートをクラス管理クラスに追加
+    pobj_DBClass->StartCompile( psi );
 
     //コンパイル中の関数
@@ -569 +572 @@
             }
         }
+        else if(psi->name[0]=='~'){
+            //デストラクタをコンパイルしたとき
+
+            //デストラクタのコンパイル開始を通知
+            pobj_CompilingClass->NotifyStartDestructorCompile();
+        }
     }
 
@@ -584 +593 @@
         if( pobj_CompilingClass->IsCompilingConstructor() ){
             // コンストラクタをコンパイルしていたとき
+
             // コンストラクタのコンパイルが完了したことを通知
-
             pobj_CompilingClass->NotifyFinishConstructorCompile();
         }
-
-        if(psi->name[0]=='~'){
+        else if(psi->name[0]=='~'){
             ////////////////////////////////////
             //デストラクタをコンパイルしたとき
             ////////////////////////////////////
+
+            // デストラクタのコンパイルが完了したことを通知
+            pobj_CompilingClass->NotifyFinishDestructorCompile();
 
             if(pobj_CompilingClass->pobj_InheritsClass){

BasicCompiler32/Compile_Var.cpp

@@ -445 +445 @@
             }
             if(i==pobj_CompilingClass->iMemberNum) goto NonClassMember;
+        }
+
+        //Const修飾子のメソッド内でメンバ書き込みアクセスが発生したとき
+        //（コンストラクタ、デストラクタ内を除く）
+        CMethod *pMethod = pobj_DBClass->GetNowCompilingMethodInfo();
+        if( isWriteAccess &&
+            pMethod->isConst &&
+            pobj_CompilingClass->IsCompilingConstructor() == false &&
+            pobj_CompilingClass->IsCompilingDestructor() == false
+            ){
+                SetError(131, NULL, cp );
         }
 
@@ -567 +578 @@
 ok:
 
-    if(bConst && isWriteAccess){
+    if( bConst && isWriteAccess ){
         //Const定義の変数に書き込みアクセスをしようとした場合
-        SetError(61,VarName,cp);
+        if( *pType == DEF_OBJECT ){
+            //オブジェクト定数
+            SetError(130, VarName, cp );
+        }
+        else{
+            //一般のConst変数
+            SetError(61,VarName,cp);
+        }
     }
 

BasicCompiler64/Compile_CallProc.cpp

@@ -233 +233 @@
 
     BOOL bStatic=0;
-    CClass *pobj_c;
+    CClass *pobj_c = NULL;
+    CMethod *pMethod = NULL;
     if(psi->pobj_ParentClass){
         //クラスのメンバ関数を呼び出す場合はアクセスチェックを行う
@@ -264 +265 @@
         }
 
-        DWORD dwAccess;
-        for(i=0;i<pobj_c->iMethodNum;i++){
-            if(psi==pobj_c->ppobj_Method[i]->psi) break;
-        }
-        if(i==pobj_c->iMethodNum){
-            for(i=0;i<pobj_c->iStaticMethodNum;i++){
-                if(psi==pobj_c->ppobj_StaticMethod[i]->psi) break;
-            }
-            dwAccess=pobj_c->ppobj_StaticMethod[i]->dwAccess;
-
-            bStatic=1;
-        }
-        else dwAccess=pobj_c->ppobj_Method[i]->dwAccess;
+
+        /////////////////////////////////
+        // メソッド情報を取得
+        /////////////////////////////////
+        pMethod = pobj_c->GetMethodInfo( psi );
+        if( !pMethod ){
+            //動的メソッドが取得できなかったときは静的メソッドを当たる
+            pMethod = pobj_c->GetStaticMethodInfo( psi );
+            if( !pMethod ){
+                SetError(300,NULL,cp);
+                return -1;
+            }
+        }
 
 
@@ -282 +283 @@
         // アクセスエラーチェック
         //////////////////////////////
+        DWORD dwAccess = pMethod->dwAccess;
 
         if(ObjectName[0]){
@@ -408 +410 @@
             else{
                 RELATIVE_VAR RelativeVar;
-                if(!GetVarOffsetReadOnly(ObjectName,&i2,&RelativeVar,0)) return -1;
+                if( pMethod->isConst ){
+                    //Constアクセスが可能なメソッドの場合
+                    if( !GetVarOffsetReadOnly( ObjectName, &i2, &RelativeVar, 0 ) ) return -1;
+                }
+                else{
+                    //Constアクセスが不可能なメソッドの場合
+                    if( !GetVarOffsetReadWrite( ObjectName, &i2, &RelativeVar, 0 ) ) return -1;
+                }
+
                 SetVarPtrToReg(REG_RCX,&RelativeVar);
 

BasicCompiler64/Compile_ProcOp.cpp

@@ -374 +374 @@
     //コンパイル中の関数が属するクラス
     pobj_CompilingClass=psi->pobj_ParentClass;
+    
+    //コンパイルスタートをクラス管理クラスに追加
+    pobj_DBClass->StartCompile( psi );
 
     //コンパイル中の関数
@@ -614 +617 @@
             }
         }
+        if(psi->name[0]=='~'){
+            //デストラクタをコンパイルしたとき
+
+            //デストラクタのコンパイル開始を通知
+            pobj_CompilingClass->NotifyStartDestructorCompile();
+        }
     }
 
@@ -633 +642 @@
         if( pobj_CompilingClass->IsCompilingConstructor() ){
             // コンストラクタをコンパイルしていたとき
+
             // コンストラクタのコンパイルが完了したことを通知
-
             pobj_CompilingClass->NotifyFinishConstructorCompile();
         }
@@ -642 +651 @@
             //デストラクタをコンパイルしたとき
             ////////////////////////////////////
+
+            // デストラクタのコンパイルが完了したことを通知
+            pobj_CompilingClass->NotifyFinishDestructorCompile();
 
             if(pobj_CompilingClass->pobj_InheritsClass){

BasicCompiler64/Compile_Var.cpp

@@ -471 +471 @@
             }
             if(i==pobj_CompilingClass->iMemberNum) goto NonClassMember;
+        }
+
+        //Const修飾子のメソッド内でメンバ書き込みアクセスが発生したとき
+        //（コンストラクタ、デストラクタ内を除く）
+        CMethod *pMethod = pobj_DBClass->GetNowCompilingMethodInfo();
+        if( isWriteAccess &&
+            pMethod->isConst &&
+            pobj_CompilingClass->IsCompilingConstructor() == false &&
+            pobj_CompilingClass->IsCompilingDestructor() == false
+            ){
+                SetError(131, NULL, cp );
         }
 
@@ -590 +601 @@
 ok:
 
-    if(bConst && isWriteAccess){
+    if( bConst && isWriteAccess ){
         //Const定義の変数に書き込みアクセスをしようとした場合
-        SetError(61,VarName,cp);
+        if( *pType == DEF_OBJECT ){
+            //オブジェクト定数
+            SetError(130, VarName, cp );
+        }
+        else{
+            //一般のConst変数
+            SetError(61,VarName,cp);
+        }
     }
 

BasicCompiler_Common/Class.cpp

@@ -11 +11 @@
 CClass *pobj_CompilingClass;
 CClass *pobj_StringClass;
+
+CMember *pCompilingMethod;
 
 int AddDataTable(char *buffer,int length);
@@ -170 +172 @@
     lstrcpy(this->name,name);
 
-    isCompilingConstructor = 0;
+    isCompilingConstructor = false;
+    isCompilingDestructor = false;
 }
 CClass::~CClass(){
@@ -224 +227 @@
     iStaticMemberNum++;
 }
-void CClass::AddMethod(SUBINFO *psi,DWORD dwAccess,BOOL bAbstract,BOOL bVirtual){
-    ppobj_Method=(CMethod **)HeapReAlloc(hHeap,0,ppobj_Method,(iMethodNum+1)*sizeof(CMethod *));
-    ppobj_Method[iMethodNum]=new CMethod();
-    ppobj_Method[iMethodNum]->psi=psi;
-    ppobj_Method[iMethodNum]->dwAccess=dwAccess;
-    ppobj_Method[iMethodNum]->bAbstract=bAbstract;
-    ppobj_Method[iMethodNum]->bVirtual=bVirtual;
-    ppobj_Method[iMethodNum]->pobj_InheritsClass=0;
+void CClass::AddMethod( SUBINFO *psi,DWORD dwAccess, bool isConst, BOOL bAbstract, BOOL bVirtual ){
+    ppobj_Method = (CMethod **)HeapReAlloc( hHeap, 0, ppobj_Method, (iMethodNum + 1) * sizeof(CMethod *) );
+    ppobj_Method[iMethodNum] = new CMethod();
+    ppobj_Method[iMethodNum]->psi = psi;
+    ppobj_Method[iMethodNum]->dwAccess = dwAccess;
+    ppobj_Method[iMethodNum]->isConst = isConst;
+    ppobj_Method[iMethodNum]->bAbstract = bAbstract;
+    ppobj_Method[iMethodNum]->bVirtual = bVirtual;
+    ppobj_Method[iMethodNum]->pobj_InheritsClass = 0;
 
     iMethodNum++;
@@ -284 +288 @@
     return 0;
 }
+CMethod *CClass::GetMethodInfo( SUBINFO *psi ){
+    int i;
+    for( i=0; i<iMethodNum; i++ ){
+        if( psi == ppobj_Method[i]->psi ) break;
+    }
+    if( i == iMethodNum ){
+        return NULL;
+    }
+    return ppobj_Method[i];
+}
+CMethod *CClass::GetStaticMethodInfo( SUBINFO *psi ){
+    int i;
+    for( i=0; i<iStaticMethodNum; i++ ){
+        if( psi == ppobj_StaticMethod[i]->psi ) break;
+    }
+    if( i == iMethodNum ){
+        return NULL;
+    }
+    return ppobj_StaticMethod[i];
+}
 
 LONG_PTR CClass::AddVtblDataTable(SUBINFO **ppsi,int length){
@@ -409 +433 @@
 }
 
+//デストラクタのコンパイルを開始
+void CClass::NotifyStartDestructorCompile(){
+    isCompilingDestructor = true;
+}
+
+//デストラクタのコンパイルを終了
+void CClass::NotifyFinishDestructorCompile(){
+    isCompilingDestructor = false;
+}
+
+//デストラクタをコンパイル中かどうかを判別
+bool CClass::IsCompilingDestructor(){
+    return isCompilingDestructor;
+}
+
 
 int CDBClass::hash(char *name){
@@ -559 +598 @@
 
 
-void CDBClass::AddMemberSub(CClass *pobj_c,DWORD dwAccess,BOOL bStatic,BOOL bAbstract,BOOL bVirtual,BOOL bOverride,char *buffer,int NowLine){
+void CDBClass::AddMethod(CClass *pobj_c, DWORD dwAccess, BOOL bStatic, bool isConst, BOOL bAbstract,
+                         BOOL bVirtual, BOOL bOverride, char *buffer, int NowLine){
     int i,i2;
     char temporary[VN_SIZE];
@@ -580 +620 @@
 
     ////////////////////////////////////////////////////////////
-    // コンストラクタ、デストラクタのアクセシビリティをチェック
+    // コンストラクタ、デストラクタの場合の処理
     ////////////////////////////////////////////////////////////
     BOOL fConstructor=0,bDestructor=0;
 
     if(lstrcmp(temporary,pobj_c->name)==0){
+        //コンストラクタの場合
+
+        //標準コンストラクタ（引数なし）
         if(psi->ParmNum==1) fConstructor=1;
+
+        //コピーコンストラクタ
         if(psi->ParmNum==2){
             if(psi->pParmInfo[1].type==DEF_OBJECT&&
                 psi->pParmInfo[1].u.pobj_c==pobj_c) fConstructor=2;
         }
+
+        //強制的にConst修飾子をつける
+        isConst = true;
     }
     else if(temporary[0]=='~'){
@@ -599 +647 @@
     }
     if(fConstructor||bDestructor){
+        // コンストラクタ、デストラクタのアクセシビリティをチェック
         if(dwAccess!=ACCESS_PUBLIC){
             SetError(116,NULL,NowLine);
             dwAccess=ACCESS_PUBLIC;
         }
-    }
-
-
-    if(fConstructor==1) pobj_c->ConstructorMemberSubIndex=pobj_c->iMethodNum;
-    else if(fConstructor==2) pobj_c->CopyConstructorMemberSubIndex=pobj_c->iMethodNum;
-    else if(bDestructor) pobj_c->DestructorMemberSubIndex=pobj_c->iMethodNum;
+
+        //強制的にConst修飾子をつける
+        isConst = true;
+    }
+
+    if( fConstructor == 1 )
+        pobj_c->ConstructorMemberSubIndex = pobj_c->iMethodNum;
+    else if( fConstructor == 2 )
+        pobj_c->CopyConstructorMemberSubIndex = pobj_c->iMethodNum;
+    else if( bDestructor )
+        pobj_c->DestructorMemberSubIndex = pobj_c->iMethodNum;
 
 
@@ -678 +732 @@
     }
     else{
-        pobj_c->AddMethod(psi,dwAccess,bAbstract,bVirtual);
+        pobj_c->AddMethod(psi, dwAccess, isConst, bAbstract, bVirtual);
     }
 }
@@ -890 +944 @@
 
                 //メンバ関数を追加
-                AddMemberSub(pobj_c,ACCESS_PUBLIC,0,1,1,0,temporary,sub_address);
+                AddMethod(pobj_c,
+                    ACCESS_PUBLIC,      //Publicアクセス権
+                    0,                  //Static指定なし
+                    false,              //Constではない
+                    1,                  //Abstract
+                    1,                  //Virtual
+                    0,
+                    temporary,
+                    sub_address
+                    );
             }
         }
@@ -990 +1053 @@
                 }
 
-                //メンバ変数をコピー
+                //メンバをコピー
                 pobj_c->ppobj_Member=(CMember **)HeapReAlloc(
                     hHeap,
@@ -1006 +1069 @@
                 }
 
-                //メンバ関数をコピー
+                //メソッドをコピー
                 pobj_c->ppobj_Method=(CMethod **)HeapReAlloc(
                     hHeap,
@@ -1042 +1105 @@
 InheritsError:
 
-            //メンバ変数、関数を取得
+            //メンバとメソッドを取得
             while(1){
                 i++;
@@ -1180 +1243 @@
                     //メソッドを追加
                     cp=i;   //エラー用
-                    AddMemberSub(pobj_c,dwAccess,bStatic,bAbstract,bVirtual,bOverride,temporary,sub_address);
+                    AddMethod(pobj_c,
+                        dwAccess,
+                        bStatic,
+                        isConst,
+                        bAbstract,
+                        bVirtual,
+                        bOverride,
+                        temporary,
+                        sub_address);
 
                     if(bAbstract) continue;
@@ -1223 +1294 @@
 }
 
+void CDBClass::StartCompile( SUBINFO *psi ){
+    pCompilingClass = psi->pobj_ParentClass;
+    if( pCompilingClass ){
+        pCompilingMethod = pCompilingClass->GetMethodInfo( psi );
+        if( !pCompilingMethod ){
+            pCompilingMethod = pCompilingClass->GetStaticMethodInfo( psi );
+            if( !pCompilingMethod ){
+                SetError(300,NULL,cp);
+            }
+        }
+    }
+    else{
+        pCompilingMethod = NULL;
+    }
+}
+CClass *CDBClass::GetNowCompilingClass(){
+    return pCompilingClass;
+}
+CMethod *CDBClass::GetNowCompilingMethodInfo(){
+    return pCompilingMethod;
+}
+
 
 

BasicCompiler_Common/Class.h

@@ -49 +49 @@
     BOOL bAbstract;
     BOOL bVirtual;
+    bool isConst;
 
     CClass *pobj_InheritsClass;
@@ -96 +97 @@
     void AddMember( DWORD dwAccess, bool idConst, char *buffer );
     void AddStaticMember( DWORD dwAccess, bool isConst, char *buffer, int NowLine );
-    void AddMethod(SUBINFO *psi,DWORD dwAccess,BOOL bAbstract,BOOL bVirtual);
+    void AddMethod( SUBINFO *psi,DWORD dwAccess, bool isConst, BOOL bAbstract, BOOL bVirtual );
     void AddStaticMethod(SUBINFO *psi,DWORD dwAccess);
 
     BOOL DupliCheckAll(char *name);
     BOOL DupliCheckMember(char *name);
+
+    CMethod *GetMethodInfo( SUBINFO *psi );
+    CMethod *GetStaticMethodInfo( SUBINFO *psi );
 
 
@@ -124 +128 @@
     void NotifyFinishConstructorCompile();
     bool IsCompilingConstructor();
+
+    //デストラクタをコンパイルしているかどうかのチェックフラグ
+private:
+    bool isCompilingDestructor;
+public:
+    void NotifyStartDestructorCompile();
+    void NotifyFinishDestructorCompile();
+    bool IsCompilingDestructor();
 
 
@@ -147 +159 @@
 
 private:
-    void AddMemberSub(CClass *pobj_c,DWORD dwAccess,BOOL bStatic,BOOL bAbstract,BOOL bVirtual,BOOL bOverride,char *buffer,int NowLine);
+    void AddMethod(CClass *pobj_c, DWORD dwAccess, BOOL bStatic, bool isConst, BOOL bAbstract,
+        BOOL bVirtual, BOOL bOverride, char *buffer, int NowLine);
     BOOL MemberVar_LoopRefCheck(CClass *pobj_c);
 public:
@@ -155 +168 @@
 
 
-    //イテレータ
+    /////////////////////////////
+    // 現在コンパイル中の情報
+    /////////////////////////////
+private:
+    CClass *pCompilingClass;
+    CMethod *pCompilingMethod;
+public:
+    //コンパイル開始の通知を受け取るメソッド
+    void StartCompile( SUBINFO *psi );
+
+    //現在コンパイル中のメソッド情報を取得
+    CClass *GetNowCompilingClass();
+    CMethod *GetNowCompilingMethodInfo();
+
+
+    /////////////////////
+    // イテレータ
+    /////////////////////
 private:
     CClass **ppobj_IteClass;

BasicCompiler_Common/Intermediate_Step2.cpp

@@ -33 +33 @@
     return pci;
 }
+
+// マクロ定数を追加するための関数
 void AddConstData(char *Command){
     extern HANDLE hHeap;
@@ -44 +46 @@
             return;
         }
-        if(Command[i]=='='){
+        if(Command[i]=='=' ||  Command[i] == 1 && Command[i+1] == ESC_AS ){
             //定数定義は新しいクラスモジュール（CDBConst）へ移行
+            // ※この関数はマクロ定数のみを扱う
             return;
         }

BasicCompiler_Common/error.cpp

@@ -142 +142 @@
     if(num==59) sprintf(msg,"マニフェスト ファイル \"%s\" の読み込みに失敗。",KeyWord);
     if(num==60) lstrcpy(msg,"Staticステートメントはグローバル領域では使用できません。");
-    if(num==61) sprintf(msg,"\"%s\" は定数です。書き込めません。",KeyWord);
+    if(num==61) sprintf(msg,"\"%s\" は定数です。書き込みアクセスはできません。",KeyWord);
 
 
@@ -174 +174 @@
     if(num==128) lstrcpy(msg,"オーバーライドを行うときはアクセシビリティを同一にしなければなりません。");
     if(num==129) sprintf(msg,"静的メンバ \"%s\" は定義されていません。",KeyWord);
+    if(num==130) sprintf(msg,"\"%s\" はオブジェクト定数です。書き込みアクセスはできません。",KeyWord);
+    if(num==131) lstrcpy(msg,"Const定義されたメソッド内でクラスメンバへの書き込みアクセスはできません。");
 
     //Enum関連