Package 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 Description static class
SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap
-
Nested classes/interfaces inherited from class com.ibm.wala.ssa.IR
IR.SSA2LocalMap
-
-
Constructor Summary
Constructors Constructor Description SyntheticIRWithNames(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants, Map<Integer,Atom> localNames)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
Constructor Detail
-
SyntheticIRWithNames
public 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 classSyntheticIR
-
-