diff options
author | twerth <twerth@google.com> | 2018-04-04 08:42:54 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-04-04 08:44:08 -0700 |
commit | 8c2b4816ca4406d4f2843c49022794a76db72f46 (patch) | |
tree | 3e2e54d1ee879d00d03d44a8fadcd31dded98fb1 /src/main/java/com/google/devtools/build/lib/graph | |
parent | 3f941bfb039561eddcbb3239f5186731576fe7a0 (diff) |
Delete unused method.
RELNOTES: None
PiperOrigin-RevId: 191595705
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/graph')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/graph/Digraph.java | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/graph/Digraph.java b/src/main/java/com/google/devtools/build/lib/graph/Digraph.java index 2cb3287fa4..011f6baec7 100644 --- a/src/main/java/com/google/devtools/build/lib/graph/Digraph.java +++ b/src/main/java/com/google/devtools/build/lib/graph/Digraph.java @@ -692,29 +692,6 @@ public final class Digraph<T> implements Cloneable { } /** - * Removes the node in the graph specified by the given label. Optionally, - * preserves the graph order (by connecting up the broken edges) or drop them - * all. If the specified label is not the label of any node in the graph, - * does nothing. - * - * @param label the label of the node to remove. - * @param preserveOrder if true, adds edges between the neighbours - * of the removed node so as to maintain the graph ordering - * relation between all pairs of such nodes. If false, simply - * discards all edges from the deleted node to its neighbours. - * @return true iff 'label' identifies a node (i.e. the graph was changed). - */ - public boolean removeNode(T label, boolean preserveOrder) { - Node<T> node = getNodeMaybe(label); - if (node != null) { - removeNode(node, preserveOrder); - return true; - } else { - return false; - } - } - - /** * Removes the specified node in the graph. * * @param n the node to remove (must be in the graph). |