public class GraphUtil extends Object
DataFlowGraph.| Constructor and Description |
|---|
GraphUtil() |
| Modifier and Type | Method and Description |
|---|---|
static List<DataFlowNode> |
walkBackUntil(DataFlowNode dfn,
java.util.function.Predicate<DataFlowNode> predicate,
java.util.function.Predicate<DataFlowNode> scopePredicate)
Walks back via
DataFlowNode.getIn() until for each node it holds that the predicate holds. |
static List<DataFlowNode> |
walkBackUntil(List<DataFlowNode> nodes,
java.util.function.Predicate<DataFlowNode> predicate,
java.util.function.Predicate<DataFlowNode> scopePredicate) |
static List<DataFlowNode> |
walkForwardUntil(DataFlowNode dfn,
java.util.function.Predicate<DataFlowNode> predicate,
java.util.function.Predicate<DataFlowNode> scopePredicate)
Walks forward via
DataFlowNode.getOut() until for each node it holds that the predicate holds. |
public static List<DataFlowNode> walkBackUntil(List<DataFlowNode> nodes, java.util.function.Predicate<DataFlowNode> predicate, java.util.function.Predicate<DataFlowNode> scopePredicate)
public static List<DataFlowNode> walkBackUntil(DataFlowNode dfn, java.util.function.Predicate<DataFlowNode> predicate, java.util.function.Predicate<DataFlowNode> scopePredicate)
DataFlowNode.getIn() until for each node it holds that the predicate holds. The input DataFlowNode will be returned if the
Predicate holds for it. An empty list will be returned if the scopePredicate does not hold for the input node.dfn - The input DataFlowNodepredicate - The Predicate to check on the DataFlowNodescopePredicate - This predicate determines the scope for when to stop searching. If this predicate does not hold for the input node an empty list will
be returned.public static List<DataFlowNode> walkForwardUntil(DataFlowNode dfn, java.util.function.Predicate<DataFlowNode> predicate, java.util.function.Predicate<DataFlowNode> scopePredicate)
DataFlowNode.getOut() until for each node it holds that the predicate holds. The input DataFlowNode will be returned if
the Predicate holds for it. An empty list will be returned if the scopePredicate does not hold for the input node.dfn - The input DataFlowNodepredicate - The Predicate to check on the DataFlowNodescopePredicate - This predicate determines the scope for when to stop searching. If this predicate does not hold for the input node an empty list will
be returned.Copyright © 2019. All rights reserved.