public final class NamedPath extends Object
The name is guaranteed to be a unique identifier in the context of a given collection.
NamedPath(String name, Path path)
boolean
equals(Object o)
String
getName()
Path
getPath()
int
hashCode()
toString()
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public NamedPath(String name, Path path)
public String getName()
public Path getPath()
public boolean equals(Object o)
equals
Object
public int hashCode()
hashCode
public String toString()
toString
Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.