/// <summary>
/// Creates an instance of <see cref="AnalysisVisitor"/> that can analyse a block.
/// </summary>
/// <param name="worklist">The worklist to be used to enqueue next blocks.</param>
internal AnalysisVisitor(Worklist <BoundBlock> worklist)
{
_worklist = worklist;
}
/// <summary>
/// Creates an instance of <see cref="AnalysisWalker{T}"/> that can analyse a block.
/// </summary>
/// <param name="worklist">The worklist to be used to enqueue next blocks.</param>
internal AnalysisWalker(Worklist <BoundBlock> worklist)
{
Debug.Assert(worklist != null);
_worklist = worklist;
}
private CFGAnalysis(Worklist <BoundBlock> worklist, OperationVisitor opvisitor)
: base(opvisitor)
{
_worklist = worklist;
}