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

Class Cfg

java.lang.Object

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

All Implemented Interfaces:

Graph<CfgNode<?>,CfgEdge,CfgTransformer>

public class Cfg
extends Object
implements Graph<CfgNode<?>,CfgEdge,CfgTransformer>

Control flow graph representation for gflow framework.

Constructor Summary

Constructors

Constructor and Description
Cfg()

Method Summary

Modifier and Type	Method and Description
void	addGraphInEdge(CfgEdge edge) Add graph incoming edge.
void	addGraphOutEdge(CfgEdge edge) Add graph outgoing edge.
void	addIn(CfgNode<?> node, CfgEdge edge) Add incoming edge to the node.
<N extends CfgNode<?>> N	addNode(N node) Add new node to the graph.
void	addOut(CfgNode<?> node, CfgEdge edge) Add outgoing edge from the node.
Object	getEdgeData(CfgEdge edge)
CfgNode<?>	getEnd(CfgEdge e) Returns edge end node.
ArrayList<CfgEdge>	getGraphInEdges() Returns graph incoming edges.
ArrayList<CfgEdge>	getGraphOutEdges() Returns graph outgoing edges.
List<CfgEdge>	getInEdges(CfgNode<?> cfgNode) Returns edges coming into node.
ArrayList<CfgNode<?>>	getNodes() Returns all nodes in the graph.
List<CfgEdge>	getOutEdges(CfgNode<?> cfgNode) Returns edges originating from the node.
CfgNode<?>	getStart(CfgEdge e) Returns edge start node.
String	print() Returns string representation of the graph.
<A extends Assumption<A>> String	printWithAssumptions(Map<CfgEdge,A> map) Returns string representation of the graph with all assumptions along its edges.
void	setEdgeData(CfgEdge edge, Object data)
String	toString()
boolean	transform(CfgNode<?> node, CfgTransformer actualizer) Transforms the node with transformer.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode

Constructor Detail

Cfg

public Cfg()

Method Detail

addGraphInEdge

public void addGraphInEdge(CfgEdge edge)

Add graph incoming edge.

addGraphOutEdge

public void addGraphOutEdge(CfgEdge edge)

Add graph outgoing edge.

addIn

public void addIn(CfgNode<?> node,
                  CfgEdge edge)

Add incoming edge to the node.

addNode

public <N extends CfgNode<?>> N addNode(N node)

Add new node to the graph.

addOut

public void addOut(CfgNode<?> node,
                   CfgEdge edge)

Add outgoing edge from the node.

getEdgeData

public Object getEdgeData(CfgEdge edge)

Specified by:

getEdgeData in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getEnd

public CfgNode<?> getEnd(CfgEdge e)

Returns edge end node.

Specified by:

getEnd in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getGraphInEdges

public ArrayList<CfgEdge> getGraphInEdges()

Returns graph incoming edges.

Specified by:

getGraphInEdges in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getGraphOutEdges

public ArrayList<CfgEdge> getGraphOutEdges()

Returns graph outgoing edges.

Specified by:

getGraphOutEdges in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getInEdges

public List<CfgEdge> getInEdges(CfgNode<?> cfgNode)

Returns edges coming into node.

Specified by:

getInEdges in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getNodes

public ArrayList<CfgNode<?>> getNodes()

Returns all nodes in the graph.

Specified by:

getNodes in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getOutEdges

public List<CfgEdge> getOutEdges(CfgNode<?> cfgNode)

Returns edges originating from the node.

Specified by:

getOutEdges in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

getStart

public CfgNode<?> getStart(CfgEdge e)

Returns edge start node.

Specified by:

getStart in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

print

public String print()

Returns string representation of the graph.

Specified by:

print in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

printWithAssumptions

public <A extends Assumption<A>> String printWithAssumptions(Map<CfgEdge,A> map)

Returns string representation of the graph with all assumptions along its edges.

Specified by:

printWithAssumptions in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

setEdgeData

public void setEdgeData(CfgEdge edge,
                        Object data)

Specified by:

setEdgeData in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

toString

public String toString()

Overrides:

toString in class Object

transform

public boolean transform(CfgNode<?> node,
                         CfgTransformer actualizer)

Transforms the node with transformer. This will be called by solver to apply optimizations.

Specified by:

transform in interface Graph<CfgNode<?>,CfgEdge,CfgTransformer>

Returns:

true if there were changes made by transformer. While transformation should be always sound, it might be impossible to apply it in current context due to complexities of underlying structures. E.g. it is impossible to delete if statement test expression, while it is not evaluated if statement is not reachable. In this case transformer can return false and do no changes.