org.freehep.application.mdi
Class PageManager

java.lang.Object
  org.freehep.application.mdi.PageManager

Direct Known Subclasses:

InternalFramePageManager, TabbedPageManager

public abstract class PageManager
extends Object

A PageManager manages a set of pages.

Version:

$Id: PageManager.java 8584 2006-08-10 23:06:37Z duns $

Author:

Tony Johnson (tonyj@slac.stanford.edu)

Nested Class Summary

class

PageManager.PageManagerCommandProcessor

Field Summary

protected EventListenerList

listenerList

Constructor Summary

PageManager()

Method Summary

void	addPageListener(PageListener listener) Add a page listener to receive notifications of user initiated changes
protected boolean	close(PageContext page)
boolean	closeAll()
protected org.freehep.util.commanddispatcher.CommandProcessor	createCommandProcessor()
protected void	firePageEvent(PageContext context, int id)
protected void	firePageOpened(PageContext context)
protected void	fireSelectionChanged(PageContext context)
protected org.freehep.util.commanddispatcher.CommandProcessor	getCommandProcessor()
protected abstract Component	getEmbodiment()
int	getPageCount()
PageContext	getSelectedPage()
protected abstract void	iconChanged(PageContext page)
protected void	init(List pages, PageContext selected)
protected JPopupMenu	modifyPopupMenu(JPopupMenu menu, Component source, Point p)
PageContext	openPage(Component c, String title, Icon icon)
PageContext	openPage(Component c, String title, Icon icon, String type)
protected String	pageManagerType()
List	pages()
void	removePageListener(PageListener listener) Remove a previously installed PageListener
protected void	setActive(boolean active) Called whenever the page manager becomes, or ceases to be, in use.
void	setPageManagerType(String type)
protected abstract void	show(PageContext page)
protected abstract void	titleChanged(PageContext page)

Methods inherited from class java.lang.Object

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

Field Detail

listenerList

protected EventListenerList listenerList

Constructor Detail

PageManager

public PageManager()

Method Detail

openPage

public PageContext openPage(Component c,
                            String title,
                            Icon icon)

openPage

public PageContext openPage(Component c,
                            String title,
                            Icon icon,
                            String type)

setActive

protected void setActive(boolean active)

Called whenever the page manager becomes, or ceases to be, in use. Can be used to allocated and/or free-up resources used by the page manager.

Parameters:

active - true if the page manager is becoming active, false if it is ceasing to be active

firePageOpened

protected void firePageOpened(PageContext context)

closeAll

public boolean closeAll()

getPageCount

public int getPageCount()

getSelectedPage

public PageContext getSelectedPage()

show

protected abstract void show(PageContext page)

close

protected boolean close(PageContext page)

titleChanged

protected abstract void titleChanged(PageContext page)

iconChanged

protected abstract void iconChanged(PageContext page)

getEmbodiment

protected abstract Component getEmbodiment()

createCommandProcessor

protected org.freehep.util.commanddispatcher.CommandProcessor createCommandProcessor()

getCommandProcessor

protected org.freehep.util.commanddispatcher.CommandProcessor getCommandProcessor()

pages

public List pages()

init

protected void init(List pages,
                    PageContext selected)

fireSelectionChanged

protected void fireSelectionChanged(PageContext context)

firePageEvent

protected void firePageEvent(PageContext context,
                             int id)

addPageListener

public void addPageListener(PageListener listener)

Add a page listener to receive notifications of user initiated changes

Parameters:

listener - The PageListener to install

removePageListener

public void removePageListener(PageListener listener)

Remove a previously installed PageListener

Parameters:

listener - The PageListener to remove

modifyPopupMenu

protected JPopupMenu modifyPopupMenu(JPopupMenu menu,
                                     Component source,
                                     Point p)

pageManagerType

protected String pageManagerType()

setPageManagerType

public void setPageManagerType(String type)