JML

java.security
Interface Principal


public interface Principal


Method Summary
 boolean equals(Object)
           
 String getName()
           
 int hashCode()
           
 String toString()
           
 

Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object)
Overrides:
equals in class Object

getName

public String getName()

toString

public String toString()
Overrides:
toString in class Object

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.