PageEvent.java

package org.freehep.application.mdi;

import java.awt.AWTEvent;

/**
 * Page Events are delivered to PageListeners in response to user interaction with
 * a page
 *
 * @see PageListener
 * @see PageContext
 */

public class PageEvent extends AWTEvent
{
	public PageEvent(PageContext source, int id)
	{
		super(source,id);
	}
   public PageContext getPageContext()
   {
       return (PageContext) getSource();
   }
	public String toString()
	{
		int id = getID();
		String sid = String.valueOf(id);
		if      (id == PAGESELECTED  ) sid = "PAGESELECTED";
		else if (id == PAGEDESELECTED) sid = "PAGEDESELECTED";
		else if (id == PAGECLOSED    ) sid = "PAGECLOSED";
		else if (id == PAGEICONIZED  ) sid = "PAGEICONIZED";
		else if (id == PAGEDEICONIZED) sid = "PAGEDEICONIZED";
		else if (id == PAGEOPENED)     sid = "PAGEOPENED";
      return "PageEvent: ID="+sid+" Source="+getSource();
	}
	public static final int PAGESELECTED   = RESERVED_ID_MAX + 2000;
	public static final int PAGEDESELECTED = RESERVED_ID_MAX + 2001;
	public static final int PAGECLOSED     = RESERVED_ID_MAX + 2002;
	public static final int PAGEICONIZED   = RESERVED_ID_MAX + 2003;
	public static final int PAGEDEICONIZED = RESERVED_ID_MAX + 2004;
	public static final int PAGEOPENED     = RESERVED_ID_MAX + 2005;
}