Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

jif.lang
Class PrincipalSet

java.lang.Object
  extended by jif.lang.PrincipalSet

public class PrincipalSet
extends java.lang.Object

Constructor Summary
PrincipalSet()
           
 
Method Summary
 PrincipalSet add(Principal p)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrincipalSet

public PrincipalSet()
Method Detail

add

public PrincipalSet add(Principal p)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD