com.ibm.wala.dalvik.classLoader

Class DexCFG.BasicBlock

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.dalvik.classLoader.DexCFG.BasicBlock

All Implemented Interfaces:

com.ibm.wala.cfg.IBasicBlock<Instruction>, com.ibm.wala.util.graph.INodeWithNumber, java.lang.Iterable<Instruction>

Enclosing class:

DexCFG

public final class DexCFG.BasicBlock
extends com.ibm.wala.util.graph.impl.NodeWithNumber
implements com.ibm.wala.cfg.IBasicBlock<Instruction>

Constructor Summary

Constructors

Constructor and Description
BasicBlock(int startIndex)

Method Summary

Modifier and Type	Method and Description
protected void	addExceptionalEdges(Instruction last) Add any exceptional edges generated by the last instruction in a basic block.
boolean	equals(java.lang.Object o)
int	getFirstInstructionIndex()
java.util.Collection<com.ibm.wala.types.TypeReference>	getImplicitExceptionTypes(Instruction pei)
int	getLastInstructionIndex()
com.ibm.wala.classLoader.IMethod	getMethod()
int	getNumber()
int	hashCode()
boolean	isCatchBlock()
boolean	isEntryBlock()
boolean	isExitBlock()
java.util.Iterator<Instruction>	iterator()
java.lang.String	toString()

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

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getGraphNodeId, setGraphNodeId

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BasicBlock

public BasicBlock(int startIndex)

Method Detail

isCatchBlock

public boolean isCatchBlock()

Specified by:

isCatchBlock in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

addExceptionalEdges

protected void addExceptionalEdges(Instruction last)

Add any exceptional edges generated by the last instruction in a basic block.

Parameters:

last - the last instruction in a basic block.

getImplicitExceptionTypes

public java.util.Collection<com.ibm.wala.types.TypeReference> getImplicitExceptionTypes(Instruction pei)

Parameters:

pei - a potentially-excepting instruction

Returns:

the exception types that pei may throw, independent of the class hierarchy. null if none.

Notes

• this method will NOT return the exception type explicitly thrown by an athrow
• this method will NOT return the exception types that a called method may throw
• this method ignores OutOfMemoryError
• this method ignores linkage errors
• this method ignores IllegalMonitorState exceptions

Throws:

java.lang.IllegalArgumentException - if pei is null

getLastInstructionIndex

public int getLastInstructionIndex()

Specified by:

getLastInstructionIndex in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

getFirstInstructionIndex

public int getFirstInstructionIndex()

Specified by:

getFirstInstructionIndex in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isExitBlock

public boolean isExitBlock()

Specified by:

isExitBlock in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

isEntryBlock

public boolean isEntryBlock()

Specified by:

isEntryBlock in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

getMethod

public com.ibm.wala.classLoader.IMethod getMethod()

Specified by:

getMethod in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getNumber

public int getNumber()

Specified by:

getNumber in interface com.ibm.wala.cfg.IBasicBlock<Instruction>

iterator

public java.util.Iterator<Instruction> iterator()

Specified by:

iterator in interface java.lang.Iterable<Instruction>