Package org.openrewrite.analysis.dataflow.global

Class GlobalDataFlow

java.lang.Object

org.openrewrite.analysis.dataflow.global.GlobalDataFlow

public class GlobalDataFlow
extends Object

Plan:

1. Build an exhaustive flow graph that includes all methods, from all arguments, to all arguments, and to all return values. Don't discriminate at all. This is a superset graph of data flow. It will include all possible paths.
2. Connect this graph together after finding all of the valid source nodes.
3. Walk the graph from all sources, pruning all paths were DataFlowSpec.isAdditionalFlowStep(org.openrewrite.analysis.dataflow.DataFlowNode, org.openrewrite.analysis.dataflow.DataFlowNode) returns false, and where DataFlowSpec.isSink(DataFlowNode) returns false.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	GlobalDataFlow.Accumulator
static interface	GlobalDataFlow.Summary

Constructor Summary

Constructors

Constructor	Description
GlobalDataFlow()

Method Summary

Modifier and Type	Method	Description
static GlobalDataFlow.Accumulator	accumulator(DataFlowSpec spec)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

GlobalDataFlow

public GlobalDataFlow()

Method Details

accumulator

public static GlobalDataFlow.Accumulator accumulator(DataFlowSpec spec)