public class Address
extends java.lang.Object
| Constructor and Description |
|---|
Address(java.lang.String protocolID,
java.lang.String value,
boolean unique) |
public Address(java.lang.String protocolID,
java.lang.String value,
boolean unique)
public java.lang.String getProtocolID()
public java.lang.String getValue()
public void addSpec(Spec spec)
public void removeSpec(Spec spec)
public Spec[] getSpecs()
public boolean isUnique()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.ObjectSubmit 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.