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

Methods

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

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

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>