com.ibm.wala.cast.ir.translator

Class AstTranslator.IncipientCFG

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<T>

com.ibm.wala.util.graph.AbstractNumberedGraph<T>

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

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

All Implemented Interfaces:

com.ibm.wala.util.graph.EdgeManager<AstTranslator.PreBasicBlock>, com.ibm.wala.util.graph.Graph<AstTranslator.PreBasicBlock>, com.ibm.wala.util.graph.NodeManager<AstTranslator.PreBasicBlock>, com.ibm.wala.util.graph.NumberedEdgeManager<AstTranslator.PreBasicBlock>, com.ibm.wala.util.graph.NumberedGraph<AstTranslator.PreBasicBlock>, com.ibm.wala.util.graph.NumberedNodeManager<AstTranslator.PreBasicBlock>, java.lang.Iterable<AstTranslator.PreBasicBlock>

Enclosing class:

AstTranslator

public final class AstTranslator.IncipientCFG
extends com.ibm.wala.util.graph.impl.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 and Description
protected class	AstTranslator.IncipientCFG.Unwind

Constructor Summary

Constructors

Constructor and Description
IncipientCFG()

Method Summary

Modifier and Type	Method and Description
void	addEdge(AstTranslator.PreBasicBlock src, AstTranslator.PreBasicBlock dst)
void	addInstruction(com.ibm.wala.ssa.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()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.util.graph.impl.SparseNumberedGraph

getEdgeManager, getNodeManager

Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Methods inherited from class com.ibm.wala.util.graph.AbstractGraph

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Constructor Detail

IncipientCFG

public IncipientCFG()

Method Detail

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 com.ibm.wala.util.graph.EdgeManager<AstTranslator.PreBasicBlock>

Overrides:

addEdge in class com.ibm.wala.util.graph.AbstractGraph<AstTranslator.PreBasicBlock>

isDeadBlock

public boolean isDeadBlock(AstTranslator.PreBasicBlock block)

getBlock

public AstTranslator.PreBasicBlock getBlock(CAstNode n)

noteOperands

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

addInstruction

public void addInstruction(com.ibm.wala.ssa.SSAInstruction n)

toString

public java.lang.String toString()

Overrides:

toString in class com.ibm.wala.util.graph.AbstractGraph<AstTranslator.PreBasicBlock>

getOperandPositionMap

public CAstSourcePositionMap.Position[][] getOperandPositionMap()