workspace
Class PageChangeEventManager

java.lang.Object
  extended by workspace.PageChangeEventManager

public class PageChangeEventManager
extends java.lang.Object

The PageChangeEventmanager is in charged of handling all page-changed events triggered by Pages and notifying page-change listeners when such an event is triggered. A page-change event is thrown by invoking the manager through the static method PageChangeEventManager.notifyListeners(). An object can subscribe to page-change events by delegating itself through the static method PageChangeEventManager.addPageChangeListener().


Constructor Summary
PageChangeEventManager()
           
 
Method Summary
static void addPageChangeListener(PageChangeListener l)
           
static void notifyListeners()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PageChangeEventManager

public PageChangeEventManager()
Method Detail

addPageChangeListener

public static void addPageChangeListener(PageChangeListener l)
Parameters:
l - - the listener to be added
Throws:
java.lang.RuntimeException - if l is null

notifyListeners

public static void notifyListeners()