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

Class AssumptionsPrinter<A extends Assumption<A>>

java.lang.Object

com.google.gwt.dev.jjs.impl.gflow.cfg.CfgPrinter

com.google.gwt.dev.jjs.impl.gflow.cfg.AssumptionsPrinter<A>

Type Parameters:

A - assumptions type.

public class AssumptionsPrinter<A extends Assumption<A>>
extends CfgPrinter

Special CfgPrinter implementation which prints assumptions along every edge.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected void	appendEdgeInfo(StringBuffer result, CfgEdge edge) Template method to append arbitrary edge information.

Methods inherited from class com.google.gwt.dev.jjs.impl.gflow.cfg.CfgPrinter

print

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

AssumptionsPrinter

public AssumptionsPrinter(Cfg graph,
                          Map<CfgEdge,A> assumptions)

AssumptionsPrinter

public AssumptionsPrinter(Cfg graph,
                          AssumptionMap<CfgEdge,A> assumptionMap)

Method Detail

appendEdgeInfo

protected void appendEdgeInfo(StringBuffer result,
                              CfgEdge edge)

Description copied from class: CfgPrinter

Template method to append arbitrary edge information.

Overrides:

appendEdgeInfo in class CfgPrinter