compiler/edu.cornell.cs.apl.viaduct.util.dataflow

Package edu.cornell.cs.apl.viaduct.util.dataflow

Types

DataFlowEdge
Link copied to clipboard
interface DataFlowEdge<A>
Content copied to clipboard

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

DataFlowNode
Link copied to clipboard
interface DataFlowNode<A>
Content copied to clipboard

Nodes in a data flow graph.

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

An edge that passes values through unmodified.

Functions

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

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.