public override T VisitCFG(ControlFlowGraph x)
{
x.Start.Accept(this);
return(default);
public virtual void VisitCFG(ControlFlowGraph x) => x.Start.Accept(this);
/// <summary>
/// Not supported, use <see cref="GraphRewriter"/> instead.
/// </summary>
public override object VisitCFG(ControlFlowGraph x)
{
throw new NotSupportedException("Use GraphRewriter to correctly update whole CFG.");
}
protected virtual void OnVisitCFG(ControlFlowGraph x)
{
}
/// <summary>
/// Set <see cref="ExploredColor"/> to a new color from <paramref name="x"/> and perform
/// the exploration.
/// </summary>
public sealed override TReturn VisitCFG(ControlFlowGraph x)
{
ExploredColor = x.NewColor();
VisitCFGInternal(x);
return(default);
public override void VisitCFG(ControlFlowGraph x)
{
Contract.ThrowIfNull(x);
Debug.Assert(x.Start.FlowState != null, "Start block has to have an initial state set.");
_worklist.Enqueue(x.Start);
}
public virtual void VisitCFG(ControlFlowGraph x) => x.Start.Accept(this);
public virtual TResult VisitCFG(ControlFlowGraph x) => default;