Class SummarizedMethodWithNames.SyntheticIRWithNames

java.lang.Object

com.ibm.wala.ssa.IR

com.ibm.wala.ipa.summaries.SyntheticIR

com.ibm.wala.ipa.summaries.SummarizedMethodWithNames.SyntheticIRWithNames

All Implemented Interfaces:

IRView

Enclosing class:

SummarizedMethodWithNames

public static class SummarizedMethodWithNames.SyntheticIRWithNames
extends SyntheticIR

Since:

2013-11-25

Author:

Tobias Blaschke <code@tobiasblaschke.de>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap

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.

Constructor Summary

Constructors

Constructor	Description
SyntheticIRWithNames(IMethod method, Context context, AbstractCFG<?,?> cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer, ConstantValue> constants, Map<Integer, @NonNull Atom> localNames)

Method Summary

Modifier and Type	Method	Description
IR.SSA2LocalMap	getLocalMap()	This returns null, as synthetic IRs have no local names right now.

Methods inherited from class SyntheticIR

getIndirectionData, instructionPosition

Modifier and Type	Method	Description
protected SSAIndirectionData<SSAIndirectionData.Name>	getIndirectionData()	subclasses must provide information about indirect use of values, if appropriate, and otherwise null
protected String	instructionPosition(int instructionIndex)	This returns "", as synthetic IRs have no line numbers right now.

Methods inherited from class IR

getBasicBlockForCatch, getBasicBlockForInstruction, getBasicBlocksForCall, getBlocks, getCallInstructionIndices, getCalls, getControlFlowGraph, getExitBlock, getInstructions, getLocalNames, getMethod, 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)
IMethod	getMethod()
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

Constructor Details

SyntheticIRWithNames

public SyntheticIRWithNames(IMethod method,
 Context context,
 AbstractCFG<?,?> cfg,
 SSAInstruction[] instructions,
 SSAOptions options,
 Map<Integer, ConstantValue> constants,
 Map<Integer, @NonNull Atom> localNames)
                     throws AssertionError

Throws:

AssertionError

Method Details

getLocalMap

public IR.SSA2LocalMap getLocalMap()

Description copied from class: SyntheticIR

This returns null, as synthetic IRs have no local names right now.

Overrides:

getLocalMap in class SyntheticIR