edu.washington.cs.supple.net
Class NetDirectory

java.lang.Object
  extended byedu.washington.cs.supple.net.NetDirectory

public final class NetDirectory
extends java.lang.Object

NetDirectory provides the ability to get information about locally networked applications, solvers, etc.

Author:
dbc1

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

ROOT_URL

public static final java.lang.String ROOT_URL
See Also:
Constant Field Values

ROOT_ENTRY

public static final DirectoryEntry ROOT_ENTRY
DirectoryEntry representing the "root" directory.

Constructor Detail

NetDirectory

public NetDirectory()
Method Detail

list

public static DirectoryEntry[] list(java.lang.String url)
                             throws java.lang.Exception
List directory entries for a given url. Calling this with the root url is equivalent to calling listRoots().

Parameters:
url -
Returns:
Throws:
java.lang.Exception

listRoots

public static DirectoryEntry[] listRoots()
                                  throws java.lang.Exception
List all known root urls.

Returns:
Throws:
java.lang.Exception

getProtocol

public static DirectoryProtocol getProtocol(java.lang.String url)
Get the appropriate protocol for the given url.

Parameters:
url -
Returns: