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

Since:

2013-11-25

Author:

Tobias Blaschke <code@tobiasblaschke.de>

Constructor Summary

Constructors

Constructor	Description
SyntheticSSA2LocalMap(Map<Integer,Atom> localNames)

Method Summary

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

SyntheticSSA2LocalMap

public SyntheticSSA2LocalMap(Map<Integer,Atom> localNames)

Method Details

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.