Uses of Interface
com.google.gwt.dev.jjs.impl.gflow.AssumptionMap

Packages that use AssumptionMap

Package	Description
com.google.gwt.dev.jjs.impl.gflow
com.google.gwt.dev.jjs.impl.gflow.cfg
com.google.gwt.dev.jjs.impl.gflow.constants
com.google.gwt.dev.jjs.impl.gflow.copy
com.google.gwt.dev.jjs.impl.gflow.liveness
com.google.gwt.dev.jjs.impl.gflow.unreachable

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow

Methods in com.google.gwt.dev.jjs.impl.gflow with parameters of type AssumptionMap

Modifier and Type	Method and Description
void	FlowFunction.interpret(N node, G g, AssumptionMap<E,A> assumptionMAp) Interpret node by computing new node assumptions from current ones.
TransformationFunction.Transformation<T,G>	IntegratedFlowFunction.interpretOrReplace(N node, G graph, AssumptionMap<E,A> assumptionMap) Either interpret a node by computing new assumptions, or produce node transformation.
static <E,A extends Assumption<A>> A	AssumptionUtil.join(List<E> edges, AssumptionMap<E,A> assumptionMap)
static <E,A extends Assumption<A>> void	AssumptionUtil.setAssumptions(List<E> edges, A assumption, AssumptionMap<E,A> assumptionMap)
static <E,A extends Assumption<A>> void	AssumptionUtil.setAssumptions(List<E> edges, List<A> assumptions, AssumptionMap<E,A> assumptionMap)
void	Analysis.setInitialGraphAssumptions(G graph, AssumptionMap<E,A> assumptionMap) Gets assumptions for graph to start approximation from.
void	IntegratedAnalysis.setInitialGraphAssumptions(G graph, AssumptionMap<E,A> assumptionMap) Gets assumptions for graph incoming & outgoing edges to start approximation from.
void	CombinedIntegratedAnalysis.setInitialGraphAssumptions(G graph, AssumptionMap<E,CombinedIntegratedAnalysis.CombinedAssumption> assumptionMap)
static <E,A extends Assumption<A>> String	AssumptionUtil.toString(List<E> inEdges, List<E> outEdges, AssumptionMap<E,A> assumptionMap)
TransformationFunction.Transformation<T,G>	TransformationFunction.transform(N node, G graph, AssumptionMap<E,A> assumptionMap) Gets node transformation for a given node.

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow.cfg

Constructors in com.google.gwt.dev.jjs.impl.gflow.cfg with parameters of type AssumptionMap

Constructor and Description
AssumptionsPrinter(Cfg graph, AssumptionMap<CfgEdge,A> assumptionMap)

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow.constants

Methods in com.google.gwt.dev.jjs.impl.gflow.constants with parameters of type AssumptionMap

Modifier and Type	Method and Description
void	ConstantsFlowFunction.interpret(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
TransformationFunction.Transformation<CfgTransformer,Cfg>	ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
void	ConstantsAnalysis.setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
TransformationFunction.Transformation<CfgTransformer,Cfg>	ConstantsTransformationFunction.transform(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow.copy

Methods in com.google.gwt.dev.jjs.impl.gflow.copy with parameters of type AssumptionMap

Modifier and Type	Method and Description
void	CopyFlowFunction.interpret(CfgNode<?> node, Cfg g, AssumptionMap<CfgEdge,CopyAssumption> assumptionMap)
TransformationFunction.Transformation<CfgTransformer,Cfg>	CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,CopyAssumption> assumptionMap)
void	CopyAnalysis.setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,CopyAssumption> assumptionMap)

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow.liveness

Methods in com.google.gwt.dev.jjs.impl.gflow.liveness with parameters of type AssumptionMap

Modifier and Type	Method and Description
void	LivenessFlowFunction.interpret(CfgNode<?> node, Cfg g, AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap)
TransformationFunction.Transformation<CfgTransformer,Cfg>	LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap)
void	LivenessAnalysis.setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap)

Uses of AssumptionMap in com.google.gwt.dev.jjs.impl.gflow.unreachable

Methods in com.google.gwt.dev.jjs.impl.gflow.unreachable with parameters of type AssumptionMap

Modifier and Type	Method and Description
TransformationFunction.Transformation<CfgTransformer,Cfg>	UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap)
void	UnreachableAnalysis.setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap)