FileDocCategorySizeDatePackage
PersistentSetPanel.javaAPI DocExample1333Sat Feb 01 06:05:04 GMT 1997imaginary.gui

PersistentSetPanel

public abstract class PersistentSetPanel extends Panel implements imaginary.util.RemoteObserver, ChangeObserver
A panel that holds zero or more PersistentPanel objects and responds to changes in PersistentSet objects.

Fields Summary
private imaginary.persist.RemoteLockHolder
lock_holder
private imaginary.persist.RemotePersistentSet
observed
Constructors Summary
public PersistentSetPanel(imaginary.persist.RemoteLockHolder h)


      
      
	super();
	UnicastRemoteObject.exportObject(this);
	observed = null;
    
public PersistentSetPanel(imaginary.persist.RemoteLockHolder h, imaginary.persist.RemotePersistentSet p)

	super();
	UnicastRemoteObject.exportObject(this);
	observed = p;
	lock_holder = h;
	p.addObserver(this);
    
Methods Summary
protected imaginary.persist.RemoteLockHoldergetLockHolder()

	return lock_holder;
    
public imaginary.persist.RemotePersistentSetgetObserved()

	return observed;
    
public voidupdate(imaginary.util.RemoteObservable target, java.lang.Object arg)

	ChangeMonitor.postChange(this);