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>(); }