gzz.mediaserver
Class PointerSet

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

public class PointerSet

extends java.lang.Object

A set of pointer changes with a particular id.

See Also:

PointerRecord

Field Summary

static boolean	dbg
java.lang.String	id

Method Summary

java.util.Set	getActive() Get the active Mediaserver.Ids of the targets this pointer points to.
java.util.Map	getActiveMap()
static java.util.Map	getPointerSets(Mediaserver ms) Get a map from String to PointerSet.
Mediaserver.Id	getSingleActive()
static PointerSet	read(java.lang.String id, java.io.InputStream i)
void	union(PointerSet other)
void	write(java.io.OutputStream o) Write this PointerSet to an OutputStream.

Methods inherited from class java.lang.Object

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

Field Detail

dbg

public static boolean dbg

id

public java.lang.String id

Method Detail

union

public void union(PointerSet other)

getActiveMap

public java.util.Map getActiveMap()

getActive

public java.util.Set getActive()

Get the active Mediaserver.Ids of the targets this pointer points to.

These are the targets of this pointer that have not been obsoleted; in other words, "where this pointer currently points to."

Currently, we expect there to be only one of these except during repository synchronization; this single one can be get through getSingleActive(), which throws an exception if there is more than one active target.

getSingleActive

public Mediaserver.Id getSingleActive()

getPointerSets

public static java.util.Map getPointerSets(Mediaserver ms)
                                    throws java.io.IOException

Get a map from String to PointerSet. XXX Currently, this LOADS every block.

java.io.IOException

write

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

Write this PointerSet to an OutputStream. Useful for caching pointer destinations on the disk.

java.io.IOException

read

public static PointerSet read(java.lang.String id,
                              java.io.InputStream i)
                       throws java.io.IOException

java.io.IOException