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

Class CopyAnalysis

java.lang.Object

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

All Implemented Interfaces:

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

public class CopyAnalysis
extends Object
implements Analysis<CfgNode<?>,CfgEdge,Cfg,CopyAssumption>, IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,CopyAssumption>

Analysis which detects that one variable is the copy of the other, and uses older var instead.

Constructor Summary

Constructors

Constructor and Description
CopyAnalysis()

Method Summary

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

CopyAnalysis

public CopyAnalysis()

Method Detail

getFlowFunction

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

Description copied from interface: Analysis

Gets analysis flow function.

Specified by:

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

getIntegratedFlowFunction

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

Description copied from interface: IntegratedAnalysis

Gets analysis integrated flow function.

Specified by:

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

setInitialGraphAssumptions

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

Description copied from interface: Analysis

Gets assumptions for graph to start approximation from.

Specified by:

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

Specified by:

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