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 Object
implements IR.SSA2LocalMap

Constructor Summary

Constructors

Constructor and Description
SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap(Map<Integer,Atom> localNames)

Method Summary

Methods

Modifier and Type	Method and Description
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

SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap

public SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap(Map<Integer,Atom> localNames)

Method Detail

getLocalNames

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