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

Class UnreachableAnalysis

java.lang.Object

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

All Implemented Interfaces:

IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions>

public class UnreachableAnalysis
extends Object
implements IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions>

Constructor Summary

Constructors

Constructor and Description
UnreachableAnalysis()

Method Summary

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

UnreachableAnalysis

public UnreachableAnalysis()

Method Detail

getIntegratedFlowFunction

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

Description copied from interface: IntegratedAnalysis

Gets analysis integrated flow function.

Specified by:

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

setInitialGraphAssumptions

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

Description copied from interface: IntegratedAnalysis

Gets assumptions for graph incoming & outgoing edges to start approximation from.

Specified by:

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