Class Handler

java.lang.Object

java.net.URLStreamHandler

manifold.internal.runtime.protocols.Handler

public class Handler
extends URLStreamHandler

Field Summary

Fields

Modifier and Type	Field	Description
static final ConcurrentHashMap<URL,URL>	_visited
static final Handler	INSTANCE

Constructor Summary

Constructors

Constructor	Description
Handler()

Method Summary

Modifier and Type	Method	Description
protected boolean	equals(URL u1, URL u2)
protected int	hashCode(URL u)
protected URLConnection	openConnection(URL u)

Methods inherited from class URLStreamHandler

getDefaultPort, getHostAddress, hostsEqual, openConnection, parseURL, sameFile, setURL, setURL, toExternalForm

Methods inherited from class Object

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

Field Details

_visited

public static final ConcurrentHashMap<URL,URL> _visited

INSTANCE

public static final Handler INSTANCE

Constructor Details

Handler

public Handler()

Method Details

openConnection

protected URLConnection openConnection(URL u)
                                throws IOException

Specified by:

openConnection in class URLStreamHandler

Throws:

IOException

hashCode

protected int hashCode(URL u)

Overrides:

hashCode in class URLStreamHandler

equals

protected boolean equals(URL u1,
 URL u2)

Overrides:

equals in class URLStreamHandler