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, 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

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
static Path	make(int value)
static Path	prepend(int x, Path p)
int	size()
String	toString()

Methods inherited from class com.ibm.wala.util.intset.SimpleIntVector

get, getMaxIndex, performVerboseAction, set

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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 Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

size

public int size()

toString

public String toString()

Overrides:

toString in class Object