com.google.gwt.dev.jjs.impl.gflow

Interface FlowFunction<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>

Type Parameters:

N - graph node type.

E - edge type.

G - graph type.

A - analysis assumption type.

All Known Implementing Classes:

ConstantsFlowFunction, CopyFlowFunction, LivenessFlowFunction

public interface FlowFunction<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>

A flow function receives node assumptions and transforms them according to node semantics. Typical flow functions update either outgoing assumptions (forward flow) or incoming assumptions (backward flow) but not both.

Method Summary

Methods

Modifier and Type	Method and Description
void	interpret(N node, G g, AssumptionMap<E,A> assumptionMAp) Interpret node by computing new node assumptions from current ones.

Method Detail

interpret

void interpret(N node,
             G g,
             AssumptionMap<E,A> assumptionMAp)

Interpret node by computing new node assumptions from current ones.