// digraph-dfs.js

// Inspired by the Boost Graph Library (BGL)
// http://www.boost.org/doc/libs/1_55_0/libs/graph/doc/index.html

(function() {

    var dfv = require('./digraph-dfv');
    var createDepthFirstSearchContext = dfv.createDepthFirstSearchContext;
    var depthFirstVisit = dfv.depthFirstVisit;

    var depthFirstSearch = function(digraph_, visitorInterface_) {

        var continueSearch = true;

        if ((digraph_ === null) || !digraph_ ||
            (visitorInterface_ === null) || !visitorInterface_) {
            throw new Error("Missing required input parameter(s).");
        }

        var searchContext = createDepthFirstSearchContext(digraph_, visitorInterface_);

        for (var vertexId in digraph_.rootMap) {
            continueSearch = depthFirstVisit(digraph_, searchContext, vertexId, visitorInterface_);
            if (!continueSearch) {
                break;
            }
        }

        while (Object.keys(searchContext.undiscoveredMap).length && continueSearch) {
            for (vertexId in searchContext.undiscoveredMap) {
                continueSearch = depthFirstVisit(digraph_, searchContext, vertexId, visitorInterface_);
                break;
            }
        }

        return continueSearch;
    };

    module.exports = {
        createDepthFirstSearchContext: createDepthFirstSearchContext,
        depthFirstVisit: depthFirstVisit,
        depthFirstSearch: depthFirstSearch
    };

})();





@@ -1023,198 +1023,132 @@
     
-for (vertexId in searchContext.undiscoveredMap) %7B%0A                continueSearch = depthFirstVisit(digraph_, searchContext, vertexId, visitorInterface_);%0A                break;%0A            %7D
+throw new Error(%22Internal error: Undiscovered vertices after DFS completion '%22 + JSON.searchContext.undiscoveredMap + %22'.%22);
 %0A   

Remove a suspicious-looking section of code... ... from the DFS algorithm implementation that I don't believe should ever be reacable. DFS loops over the set of root vertices in the graph and initiates a DFV from each. By definition if a vertex is not reachable from one of the root vertices (i.e. it has zero in-degree) then it's a root vertex. So there should never be any elements in the undiscovered vertex map. I replaced the loop over the contents of this map (that I contend has never run) with a thrown Error object.