org.gjt.rec.io
Class FilePath.PathElement

java.lang.Object
  |
  +--org.gjt.rec.io.FilePath.PathElement

Enclosing class:

FilePath

public static final class FilePath.PathElement

extends Object

Represents a single element of a FilePath.

Nested Class Summary

static class

FilePath.PathElement.Type Enumerated type for representing the type of a path element.

Method Summary

FilePath.PathElement.Type	determineType() Determines the Type of this path element.
boolean	equals(Object obj)
String	getPath() Returns the path to this element, as it appears in the string originally parsed by the FilePath constructor.
int	hashCode()

Methods inherited from class java.lang.Object

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

Method Detail

determineType

public FilePath.PathElement.Type determineType()

Determines the Type of this path element.

Returns:

the type of this path element

getPath

public String getPath()

Returns the path to this element, as it appears in the string originally parsed by the FilePath constructor.

Returns:

the path to this element

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object