Package com.ibm.wala.util.graph
Class Path
- java.lang.Object
-
- com.ibm.wala.util.intset.SimpleIntVector
-
- com.ibm.wala.util.graph.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 Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
int
hashCode()
static Path
make(int value)
static Path
prepend(int x, Path p)
int
size()
java.lang.String
toString()
-
Methods inherited from class com.ibm.wala.util.intset.SimpleIntVector
get, getMaxIndex, performVerboseAction, set
-
-
-
-
Method Detail
-
make
public static Path make(int value)
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
size
public int size()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-