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

Class LivenessAnalysis

java.lang.Object

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

All Implemented Interfaces:

Analysis<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>, IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>

public class LivenessAnalysis
extends Object
implements Analysis<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>, IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>

Analysis which detects when variable is not used after the assignment, and eliminates assignment.

Constructor Summary

Constructors

Constructor and Description
LivenessAnalysis()

Method Summary

Modifier and Type	Method and Description
FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>	getFlowFunction() Gets analysis flow function.
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>	getIntegratedFlowFunction() Gets analysis integrated flow function.
void	setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) Gets assumptions for graph to start approximation from.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

LivenessAnalysis

public LivenessAnalysis()

Method Detail

getFlowFunction

public FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption> getFlowFunction()

Description copied from interface: Analysis

Gets analysis flow function.

Specified by:

getFlowFunction in interface Analysis<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>

getIntegratedFlowFunction

public IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption> getIntegratedFlowFunction()

Description copied from interface: IntegratedAnalysis

Gets analysis integrated flow function.

Specified by:

getIntegratedFlowFunction in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>

setInitialGraphAssumptions

public void setInitialGraphAssumptions(Cfg graph,
                                       AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap)

Description copied from interface: Analysis

Gets assumptions for graph to start approximation from.

Specified by:

setInitialGraphAssumptions in interface Analysis<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption>

Specified by:

setInitialGraphAssumptions in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>