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
- Since:
- 2013-11-25
- Author:
- Tobias Blaschke <code@tobiasblaschke.de>
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic class
Nested classes/interfaces inherited from class com.ibm.wala.ssa.IR
IR.SSA2LocalMap
-
Constructor Summary
ConstructorDescriptionSyntheticIRWithNames
(IMethod method, Context context, AbstractCFG<?, ?> cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer, ConstantValue> constants, Map<Integer, Atom> localNames) -
Method Summary
Modifier and TypeMethodDescriptionThis 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
-
Constructor Details
-
SyntheticIRWithNames
public SyntheticIRWithNames(IMethod method, Context context, AbstractCFG<?, ?> cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer, throws AssertionErrorConstantValue> constants, Map<Integer, Atom> localNames) - Throws:
AssertionError
-
-
Method Details
-
getLocalMap
Description copied from class:SyntheticIR
This returns null, as synthetic IRs have no local names right now.- Overrides:
getLocalMap
in classSyntheticIR
-