JML

java.net
Class URLStreamHandler

java.lang.Object
  extended byjava.net.URLStreamHandler

public abstract class URLStreamHandler
extends Object


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Constructor Summary
URLStreamHandler()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
protected  boolean equals(URL, URL)
           
protected  int getDefaultPort()
           
protected  InetAddress getHostAddress(URL)
           
protected  int hashCode(URL)
           
protected  boolean hostsEqual(URL, URL)
           
protected abstract  URLConnection openConnection(URL)
           
protected  void parseURL(URL, String, int, int)
           
protected  boolean sameFile(URL, URL)
           
protected  void setURL(URL, String, String, int, String, String)
           
protected  void setURL(URL, String, String, int, String, String, String, String, String)
           
protected  String toExternalForm(URL)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

URLStreamHandler

public URLStreamHandler()
Method Detail

getDefaultPort

protected int getDefaultPort()

hashCode

protected int hashCode(URL)

toExternalForm

protected String toExternalForm(URL)

parseURL

protected void parseURL(URL,
                        String,
                        int,
                        int)

getHostAddress

protected InetAddress getHostAddress(URL)

equals

protected boolean equals(URL,
                         URL)

hostsEqual

protected boolean hostsEqual(URL,
                             URL)

sameFile

protected boolean sameFile(URL,
                           URL)

openConnection

protected abstract URLConnection openConnection(URL)
                                         throws IOException
Throws:
IOException

setURL

protected void setURL(URL,
                      String,
                      String,
                      int,
                      String,
                      String)

setURL

protected void setURL(URL,
                      String,
                      String,
                      int,
                      String,
                      String,
                      String,
                      String,
                      String)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.