gzz.mediaserver
Class PointerRecord

java.lang.Object
  |
  +--gzz.mediaserver.PointerRecord

public class PointerRecord

extends java.lang.Object

A record of a pointer change, as specified in the Documentation/Mediaserver spec.

Constructor Summary

PointerRecord(java.lang.String id, Mediaserver.Id to, java.util.Set obsoletes, Mediaserver.Id myId)

Method Summary

Mediaserver.Id	getMSId()
static PointerRecord	read(Mediaserver.Id myId, java.io.InputStream i)
Mediaserver.Id	save(Mediaserver ms)
void	write(java.io.OutputStream o)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointerRecord

public PointerRecord(java.lang.String id,
                     Mediaserver.Id to,
                     java.util.Set obsoletes,
                     Mediaserver.Id myId)

Method Detail

getMSId

public Mediaserver.Id getMSId()

save

public Mediaserver.Id save(Mediaserver ms)
                    throws java.io.IOException

java.io.IOException

write

public void write(java.io.OutputStream o)
           throws java.io.IOException

java.io.IOException

read

public static PointerRecord read(Mediaserver.Id myId,
                                 java.io.InputStream i)
                          throws java.io.IOException

java.io.IOException