public class SyntheticIR extends IR
IR.SSA2LocalMap
Constructor and 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.
|
Modifier and Type | Method and Description |
---|---|
protected SSAIndirectionData<SSAIndirectionData.Name> |
getIndirectionData()
subclasses must provide information about indirect use of values, if appropriate, and otherwise null
|
IR.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.
|
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 SyntheticIR(IMethod method, Context context, AbstractCFG cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,ConstantValue> constants) throws AssertionError
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 tableAssertionError
- if method is nullprotected String instructionPosition(int instructionIndex)
instructionPosition
in class IR
public IR.SSA2LocalMap getLocalMap()
getLocalMap
in class IR
protected SSAIndirectionData<SSAIndirectionData.Name> getIndirectionData()
IR
getIndirectionData
in class IR