FileDocCategorySizeDatePackage
Handler.javaAPI DocExample759Thu Apr 03 15:27:18 BST 1997None

Handler

public class Handler extends URLStreamHandler

Fields Summary
Constructors Summary
Methods Summary
protected java.net.URLConnectionopenConnection(java.net.URL u)

    return new mailtoURLConnection(u);
  
protected voidparseURL(java.net.URL u, java.lang.String spec, int start, int limit)

  
    StringTokenizer st = new StringTokenizer(spec.substring(start), ":@", false);
    String protocol = st.nextToken(); // should be mailto
    String file = st.nextToken();  // really the username
    String host = st.nextToken();
    String ref = null;
    int port = 25;
        
    setURL(u, protocol, host, port, file, ref);
    
   
protected java.lang.StringtoExternalForm(java.net.URL u)

  
    return "mailto:" + u.getFile() + "@" + u.getHost();;