public interface StorageManager
This interface is not intended to be implemented by clients.
MDWorkbenchServer.getStorageManager()
Modifier and Type | Method and Description |
---|---|
Storage |
createStorage()
Creates a new empty storage instance.
|
Storage |
getStorage(String id)
Retrieve the storage information matching the specified identifier.
|
Storage createStorage() throws CoreException
setContents()
method.CoreException
- if the storage cannot be created.Storage.setContents(java.io.InputStream, java.util.Map)
Storage getStorage(String id)
id
- the identifier of the storage.null
if none.Storage.getId()