public sealed override object VisitCFGExitBlock(ExitBlock x)
{
if (IsExplored(x))
{
return(x);
}
else
{
x.Tag = ExploredColor;
return(MapIfUpdated(x, OnVisitCFGExitBlock(x)));
}
}
public virtual void VisitCFGExitBlock(ExitBlock x)
{
VisitCFGBlock(x);
}
public override object VisitCFGExitBlock(ExitBlock x)
{
Debug.Assert(x.NextEdge == null);
return(x.Update(VisitList(x.Statements)));
}
public sealed override object VisitCFGExitBlock(ExitBlock x) => Repair(x);
public virtual ExitBlock OnVisitCFGExitBlock(ExitBlock x) => (ExitBlock)base.VisitCFGExitBlock(x);
public override void VisitCFGExitBlock(ExitBlock x)
{
VisitCFGBlock(x);
// TODO: EdgeToCallers:
var rtype = _state.GetReturnType();
if (rtype != x._lastReturnTypeMask)
{
x._lastReturnTypeMask = rtype;
x.Subscribers.ForEach(_worklist.Enqueue);
}
}
public virtual void VisitCFGExitBlock(ExitBlock x)
{
VisitCFGBlock(x);
}
public virtual TResult VisitCFGExitBlock(ExitBlock x) => DefaultVisitBlock(x);
