public class SPECCHIOServerDescriptorPreferencesStore extends SPECCHIOServerDescriptorStore
| Constructor and Description | 
|---|
| SPECCHIOServerDescriptorPreferencesStore()Constructor. | 
| Modifier and Type | Method and Description | 
|---|---|
| void | addServerDescriptor(SPECCHIOServerDescriptor d)Add the configuration for an account to the configuration file. | 
| java.util.Iterator<SPECCHIOServerDescriptor> | getIterator()Get an iterator through all of the descriptors in the store. | 
| void | updateServerDescriptor(SPECCHIOServerDescriptor d)Update the configuration for an account in the configuration file. | 
public SPECCHIOServerDescriptorPreferencesStore()
                                         throws java.util.prefs.BackingStoreException
java.util.prefs.BackingStoreException - the preferences store could not be accessedpublic void addServerDescriptor(SPECCHIOServerDescriptor d) throws java.io.IOException
addServerDescriptor in class SPECCHIOServerDescriptorStored - the descriptor of the server on which the new account existsjava.io.IOException - the backing store failedpublic java.util.Iterator<SPECCHIOServerDescriptor> getIterator()
getIterator in class SPECCHIOServerDescriptorStorepublic void updateServerDescriptor(SPECCHIOServerDescriptor d) throws java.io.IOException
updateServerDescriptor in class SPECCHIOServerDescriptorStored - the descriptor of the server on which the new account existsjava.io.IOException - the backing store failed