|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface to a mediaserver capable of retrieving and adding data.
Nested Class Summary | |
static class |
Mediaserver.Id
The ID handle class. |
static class |
Mediaserver.InvalidID
|
Method Summary | |
Mediaserver.Id |
addDatum(byte[] data,
java.util.Collection headerLines,
Mediaserver.Id assocId,
boolean addDefaultHeaders)
Add a new datum, explicitly giving a collection of header lines. |
Mediaserver.Id |
addDatum(byte[] data,
java.lang.String contentType)
Add a new datum, creating a new ID for it. |
Mediaserver.Id |
addDatum(byte[] data,
java.lang.String contentType,
Mediaserver.Id assocId)
Add a new datum, creating a new ID for it. |
void |
cache(MediaserverBlock b)
Cache a mediaserver block. |
void |
expungeDatum(Mediaserver.Id id)
Permanently remove a block. |
MediaserverBlock |
getDatum(Mediaserver.Id id)
Get the datum corresponding to the given id. |
java.util.Set |
getDiffsFrom(Mediaserver.Id id)
|
java.util.Set |
getDiffsTo(Mediaserver.Id id)
|
java.util.Set |
getIDs()
Get a set of the IDs of all entries in the Mediaserver database. |
Mediaserver.Id |
getPointer(java.lang.String s)
(Kludge) Get a String-identified pointer local to this mediaserver. |
java.util.Set |
getPointers()
(Kludge) Get the names of all String-identified pointers local to this mediaserver. |
PointerSet |
getPointerSet(java.lang.String s)
|
java.lang.String |
getPoolName()
Get the name of the pool this mediaserver stores. |
void |
setPointer(java.lang.String s,
Mediaserver.Id id)
(Kludge) Set a String-identified pointer local to this mediaserver. |
void |
setPointer(java.lang.String s,
Mediaserver.Id id,
Mediaserver.Id obsolete)
|
void |
setPoolName(java.lang.String s)
Set the name of the pool this mediaserver stores. |
void |
storeDatum(Mediaserver.Id id,
byte[] data)
Store an existing datum under a given ID. |
void |
uncache(MediaserverBlock b)
Uncache a mediaserver block. |
Method Detail |
public java.util.Set getIDs() throws java.io.IOException
java.io.IOException
public MediaserverBlock getDatum(Mediaserver.Id id) throws java.io.IOException
java.io.IOException
public Mediaserver.Id addDatum(byte[] data, java.lang.String contentType, Mediaserver.Id assocId) throws java.io.IOException
assocId.)
- Returns:
- The key of the new datum.
java.io.IOException
public Mediaserver.Id addDatum(byte[] data, java.lang.String contentType) throws java.io.IOException
java.io.IOException
public Mediaserver.Id addDatum(byte[] data, java.util.Collection headerLines, Mediaserver.Id assocId, boolean addDefaultHeaders) throws java.io.IOException
assocId
- May be null
.addDefaultHeaders
- Whether to also add the default header
lines: "Content-Transfer-Encoding: binary",
"X-Injector: ...", and "Date: ...".
java.io.IOException
public void storeDatum(Mediaserver.Id id, byte[] data) throws java.io.IOException
data
- the pure data block obtained from another mediaserver,
containing all header information etc.
Mediaserver.InvalidID
- if the ID is
not valid for the given data.
java.io.IOException
public void expungeDatum(Mediaserver.Id id) throws java.io.IOException
java.io.IOException
public void cache(MediaserverBlock b)
public void uncache(MediaserverBlock b)
public void setPointer(java.lang.String s, Mediaserver.Id id) throws java.io.IOException
XXX THIS EXPLANATION IS OUTDATED! Explain the new pointer system!
java.io.IOException
public Mediaserver.Id getPointer(java.lang.String s) throws java.io.IOException
null
if the pointer is not yet set.
java.io.IOException
setPointer
public java.util.Set getPointers() throws java.io.IOException
java.io.IOException
public java.lang.String getPoolName() throws java.io.IOException
java.io.IOException
public void setPoolName(java.lang.String s) throws java.io.IOException
java.io.IOException
public PointerSet getPointerSet(java.lang.String s) throws java.io.IOException
java.io.IOException
public void setPointer(java.lang.String s, Mediaserver.Id id, Mediaserver.Id obsolete) throws java.io.IOException
java.io.IOException
public java.util.Set getDiffsFrom(Mediaserver.Id id) throws java.io.IOException
java.io.IOException
public java.util.Set getDiffsTo(Mediaserver.Id id) throws java.io.IOException
java.io.IOException
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |