com.ibm.wala.cast.js.ipa.callgraph.correlations

Class SSASourcePositionMap

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.correlations.SSASourcePositionMap

public class SSASourcePositionMap
extends Object

Utility class used by CorrelationSummary to map SSA instructions to source positions.

Author:

mschaefer

Constructor Summary

Constructors

Constructor and Description
SSASourcePositionMap(com.ibm.wala.cast.loader.AstMethod method, com.ibm.wala.util.intset.OrdinalSetMapping<com.ibm.wala.ssa.SSAInstruction> instrIndices)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getPosition(com.ibm.wala.ssa.SSAInstruction inst)

Methods inherited from class java.lang.Object

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

Constructor Detail

SSASourcePositionMap

public SSASourcePositionMap(com.ibm.wala.cast.loader.AstMethod method,
                    com.ibm.wala.util.intset.OrdinalSetMapping<com.ibm.wala.ssa.SSAInstruction> instrIndices)

Method Detail

getPosition

public com.ibm.wala.cast.tree.CAstSourcePositionMap.Position getPosition(com.ibm.wala.ssa.SSAInstruction inst)