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

Class LivenessFlowFunction

java.lang.Object

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

All Implemented Interfaces:

FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>

public class LivenessFlowFunction
extends Object
implements FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>

Flow function for Liveness Analysis.

Constructor Summary

Constructors

Constructor and Description
LivenessFlowFunction()

Method Summary

Methods

Modifier and Type	Method and Description
void	interpret(CfgNode<?> node, Cfg g, AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) Interpret node by computing new node assumptions from current ones.

Methods inherited from class java.lang.Object

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

Constructor Detail

LivenessFlowFunction

public LivenessFlowFunction()

Method Detail

interpret

public void interpret(CfgNode<?> node,
             Cfg g,
             AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap)

Description copied from interface: FlowFunction

Interpret node by computing new node assumptions from current ones.

Specified by:

interpret in interface FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>