Class AstIRFactory.AstIR

java.lang.Object

com.ibm.wala.ssa.IR

com.ibm.wala.cast.ir.ssa.AstIRFactory.AstIR

All Implemented Interfaces:

IRView

Enclosing class:

AstIRFactory<T extends IMethod>

public static class AstIRFactory.AstIR
extends IR

Nested Class Summary

Nested classes/interfaces inherited from class IR

IR.SSA2LocalMap

Modifier and Type	Class	Description
static interface	IR.SSA2LocalMap	A Map that gives the names of the local variables corresponding to SSA value numbers at particular IR instruction indices, if such information is available from source code mapping.

Method Summary

Modifier and Type	Method	Description
protected SSAIndirectionData<SSAIndirectionData.Name>	getIndirectionData()	subclasses must provide information about indirect use of values, if appropriate, and otherwise null
SSAConversion.SSAInformation	getLocalMap()	subclasses must provide a source name mapping, if they want one (or null otherwise)
AstMethod	getMethod()
protected String	instructionPosition(int instructionIndex)
AstMethod.LexicalInformation	lexicalInfo()

Methods inherited from class IR

getBasicBlockForCatch, getBasicBlockForInstruction, getBasicBlocksForCall, getBlocks, getCallInstructionIndices, getCalls, getControlFlowGraph, getExitBlock, getInstructions, getLocalNames, getNew, getNewInstructionIndex, getNumberOfParameters, getOptions, getParameter, getParameterType, getParameterValueNumbers, getPEI, getSymbolTable, isEmptyIR, iterateAllInstructions, iterateCallSites, iterateCatchInstructions, iterateNewSites, iterateNormalInstructions, iteratePhis, iteratePis, setupLocationMap, toString, visitAllInstructions, visitNormalInstructions

Modifier and Type	Method	Description
ISSABasicBlock	getBasicBlockForCatch(SSAGetCaughtExceptionInstruction instruction)	Return the ISSABasicBlock corresponding to a particular catch instruction
ISSABasicBlock	getBasicBlockForInstruction(SSAInstruction s)	This is space-inefficient.
ISSABasicBlock[]	getBasicBlocksForCall(CallSiteReference site)
Iterator<ISSABasicBlock>	getBlocks()
IntSet	getCallInstructionIndices(CallSiteReference site)	Return the instruction indices corresponding to a call site.
SSAAbstractInvokeInstruction[]	getCalls(CallSiteReference site)	Return the invoke instructions corresponding to a call site
SSACFG	getControlFlowGraph()
SSACFG.BasicBlock	getExitBlock()
SSAInstruction[]	getInstructions()	Returns the normal instructions.
String[]	getLocalNames(int index, int vn)
SSANewInstruction	getNew(NewSiteReference site)	Return the new instruction corresponding to an allocation site
int	getNewInstructionIndex(NewSiteReference site)	Return the instruction index corresponding to an allocation site
int	getNumberOfParameters()
SSAOptions	getOptions()
int	getParameter(int i)
TypeReference	getParameterType(int i)	Get the TypeReference that describes the ith parameter to this method.
int[]	getParameterValueNumbers()
SSAInstruction	getPEI(ProgramCounter pc)
SymbolTable	getSymbolTable()
boolean	isEmptyIR()	TODO: why do we need this? We should enforce instructions == null if necessary, I think.
Iterator<SSAInstruction>	iterateAllInstructions()
Iterator<CallSiteReference>	iterateCallSites()
Iterator<SSAInstruction>	iterateCatchInstructions()
Iterator<NewSiteReference>	iterateNewSites()
Iterator<SSAInstruction>	iterateNormalInstructions()
Iterator<? extends SSAInstruction>	iteratePhis()	Return an Iterator of all SSAPhiInstructions for this IR.
Iterator<? extends SSAInstruction>	iteratePis()	Return an Iterator of all SSAPiInstructions for this IR.
protected void	setupLocationMap()	create mappings from call sites, new sites, and PEIs to instruction index
String	toString()
void	visitAllInstructions(SSAInstruction.IVisitor v)	visit each instruction in this IR
void	visitNormalInstructions(SSAInstruction.IVisitor v)	visit each normal (non-phi, non-pi, non-catch) instruction in this IR

Methods inherited from class Object

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

Method Details

lexicalInfo

public AstMethod.LexicalInformation lexicalInfo()

getLocalMap

public SSAConversion.SSAInformation getLocalMap()

Description copied from class: IR

subclasses must provide a source name mapping, if they want one (or null otherwise)

Specified by:

getLocalMap in class IR

instructionPosition

protected String instructionPosition(int instructionIndex)

Specified by:

instructionPosition in class IR

Returns:

a String which is a readable representation of the instruction position corresponding to an instruction index

getMethod

public AstMethod getMethod()

Specified by:

getMethod in interface IRView

Overrides:

getMethod in class IR

Returns:

the method this IR represents

getIndirectionData

protected SSAIndirectionData<SSAIndirectionData.Name> getIndirectionData()

Description copied from class: IR

subclasses must provide information about indirect use of values, if appropriate, and otherwise null

Specified by:

getIndirectionData in class IR