public final class ChannelNameKey
extends java.lang.Object
implements java.io.Serializable
ChannelNameKey objects are issued by the channel
name server. They must be supplied to the channel name server
along with any channel management requests (channel deregistration,
relocation etc.).
This class has no public constructor.public boolean equals(java.lang.Object o)
Object with this
ChannelNameKey.equals in class java.lang.Objecto - the other Object to compare with
this Object.true iff o is a non-null
ChannelNameKey object which holds the
same key as this object.public int hashCode()
int hash code for this object.hashCode in class java.lang.Objectint hash code.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.