Package com.ibm.wala.shrike.shrikeBT.analysis

Class Analyzer.PathElement

  • Enclosing class:
    Analyzer
    public static final class Analyzer.PathElement
extends java.lang.Object

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getIndex()  
      java.lang.String[] getLocals()  
      java.lang.String[] getStack()  

      • Methods inherited from class java.lang.Object

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

    • Method Detail

      • getIndex

        public int getIndex()
        Returns:
        the bytecode offset of the instruction causing a value transfer.

      • getLocals

        public java.lang.String[] getLocals()
        Returns:
        the types of the local variabls at the instruction.

      • getStack

        public java.lang.String[] getStack()
        Returns:
        the types of the working stack at the instruction.