public class Protocol extends Object
Constructor and Description |
---|
Protocol(String protocolID,
String protocolName,
Class idClass,
int position) |
Modifier and Type | Method and Description |
---|---|
void |
addSetting(Setting setting) |
void |
addSpec(Spec spec) |
boolean |
equals(Object o) |
Class |
getIDClass() |
String |
getName() |
int |
getPosition() |
String |
getProtocolID() |
Setting |
getSetting(String name) |
Setting[] |
getSettings() |
Spec[] |
getSpecs() |
int |
hashCode() |
void |
removeSetting(Setting setting) |
void |
removeSpec(Spec spec) |
String |
toString() |
public void addSpec(Spec spec)
public void removeSpec(Spec spec)
public Spec[] getSpecs()
public void addSetting(Setting setting)
public void removeSetting(Setting setting)
public Setting[] getSettings()
public String getProtocolID()
public String getName()
public Class getIDClass()
public int getPosition()
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.