com.ibm.wala.ipa.summaries

Class SummarizedMethodWithNames.SyntheticIRWithNames

java.lang.Object

com.ibm.wala.ssa.IR

com.ibm.wala.ipa.summaries.SyntheticIR

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

Enclosing class:

SummarizedMethodWithNames

public static class SummarizedMethodWithNames.SyntheticIRWithNames
extends SyntheticIR

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from class com.ibm.wala.ssa.IR

IR.SSA2LocalMap

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class com.ibm.wala.ipa.summaries.SyntheticIR

getIndirectionData, instructionPosition

Methods inherited from class com.ibm.wala.ssa.IR

getBasicBlockForCatch, getBasicBlockForInstruction, getBasicBlocksForCall, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

SummarizedMethodWithNames.SyntheticIRWithNames

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

Throws:

AssertionError

Method Detail

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