Class SSASourcePositionMap


  • public class SSASourcePositionMap
    extends java.lang.Object
    Utility class used by CorrelationSummary to map SSA instructions to source positions.
    • Constructor Summary

      Constructors 
      Constructor Description
      SSASourcePositionMap​(com.ibm.wala.cast.loader.AstMethod method, com.ibm.wala.util.intset.OrdinalSetMapping<com.ibm.wala.ssa.SSAInstruction> instrIndices)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)