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

All Implemented Interfaces:

IRView

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
SyntheticIRWithNames(IMethod method, Context context, AbstractCFG<?,?> cfg, SSAInstruction[] instructions, SSAOptions options, java.util.Map<java.lang.Integer,ConstantValue> constants, java.util.Map<java.lang.Integer,Atom> localNames)

Method Summary

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, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntheticIRWithNames

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

Throws:

java.lang.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