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 TResult VisitCFGExitBlock(ExitBlock x) => DefaultVisitBlock(x);