Source code: org/jabber/jabberbeans/UserURI.java

   package org.jabber.jabberbeans;
   
   import java.net.InetAddress;
   
   /**
    * UserURI is a subclass of user which allows for one resource to be 
    * specified. This makes it a complete URI.
    *
    * @author  David Waite <a href="mailto:mass@ufl.edu"><i>&lt;mass@ufl.edu&gt;
   *      </i></a>
   * @author  $Author: mass $
   * @version $Revision: 1.1 $
   */
  public class UserURI
      extends User
  {
      protected String resource;
  
      public UserURI(User u, String resource)
      {
    super(u.username, u.server);
    this.resource=resource;
      }
      public UserURI(String username, InetAddress server, String resource)
      {
    super(username,server);
    this.resource=resource;
      }
  
      public static UserURI parseToURI(String initial)
      {
    String resource, username;
    InetAddress server;
  
    //first we strip off any leading "jabber:"
    if (initial.regionMatches(true,    /* ignore case  */
            0,    /* offset       */
            "jabber:",  /* other string */
            0,    /* 2nd offset   */
            7))    /* length       */
        initial=initial.substring(7);
    
    //second, we look for an '@'
    int location= initial.indexOf("@");
    username=initial.substring(0,location);
  
    //everything after the @ becomes the new string
    initial=initial.substring(location+1);
  
    //third, we look for a resource
    location= initial.indexOf("/");
    if (location==-1)
        return null; //no URI can be created - no initial resource
  
    try
    {  
      server=InetAddress.getByName(initial.substring(0,location));
    }
    catch (Exception e)
    {
      return null;
    }
    resource=initial.substring(location+1);
    
    //finally, generate the URI object
    return new UserURI(username, server, resource);
      }
  
      public String toString()
      {
    return "jabber:" + username + "@" + server +
        "/" + resource;
      }
      
  }