com.ibm.wala.ipa.summaries

Class SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap

java.lang.Object

com.ibm.wala.ipa.summaries.SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap

All Implemented Interfaces:

IR.SSA2LocalMap

Enclosing class:

SummarizedMethodWithNames.SyntheticIRWithNames

public static class SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap
extends java.lang.Object
implements IR.SSA2LocalMap

Constructor Summary

Constructors

Constructor and Description
SyntheticSSA2LocalMap(java.util.Map<java.lang.Integer,Atom> localNames)

Method Summary

Modifier and Type	Method and Description
java.lang.String[]	getLocalNames(int index, int vn) Does not respect index.

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntheticSSA2LocalMap

public SyntheticSSA2LocalMap(java.util.Map<java.lang.Integer,Atom> localNames)

Method Detail

getLocalNames

public java.lang.String[] getLocalNames(int index,
                                        int vn)

Does not respect index.

Specified by:

getLocalNames in interface IR.SSA2LocalMap

Parameters:

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