public interface URIRepository extends URIRepositoryAppender
Modifier and Type | Method and Description |
---|---|
void |
destroy()
Destroy repository.
|
URI |
get(long id)
Retrieves the URI of a given id, null when the id is not assigned yet.
|
long |
resolve(URI uri)
Retrives long value (ID) assigned to the URI by some previous call of
URIRepositoryAppender.append(java.net.URI) method, -1 iff
the URI is unknown to this base. |
append, close, size
URI get(long id) throws DatabaseStorageException
DatabaseStorageException
long resolve(URI uri) throws DatabaseStorageException
URIRepositoryAppender.append(java.net.URI)
method, -1 iff
the URI is unknown to this base.DatabaseStorageException
void destroy()
Copyright © 2016 Egothor. All Rights Reserved.