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