Package com.ibm.wala.util.graph

Class Path

  • All Implemented Interfaces:
    IntVector, java.io.Serializable
    public class Path
extends SimpleIntVector
    We represent a path in a numbered graph as a vector of integers <i_1, ..., i_n> where node i_1 is the src and node i_n is the sink
    See Also:
    Serialized Form

    • Method Detail

      • make

        public static Path make​(int value)

      • prepend

        public static Path prepend​(int x,
                           Path p)

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • size

        public int size()

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object