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 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.

Method Summary

Methods

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.

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 for

context - the governing context

instructions - the SSA instructions which define the body of the method

constants - 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 class IR

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 class IR

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 class IR