Changeset 364 in dev for trunk/abdev/BasicCompiler_Common/src/Exception.cpp

Timestamp:

Nov 11, 2007, 3:12:06 PM (17 years ago)

Author:

dai_9181

Message:

Throw→Catch間のパラメータ引渡しに対応。
グローバル領域でのTryスコープを可能にした。これで例外処理機構実装完了。
エディタの補間機能にTry/Catch/Finally/EndTryを追加。

File:

• trunk/abdev/BasicCompiler_Common/src/Exception.cpp (modified) (8 diffs)

trunk/abdev/BasicCompiler_Common/src/Exception.cpp

@@ -103 +103 @@
     void Try()
     {
+        // レキシカルスコープをレベルアップ
+        compiler.codeGenerator.lexicalScopes.Start(
+            compiler.codeGenerator.GetNativeCodeSize(),
+            LexicalScope::SCOPE_TRY
+        );
     }
 
@@ -113 +118 @@
         }
 
+        if( catchScopes.size() )
+        {
+            // 既に1回以上のCatchが存在するとき
+
+            // レキシカルスコープをレベルダウン
+            compiler.codeGenerator.lexicalScopes.End();
+        }
+
         JmpFinally();
 
         catchScopes.push_back( CatchScope( paramType, compiler.codeGenerator.GetNativeCodeSize() ) );
+
+        // レキシカルスコープをレベルアップ
+        compiler.codeGenerator.lexicalScopes.Start(
+            compiler.codeGenerator.GetNativeCodeSize(),
+            LexicalScope::SCOPE_CATCH
+        );
     }
     void Finally()
@@ -125 +144 @@
         }
 
+        if( catchScopes.size() )
+        {
+            // 既に1回以上のCatchが存在するとき
+
+            // レキシカルスコープをレベルダウン
+            compiler.codeGenerator.lexicalScopes.End();
+        }
+
         isDefinedFinally = true;
 
         ResolveJmpFinally();
+
+        // レキシカルスコープをレベルアップ
+        compiler.codeGenerator.lexicalScopes.Start(
+            compiler.codeGenerator.GetNativeCodeSize(),
+            LexicalScope::SCOPE_FINALLY
+        );
     }
 
@@ -136 +169 @@
             Finally();
         }
+
+        if( catchScopes.size() || isDefinedFinally )
+        {
+            // 既に1回以上のCatch、またはFinallyが存在するとき
+
+            // レキシカルスコープをレベルダウン
+            compiler.codeGenerator.lexicalScopes.End();
+        }
+
+        // レキシカルスコープをレベルダウン
+        compiler.codeGenerator.lexicalScopes.End();
     }
 
@@ -174 +218 @@
 
             // Catchアドレス
-            compiler.GetObjectModule().dataTable.schedules.push_back( Schedule( &UserProc::CompilingUserProc(), dataTableOffset + pos ) );
+            const UserProc *pUserProc = &UserProc::CompilingUserProc();
+            if( UserProc::IsGlobalAreaCompiling() )
+            {
+                pUserProc = UserProc::pGlobalProc;
+            }
+            compiler.GetObjectModule().dataTable.schedules.push_back( Schedule( pUserProc, dataTableOffset + pos ) );
             compiler.GetObjectModule().dataTable.schedules.back().SpecifyCatchAddress();
             pos += sizeof(LONG_PTR);
@@ -188 +237 @@
 void TryCommand()
 {
-    if( UserProc::IsGlobalAreaCompiling() )
-    {
-        SetError();
-    }
-
     tryScopes.push_back( TryScope() );
     tryScopes.back().Try();
@@ -213 +257 @@
     }
 
+    char varName[VN_SIZE];
     Type paramType;
     if( parameter[0] )
     {
-        char varName[VN_SIZE], typeName[VN_SIZE];
+        char typeName[VN_SIZE];
         SplitSyntacticForAs( parameter, varName, typeName );
         if( !typeName[0] )
@@ -232 +277 @@
 
     tryScopes.back().Catch( paramType );
+
+    if( paramType.IsObject() )
+    {
+        int backCp = cp;
+
+        char temporary[1024];
+        sprintf( temporary, "Dim %s = Thread.CurrentThread().__GetThrowintParamObject() As %s", varName, paramType.GetClass().GetFullName().c_str() );
+        MakeMiddleCode( temporary );
+        ChangeOpcode( temporary );
+        lstrcpy( temporary, "Thread.CurrentThread().__Catched()" );
+        MakeMiddleCode( temporary );
+        ChangeOpcode( temporary );
+
+        cp = backCp;
+    }
 }
 void FinallyCommand()