public interface UserID
extends java.io.Serializable
Uniquely identifies a user. Instances of user IDs are specific to a given authority which is responsible for allocating them. No methods are defined because the way in which IDs are specified may vary. For example not all systems may identify users with a unique string based user name.
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.