public CFGTraverser(ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist<CFGBlock> worklist)
{
Preconditions.NotNull(traversalStrategy, "traversalStrategy");
Preconditions.NotNull(analysis, "analysis");
Preconditions.NotNull(worklist, "worklist");
this._traversalTechnique = traversalStrategy;
this._analysis = analysis;
this._workList = worklist;
this._visited = new HashSet<CFGBlock>();
}
public CFGTraverser(ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist <CFGBlock> worklist)
{
Preconditions.NotNull(traversalStrategy, "traversalStrategy");
Preconditions.NotNull(analysis, "analysis");
Preconditions.NotNull(worklist, "worklist");
this._traversalTechnique = traversalStrategy;
this._analysis = analysis;
this._workList = worklist;
this._visited = new HashSet <CFGBlock>();
}
