private JST.Statement WithLineCounts(JST.Statement statement, Func<int> nextLine, int currDepth, Set<JST.Identifier> lineCountIds)
{
if (statement.Flavor == JST.StatementFlavor.Try)
{
var trys = (JST.TryStatement)statement;
if (trys.Catch != null)
{
var tryBody = WithLineCounts(trys.Body, nextLine, currDepth + 1, lineCountIds);
var catchBody = new Seq<JST.Statement>();
var saveid = new JST.Identifier(Constants.DebugCurrentLine.Value + "_" + currDepth);
lineCountIds.Add(saveid);
catchBody.Add(JST.Statement.Assignment(saveid.ToE(), Constants.DebugCurrentLine.ToE()));
foreach (var s in WithLineCounts(trys.Catch.Body, nextLine, currDepth + 1, lineCountIds).Body)
catchBody.Add(s);
var catchClause = new JST.CatchClause(trys.Catch.Loc, trys.Catch.Name, new JST.Statements(catchBody));
var finallyClause = default(JST.FinallyClause);
if (trys.Finally != null)
finallyClause = new JST.FinallyClause
(trys.Finally.Loc, WithLineCounts(trys.Finally.Body, nextLine, currDepth + 1, lineCountIds));
return new JST.TryStatement(trys.Loc, tryBody, catchClause, finallyClause);
}
// else: fall-through
}
// else: fall-through
return statement.CloneWithSubStatementss
(statement.SubStatementss.Select(ss => WithLineCounts(ss, nextLine, currDepth, lineCountIds)).ToSeq());
}
