Class SSAConversion.SSAInformation

java.lang.Object

com.ibm.wala.cast.ir.ssa.SSAConversion.SSAInformation

All Implemented Interfaces:

IR.SSA2LocalMap

Enclosing class:

SSAConversion

public class SSAConversion.SSAInformation
extends Object
implements IR.SSA2LocalMap

Author:

Julian Dolby

Standard SSA conversion for local value numbers.

Constructor Summary

Constructors

Constructor	Description
SSAInformation()

Method Summary

Modifier and Type	Method	Description
Map<Object,SSAConversion.CopyPropagationRecord>	getCopyHistory()
String[]	getLocalNames(int pc, int vn)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

SSAInformation

public SSAInformation()

Method Details

getLocalNames

public String[] getLocalNames(int pc,
 int vn)

Specified by:

getLocalNames in interface IR.SSA2LocalMap

Parameters:

pc - an index into the IR instruction array

vn - a value number

Returns:

if we know that immediately after the given program counter, v_vn corresponds to one or more locals and local variable names are available, the name of the locals which v_vn represents. Otherwise, null.

getCopyHistory

public Map<Object,SSAConversion.CopyPropagationRecord> getCopyHistory()

toString

public String toString()

Overrides:

toString in class Object