public class Protocols extends Object
Constructor and Description |
---|
Protocols() |
Modifier and Type | Method and Description |
---|---|
void |
addProtocol(Protocol p) |
Protocol |
getLastProtocol() |
Protocol |
getProtocol(String protocolID) |
Protocol[] |
getProtocols() |
void |
removeProtocol(Protocol p) |
String |
toString() |
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.