public override void VisitCatchClause(CatchClauseSyntax node)
{
MethodInfo mi = m_MethodInfoStack.Peek();
mi.TryCatchUsingOrLoopSwitchStack.Push(true);
ReturnContinueBreakAnalysis returnAnalysis = mi.TempReturnAnalysisStack.Peek();
string handledVar = string.Format("__catch_handled_{0}", GetSourcePosForVar(node));
string bodyVar = string.Format("__catch_body_{0}", GetSourcePosForVar(node));
CodeBuilder.AppendFormat("{0}(function({1}", GetIndentString(), handledVar);
if (null != node.Declaration)
{
CodeBuilder.Append(", ");
CodeBuilder.Append(node.Declaration.Identifier.Text);
}
CodeBuilder.Append("){");
CodeBuilder.AppendLine();
++m_Indent;
if (null != node.Filter)
{
CodeBuilder.Append("if(");
IConversionExpression opd = m_Model.GetOperation(node.Filter.FilterExpression) as IConversionExpression;
OutputExpressionSyntax(node.Filter.FilterExpression, opd);
CodeBuilder.Append("){");
CodeBuilder.AppendLine();
++m_Indent;
}
CodeBuilder.AppendFormat("{0}{1} = true;", GetIndentString(), handledVar);
CodeBuilder.AppendLine();
if (null != node.Filter)
{
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
}
if (returnAnalysis.Exist)
{
CodeBuilder.AppendFormat("{0}local({1}); {1} = function(){{", GetIndentString(), bodyVar);
CodeBuilder.AppendLine();
++m_Indent;
VisitBlock(node.Block);
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
CodeBuilder.AppendFormat("{0}return({1}, {2}());", GetIndentString(), handledVar, bodyVar);
CodeBuilder.AppendLine();
}
else
{
VisitBlock(node.Block);
CodeBuilder.AppendFormat("{0}return({1}, null);", GetIndentString(), handledVar);
CodeBuilder.AppendLine();
}
--m_Indent;
CodeBuilder.AppendFormat("{0}}})", GetIndentString());
CodeBuilder.AppendLine();
mi.TryCatchUsingOrLoopSwitchStack.Pop();
}
public override void VisitTryStatement(TryStatementSyntax node)
{
if (null != node.Block) {
MethodInfo mi = m_MethodInfoStack.Peek();
string retVar = string.Format("__try_ret_{0}", GetSourcePosForVar(node));
string retValVar = string.Format("__try_retval_{0}", GetSourcePosForVar(node));
string handledVar = string.Format("__try_handled_{0}", GetSourcePosForVar(node));
string catchRetValVar = string.Format("__try_catch_ret_val_{0}", GetSourcePosForVar(node));
mi.TryCatchUsingOrLoopSwitchStack.Push(true);
CodeBuilder.AppendFormat("{0}local({1}, {2}); multiassign({1}, {2}) = dsltry(function(){{", GetIndentString(), retVar, retValVar);
CodeBuilder.AppendLine();
++m_Indent;
++mi.TryCatchUsingLayer;
VisitBlock(node.Block);
--mi.TryCatchUsingLayer;
--m_Indent;
CodeBuilder.AppendFormat("{0}}});", GetIndentString());
CodeBuilder.AppendLine();
mi.TryCatchUsingOrLoopSwitchStack.Pop();
ReturnContinueBreakAnalysis returnAnalysis0 = new ReturnContinueBreakAnalysis();
returnAnalysis0.Visit(node.Block);
if (returnAnalysis0.Exist) {
OutputTryCatchUsingReturn(returnAnalysis0, mi, retVar, retValVar);
}
if (node.Catches.Count > 0) {
CodeBuilder.AppendFormat("{0}local({1}, {2}); {1} = false;", GetIndentString(), handledVar, catchRetValVar);
CodeBuilder.AppendLine();
foreach (var clause in node.Catches) {
ReturnContinueBreakAnalysis returnAnalysis1 = new ReturnContinueBreakAnalysis();
returnAnalysis1.Visit(clause.Block);
mi.TempReturnAnalysisStack.Push(returnAnalysis1);
CodeBuilder.AppendFormat("{0}multiassign({1}, {4}) = dslcatch({1}, {2}, {3},", GetIndentString(), handledVar, retVar, retValVar, catchRetValVar);
CodeBuilder.AppendLine();
++m_Indent;
++mi.TryCatchUsingLayer;
VisitCatchClause(clause);
--mi.TryCatchUsingLayer;
--m_Indent;
CodeBuilder.AppendFormat("{0});", GetIndentString());
CodeBuilder.AppendLine();
mi.TempReturnAnalysisStack.Pop();
if (returnAnalysis1.Exist) {
OutputTryCatchUsingReturn(returnAnalysis1, mi, retVar, catchRetValVar);
}
}
if (node.Catches.Count > 1) {
if (SymbolTable.EnableTranslationCheck) {
Logger.Instance.Log("Translation Warning", "try have multiple catch ! location: {0}", GetSourcePosForLog(node));
}
}
}
}
if (null != node.Finally) {
VisitFinallyClause(node.Finally);
}
}
public override void VisitTryStatement(TryStatementSyntax node)
{
if (null != node.Block)
{
ClassInfo ci = m_ClassInfoStack.Peek();
MethodInfo mi = m_MethodInfoStack.Peek();
string srcPos = GetSourcePosForVar(node);
string retVar = string.Format("__try_ret_{0}", srcPos);
string retValVar = string.Format("__try_retval_{0}", srcPos);
string handledVar = string.Format("__catch_handled_{0}", srcPos);
string catchRetValVar = string.Format("__catch_retval_{0}", srcPos);
mi.TryCatchUsingOrLoopSwitchStack.Push(true);
ReturnContinueBreakAnalysis returnAnalysis0 = new ReturnContinueBreakAnalysis();
returnAnalysis0.RetValVar = retValVar;
returnAnalysis0.Visit(node.Block);
mi.TempReturnAnalysisStack.Push(returnAnalysis0);
if (mi.IsAnonymousOrLambdaMethod)
{
//嵌入函数里的try块不能拆分成方法（挂外层类上涉及嵌入方法信息与外层成员函数信息的混用，不好评估）
CodeBuilder.AppendFormat("{0}local({1}, {2}); multiassign({1}, {2}) = dsltry({3}, {1}){{", GetIndentString(), retVar, retValVar, returnAnalysis0.ExistReturnInLoopOrSwitch ? "true" : "false");
CodeBuilder.AppendLine();
++m_Indent;
++mi.TryUsingLayer;
VisitBlock(node.Block);
--mi.TryUsingLayer;
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
}
else
{
//普通函数里的try块拆分成方法
var dataFlow = m_Model.AnalyzeDataFlow(node.Block);
var ctrlFlow = m_Model.AnalyzeControlFlow(node.Block);
List <string> inputs, outputs;
string paramsStr;
string outParamsStr = mi.CalcTryUsingFuncInfo(dataFlow, ctrlFlow, out inputs, out outputs, out paramsStr);
returnAnalysis0.OutParamsStr = outParamsStr;
string prestr = ", ";
string tryFunc = string.Format("__try_func_{0}", srcPos);
bool isStatic = mi.SemanticInfo.IsStatic;
if (ctrlFlow.ReturnStatements.Length > 0 && !string.IsNullOrEmpty(mi.ReturnVarName))
{
CodeBuilder.AppendFormat("{0}local({1}_0); {1}_0 = {2}", GetIndentString(), retValVar, mi.ReturnVarName);
CodeBuilder.AppendLine(";");
}
if (outputs.Count > 0)
{
for (int i = 0; i < outputs.Count; ++i)
{
CodeBuilder.AppendFormat("{0}local({1}_{2}); {1}_{2} = {3}", GetIndentString(), retValVar, i + 1, outputs[i]);
CodeBuilder.AppendLine(";");
}
}
CodeBuilder.AppendFormat("{0}local({1}, {2}); multiassign({1}, {2}", GetIndentString(), retVar, retValVar);
if (ctrlFlow.ReturnStatements.Length > 0 && !string.IsNullOrEmpty(mi.ReturnVarName))
{
CodeBuilder.AppendFormat(", {0}_0", retValVar);
}
if (outputs.Count > 0)
{
for (int i = 0; i < outputs.Count; ++i)
{
CodeBuilder.AppendFormat(", {0}_{1}", retValVar, i + 1);
}
}
CodeBuilder.AppendFormat(") = dsltryfunc({0}, {1}, {2}, {3}, {4}, {5}", retVar, retValVar, tryFunc, ci.Key, isStatic ? "true" : "false", dataFlow.DataFlowsOut.Length + (string.IsNullOrEmpty(mi.ReturnVarName) ? 1 : 2));
if (!string.IsNullOrEmpty(paramsStr))
{
CodeBuilder.Append(prestr);
CodeBuilder.Append(paramsStr);
}
CodeBuilder.AppendLine("){");
++m_Indent;
++mi.TryUsingLayer;
VisitBlock(node.Block);
if (outputs.Count > 0)
{
bool needReturn = true;
if (ctrlFlow.ReturnStatements.Length > 0)
{
var returnNode = ctrlFlow.ReturnStatements[ctrlFlow.ReturnStatements.Length - 1];
var retSyntax = returnNode as ReturnStatementSyntax;
if (null != retSyntax)
{
if (IsLastNodeOfTryCatch(returnNode))
{
needReturn = false;
}
}
}
if (needReturn)
{
//return(0)代表非try块里的返回语句
CodeBuilder.AppendFormat("{0}return(0", GetIndentString());
if (!string.IsNullOrEmpty(outParamsStr))
{
CodeBuilder.Append(prestr);
CodeBuilder.Append(outParamsStr);
}
CodeBuilder.AppendLine(");");
}
}
--mi.TryUsingLayer;
--m_Indent;
CodeBuilder.AppendFormat("{0}}}options[{1}];", GetIndentString(), mi.CalcTryUsingFuncOptions(dataFlow, ctrlFlow, inputs, outputs));
CodeBuilder.AppendLine();
if (!string.IsNullOrEmpty(outParamsStr))
{
CodeBuilder.AppendFormat("{0}if({1}){{", GetIndentString(), retVar);
CodeBuilder.AppendLine();
++m_Indent;
if (ctrlFlow.ReturnStatements.Length > 0 && !string.IsNullOrEmpty(mi.ReturnVarName))
{
CodeBuilder.AppendFormat("{0}{1} = {2}_0", GetIndentString(), mi.ReturnVarName, retValVar);
CodeBuilder.AppendLine(";");
}
if (outputs.Count > 0)
{
for (int i = 0; i < outputs.Count; ++i)
{
CodeBuilder.AppendFormat("{0}{1} = {2}_{3}", GetIndentString(), outputs[i], retValVar, i + 1);
CodeBuilder.AppendLine(";");
}
}
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
}
}
mi.TempReturnAnalysisStack.Pop();
mi.TryCatchUsingOrLoopSwitchStack.Pop();
if (returnAnalysis0.Exist)
{
CodeBuilder.AppendFormat("{0}if({1}){{", GetIndentString(), retVar);
CodeBuilder.AppendLine();
++m_Indent;
if (null != node.Finally)
{
VisitFinallyClause(node.Finally);
}
OutputTryCatchUsingReturn(returnAnalysis0, mi, retValVar);
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
}
if (node.Catches.Count > 0)
{
CodeBuilder.AppendFormat("{0}local({1}, {2}); {1} = false;", GetIndentString(), handledVar, catchRetValVar);
CodeBuilder.AppendLine();
foreach (var clause in node.Catches)
{
ReturnContinueBreakAnalysis returnAnalysis1 = new ReturnContinueBreakAnalysis();
returnAnalysis1.RetValVar = null;//catch块代码部分总是包装成一个函数对象
returnAnalysis1.Visit(clause.Block);
mi.TempReturnAnalysisStack.Push(returnAnalysis1);
CodeBuilder.AppendFormat("{0}{1} = dslcatch({2}, {3}, {4},", GetIndentString(), catchRetValVar, handledVar, retValVar, retVar);
CodeBuilder.AppendLine();
++m_Indent;
++mi.TryUsingLayer;
VisitCatchClause(clause, handledVar);
--mi.TryUsingLayer;
--m_Indent;
CodeBuilder.AppendFormat("{0});", GetIndentString());
CodeBuilder.AppendLine();
mi.TempReturnAnalysisStack.Pop();
if (returnAnalysis1.Exist)
{
if (null != node.Finally)
{
VisitFinallyClause(node.Finally);
}
OutputTryCatchUsingReturn(returnAnalysis1, mi, catchRetValVar);
}
}
if (node.Catches.Count > 1)
{
if (SymbolTable.EnableTranslationCheck)
{
Logger.Instance.Log("Translation Warning", "try have multiple catch ! location: {0}", GetSourcePosForLog(node));
}
}
}
if (null != node.Finally)
{
if (returnAnalysis0.Exist)
{
CodeBuilder.AppendFormat("{0}if(! {1}){{", GetIndentString(), retVar);
CodeBuilder.AppendLine();
++m_Indent;
VisitFinallyClause(node.Finally);
--m_Indent;
CodeBuilder.AppendFormat("{0}}};", GetIndentString());
CodeBuilder.AppendLine();
}
else
{
VisitFinallyClause(node.Finally);
}
}
}
}
