/* Defines a Principal that simply stores a name.
 */

import java.security.Principal;

public class NamePrincipal implements Principal {
  private String name;
 
  public NamePrincipal(String s) {
    name = s;
  }
  public String getName() {
    return name;
  }
  public String toString() {
    return "NamePrincipal: " + name;
  }
  public int hashCode() {
    return name.hashCode();
  }
  public boolean equals(Object o) {
    if (!(o instanceof NamePrincipal))
      return false;
    NamePrincipal np = (NamePrincipal)o;
    return name.equals(np.getName());
  }
}