/// <summary>
/// Rewrite the given node to eliminate lambda expressions. Also returned are the method symbols and their
/// bound bodies for the extracted lambda bodies. These would typically be emitted by the caller such as
/// MethodBodyCompiler. See this class' documentation
/// for a more thorough explanation of the algorithm and its use by clients.
/// </summary>
/// <param name="node">The bound node to be rewritten</param>
/// <param name="thisType">The type of the top-most frame</param>
/// <param name="thisParameter">The "this" parameter in the top-most frame, or null if static method</param>
/// <param name="method">The containing method of the node to be rewritten</param>
/// <param name="compilationState">The caller's buffer into which we produce additional methods to be emitted by the caller</param>
/// <param name="diagnostics">Diagnostic bag for diagnostics</param>
/// <param name="analysis">A caller-provided analysis of the node's lambdas</param>
/// <param name="generateDebugInfo"></param>
/// <param name="assignLocals">The rewritten tree should include assignments of the original locals to the lifted proxies</param>
public static BoundStatement Rewrite(
BoundStatement node,
NamedTypeSymbol thisType,
ParameterSymbol thisParameter,
MethodSymbol method,
TypeCompilationState compilationState,
DiagnosticBag diagnostics,
Analysis analysis,
bool generateDebugInfo,
bool assignLocals = false)
{
Debug.Assert((object)thisType != null);
Debug.Assert(((object)thisParameter == null) || (thisParameter.Type == thisType));
CheckLocalsDefined(node);
var rewriter = new LambdaRewriter(
analysis,
thisType,
thisParameter,
method,
compilationState,
diagnostics,
generateDebugInfo,
assignLocals);
analysis.ComputeLambdaScopesAndFrameCaptures();
rewriter.MakeFrames();
var body = rewriter.AddStatementsIfNeeded((BoundStatement)rewriter.Visit(node));
CheckLocalsDefined(body);
return(body);
}
