|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectedu.washington.cs.supple.net.NetDirectory
NetDirectory provides the ability to get information about locally networked applications, solvers, etc.
| Field Summary | |
static DirectoryEntry |
ROOT_ENTRY
DirectoryEntry representing the "root" directory. |
static java.lang.String |
ROOT_URL
|
| Constructor Summary | |
NetDirectory()
|
|
| Method Summary | |
static DirectoryProtocol |
getProtocol(java.lang.String url)
Get the appropriate protocol for the given url. |
static DirectoryEntry[] |
list(java.lang.String url)
List directory entries for a given url. |
static DirectoryEntry[] |
listRoots()
List all known root urls. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final java.lang.String ROOT_URL
public static final DirectoryEntry ROOT_ENTRY
| Constructor Detail |
public NetDirectory()
| Method Detail |
public static DirectoryEntry[] list(java.lang.String url)
throws java.lang.Exception
url -
java.lang.Exception
public static DirectoryEntry[] listRoots()
throws java.lang.Exception
java.lang.Exceptionpublic static DirectoryProtocol getProtocol(java.lang.String url)
url -
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||