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 SPECCHIOServerDescriptorStore
d
- 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 SPECCHIOServerDescriptorStore
public void updateServerDescriptor(SPECCHIOServerDescriptor d) throws java.io.IOException
updateServerDescriptor
in class SPECCHIOServerDescriptorStore
d
- the descriptor of the server on which the new account existsjava.io.IOException
- the backing store failed