Package com.ibm.wala.ipa.summaries
Class SyntheticIR
- java.lang.Object
-
- com.ibm.wala.ssa.IR
-
- com.ibm.wala.ipa.summaries.SyntheticIR
-
- Direct Known Subclasses:
SummarizedMethodWithNames.SyntheticIRWithNames
public class SyntheticIR extends IR
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.ibm.wala.ssa.IR
IR.SSA2LocalMap
-
-
Constructor Summary
Constructors Constructor Description SyntheticIR(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants)
Create an SSA form, induced over a list of instructions provided externally.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected SSAIndirectionData<SSAIndirectionData.Name>
getIndirectionData()
subclasses must provide information about indirect use of values, if appropriate, and otherwise nullIR.SSA2LocalMap
getLocalMap()
This returns null, as synthetic IRs have no local names right now.protected String
instructionPosition(int instructionIndex)
This returns "", as synthetic IRs have no line numbers right now.-
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
-
SyntheticIR
public SyntheticIR(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants) throws AssertionError
Create an SSA form, induced over a list of instructions provided externally. This entrypoint is often used for, e.g., native method models- Parameters:
method
- the method to construct SSA form forcontext
- the governing contextinstructions
- the SSA instructions which define the body of the methodconstants
- a Map giving information on constant values for the symbol table- Throws:
AssertionError
- if method is null
-
-
Method Detail
-
instructionPosition
protected String instructionPosition(int instructionIndex)
This returns "", as synthetic IRs have no line numbers right now.- Specified by:
instructionPosition
in classIR
- Returns:
- a String which is a readable representation of the instruction position corresponding to an instruction index
-
getLocalMap
public IR.SSA2LocalMap getLocalMap()
This returns null, as synthetic IRs have no local names right now.- Specified by:
getLocalMap
in classIR
-
getIndirectionData
protected SSAIndirectionData<SSAIndirectionData.Name> getIndirectionData()
Description copied from class:IR
subclasses must provide information about indirect use of values, if appropriate, and otherwise null- Specified by:
getIndirectionData
in classIR
-
-