public virtual void VisitCFGTryCatchEdge(TryCatchEdge x)
{
x.BodyBlock.Accept(this);
foreach (var c in x.CatchBlocks)
c.Accept(this);
if (x.FinallyBlock != null)
x.FinallyBlock.Accept(this);
}
public override void VisitCFGTryCatchEdge(TryCatchEdge x)
{
var state = _state;
//
TraverseToBlock(state, x.BodyBlock);
foreach (var c in x.CatchBlocks)
{
TraverseToBlock(state, c);
}
if (x.FinallyBlock != null)
{
TraverseToBlock(state, x.FinallyBlock);
}
}