manifold.internal.runtime.protocols

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 and Description
static ConcurrentHashMap<URL,URL>	_visited
static Handler	INSTANCE

Constructor Summary

Constructors

Constructor and Description
Handler()

Method Summary

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

Methods inherited from class java.net.URLStreamHandler

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

Methods inherited from class java.lang.Object

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

Field Detail

_visited

public static final ConcurrentHashMap<URL,URL> _visited

INSTANCE

public static final Handler INSTANCE

Constructor Detail

Handler

public Handler()

Method Detail

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