langtools/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/Graph.java
changeset 42827 36468b5fa7f4
parent 42407 f3702cff2933
child 43873 705d732d3715
equal deleted inserted replaced
42826:563b42fc70ba 42827:36468b5fa7f4
   207             }
   207             }
   208             if (!visited.contains(node)) {
   208             if (!visited.contains(node)) {
   209                 visited.add(node);
   209                 visited.add(node);
   210                 edges.get(node).stream()
   210                 edges.get(node).stream()
   211                      .filter(e -> includeAdjacent || !node.equals(u) || !e.equals(v))
   211                      .filter(e -> includeAdjacent || !node.equals(u) || !e.equals(v))
   212                      .forEach(e -> stack.push(e));
   212                      .forEach(stack::push);
   213             }
   213             }
   214         }
   214         }
   215         assert !visited.contains(v);
   215         assert !visited.contains(v);
   216         return false;
   216         return false;
   217     }
   217     }