public static class SummarizedMethodWithNames.SyntheticIRWithNames extends SyntheticIR
Modifier and Type | Class and Description |
---|---|
static class |
SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap |
IR.SSA2LocalMap
Constructor and Description |
---|
SyntheticIRWithNames(IMethod method,
Context context,
AbstractCFG cfg,
SSAInstruction[] instructions,
SSAOptions options,
Map<Integer,ConstantValue> constants,
Map<Integer,Atom> localNames) |
Modifier and Type | Method and Description |
---|---|
IR.SSA2LocalMap |
getLocalMap()
This returns null, as synthetic IRs have no local names right now.
|
getIndirectionData, instructionPosition
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
public SyntheticIRWithNames(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants, Map<Integer,Atom> localNames) throws AssertionError
AssertionError
public IR.SSA2LocalMap getLocalMap()
SyntheticIR
getLocalMap
in class SyntheticIR