Class AstTranslator.IncipientCFG

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<AstTranslator.PreBasicBlock>

com.ibm.wala.util.graph.AbstractNumberedGraph<AstTranslator.PreBasicBlock>

com.ibm.wala.util.graph.impl.SparseNumberedGraph<AstTranslator.PreBasicBlock>

com.ibm.wala.cast.ir.translator.AstTranslator.IncipientCFG

All Implemented Interfaces:

EdgeManager<AstTranslator.PreBasicBlock>, Graph<AstTranslator.PreBasicBlock>, NodeManager<AstTranslator.PreBasicBlock>, NumberedEdgeManager<AstTranslator.PreBasicBlock>, NumberedGraph<AstTranslator.PreBasicBlock>, NumberedNodeManager<AstTranslator.PreBasicBlock>, Iterable<AstTranslator.PreBasicBlock>

Enclosing class:

AstTranslator

public final class AstTranslator.IncipientCFG
extends SparseNumberedGraph<AstTranslator.PreBasicBlock>

holds the control-flow graph as it is being constructed. When construction is complete, information is stored in an AstTranslator.AstCFG

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	AstTranslator.IncipientCFG.Unwind

Constructor Summary

Constructors

Constructor	Description
IncipientCFG()

Method Summary

Modifier and Type	Method	Description
void	addEdge(AstTranslator.PreBasicBlock src, AstTranslator.PreBasicBlock dst)
void	addInstruction(SSAInstruction n)
void	addPreEdge(AstTranslator.PreBasicBlock src, CAstNode dst, boolean exception)	if dst is associated with a basic block b, add an edge from src to b.
void	addPreEdge(CAstNode src, CAstNode dst, boolean exception)
void	addPreEdgeToExit(AstTranslator.PreBasicBlock src, boolean exception)
void	addPreEdgeToExit(CAstNode src, boolean exception)
void	addPreNode(CAstNode n)
void	addPreNode(CAstNode n, AstTranslator.UnwindState context)	associate n with the current block, and update the current unwind state
AstTranslator.PreBasicBlock	getBlock(CAstNode n)
AstTranslator.PreBasicBlock	getCurrentBlock()
int	getCurrentInstruction()
CAstSourcePositionMap.Position[][]	getOperandPositionMap()
boolean	isDeadBlock(AstTranslator.PreBasicBlock block)
AstTranslator.PreBasicBlock	newBlock(boolean fallThruFromPrior)	create a new basic block, and set it as the current block.
void	noteOperands(int instruction, CAstSourcePositionMap.Position... operands)
void	setCurrentBlockAsHandler()
String	toString()
void	unknownInstructions(Runnable f)

Methods inherited from class SparseNumberedGraph

getEdgeManager, getNodeManager

Modifier and Type	Method	Description
protected NumberedEdgeManager<AstTranslator.PreBasicBlock>	getEdgeManager()
protected NumberedNodeManager<AstTranslator.PreBasicBlock>	getNodeManager()

Methods inherited from class AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Modifier and Type	Method	Description
int	getMaxNumber()
AstTranslator.PreBasicBlock	getNode(int number)
int	getNumber(AstTranslator.PreBasicBlock N)
IntSet	getPredNodeNumbers(AstTranslator.PreBasicBlock node)
IntSet	getSuccNodeNumbers(AstTranslator.PreBasicBlock node)
Iterator<AstTranslator.PreBasicBlock>	iterateNodes(IntSet s)

Methods inherited from class AbstractGraph

addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, nodeString, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream

Modifier and Type	Method	Description
void	addNode(AstTranslator.PreBasicBlock n)	add a node to this graph
boolean	containsNode(AstTranslator.PreBasicBlock n)
protected String	edgeString(AstTranslator.PreBasicBlock from, AstTranslator.PreBasicBlock to)
int	getNumberOfNodes()
int	getPredNodeCount(AstTranslator.PreBasicBlock n)	Return the number of immediate predecessor nodes of n
Iterator<AstTranslator.PreBasicBlock>	getPredNodes(AstTranslator.PreBasicBlock n)	Return an Iterator over the immediate predecessor nodes of n
int	getSuccNodeCount(AstTranslator.PreBasicBlock n)	Return the number of immediate successor nodes of this Node in the Graph
Iterator<AstTranslator.PreBasicBlock>	getSuccNodes(AstTranslator.PreBasicBlock n)	Return an Iterator over the immediate successor nodes of n
boolean	hasEdge(AstTranslator.PreBasicBlock src, AstTranslator.PreBasicBlock dst)
Iterator<AstTranslator.PreBasicBlock>	iterator()
protected String	nodeString(AstTranslator.PreBasicBlock n, boolean forEdge)
void	removeAllIncidentEdges(AstTranslator.PreBasicBlock node)
void	removeEdge(AstTranslator.PreBasicBlock src, AstTranslator.PreBasicBlock dst)
void	removeIncomingEdges(AstTranslator.PreBasicBlock node)
void	removeNode(AstTranslator.PreBasicBlock n)	remove a node from this graph
void	removeNodeAndEdges(AstTranslator.PreBasicBlock N)	remove a node and all its incident edges
void	removeOutgoingEdges(AstTranslator.PreBasicBlock node)
Stream<AstTranslator.PreBasicBlock>	stream()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

IncipientCFG

public IncipientCFG()

Method Details

getCurrentInstruction

public int getCurrentInstruction()

getCurrentBlock

public AstTranslator.PreBasicBlock getCurrentBlock()

newBlock

public AstTranslator.PreBasicBlock newBlock(boolean fallThruFromPrior)

create a new basic block, and set it as the current block.

Parameters:

fallThruFromPrior - should a fall-through edge be added from the previous block (value of currentBlock at entry)? if false, the newly created block is marked as a dead block, as it has no incoming edges.

Returns:

the new block

setCurrentBlockAsHandler

public void setCurrentBlockAsHandler()

addPreNode

public void addPreNode(CAstNode n)

addPreNode

public void addPreNode(CAstNode n,
 AstTranslator.UnwindState context)

associate n with the current block, and update the current unwind state

addPreEdge

public void addPreEdge(CAstNode src,
 CAstNode dst,
 boolean exception)

addPreEdge

public void addPreEdge(AstTranslator.PreBasicBlock src,
 CAstNode dst,
 boolean exception)

if dst is associated with a basic block b, add an edge from src to b. otherwise, record the edge addition as delayed.

addPreEdgeToExit

public void addPreEdgeToExit(CAstNode src,
 boolean exception)

addPreEdgeToExit

public void addPreEdgeToExit(AstTranslator.PreBasicBlock src,
 boolean exception)

addEdge

public void addEdge(AstTranslator.PreBasicBlock src,
 AstTranslator.PreBasicBlock dst)

Specified by:

addEdge in interface EdgeManager<AstTranslator.PreBasicBlock>

Overrides:

addEdge in class AbstractGraph<AstTranslator.PreBasicBlock>

See Also:

• EdgeManager.addEdge(Object, Object)

isDeadBlock

public boolean isDeadBlock(AstTranslator.PreBasicBlock block)

getBlock

public AstTranslator.PreBasicBlock getBlock(CAstNode n)

noteOperands

public void noteOperands(int instruction,
 CAstSourcePositionMap.Position... operands)

unknownInstructions

public void unknownInstructions(Runnable f)

addInstruction

public void addInstruction(SSAInstruction n)

toString

public String toString()

Overrides:

toString in class AbstractGraph<AstTranslator.PreBasicBlock>

getOperandPositionMap

public CAstSourcePositionMap.Position[][] getOperandPositionMap()