compiler/io.github.aplcornell.viaduct.util.dataflow

Package-level declarations

Types

Link copied to clipboard
interface DataFlowEdge<A>

Edges in a data flow graph. These are allowed to modify values as they pass through them.

Link copied to clipboard
interface DataFlowNode<A>

Nodes in a data flow graph.

Link copied to clipboard
class IdentityEdge<A> : DefaultEdge, DataFlowEdge<A>

An edge that passes values through unmodified.

Functions

Link copied to clipboard
fun <A : MeetSemiLattice<A>, NodeT : DataFlowNode<A>, EdgeT : DataFlowEdge<A>> solveDataFlow(top: A, graph: Graph<NodeT, EdgeT>): Map<NodeT, A>

Run data flow analysis on the given graph and return the computed solution for each node. The solution for a node is the return value of the last call to DataFlowNode.transfer.